data class FixHoldsAssertionGroup : AssertionGroup
Represents a group of Assertions -- it has a certain type, a name, a subject, assertions and a fixed value for holds which does not depend on assertions (usually indirectly).
The intention behind this AssertionGroup is to use it when all assertions are AssertionGroups with an ExplanatoryAssertionGroupType.
FixHoldsAssertionGroup(type: AssertionGroupType, name: Translatable, subject: Any, assertions: List<Assertion>, holds: Boolean)
Represents a group of Assertions -- it has a certain type, a name, a subject, assertions and a fixed value for holds which does not depend on assertions (usually indirectly). |
val assertions: List<Assertion>
The assertions of this group, which are defined for subject. |
|
val name: Translatable
The name of the group. |
|
val subject: Any
The subject for which the assertions are defined. |
|
val type: AssertionGroupType
The type of the group, e.g. RootAssertionGroupType. |
fun holds(): Boolean
Holds if all its assertions hold. |