triveni
Class Loop

java.lang.Object
  |
  +--triveni.Communicator
        |
        +--triveni.Expr
              |
              +--triveni.Loop

public class Loop

extends Expr

Class Loop allows an Expr to be repeated, that is, sequentially composed with itself infinitely many times. A loop expression never terminates.

See Also:

Sequence

Constructor Summary

Loop(Expr expr)

Method Summary

java.lang.Object

clone()

Methods inherited from class triveni.Expr

addNewActExpressions, become, printFSM, setOnQuiescence, setTracer, spawn, start, start, update

Methods inherited from class triveni.Communicator

addLabeledListener, addRelevantLabel, addRelevantLabels, fireEvent, getRelevantLabels, removeLabeledListener, removeRelevantLabel, setRelevantLabels, setRelevantLabels

Methods inherited from class java.lang.Object

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

Constructor Detail

Loop

public Loop(Expr expr)

Parameters:

expr - the expr to be repeated.

Throws:

java.lang.IllegalArgumentException - if expr is null or Done.

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Expr