Class ClassInvariant
- java.lang.Object
-
- org.apache.groovy.contracts.domain.Assertion<ClassInvariant>
-
- org.apache.groovy.contracts.domain.ClassInvariant
-
public class ClassInvariant extends Assertion<ClassInvariant>
A class-invariant assertion.
-
-
Field Summary
Fields Modifier and Type Field Description static ClassInvariant
DEFAULT
-
Constructor Summary
Constructors Constructor Description ClassInvariant()
ClassInvariant(BlockStatement blockStatement, BooleanExpression booleanExpression)
-
-
-
Field Detail
-
DEFAULT
public static final ClassInvariant DEFAULT
-
-
Constructor Detail
-
ClassInvariant
public ClassInvariant()
-
ClassInvariant
public ClassInvariant(BlockStatement blockStatement, BooleanExpression booleanExpression)
-
-