public class ProcessingContextInformation
Holds all context-specific information which is needed during the transformation phase of a single Contract and its related ClassNode.
Constructor and description |
---|
ProcessingContextInformation
(ClassNode classNode, SourceUnit sourceUnit, ReaderSource source) |
Type Params | Return Type | Name and description |
---|---|---|
|
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() |
Copyright © 2003-2020 The Apache Software Foundation. All rights reserved.