Package ch.so.agi.mcp.model

Class IliAuthoringResult.ProofCase

java.lang.Object

ch.so.agi.mcp.model.IliAuthoringResult.ProofCase

Enclosing class:

IliAuthoringResult

public static final class IliAuthoringResult.ProofCase
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Integer	associationLinkCount
@Nullable String	basketId
List<IliAuthoringResult.CoverageGoal>	coveredGoals
@Nullable Boolean	expectedConstraintValid
@Nullable Boolean	expectedValid
@Nullable Integer	expectedViolationCount
@Nullable String	name
@Nullable Integer	objectCount
List<Map<String,Object>>	objects
@Nullable String	outcome
@Nullable String	ownerClassFqn
@Nullable String	purpose
@Nullable String	reason
@Nullable String	routeTargetFqn
@Nullable String	structurePath
Map<String,Object>	values

Constructor Summary

Constructors

Constructor	Description
ProofCase()

Method Summary

Modifier and Type	Method	Description
@Nullable Object	get(String key)
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

coveredGoals

public List<IliAuthoringResult.CoverageGoal> coveredGoals

name

public @Nullable String name

purpose

public @Nullable String purpose

reason

public @Nullable String reason

outcome

public @Nullable String outcome

expectedValid

public @Nullable Boolean expectedValid

expectedConstraintValid

public @Nullable Boolean expectedConstraintValid

expectedViolationCount

public @Nullable Integer expectedViolationCount

objectCount

public @Nullable Integer objectCount

associationLinkCount

public @Nullable Integer associationLinkCount

basketId

public @Nullable String basketId

routeTargetFqn

public @Nullable String routeTargetFqn

ownerClassFqn

public @Nullable String ownerClassFqn

structurePath

public @Nullable String structurePath

values

public Map<String,Object> values

objects

public List<Map<String,Object>> objects

Constructor Details

ProofCase

public ProofCase()

Method Details

get

public @Nullable Object get(String key)

toString

public String toString()

Overrides:

toString in class Object