gov.nasa.jpf.util.script

Class Alternative

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

gov.nasa.jpf.util.script.ScriptElementContainer

gov.nasa.jpf.util.script.Alternative

All Implemented Interfaces:

Cloneable, Iterable<ScriptElement>

public class Alternative
extends ScriptElementContainer

ScriptElement that represents an alternative between choices. At runtime, this usually gets translated into a ChoiceGenerator instance, to specify an event context that should facilitate state space exploration

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.util.script.ScriptElementContainer

ScriptElementContainer.SECIterator

Field Summary

Fields inherited from class gov.nasa.jpf.util.script.ScriptElement

line, nextSibling, parent

Method Summary

Methods

Modifier and Type	Method and Description
void	process(ElementProcessor p)
String	toString()

Methods inherited from class gov.nasa.jpf.util.script.ScriptElementContainer

add, dump, getFirstChild, getNumberOfChildren, iterator, processChildren, toString

Methods inherited from class gov.nasa.jpf.util.script.ScriptElement

clone, getLine, getNextSibling, getParent

Methods inherited from class java.lang.Object

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

Method Detail

toString

public String toString()

Overrides:

toString in class ScriptElementContainer

process

public void process(ElementProcessor p)

Specified by:

process in class ScriptElement