public abstract class EventGeneratorFactory extends ListenerAdapter implements ElementProcessor, Iterable<EventGenerator>
Modifier and Type | Field and Description |
---|---|
protected Config |
conf |
protected int |
cur
the last returned position in the generator stream
|
protected ArrayList<EventGenerator> |
queue |
protected Script |
script |
protected String |
scriptFileName |
protected LinkedHashMap<String,ArrayList<EventGenerator>> |
sections |
Modifier | Constructor and Description |
---|---|
protected |
EventGeneratorFactory() |
protected |
EventGeneratorFactory(EventFactory efact) |
Modifier and Type | Method and Description |
---|---|
protected void |
addLoop(int startPos) |
ArrayList<EventGenerator> |
getDefaultSection() |
abstract Class<?> |
getEventType() |
protected EventGenerator |
getNextEventGenerator() |
protected EventGenerator |
getQueueItem(int i) |
Script |
getScript() |
String |
getScriptFileName() |
ArrayList<EventGenerator> |
getSection(String id) |
int |
getTotalNumberOfEvents() |
boolean |
hasSection(String id) |
protected void |
init(String fname) |
Iterator<EventGenerator> |
iterator() |
void |
printOn(PrintWriter pw) |
void |
reset()
reset the enumeration state of this factory
|
void |
searchStarted(Search search)
SearchListener interface
|
protected void |
setQueue(ArrayList<EventGenerator> q) |
void |
stateAdvanced(Search search)
got the next state
Note - this will be notified before any potential propertyViolated, in which
case the currentError will be already set
|
void |
stateBacktracked(Search search)
state was backtracked one step
|
void |
stateRestored(Search search)
a previously generated state was restored
(can be on a completely different path)
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, stateProcessed, statePurged, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
process, process, process, process
protected int cur
protected String scriptFileName
protected Script script
protected Config conf
protected LinkedHashMap<String,ArrayList<EventGenerator>> sections
protected ArrayList<EventGenerator> queue
protected EventGeneratorFactory()
protected EventGeneratorFactory(EventFactory efact)
protected void init(String fname) throws ESParser.Exception
ESParser.Exception
public Iterator<EventGenerator> iterator()
iterator
in interface Iterable<EventGenerator>
protected void addLoop(int startPos)
public abstract Class<?> getEventType()
public void reset()
public String getScriptFileName()
public Script getScript()
public boolean hasSection(String id)
public ArrayList<EventGenerator> getSection(String id)
public ArrayList<EventGenerator> getDefaultSection()
protected void setQueue(ArrayList<EventGenerator> q)
protected EventGenerator getNextEventGenerator()
protected EventGenerator getQueueItem(int i)
public int getTotalNumberOfEvents()
public void printOn(PrintWriter pw)
public void searchStarted(Search search)
searchStarted
in interface SearchListener
searchStarted
in class ListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
stateBacktracked
in class ListenerAdapter
public void stateRestored(Search search)
SearchListener
stateRestored
in interface SearchListener
stateRestored
in class ListenerAdapter