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 and Description
InsertAnchoredElementCommand(InstanceLine anchor, AnchoredElement element) Constructor

Method Summary

Modifier and Type	Method and Description
protected void	doCancel()
protected void	doUndo()
void	setAnchor(InstanceLine anchor) Set anchor into the element
void	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, setVersion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InsertAnchoredElementCommand

public InsertAnchoredElementCommand(InstanceLine anchor,
                                    AnchoredElement element)

Constructor

Parameters:

anchor - - The anchor value

element - - 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 class InsertElementCommand

doUndo

protected void doUndo()

Overrides:

doUndo in class InsertElementCommand