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 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()
-
-
-
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()
-
-