com.javapathfinder.vjp.verify
Class VJPListener

java.lang.Object
  gov.nasa.jpf.ListenerAdapter
      com.javapathfinder.vjp.verify.VJPListener

All Implemented Interfaces:

gov.nasa.jpf.JPFListener, gov.nasa.jpf.jvm.VMListener, gov.nasa.jpf.report.PublisherExtension, gov.nasa.jpf.search.SearchListener, java.util.EventListener, org.eclipse.swt.events.SelectionListener, org.eclipse.swt.internal.SWTEventListener

public class VJPListener
extends gov.nasa.jpf.ListenerAdapter
implements org.eclipse.swt.events.SelectionListener

This class serves as the single link between VJP and JPF. (And between Eclipse and JPF for that matter). It is a ListenerAdapater that keeps track of JPF. It is also the thread the stalls a verification between steps.

Author:

Sandro Badame

Constructor Summary

VJPListener(VJPView view, boolean step)
Creates a new instance of this listener

Method Summary

void	choiceGeneratorAdvanced(gov.nasa.jpf.jvm.JVM vm)
VJPView	getView()
void	searchFinished(gov.nasa.jpf.search.Search search)
void	setRunDelayMillis(int delay) How long to delay between each transition when runing in milliseconds
void	stateAdvanced(gov.nasa.jpf.search.Search search)
void	stateBacktracked(gov.nasa.jpf.search.Search search)
void	widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
void	widgetSelected(org.eclipse.swt.events.SelectionEvent e)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorProcessed, choiceGeneratorSet, classLoaded, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchStarted, stateProcessed, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting

Methods inherited from class java.lang.Object

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

Constructor Detail

VJPListener

public VJPListener(VJPView view,
                   boolean step)

Creates a new instance of this listener

Parameters:

view - that view that this listener will events to.

step - whether the run should be stepped through

Method Detail

choiceGeneratorAdvanced

public void choiceGeneratorAdvanced(gov.nasa.jpf.jvm.JVM vm)

Specified by:

choiceGeneratorAdvanced in interface gov.nasa.jpf.jvm.VMListener

Overrides:

choiceGeneratorAdvanced in class gov.nasa.jpf.ListenerAdapter

stateAdvanced

public void stateAdvanced(gov.nasa.jpf.search.Search search)

Specified by:

stateAdvanced in interface gov.nasa.jpf.search.SearchListener

Overrides:

stateAdvanced in class gov.nasa.jpf.ListenerAdapter

stateBacktracked

public void stateBacktracked(gov.nasa.jpf.search.Search search)

Specified by:

stateBacktracked in interface gov.nasa.jpf.search.SearchListener

Overrides:

stateBacktracked in class gov.nasa.jpf.ListenerAdapter

searchFinished

public void searchFinished(gov.nasa.jpf.search.Search search)

Specified by:

searchFinished in interface gov.nasa.jpf.search.SearchListener

Overrides:

searchFinished in class gov.nasa.jpf.ListenerAdapter

widgetSelected

public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)

Specified by:

widgetSelected in interface org.eclipse.swt.events.SelectionListener

widgetDefaultSelected

public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)

Specified by:

widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener

getView

public VJPView getView()

Returns:

The view that is associated with this listener

setRunDelayMillis

public void setRunDelayMillis(int delay)

How long to delay between each transition when runing in milliseconds

Parameters:

delay - the delay to set