Package org.apache.groovy.contracts.domain

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 final ClassInvariant	DEFAULT

Constructor Summary

Constructors

Constructor	Description
ClassInvariant()
ClassInvariant(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement, org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)

Method Summary

Methods inherited from class org.apache.groovy.contracts.domain.Assertion

and, booleanExpression, or, originalBlockStatement, renew

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

DEFAULT

public static final ClassInvariant DEFAULT

Constructor Details

ClassInvariant

public ClassInvariant()

ClassInvariant

public ClassInvariant(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement,
 org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)