|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Interface Summary | |
| IInteractiveProver | |
| Class Summary | |
| Icons | Eclipse-specific part of jpov viewer. |
| JpoFile | This class defines a JPO file. |
| JpovError | Utility class the diplay error dialogs with details |
| PartialJpoFile | This class defines a JPO file. |
| UniqString | This class provides facilities to manage strings that appears during the view phases. |
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||