gov.nasa.jpf.util.script

Class Event

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

gov.nasa.jpf.util.script.Event

All Implemented Interfaces:

java.lang.Cloneable

public class Event
extends ScriptElement

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String[]	arguments
protected java.lang.String	id
static java.lang.String	NONE

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

line, nextSibling, parent

Constructor Summary

Constructors

Constructor and Description
Event(ScriptElement parent, java.lang.String id, java.lang.String[] args, int line)

Method Summary

Modifier and Type	Method and Description
java.util.List<Event>	expand() this is an interesting little exercise since we have to cover all combinations of parameter values, which would normally be a simple set of nested loops, only that the number of parameters is a variable itself
java.lang.String[]	getArguments()
static java.lang.Object[][]	getBooleanArgVariations(int nArgs) variations over boolean lists are quite easy to produce :)
java.lang.Object[]	getConcreteArguments()
java.lang.String	getId()
int	getLine()
boolean	isNone()
static boolean	isNone(java.lang.String id)
void	process(ElementProcessor p)
void	setArguments(java.lang.String[] args)
java.lang.String	toString()

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

clone, getNextSibling, getParent

Methods inherited from class java.lang.Object

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

Field Detail

NONE

public static final java.lang.String NONE

See Also:

Constant Field Values

id

protected java.lang.String id

arguments

protected java.lang.String[] arguments

Constructor Detail

Event

public Event(ScriptElement parent,
             java.lang.String id,
             java.lang.String[] args,
             int line)

Method Detail

isNone

public boolean isNone()

isNone

public static boolean isNone(java.lang.String id)

getId

public java.lang.String getId()

getLine

public int getLine()

Overrides:

getLine in class ScriptElement

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getArguments

public java.lang.String[] getArguments()

setArguments

public void setArguments(java.lang.String[] args)

process

public void process(ElementProcessor p)

Specified by:

process in class ScriptElement

expand

public java.util.List<Event> expand()

this is an interesting little exercise since we have to cover all combinations of parameter values, which would normally be a simple set of nested loops, only that the number of parameters is a variable itself

getConcreteArguments

public java.lang.Object[] getConcreteArguments()

getBooleanArgVariations

public static java.lang.Object[][] getBooleanArgVariations(int nArgs)

variations over boolean lists are quite easy to produce :)