com.javapathfinder.vjp.delegates
Class JavaClassLaunchDelegate

java.lang.Object
  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.

Author:

Sandro Badame

Constructor Summary

JavaClassLaunchDelegate()

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

JavaClassLaunchDelegate

public JavaClassLaunchDelegate()

Method Detail

selectionChanged

public void selectionChanged(org.eclipse.jface.action.IAction action,
                             org.eclipse.jface.viewers.ISelection selection)

Specified by:

selectionChanged in interface org.eclipse.ui.IActionDelegate

run

public void run(org.eclipse.jface.action.IAction action)

Specified by:

run in interface org.eclipse.ui.IActionDelegate

setActivePart

public void setActivePart(org.eclipse.jface.action.IAction action,
                          org.eclipse.ui.IWorkbenchPart targetPart)

Specified by:

setActivePart in interface org.eclipse.ui.IObjectActionDelegate