Package org.apache.groovy.contracts.common.spi

Class ProcessingContextInformation

java.lang.Object
org.apache.groovy.contracts.common.spi.ProcessingContextInformation
public class ProcessingContextInformation extends Object

Holds all context-specific information which is needed during the transformation phase of a single Contract and its related ClassNode.

  • Constructor Details

    • ProcessingContextInformation

      public ProcessingContextInformation(org.codehaus.groovy.ast.ClassNode classNode, org.codehaus.groovy.control.SourceUnit sourceUnit, org.codehaus.groovy.control.io.ReaderSource source)

  • Method Details

    • setConstructorAssertionsEnabled

      public void setConstructorAssertionsEnabled(boolean other)

    • isConstructorAssertionsEnabled

      public boolean isConstructorAssertionsEnabled()

    • isPreconditionsEnabled

      public boolean isPreconditionsEnabled()

    • isPostconditionsEnabled

      public boolean isPostconditionsEnabled()

    • isClassInvariantsEnabled

      public boolean isClassInvariantsEnabled()

    • contract

      public Contract contract()

    • readerSource

      public org.codehaus.groovy.control.io.ReaderSource readerSource()

    • sourceUnit

      public org.codehaus.groovy.control.SourceUnit sourceUnit()

    • put

      public void put(String key, Object value)

    • get

      public Object get(String key)

    • addError

      public void addError(String msg, org.codehaus.groovy.ast.ASTNode expr)