RemoveTextCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.RemoveTextCommand

All Implemented Interfaces:: Command

public class RemoveTextCommand
extends AbstractCommand

Inserts text into a property value at specified position

Field Summary

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

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

version

Constructor Summary

Constructors

Constructor Description

RemoveTextCommand(Property property, int position, int length)
Command to remove text at specific location

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
- position
  
  protected int position
- length
  
  protected int length
- oldvalue
  
  protected Object oldvalue
- oldlength
  
  protected int oldlength
- newvalue
  
  protected String newvalue
Constructor Details
- RemoveTextCommand
  
  public RemoveTextCommand(Property property, int position, int length)
  
  Command to remove text at specific location
  
  Parameters:
  
  property - the property holding the value
  
  position - the beginning of the text to remove
  
  length - the length of the text to remove
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()