roneditor.ronview.commands
Class FireSplitHLTransitionCommand
java.lang.Object
org.eclipse.gef.commands.Command
roneditor.ronview.commands.FireSplitHLTransitionCommand
public class FireSplitHLTransitionCommand
- extends org.eclipse.gef.commands.Command
command zum feuern eines splitHLTransition
Field Summary |
private java.util.Map<ronmodel.Token,ronmodel.HLPlace> |
sourceTokens
|
private java.util.Map<ronmodel.Token,ronmodel.HLPlace> |
targetTokens
|
private ronmodel.HLTransition |
transition
|
Method Summary |
boolean |
canExecute()
True if the command can be executed, false otherwise. |
void |
execute()
alle nicht zusammenhängenden Komponenten ein selektiertes ObjectNet
im einem Vorbereichstelle werden zerlegt und für jede zusammenhangskomponente
wird ein ObjectNet erzeugt. diese ObjectNets werden in allen Nachbereichstellen
kopiert und die ursprungliche ObjectNet wird gelöscht |
void |
redo()
|
void |
setTransition(ronmodel.HLTransition transition)
|
void |
undo()
|
Methods inherited from class org.eclipse.gef.commands.Command |
canUndo, chain, dispose, getDebugLabel, getLabel, setDebugLabel, setLabel |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
transition
private ronmodel.HLTransition transition
sourceTokens
private java.util.Map<ronmodel.Token,ronmodel.HLPlace> sourceTokens
targetTokens
private java.util.Map<ronmodel.Token,ronmodel.HLPlace> targetTokens
FireSplitHLTransitionCommand
public FireSplitHLTransitionCommand()
execute
public void execute()
- alle nicht zusammenhängenden Komponenten ein selektiertes
ObjectNet
im einem Vorbereichstelle werden zerlegt und für jede zusammenhangskomponente
wird ein ObjectNet
erzeugt. diese ObjectNets werden in allen Nachbereichstellen
kopiert und die ursprungliche ObjectNet
wird gelöscht
- Overrides:
execute
in class org.eclipse.gef.commands.Command
- See Also:
Command.execute()
undo
public void undo()
- Overrides:
undo
in class org.eclipse.gef.commands.Command
- See Also:
Command.undo()
redo
public void redo()
- Overrides:
redo
in class org.eclipse.gef.commands.Command
- See Also:
Command.redo()
canExecute
public boolean canExecute()
- True if the command can be executed, false otherwise.
- Overrides:
canExecute
in class org.eclipse.gef.commands.Command
setTransition
public void setTransition(ronmodel.HLTransition transition)