gov.nasa.jpf.util.script

Class StringSetGenerator

java.lang.Object

gov.nasa.jpf.util.script.StringSetGenerator

All Implemented Interfaces:

ElementProcessor

public class StringSetGenerator
extends java.lang.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

Modifier and Type	Method and Description
java.util.List<gov.nasa.jpf.util.script.CG>	getCGQueue()
java.util.LinkedHashMap<java.lang.String,java.util.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 java.util.LinkedHashMap<java.lang.String,java.util.ArrayList<gov.nasa.jpf.util.script.CG>> getSections()

getCGQueue

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