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-2022 The Apache Software Foundation. All rights reserved.