gov.nasa.jpf.util.script

Class Repetition

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

gov.nasa.jpf.util.script.ScriptElementContainer

gov.nasa.jpf.util.script.Repetition

All Implemented Interfaces:

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

public class Repetition
extends ScriptElementContainer

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
Repetition(ScriptElement parent, int n, int line)

Method Summary

Modifier and Type	Method and Description
int	getRepeatCount()
ScriptElementContainer.SECIterator	iterator()
void	process(ElementProcessor p)
java.lang.String	toString()

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

add, dump, getFirstChild, getNumberOfChildren, 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

Repetition

public Repetition(ScriptElement parent,
                  int n,
                  int line)

Method Detail

iterator

public ScriptElementContainer.SECIterator iterator()

Specified by:

iterator in interface java.lang.Iterable<ScriptElement>

Overrides:

iterator in class ScriptElementContainer

toString

public java.lang.String toString()

Overrides:

toString in class ScriptElementContainer

getRepeatCount

public int getRepeatCount()

process

public void process(ElementProcessor p)

Specified by:

process in class ScriptElement