FinalStep
Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions.
Properties
Link copied to clipboard
The previously defined AssertionGroup.assertions
Link copied to clipboard
The previously defined AssertionGroup.description.
Link copied to clipboard
The previously defined AssertionGroup.type.
Link copied to clipboard
The previously defined state of the pre-transformation (if it holds or not).
Link copied to clipboard
The previously defined AssertionGroup.representation.