|
Class Summary |
| Activator |
The activator class controls the plug-in life cycle |
| Console |
|
| Console.StreamToConsole |
This class is an OutputStream that, when written to, writes
the data to the Eclipse Console supplied
in the constructor. |
| EscjavaAction |
This class and its subclasses are the classes
that respond to Menu actions. |
| EscjavaAction.Check |
This class implements the action for checking
files using EscJava2 |
| EscjavaAction.Clear |
This class implements the action that clears
EscJava markers. |
| EscjavaAction.ESC |
|
| EscjavaAction.GoToDecl |
This class implements the action that opens and
positions an editor on an associated declaration of
a marker. |
| EscjavaCompilationParticipant |
This class is intended as an Eclipse CompilationParticipant, but
so far it does not work. |
| EscjavaMarker |
Deprecated. - we have reverted to problem reporting via the JDT core. |
| NewJmlSpecCreationPage |
|
| NewJmlSpecWizard |
|
| UIUtils |
This class contains a number of (static) utility methods for
use in plugins. |
| WarningDeclarationsAction |
This is the class that implements the action method for the
'Go To associated specification' menu item - through the run method. |
| ZipEditorInput |
This class is used to provide an IEditorInput from
files that are in a jar file, so that entries in
a jar file can be displayed (readonly) in an editor
within Eclipse. |