com.javapathfinder.vjp.delegates
Class ConfigFileActionDelegate

java.lang.Object
  com.javapathfinder.vjp.delegates.ConfigFileActionDelegate

All Implemented Interfaces:

org.eclipse.ui.IActionDelegate, org.eclipse.ui.IObjectActionDelegate

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

This class is called when Verifying is launched from a *.jpf file.

Author:

Sandro Badame

Constructor Summary

ConfigFileActionDelegate()

Method Summary

void	run(org.eclipse.jface.action.IAction action) Creates and runs the verify job.
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

ConfigFileActionDelegate

public ConfigFileActionDelegate()

Method Detail

run

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

Creates and runs the verify job.

Specified by:

run in interface org.eclipse.ui.IActionDelegate

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

setActivePart

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

Specified by:

setActivePart in interface org.eclipse.ui.IObjectActionDelegate