gov.nasa.jpf.util.script

Class StringSetGenerator

java.lang.Object

gov.nasa.jpf.util.script.StringSetGenerator

All Implemented Interfaces:

ElementProcessor

public class StringSetGenerator
extends Object
implements ElementProcessor

that's mostly a test class to see what a script would be expanded to w/o having any side effects in the ElementProcessor

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

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

Method Detail

process

public void process(Section sec)

Specified by:

process in interface ElementProcessor

process

public void process(Event e)

Specified by:

process in interface ElementProcessor

process

public void process(Alternative a)

Specified by:

process in interface ElementProcessor

process

public void process(Repetition r)

Specified by:

process in interface ElementProcessor

getSections

public LinkedHashMap<String,ArrayList<gov.nasa.jpf.util.script.CG>> getSections()

getCGQueue

public List<gov.nasa.jpf.util.script.CG> getCGQueue()