Class Contract
java.lang.Object
org.apache.groovy.contracts.domain.Contract
Represents a contract between a supplier and a customer of a class.
- 
Constructor SummaryConstructors
- 
Method Summary
- 
Constructor Details- 
Contract
 
- 
- 
Method Details- 
classNode
- 
setClassInvariant
- 
preconditions
- 
postconditions
- 
hasDefaultClassInvariantpublic boolean hasDefaultClassInvariant()
- 
classInvariant
 
-