ProcessingContextInformation (Groovy 5.0.8)
Description: declaration: package: org.apache.groovy.contracts.common.spi, class: ProcessingContextInformation

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 Summary

  Constructors
  Constructor
  Description
  `ProcessingContextInformation(ClassNode classNode, SourceUnit sourceUnit, ReaderSource source)`

- ## Method Summary

  Modifier and Type
  Method
  Description
  `void`
  `addError(String msg, ASTNode expr)`
  `Contract`
  `contract()`
  `Object`
  `get(String key)`
  `boolean`
  `isClassInvariantsEnabled()`
  `boolean`
  `isConstructorAssertionsEnabled()`
  `boolean`
  `isPostconditionsEnabled()`
  `boolean`
  `isPreconditionsEnabled()`
  `void`
  `put(String key, Object value)`
  `ReaderSource`
  `readerSource()`
  `void`
  `setConstructorAssertionsEnabled(boolean other)`
  `SourceUnit`
  `sourceUnit()`

  ### Methods inherited from class java.lang.Object

  `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- ## Constructor Details

  - ### ProcessingContextInformation

    public ProcessingContextInformation(ClassNode classNode, SourceUnit sourceUnit, 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 ReaderSource readerSource()

  - ### sourceUnit

    public SourceUnit sourceUnit()

  - ### put

    public void put(String key, Object value)

  - ### get

    public Object get(String key)

  - ### addError

    public void addError(String msg, ASTNode expr)