| Interface | Description |
|---|---|
| AccrueExt | |
| AnalysisExtFactory | |
| ExtAlloc | |
| ExtInitializerOrFieldDecl | |
| ExtProcedureCall |
| Class | Description |
|---|---|
| AccrueExt_c | |
| AnalysisExtFactory_c | |
| ExtArrayAccess | |
| ExtArrayAccessAssign | |
| ExtArrayInit | |
| ExtAssert | |
| ExtBinary | |
| ExtBlock | |
| ExtBranch | |
| ExtCall | |
| ExtCast | |
| ExtCatch | |
| ExtCodeDecl | |
| ExtConditional | |
| ExtConstructorCall | |
| ExtConstructorDecl | |
| ExtDo | |
| ExtEmpty | |
| ExtEval | |
| ExtExpr | |
| ExtField | |
| ExtFieldAssign | |
| ExtFieldDecl | |
| ExtFormal | |
| ExtIf | |
| ExtInitializer | |
| ExtInstanceof | |
| ExtLabeled | |
| ExtLit | |
| ExtLocal | |
| ExtLocalAssign | |
| ExtLocalDecl | |
| ExtLoop | |
| ExtMethodDecl | |
| ExtNew | |
| ExtNewArray | |
| ExtPrimitiveExpr |
The extension to use for any primitive only expression.
|
| ExtProcedureDecl | |
| ExtReturn | |
| ExtSpecial | |
| ExtSuppress | |
| ExtSwitch | |
| ExtSynchronized | |
| ExtTerm |
Dataflow node extension object for an object sensitive analysis
|
| ExtThrow | |
| ExtTry | |
| ExtTypeNode | |
| ExtUnary | |
| ExtWhile |