Package com.uppaal.model.core2.lsc
Class InsertAnchoredElementCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.AbstractTransaction
-
- com.uppaal.model.core2.InsertElementCommand
-
- com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
- All Implemented Interfaces:
Command
public class InsertAnchoredElementCommand extends InsertElementCommand
A transaction command for inserting elements. The transaction supports optionally setting a position, repeatedly.
-
-
Field Summary
-
Fields inherited from class com.uppaal.model.core2.InsertElementCommand
element, parent, position
-
Fields inherited from class com.uppaal.model.core2.AbstractTransaction
commandManager, committed
-
Fields inherited from class com.uppaal.model.core2.AbstractCommand
version
-
-
Constructor Summary
Constructors Constructor Description InsertAnchoredElementCommand(InstanceLine anchor, AnchoredElement element)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
doCancel()
protected void
doUndo()
void
setAnchor(InstanceLine anchor)
Set anchor into the elementvoid
showEditor(JFrame frame)
Show the editor-
Methods inherited from class com.uppaal.model.core2.InsertElementCommand
doExecute, getElement, getModifiedElement, move
-
Methods inherited from class com.uppaal.model.core2.AbstractTransaction
cancel, commit, execute, undo
-
Methods inherited from class com.uppaal.model.core2.AbstractCommand
getVersion, merge, setVersion
-
-
-
-
Constructor Detail
-
InsertAnchoredElementCommand
public InsertAnchoredElementCommand(InstanceLine anchor, AnchoredElement element)
Constructor- Parameters:
anchor
- - The anchor valueelement
- - The anchor element
-
-
Method Detail
-
setAnchor
public void setAnchor(InstanceLine anchor)
Set anchor into the element- Parameters:
anchor
- - The new anchor
-
showEditor
public void showEditor(JFrame frame)
Show the editor- Parameters:
frame
- - The jFrame
-
doCancel
protected void doCancel()
- Overrides:
doCancel
in classInsertElementCommand
-
doUndo
protected void doUndo()
- Overrides:
doUndo
in classInsertElementCommand
-
-