Constructor Detail

• public ProcessingContextInformation(ClassNode classNode, SourceUnit sourceUnit, ReaderSource source)

Method Detail

• public void addError(String msg, ASTNode expr)

• public Contract contract()

• public Object get(String key)

• public boolean isClassInvariantsEnabled()

• public boolean isConstructorAssertionsEnabled()

• public boolean isPostconditionsEnabled()

• public boolean isPreconditionsEnabled()

• public void put(String key, Object value)

• public ReaderSource readerSource()

• public void setConstructorAssertionsEnabled(boolean other)

• public SourceUnit sourceUnit()