Class Contract
- java.lang.Object
-
- org.apache.groovy.contracts.domain.Contract
-
public class Contract extends Object
Represents a contract between a supplier and a customer of a class.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ClassInvariantclassInvariant()ClassNodeclassNode()booleanhasDefaultClassInvariant()AssertionMap<Postcondition>postconditions()AssertionMap<Precondition>preconditions()voidsetClassInvariant(ClassInvariant classInvariant)
-
-
-
Constructor Detail
-
Contract
public Contract(ClassNode classNode)
-
-
Method Detail
-
classNode
public ClassNode classNode()
-
setClassInvariant
public void setClassInvariant(ClassInvariant classInvariant)
-
preconditions
public AssertionMap<Precondition> preconditions()
-
postconditions
public AssertionMap<Postcondition> postconditions()
-
hasDefaultClassInvariant
public boolean hasDefaultClassInvariant()
-
classInvariant
public ClassInvariant classInvariant()
-
-