|
||||||||||
| 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.BreakNode
public class BreakNode
Class representing a break statement in a do loop.
| Field Summary |
|---|
| Fields inherited from class modesteditor.core.stepsimulation.SimulationNode |
|---|
alphabet, children, column, guard, hidden, isActive, length, line, newLabel, parent |
| Constructor Summary | |
|---|---|
BreakNode(int line,
int column,
SimulationNode parent,
java.lang.String guard)
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()
Abstract method for generating the list of possible transitions. |
void |
generateAlphabet()
Nothing to do because break is never in the common alphabet |
java.lang.String |
getAssignment()
|
java.lang.String |
getName()
|
void |
inDoSubtree()
Method that signals that the break in the transition is in a do loop |
void |
isFinished()
Method called when the node is completely processed |
void |
notificationOfChildActivity(SimulationNode child)
Nothing happens, because a BreakNode is a leaf of the tree, so the method never gets called. |
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 |
setAssignment(java.lang.String assignment)
|
void |
takeTransition()
Method calls the breakTransitionTaken method of the parent, to notify the parent of the occured break. |
| Methods inherited from class modesteditor.core.stepsimulation.SimulationNode |
|---|
addChild, breakTransitionTaken, createSimHighlighting, exceptionThrown, getAlphabet, getColumn, getGuard, getLength, getLine, getParent, getParentList, hide, isActive, isHidden, relabelNode, setActive, setParent, stopCalled |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public BreakNode(int line,
int column,
SimulationNode parent,
java.lang.String guard)
line - column - parent - guard - | Method Detail |
|---|
public void childIsFinished(SimulationNode child)
SimulationNode
childIsFinished in class SimulationNodepublic java.util.List<SimulationNode> collectTransitions()
SimulationNode
collectTransitions in class SimulationNodepublic java.util.List<ParTransition> collectParTransitions()
SimulationNode
collectParTransitions in class SimulationNodepublic void inDoSubtree()
public void generateAlphabet()
generateAlphabet in class SimulationNodepublic void takeTransition()
takeTransition in class SimulationNodepublic void isFinished()
SimulationNode
isFinished in class SimulationNodepublic void releaseTransitions()
SimulationNode
releaseTransitions in class SimulationNodepublic void notificationOfChildActivity(SimulationNode child)
notificationOfChildActivity in class SimulationNodepublic java.lang.String printTransition()
SimulationNode
printTransition in class SimulationNodepublic java.lang.String getName()
getName in class SimulationNodepublic 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 | |||||||||