Class Precondition
java.lang.Object
org.apache.groovy.contracts.domain.Assertion<Precondition>
org.apache.groovy.contracts.domain.Precondition
A pre-condition assertion.
-
Constructor Summary
ConstructorDescriptionPrecondition
(BlockStatement blockStatement, BooleanExpression booleanExpression) -
Method Summary
Methods inherited from class org.apache.groovy.contracts.domain.Assertion
and, booleanExpression, or, originalBlockStatement, renew
-
Constructor Details
-
Precondition
public Precondition() -
Precondition
-