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 Details
- InsertAnchoredElementCommand
  
  public InsertAnchoredElementCommand(InstanceLine anchor, AnchoredElement element)
  
  Constructor
  
  Parameters:
  
  anchor - - The anchor value
  
  element - - The anchor element
Method Details
- 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