Interface | Description |
---|---|
JL5DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> |
Helper interface to assist in dispatch for dataflow implementations that
support JL5.
|
Class | Description |
---|---|
AccrueJL5ExtensionInfo |
Extension information for Accrue extension for JL5 source code.
|
AccrueJL5Options |
Polyglot options for an object sensitive analysis
|
AccrueJL5Scheduler | |
AccrueJL5Scheduler.AccrueJL5SchedulerHelper | |
AccrueJL5TranslationExtensionInfo |
Polyglot extension that pre-processes java5 code with the JL5 extension, converting
it to Java 1.4 code, and then performs an analysis pass.
|
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions |
This options class uses the options of the succeeding info flow extension
pass
|