gov.nasa.jpf.vm

Class ChoicePoint

java.lang.Object

gov.nasa.jpf.vm.ChoicePoint

public class ChoicePoint
extends java.lang.Object

a little helper class that is used to replay previously stored traces (which are little more than just a list of ChoiceGenerator classnames and choiceIndex indexes stored in a previous run)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getCgClassName()
int	getChoiceIndex()
ChoicePoint	getNext()
ChoicePoint	getPrevious()
static ChoicePoint	readTrace(java.lang.String fileName, java.lang.String sutName) "application:" appName {arg} "["searchLevel"]" (choiceGeneratorName | '#'cgID) nChoice
static void	storeTrace(java.lang.String fileName, java.lang.String sutName, java.lang.String comment, ChoiceGenerator[] trace, boolean verbose)

Methods inherited from class java.lang.Object

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

Method Detail

getCgClassName

public java.lang.String getCgClassName()

getChoiceIndex

public int getChoiceIndex()

getNext

public ChoicePoint getNext()

getPrevious

public ChoicePoint getPrevious()

storeTrace

public static void storeTrace(java.lang.String fileName,
                              java.lang.String sutName,
                              java.lang.String comment,
                              ChoiceGenerator[] trace,
                              boolean verbose)

readTrace

public static ChoicePoint readTrace(java.lang.String fileName,
                                    java.lang.String sutName)

"application:" appName {arg} "["searchLevel"]" (choiceGeneratorName | '#'cgID) nChoice