Package ch.so.agi.mcp.model

Class IliAuthoringResult.ConstraintProof

java.lang.Object

ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof

Enclosing class:

IliAuthoringResult

public static final class IliAuthoringResult.ConstraintProof
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Boolean	automaticCasesAvailable
@Nullable Boolean	automaticCasesGenerated
String	constraintFqn
@Nullable Boolean	coverageComplete
@Nullable Integer	coverageExcludedCount
List<IliAuthoringResult.CoverageExclusion>	coverageExcludedGoals
List<IliAuthoringResult.CoverageGap>	coverageGaps
@Nullable Integer	coverageGoalCount
@Nullable Integer	coverageSolvedCount
@Nullable ConstraintExplanation	explanation
List<IliAuthoringResult.ProofCase>	generatedCases
@Nullable Boolean	generationVerified
List<String>	limitations
@Nullable String	pattern
boolean	proofVerified
@Nullable String	reason
@Nullable String	reasonCode
@Nullable IliAuthoringResult.ProofVerification	verification

Constructor Summary

Constructors

Constructor	Description
ConstraintProof()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

constraintFqn

public String constraintFqn

proofVerified

public boolean proofVerified

explanation

public @Nullable ConstraintExplanation explanation

automaticCasesAvailable

public @Nullable Boolean automaticCasesAvailable

automaticCasesGenerated

public @Nullable Boolean automaticCasesGenerated

generationVerified

public @Nullable Boolean generationVerified

pattern

public @Nullable String pattern

coverageGoalCount

public @Nullable Integer coverageGoalCount

coverageSolvedCount

public @Nullable Integer coverageSolvedCount

coverageExcludedCount

public @Nullable Integer coverageExcludedCount

coverageExcludedGoals

public List<IliAuthoringResult.CoverageExclusion> coverageExcludedGoals

coverageComplete

public @Nullable Boolean coverageComplete

coverageGaps

public List<IliAuthoringResult.CoverageGap> coverageGaps

generatedCases

public List<IliAuthoringResult.ProofCase> generatedCases

verification

public @Nullable IliAuthoringResult.ProofVerification verification

reasonCode

public @Nullable String reasonCode

reason

public @Nullable String reason

limitations

public List<String> limitations

Constructor Details

ConstraintProof

public ConstraintProof()