Class ProcessingContextInformation
- java.lang.Object
-
- org.apache.groovy.contracts.common.spi.ProcessingContextInformation
-
public class ProcessingContextInformation extends Object
-
-
Constructor Summary
Constructors Constructor Description ProcessingContextInformation(ClassNode classNode, SourceUnit sourceUnit, ReaderSource source)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddError(String msg, ASTNode expr)Contractcontract()Objectget(String key)booleanisClassInvariantsEnabled()booleanisConstructorAssertionsEnabled()booleanisPostconditionsEnabled()booleanisPreconditionsEnabled()voidput(String key, Object value)ReaderSourcereaderSource()voidsetConstructorAssertionsEnabled(boolean other)SourceUnitsourceUnit()
-
-
-
Constructor Detail
-
ProcessingContextInformation
public ProcessingContextInformation(ClassNode classNode, SourceUnit sourceUnit, ReaderSource source)
-
-
Method Detail
-
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()
-
-