FinalStep

Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
abstract val assertions: List<Assertion>

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
abstract val representation: Any

The previously defined AssertionGroup.representation.

Functions

Link copied to clipboard
abstract fun build(): AssertionGroup

Creates and returns the new Assertion of type T.