|
||||||||||
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.AltNode
public class AltNode
Class representing an alt statement in the step simulation tree.
Field Summary | |
---|---|
protected SimulationNode |
activeChild
The active child, only one since sequential |
Fields inherited from class modesteditor.core.stepsimulation.SimulationNode |
---|
alphabet, children, column, guard, hidden, isActive, length, line, newLabel, parent |
Constructor Summary | |
---|---|
AltNode(int line,
int column,
SimulationNode parent)
Default constructor. |
Method Summary | |
---|---|
void |
childIsFinished(SimulationNode child)
Child notifies the parent that is is finished. |
java.util.List<ParTransition> |
collectParTransitions()
Abstract method for generating the list of parallel transitions of the node. |
java.util.List<SimulationNode> |
collectTransitions()
Method collects all children if not a child is already active |
void |
generateAlphabet()
Abstract method to generate the alphabet of the node. |
java.util.ArrayList<SimulationNode> |
getParentList()
|
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. |
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()
Sets the node active and all children in the children list |
void |
takeTransition()
No transition to be taken, only child can be consumed. |
Methods inherited from class modesteditor.core.stepsimulation.SimulationNode |
---|
addChild, breakTransitionTaken, createSimHighlighting, exceptionThrown, getAlphabet, getColumn, getGuard, getLength, getLine, getName, getParent, hide, isActive, isHidden, printTransition, relabelNode, setParent, stopCalled |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected SimulationNode activeChild
Constructor Detail |
---|
public AltNode(int line, int column, SimulationNode parent)
line
- column
- parent
- Method Detail |
---|
public void setActive()
setActive
in class SimulationNode
public void childIsFinished(SimulationNode child)
SimulationNode
childIsFinished
in class SimulationNode
public void isFinished()
SimulationNode
isFinished
in class SimulationNode
public java.util.List<SimulationNode> collectTransitions()
collectTransitions
in class SimulationNode
public java.util.List<ParTransition> collectParTransitions()
SimulationNode
collectParTransitions
in class SimulationNode
public void generateAlphabet()
SimulationNode
generateAlphabet
in class SimulationNode
public void takeTransition()
takeTransition
in class SimulationNode
public void releaseTransitions()
SimulationNode
releaseTransitions
in class SimulationNode
public void notificationOfChildActivity(SimulationNode child)
SimulationNode
notificationOfChildActivity
in class SimulationNode
public java.util.ArrayList<SimulationNode> getParentList()
getParentList
in class SimulationNode
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |