interface HoldsOption<T : AssertionGroupType, R> (source)
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.
abstract val failing: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Defines the AssertionGroup (or the fixed part) does not hold. |
|
abstract val groupType: T
The previously defined AssertionGroup.type. |
|
abstract val holding: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Defines the AssertionGroup (or the fixed part) holds |
abstract fun withClaim(holds: Boolean): AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Uses the given holds as AssertionGroup.holds (or for the fixed part). |
interface HoldsOption<T : AssertionGroupType> : HoldsOption<T, FinalStep> |
|
interface HoldsOption<T : AssertionGroupType> : HoldsOption<T, FinalStep> |