Interface | Description |
---|---|
AccrueExtensionInfo |
An ExtensionInfo that implements the needed functionality for
Accrue.
|
AccrueOptions | |
AccrueScheduler |
Class | Description |
---|---|
AccrueJLExtensionInfo |
Extension information for Accrue extension for JL source code.
|
AccrueJLOptions |
Polyglot options for an object sensitive analysis
|
AccrueJLScheduler | |
AccrueOptionsHelper |
Polyglot options for an object sensitive analysis
|
AccrueSchedulerHelper |
This class defines a number of Accrue-relevant
scheduler goals.
|
AccrueUtil |