triveni
Class Init

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

public class Init

extends Expr

Class Init provides a mechanism for putting initial actions before an existing Expr. An init expression terminates when the existing expression terminates.

See Also:

Action

Constructor Summary

Init(Action action)
Init(action, new Done())

Init(Action[] actions)
Init(actions, new Done())

Init(Action[] actions, Expr expr)

Init(Action action, Expr expr)
Init(new Action[] { action }, 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

Init

public Init(Action[] actions,
            Expr expr)

Parameters:

actions - the initial actions.

expr - the original expression.

Throws:

java.lang.IllegalArgumentException - if actions is null.

Init

public Init(Action[] actions)

 Init(actions, new Done())
 

Init

public Init(Action action,
            Expr expr)

 Init(new Action[] { action }, expr)
 

Init

public Init(Action action)

 Init(action, new Done())
 

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Expr