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