|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttoolbus.process.ProcessExpression
toolbus.process.DynamicProcessCall
public class DynamicProcessCall
Field Summary | |
---|---|
private boolean |
activated
|
protected aterm.ATermList |
actuals
|
private java.util.Stack<java.lang.String> |
calls
|
private ProcessDefinition |
definition
|
private Environment |
env
|
private boolean |
executing
|
private State |
firstState
|
private aterm.ATermList |
formals
|
private java.lang.String |
name
|
private TBTermVar |
nameAsVar
|
protected aterm.ATermList |
originalActuals
|
protected ProcessExpression |
PE
|
protected ProcessInstance |
processInstance
|
private aterm.ATerm |
test
|
private Environment |
testEnv
|
Fields inherited from class toolbus.process.ProcessExpression |
---|
posInfo, tbfactory |
Constructor Summary | |
---|---|
DynamicProcessCall(java.lang.String name,
aterm.ATermList actuals,
TBTermFactory tbfactory,
PositionInformation posInfo)
|
Method Summary | |
---|---|
void |
activate()
Activate the StateElement, i.e. |
protected void |
compile(ProcessInstance P,
java.util.Stack<java.lang.String> calls,
State follows)
|
private void |
compileStaticOrDynamicCall()
|
protected void |
computeFirst()
|
boolean |
contains(StateElement a)
Check whether a StateElement contains another StateElement. |
protected ProcessExpression |
copy()
|
ProcessInstance[] |
debugExecute()
Executes the state element in debug mode. |
boolean |
execute()
Execute this StateElement |
private void |
finishCall()
|
AtomList |
getAtoms()
|
StateElement |
getExecutedStateElement()
Returns the last, by this process call, executed state element. |
java.lang.String |
getName()
|
ProcessInstance |
getProcess()
|
java.util.List<aterm.ATerm> |
getTests()
Returns a collection containing all tests that are associated with this state element. |
State |
gotoNextStateAndActivate()
|
State |
gotoNextStateAndActivate(StateElement se)
Get the successor of the StateElement for a given other StateElement elem. |
private void |
initDynamicCall()
|
boolean |
isEnabled()
Is this StateElelement enabled for execution, i.e., are its associated tests all true? If enabled, the StateElement is ready for execution. |
protected void |
replaceFormals(Environment e)
|
void |
setTest(aterm.ATerm test,
Environment env)
Add a test to this state element. |
java.lang.String |
toString()
|
Methods inherited from class toolbus.process.ProcessExpression |
---|
addToFirst, addToFollow, getFirst, getFollow, getPosInfo, setFirst, setFollow |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface toolbus.StateElement |
---|
getFollow, getPosInfo |
Field Detail |
---|
private java.lang.String name
private TBTermVar nameAsVar
protected final aterm.ATermList originalActuals
protected aterm.ATermList actuals
private aterm.ATermList formals
private Environment env
private ProcessDefinition definition
protected ProcessExpression PE
protected ProcessInstance processInstance
private final State firstState
private boolean executing
private boolean activated
private java.util.Stack<java.lang.String> calls
private aterm.ATerm test
private Environment testEnv
Constructor Detail |
---|
public DynamicProcessCall(java.lang.String name, aterm.ATermList actuals, TBTermFactory tbfactory, PositionInformation posInfo)
Method Detail |
---|
protected ProcessExpression copy()
copy
in class ProcessExpression
protected void computeFirst()
computeFirst
in class ProcessExpression
protected void replaceFormals(Environment e) throws ToolBusException
replaceFormals
in class ProcessExpression
ToolBusException
protected void compile(ProcessInstance P, java.util.Stack<java.lang.String> calls, State follows) throws ToolBusException
compile
in class ProcessExpression
ToolBusException
private void compileStaticOrDynamicCall() throws ToolBusException
ToolBusException
private void initDynamicCall() throws ToolBusException
ToolBusException
private void finishCall()
public AtomList getAtoms()
getAtoms
in class ProcessExpression
public java.lang.String getName()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean contains(StateElement a)
StateElement
contains
in interface StateElement
a
- the StateElement
public ProcessInstance getProcess()
getProcess
in interface StateElement
public void setTest(aterm.ATerm test, Environment env) throws ToolBusException
StateElement
setTest
in interface StateElement
env
- to be used for executing the test
ToolBusException
public java.util.List<aterm.ATerm> getTests()
StateElement
getTests
in interface StateElement
public boolean isEnabled()
StateElement
isEnabled
in interface StateElement
public State gotoNextStateAndActivate()
gotoNextStateAndActivate
in interface StateElement
public State gotoNextStateAndActivate(StateElement se)
StateElement
gotoNextStateAndActivate
in interface StateElement
public void activate()
StateElement
activate
in interface StateElement
public boolean execute() throws ToolBusException
StateElement
execute
in interface StateElement
ToolBusException
public ProcessInstance[] debugExecute() throws ToolBusException
StateElement
debugExecute
in interface StateElement
ToolBusException
public StateElement getExecutedStateElement()
|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |