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 ClassInvariant
classInvariant()
ClassNode
classNode()
boolean
hasDefaultClassInvariant()
AssertionMap<Postcondition>
postconditions()
AssertionMap<Precondition>
preconditions()
void
setClassInvariant(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()
-
-