InsertTextCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.InsertTextCommand

All Implemented Interfaces:: Command

public class InsertTextCommand
extends AbstractCommand

Inserts text into a property value at specified position

Field Summary

Fields
Modifier and Type	Field	Description
`protected String`	`newvalue`
`protected int`	`oldlength`
`protected Object`	`oldvalue`
`protected int`	`position`
`protected Property`	`property`
`protected String`	`text`

Fields inherited from class com.uppaal.model.core2.AbstractCommand

version

Constructor Summary

Constructors

Constructor Description

InsertTextCommand(Property property, String text, int position)
Command to insert a text at the specified position of the property value

Method Summary

Modifier and Type	Method	Description
`void`	`execute()`
`int`	`getBeginIndex()`
`int`	`getEndIndex()`
`Element`	`getModifiedElement()`
`boolean`	`merge(Command next)`	attempt to merge another insertion into the same command
`void`	`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

Field Details
- property
  
  protected final Property property
- text
  
  protected String text
- position
  
  protected final int position
- oldvalue
  
  protected Object oldvalue
- oldlength
  
  protected int oldlength
- newvalue
  
  protected String newvalue
Constructor Details
- InsertTextCommand
  
  public InsertTextCommand(Property property, String text, int position)
  
  Command to insert a text at the specified position of the property value
  
  Parameters:
  
  property - the property value to be modified
  
  text - the text to be inserted
  
  position - the position of the insertion.
Method Details
- execute
  
  public void execute()
- merge
  
  public boolean merge(Command next)
  
  attempt to merge another insertion into the same command
  
  Specified by:
  
  merge in interface Command
  
  Overrides:
  
  merge in class AbstractCommand
  
  Parameters:
  
  next - the next command to be stored together
  
  Returns:
  
  true if merge is successful, otherwise the command needs to be stored separately
- undo
  
  public void undo()
- getModifiedElement
  
  public Element getModifiedElement()
  
  Returns:
  
  the modified element or its closest relative (sibling or parent) if the element is not displayed.
- getBeginIndex
  
  public int getBeginIndex()
- getEndIndex
  
  public int getEndIndex()