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