Package ch.so.agi.mcp.model

Class IliAuthoringResult.ProofCaseVerification

java.lang.Object

ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification

Enclosing class:

IliAuthoringResult

public static final class IliAuthoringResult.ProofCaseVerification
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Boolean	actualValid
@Nullable Integer	actualViolationCount
@Nullable String	baseClassFqn
@Nullable Integer	baseSubjectCount
@Nullable Boolean	constraintExercised
@Nullable Integer	excludedSubjectCount
@Nullable Boolean	expectedValid
@Nullable Integer	expectedViolationCount
List<Map<String,Object>>	fixtureErrors
@Nullable String	fixturePreparationReasonCode
@Nullable Boolean	fixtureValid
@Nullable String	name
List<Map<String,Object>>	objectCounts
@Nullable Boolean	passed
@Nullable Integer	plannedSubjectCount
@Nullable String	reason
@Nullable Boolean	setExecuted
@Nullable Integer	skippedFilterCount
@Nullable Integer	subjectCount
@Nullable String	viewFqn
@Nullable Integer	warningCount
@Nullable String	xtfText

Constructor Summary

Constructors

Constructor	Description
ProofCaseVerification()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

warningCount

public @Nullable Integer warningCount

viewFqn

public @Nullable String viewFqn

baseClassFqn

public @Nullable String baseClassFqn

objectCounts

public List<Map<String,Object>> objectCounts

plannedSubjectCount

public @Nullable Integer plannedSubjectCount

baseSubjectCount

public @Nullable Integer baseSubjectCount

excludedSubjectCount

public @Nullable Integer excludedSubjectCount

skippedFilterCount

public @Nullable Integer skippedFilterCount

setExecuted

public @Nullable Boolean setExecuted

subjectCount

public @Nullable Integer subjectCount

constraintExercised

public @Nullable Boolean constraintExercised

fixtureValid

public @Nullable Boolean fixtureValid

fixturePreparationReasonCode

public @Nullable String fixturePreparationReasonCode

fixtureErrors

public List<Map<String,Object>> fixtureErrors

name

public @Nullable String name

passed

public @Nullable Boolean passed

expectedValid

public @Nullable Boolean expectedValid

actualValid

public @Nullable Boolean actualValid

expectedViolationCount

public @Nullable Integer expectedViolationCount

actualViolationCount

public @Nullable Integer actualViolationCount

reason

public @Nullable String reason

xtfText

public @Nullable String xtfText

Constructor Details

ProofCaseVerification

public ProofCaseVerification()