|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
ConfigFileActionDelegate | This class is called when Verifying is launched from a *.jpf file. |
JavaClassLaunchDelegate | JavaClassLaunchDelegate is used then the 'Verify...' selection is chosen from right clicking on a Java Source file. |
VJPButtonActionDelegate | This class is called by the plugin manifest to be activated when the verify button on the workspace dialog is clicked. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |