gov.nasa.jpf.util.script

Class SequenceInterpreter

java.lang.Object

gov.nasa.jpf.util.script.SequenceInterpreter

All Implemented Interfaces:

java.lang.Cloneable

public class SequenceInterpreter
extends java.lang.Object
implements java.lang.Cloneable

an interpreter that walks a ScriptElementContainer hierarchy, returning Events and Alternatives while expanding loops

Constructor Summary

Constructors

Constructor and Description
SequenceInterpreter(ScriptElementContainer seq)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
ScriptElement	getNext()
boolean	isDone()
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

SequenceInterpreter

public SequenceInterpreter(ScriptElementContainer seq)

Method Detail

getNext

public ScriptElement getNext()

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

isDone

public boolean isDone()

main

public static void main(java.lang.String[] args)