gov.nasa.jpf.util.script

Class ScriptElement

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

Event, ScriptElementContainer

public abstract class ScriptElement
extends Object
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected int	line
protected ScriptElement	nextSibling
protected ScriptElement	parent

Method Summary

Methods

Modifier and Type	Method and Description
ScriptElement	clone()
int	getLine()
ScriptElement	getNextSibling()
ScriptElement	getParent()
abstract void	process(ElementProcessor proc)

Methods inherited from class java.lang.Object

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

Field Detail

parent

protected ScriptElement parent

nextSibling

protected ScriptElement nextSibling

line

protected int line

Method Detail

getParent

public ScriptElement getParent()

getLine

public int getLine()

getNextSibling

public ScriptElement getNextSibling()

clone

public ScriptElement clone()

Overrides:

clone in class Object

process

public abstract void process(ElementProcessor proc)