Class JavaClassLaunchDelegate

  extended by com.javapathfinder.vjp.delegates.JavaClassLaunchDelegate
All Implemented Interfaces:
org.eclipse.ui.IActionDelegate, org.eclipse.ui.IObjectActionDelegate

public class JavaClassLaunchDelegate
extends java.lang.Object
implements org.eclipse.ui.IObjectActionDelegate

JavaClassLaunchDelegate is used then the 'Verify...' selection is chosen from right clicking on a Java Source file. Once run the package and name of the class is determined. A JPF configuration file is then created in the same directory as the source file, with the target property defined. A VerifyJob is then created and scheduled to be executed. While this class does use discouraged objects (namely org.eclipse.jdt.internal.core.CompilationUnit) it got the job done on time. So this definatly needs to be changed to using the proper classes.

Sandro Badame

Constructor Summary
Method Summary
 void run(org.eclipse.jface.action.IAction action)
 void selectionChanged(org.eclipse.jface.action.IAction action, org.eclipse.jface.viewers.ISelection selection)
 void setActivePart(org.eclipse.jface.action.IAction action, org.eclipse.ui.IWorkbenchPart targetPart)
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public JavaClassLaunchDelegate()
Method Detail


public void selectionChanged(org.eclipse.jface.action.IAction action,
                             org.eclipse.jface.viewers.ISelection selection)
Specified by:
selectionChanged in interface org.eclipse.ui.IActionDelegate


public void run(org.eclipse.jface.action.IAction action)
Specified by:
run in interface org.eclipse.ui.IActionDelegate


public void setActivePart(org.eclipse.jface.action.IAction action,
                          org.eclipse.ui.IWorkbenchPart targetPart)
Specified by:
setActivePart in interface org.eclipse.ui.IObjectActionDelegate