com.javapathfinder.vjp.verify
Class VJPListener

java.lang.Object
  extended by gov.nasa.jpf.ListenerAdapter
      extended by 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