com.javapathfinder.vjp.verify
Class VerifyJob

java.lang.Object
  org.eclipse.core.runtime.PlatformObject
      org.eclipse.core.internal.jobs.InternalJob
          org.eclipse.core.runtime.jobs.Job
              com.javapathfinder.vjp.verify.VerifyJob

All Implemented Interfaces:

java.lang.Comparable, org.eclipse.core.runtime.IAdaptable

public class VerifyJob
extends org.eclipse.core.runtime.jobs.Job

This Job serves to perform the JPF verification. The Verify view is created, the publisher is grabbed and verification is executed all in this job.

Author:

Sandro Badame

Field Summary

Fields inherited from class org.eclipse.core.runtime.jobs.Job

ASYNC_FINISH, BUILD, DECORATE, INTERACTIVE, LONG, NONE, RUNNING, SHORT, SLEEPING, WAITING

Constructor Summary

VerifyJob(org.eclipse.core.resources.IFile modePropertyFile, org.eclipse.jdt.core.IJavaProject project)

Method Summary

static boolean	isRunning()
void	setStepRun(boolean step) Sets whether the verification should just run or step.
static void	verify(org.eclipse.core.resources.IFile file, org.eclipse.jdt.core.IJavaProject project, boolean step) Automatically creates and schedules a verification
static void	verify(org.eclipse.core.resources.IFile file, org.eclipse.core.resources.IProject project, boolean step) Automatically creates and schedules a verification

Methods inherited from class org.eclipse.core.runtime.jobs.Job

addJobChangeListener, belongsTo, cancel, done, getJobManager, getName, getPriority, getProperty, getResult, getRule, getState, getThread, isBlocking, isSystem, isUser, join, removeJobChangeListener, schedule, schedule, setName, setPriority, setProgressGroup, setProperty, setRule, setSystem, setThread, setUser, shouldRun, shouldSchedule, sleep, wakeUp, wakeUp

Methods inherited from class org.eclipse.core.internal.jobs.InternalJob

compareTo, toString

Methods inherited from class org.eclipse.core.runtime.PlatformObject

getAdapter

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Constructor Detail

VerifyJob

public VerifyJob(org.eclipse.core.resources.IFile modePropertyFile,
                 org.eclipse.jdt.core.IJavaProject project)

Parameters:

modePropertyFilePath - This absolute path to the Mode Property File to be used for this verification.

project -

Method Detail

isRunning

public static boolean isRunning()

Returns:

true if there is currently a VerifyJob running

verify

public static void verify(org.eclipse.core.resources.IFile file,
                          org.eclipse.core.resources.IProject project,
                          boolean step)

Automatically creates and schedules a verification

Parameters:

file - the configuration file used to define the user defined properties for this verification

project - the project to be used to determine the VJP defined values.

step - if true then verification will be done step by step

verify

public static void verify(org.eclipse.core.resources.IFile file,
                          org.eclipse.jdt.core.IJavaProject project,
                          boolean step)

Automatically creates and schedules a verification

Parameters:

file - the configuration file used to define the user defined properties for this verification

project - the project to be used to determine the VJP defined values.

step - if true then verification will be done step by step

setStepRun

public void setStepRun(boolean step)

Sets whether the verification should just run or step.

Parameters:

step - if true, the verification will step through each state