SetPropertyCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.SetPropertyCommand

All Implemented Interfaces:: Command

Direct Known Subclasses:: SetPropertyWithPositionCommand

public class SetPropertyCommand
extends AbstractCommand

The set property command

Field Summary

Fields

Modifier and Type Field Description

protected Element element

protected String name

protected Property property

protected Object value

Fields inherited from class com.uppaal.model.core2.AbstractCommand
version
Constructor Summary

Constructors

Constructor Description

SetPropertyCommand(Element element, String name, Object value)
Constructor

Method Summary

Modifier and Type	Method	Description
`void`	`execute()`
`protected Property`	`getLocalProperty()`	Get local property
`protected Object`	`getLocalPropertyValue()`	Get local property value
`Element`	`getModifiedElement()`
`protected Object`	`swap()`	Swap the object
`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
- element
  
  protected Element element
- name
  
  protected String name
- value
  
  protected Object value
- property
  
  protected Property property
Constructor Details
- SetPropertyCommand
  
  public SetPropertyCommand(Element element, String name, Object value)
  
  Constructor
  
  Parameters:
  
  element - - The element object
  
  name - - The name
  
  value - - The value
Method Details
- execute
  
  public void execute()
- undo
  
  public void undo()
- swap
  
  protected Object swap()
  
  Swap the object
  
  Returns:
  
  The old object
- getLocalProperty
  
  protected Property getLocalProperty()
  
  Get local property
  
  Returns:
  
  The local property
- getLocalPropertyValue
  
  protected Object getLocalPropertyValue()
  
  Get local property value
  
  Returns:
  
  The local property value
- getModifiedElement
  
  public Element getModifiedElement()
  
  Returns:
  
  the modified element or its closest relative (sibling or parent) if the element is not displayed.