Class ClassInvariant
java.lang.Object
org.apache.groovy.contracts.domain.Assertion<ClassInvariant>
org.apache.groovy.contracts.domain.ClassInvariant
A class-invariant assertion.
- 
Field SummaryFields
- 
Constructor SummaryConstructorsConstructorDescriptionClassInvariant(BlockStatement blockStatement, BooleanExpression booleanExpression) 
- 
Method SummaryMethods inherited from class org.apache.groovy.contracts.domain.Assertionand, booleanExpression, or, originalBlockStatement, renew
- 
Field Details- 
DEFAULT
 
- 
- 
Constructor Details- 
ClassInvariantpublic ClassInvariant()
- 
ClassInvariant
 
-