|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmodesteditor.core.stepsimulation.SimulationNode
modesteditor.core.stepsimulation.ActionNode
public class ActionNode
The class representing an action in the MoDeST code.
Field Summary |
---|
Fields inherited from class modesteditor.core.stepsimulation.SimulationNode |
---|
alphabet, children, column, guard, hidden, isActive, length, line, newLabel, parent |
Constructor Summary | |
---|---|
ActionNode(java.lang.String name,
int line,
int column,
SimulationNode parent,
java.lang.String guard)
Constructor that sets the parent node and the name |
Method Summary | |
---|---|
void |
childIsFinished(SimulationNode child)
Never gets called since an action has no children. |
java.util.List<ParTransition> |
collectParTransitions()
Abstract method for generating the list of parallel transitions of the node. |
java.util.List<SimulationNode> |
collectTransitions()
Abstract method for generating the list of possible transitions. |
void |
generateAlphabet()
Puts the name of the action in the alphabet if it's not a STOP or a tau action. |
java.lang.String |
getAssignment()
|
java.lang.String |
getName()
|
void |
isFinished()
Method called when the node is completely processed |
void |
notificationOfChildActivity(SimulationNode child)
Method which is called from the child in order to notify the parent that it is active. |
java.lang.String |
printTransition()
Method that prints the SimulationNode TODO better incoporation in Eclipse |
void |
releaseTransitions()
Method shall release the active transitions of the node an it's children in case a do loop is broken or a STOP occured ... |
void |
setActive()
|
void |
setAssignment(java.lang.String assignment)
|
void |
takeTransition()
Abstract method for taking a Transition, the node will care for itself how it organizes the transition. |
Methods inherited from class modesteditor.core.stepsimulation.SimulationNode |
---|
addChild, breakTransitionTaken, createSimHighlighting, exceptionThrown, getAlphabet, getColumn, getGuard, getLength, getLine, getParent, getParentList, hide, isActive, isHidden, relabelNode, setParent, stopCalled |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ActionNode(java.lang.String name, int line, int column, SimulationNode parent, java.lang.String guard)
name
- line
- column
- parent
- Method Detail |
---|
public java.util.List<SimulationNode> collectTransitions()
SimulationNode
collectTransitions
in class SimulationNode
public java.util.List<ParTransition> collectParTransitions()
SimulationNode
collectParTransitions
in class SimulationNode
public void generateAlphabet()
generateAlphabet
in class SimulationNode
public void setActive()
setActive
in class SimulationNode
public void takeTransition()
SimulationNode
takeTransition
in class SimulationNode
public void isFinished()
SimulationNode
isFinished
in class SimulationNode
public void childIsFinished(SimulationNode child)
childIsFinished
in class SimulationNode
public void releaseTransitions()
SimulationNode
releaseTransitions
in class SimulationNode
public void notificationOfChildActivity(SimulationNode child)
SimulationNode
notificationOfChildActivity
in class SimulationNode
public java.lang.String printTransition()
SimulationNode
printTransition
in class SimulationNode
public java.lang.String getName()
getName
in class SimulationNode
public java.lang.String getAssignment()
public void setAssignment(java.lang.String assignment)
assignment
- the assignment to set
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |