interface FinalStep : BasicAssertionGroupFinalStep (source)
Final step which creates an AssertionGroup whose AssertionGroup.holds is fixed (not determined based on its AssertionGroup.assertions but on the given holds).
abstract val holds: Boolean
The previously defined AssertionGroup.holds. |
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): FixedClaimGroup.FinalStep |