gov.nasa.jpf.util.script

Class Section

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

gov.nasa.jpf.util.script.ScriptElementContainer

gov.nasa.jpf.util.script.Section

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ScriptElement>

public class Section
extends ScriptElementContainer

this script element is just a way to do logical partitioning of scripts and doesn't bear any additional info than just an id. It is an optional element

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

Constructor Summary

Constructors

Constructor and Description
Section(ScriptElement parent, java.util.List<java.lang.String> ids, int line)
Section(ScriptElement parent, java.lang.String id)

Method Summary

Modifier and Type	Method and Description
boolean	containsId(java.lang.String id)
java.util.List<java.lang.String>	getIds()
void	process(ElementProcessor proc)
java.lang.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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Section

public Section(ScriptElement parent,
               java.lang.String id)

Section

public Section(ScriptElement parent,
               java.util.List<java.lang.String> ids,
               int line)

Method Detail

getIds

public java.util.List<java.lang.String> getIds()

containsId

public boolean containsId(java.lang.String id)

toString

public java.lang.String toString()

Overrides:

toString in class ScriptElementContainer

process

public void process(ElementProcessor proc)

Specified by:

process in class ScriptElement