interface FixedClaimAssertionGroupHoldsOption<T : AssertionGroupType>
(source)
Option step which allows to specify the AssertionGroup.holds.
abstract val failing: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, FixedClaimAssertionGroupFinalStep>>
Defines the AssertionGroup does not hold. |
|
abstract val groupType: T
The previously defined AssertionGroup.type. |
|
abstract val holding: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, FixedClaimAssertionGroupFinalStep>>
Defines the AssertionGroup holds. |
abstract fun withClaim(holds: Boolean): AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, FixedClaimAssertionGroupFinalStep>>
Uses the given holds as AssertionGroup.holds. |
fun <T : AssertionGroupType> create(groupType: T): FixedClaimAssertionGroupHoldsOption<T> |