toolbus.process
Class ProcessDefinition

java.lang.Object
  toolbus.process.ProcessDefinition

public class ProcessDefinition
extends java.lang.Object

ProcessDefinition describes the name, formal parameters and body of a defined process.

Field Summary

private aterm.ATermList	formals
private java.lang.String	name
private ProcessExpression	PE
private PositionInformation	posInfo
private TBTermFactory	tbfactory

Constructor Summary

ProcessDefinition(java.lang.String name, aterm.ATermList formals, ProcessExpression PE, TBTermFactory tbfactory, PositionInformation posInfo)

Method Summary

aterm.ATermList	getFormals()
java.lang.String	getName()
int	getNumberOfFormals()
ProcessExpression	getOriginalProcessExpression()
PositionInformation	getPosInfo()
ProcessExpression	getProcessExpression(aterm.ATermList actuals)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

private final java.lang.String name

formals

private final aterm.ATermList formals

PE

private final ProcessExpression PE

tbfactory

private final TBTermFactory tbfactory

posInfo

private final PositionInformation posInfo

Constructor Detail

ProcessDefinition

public ProcessDefinition(java.lang.String name,
                         aterm.ATermList formals,
                         ProcessExpression PE,
                         TBTermFactory tbfactory,
                         PositionInformation posInfo)

Method Detail

getPosInfo

public PositionInformation getPosInfo()

getName

public java.lang.String getName()

getFormals

public aterm.ATermList getFormals()

getNumberOfFormals

public int getNumberOfFormals()

getOriginalProcessExpression

public ProcessExpression getOriginalProcessExpression()

getProcessExpression

public ProcessExpression getProcessExpression(aterm.ATermList actuals)
                                       throws ToolBusError

Throws:

ToolBusError

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object