| 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 |