Class Postcondition
- java.lang.Object
-
- org.apache.groovy.contracts.domain.Assertion<Postcondition>
-
- org.apache.groovy.contracts.domain.Postcondition
-
public class Postcondition extends Assertion<Postcondition>
A post-condition assertion.
-
-
Constructor Summary
Constructors Constructor Description Postcondition()
Postcondition(BlockStatement blockStatement, BooleanExpression booleanExpression, boolean isPartOfConstructor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isPartOfConstructor()
-
Methods inherited from class org.apache.groovy.contracts.domain.Assertion
and, booleanExpression, or, originalBlockStatement, renew
-
-
-
-
Constructor Detail
-
Postcondition
public Postcondition()
-
Postcondition
public Postcondition(BlockStatement blockStatement, BooleanExpression booleanExpression, boolean isPartOfConstructor)
-
-