interface FinalStep : BasicAssertionGroupFinalStep
Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions.
abstract val preTransformationHolds: Boolean
The previously defined state of the pre-transformation (if it holds or not). |
abstract val assertions: List<Assertion>
The previously defined AssertionGroup.assertions |
|
abstract val description: Translatable
The previously defined AssertionGroup.description. |
|
abstract val groupType: AssertionGroupType
The previously defined AssertionGroup.type. |
|
abstract val representation: Any
The previously defined AssertionGroup.representation. |
fun create(groupType: AssertionGroupType, description: Translatable, representation: Any, assertions: List<Assertion>, holds: Boolean): PartiallyFixedClaimGroup.FinalStep |