Package org.apache.groovy.contracts.domain

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.

  • Constructor Details

    • Contract

      public Contract(org.codehaus.groovy.ast.ClassNode classNode)

  • Method Details

    • classNode

      public org.codehaus.groovy.ast.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()