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 Detail

element
```
protected Element element
```

name
```
protected String name
```

value
```
protected Object value
```

property
```
protected Property property
```

Constructor Detail

SetPropertyCommand

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

Constructor

Parameters:: element - - The element object; name - - The name; value - - The value

Method Detail
- 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.