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 |