InsertAnchoredElementCommand (UPPAAL model library)

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

Modifier and Type	Method	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