toolbus.process
Class LetDefinition

java.lang.Object
  toolbus.process.ProcessExpression
      toolbus.process.LetDefinition

public class LetDefinition
extends ProcessExpression

Field Summary

private Environment	env
private aterm.ATermList	locals
private ProcessExpression	PE
private ProcessExpression	PEinit

Fields inherited from class toolbus.process.ProcessExpression

posInfo, tbfactory

Constructor Summary

LetDefinition(aterm.ATermList locals, ProcessExpression PE, TBTermFactory tbfactory, PositionInformation posInfo)

Method Summary

protected void	compile(ProcessInstance P, java.util.Stack<java.lang.String> calls, State follows)
protected void	computeFirst()
protected ProcessExpression	copy()
AtomList	getAtoms()
State	getFirst()
State	getFollow()
protected void	replaceFormals(Environment e)
java.lang.String	toString()

Methods inherited from class toolbus.process.ProcessExpression

addToFirst, addToFollow, getPosInfo, setFirst, setFollow

Methods inherited from class java.lang.Object

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

Field Detail

locals

private final aterm.ATermList locals

PEinit

private final ProcessExpression PEinit

PE

private final ProcessExpression PE

env

private Environment env

Constructor Detail

LetDefinition

public LetDefinition(aterm.ATermList locals,
                     ProcessExpression PE,
                     TBTermFactory tbfactory,
                     PositionInformation posInfo)

Method Detail

copy

protected ProcessExpression copy()

Specified by:

copy in class ProcessExpression

computeFirst

protected void computeFirst()

Specified by:

computeFirst in class ProcessExpression

replaceFormals

protected void replaceFormals(Environment e)
                       throws ToolBusException

Specified by:

replaceFormals in class ProcessExpression

Throws:

ToolBusException

compile

protected void compile(ProcessInstance P,
                       java.util.Stack<java.lang.String> calls,
                       State follows)
                throws ToolBusException

Specified by:

compile in class ProcessExpression

Throws:

ToolBusException

getFirst

public State getFirst()

Overrides:

getFirst in class ProcessExpression

getFollow

public State getFollow()

Overrides:

getFollow in class ProcessExpression

getAtoms

public AtomList getAtoms()

Specified by:

getAtoms in class ProcessExpression

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object