|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object gov.nasa.jpf.ListenerAdapter com.javapathfinder.vjp.verify.VJPListener
public class VJPListener
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.
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 |
---|
public VJPListener(VJPView view, boolean step)
view
- that view that this listener will events to.step
- whether the run should be stepped throughMethod Detail |
---|
public void choiceGeneratorAdvanced(gov.nasa.jpf.jvm.JVM vm)
choiceGeneratorAdvanced
in interface gov.nasa.jpf.jvm.VMListener
choiceGeneratorAdvanced
in class gov.nasa.jpf.ListenerAdapter
public void stateAdvanced(gov.nasa.jpf.search.Search search)
stateAdvanced
in interface gov.nasa.jpf.search.SearchListener
stateAdvanced
in class gov.nasa.jpf.ListenerAdapter
public void stateBacktracked(gov.nasa.jpf.search.Search search)
stateBacktracked
in interface gov.nasa.jpf.search.SearchListener
stateBacktracked
in class gov.nasa.jpf.ListenerAdapter
public void searchFinished(gov.nasa.jpf.search.Search search)
searchFinished
in interface gov.nasa.jpf.search.SearchListener
searchFinished
in class gov.nasa.jpf.ListenerAdapter
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)
widgetSelected
in interface org.eclipse.swt.events.SelectionListener
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
widgetDefaultSelected
in interface org.eclipse.swt.events.SelectionListener
public VJPView getView()
public void setRunDelayMillis(int delay)
delay
- the delay to set
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |