public class StringSetGenerator extends Object implements ElementProcessor
Modifier and Type | Method and Description |
---|---|
List<gov.nasa.jpf.util.script.CG> |
getCGQueue() |
LinkedHashMap<String,ArrayList<gov.nasa.jpf.util.script.CG>> |
getSections() |
void |
process(Alternative a) |
void |
process(Event e) |
void |
process(Repetition r) |
void |
process(Section sec) |
public void process(Section sec)
process
in interface ElementProcessor
public void process(Event e)
process
in interface ElementProcessor
public void process(Alternative a)
process
in interface ElementProcessor
public void process(Repetition r)
process
in interface ElementProcessor
public LinkedHashMap<String,ArrayList<gov.nasa.jpf.util.script.CG>> getSections()
public List<gov.nasa.jpf.util.script.CG> getCGQueue()