data class FixHoldsAssertionGroup : IAssertionGroup
Represents a group of IAssertions -- 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 IAssertionGroup is to use it when all assertions are IAssertionGroups with an IExplanatoryAssertionGroupType.
FixHoldsAssertionGroup(type: IAssertionGroupType, name: ITranslatable, subject: Any, assertions: List<IAssertion>, holds: Boolean)
Represents a group of IAssertions -- 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<IAssertion>
The assertions of this group, which are defined for subject. |
|
val name: ITranslatable
The name of the group. |
|
val subject: Any
The subject for which the assertions are defined. |
|
val type: IAssertionGroupType
The type of the group, e.g. RootAssertionGroupType. |
fun holds(): Boolean
Holds if all its assertions hold. |