|
||||||||||
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 SimulationNode
public java.util.List<SimulationNode> collectTransitions()
SimulationNode
collectTransitions
in class SimulationNode
public java.util.List<ParTransition> collectParTransitions()
SimulationNode
collectParTransitions
in class SimulationNode
public void inDoSubtree()
public void generateAlphabet()
generateAlphabet
in class SimulationNode
public void takeTransition()
takeTransition
in class SimulationNode
public void isFinished()
SimulationNode
isFinished
in class SimulationNode
public void releaseTransitions()
SimulationNode
releaseTransitions
in class SimulationNode
public void notificationOfChildActivity(SimulationNode child)
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 |