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 java.lang.String name

protected Property property

protected java.lang.Object value
- Fields inherited from class com.uppaal.model.core2.AbstractCommand
  version

Constructor Summary

Constructors
Constructor Description

SetPropertyCommand(Element element, java.lang.String name, java.lang.Object value)
Constructor

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`execute()`
`protected Property`	`getLocalProperty()`	Get local property
`protected java.lang.Object`	`getLocalPropertyValue()`	Get local property value
`Element`	`getModifiedElement()`
`protected java.lang.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 java.lang.String name
```

value
```
protected java.lang.Object value
```

property
```
protected Property property
```

Constructor Detail

SetPropertyCommand

public SetPropertyCommand(Element element,
                          java.lang.String name,
                          java.lang.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 java.lang.Object swap()
```
  Swap the object
  
  Returns:
  
  The old object
- getLocalProperty
```
protected Property getLocalProperty()
```
  Get local property
  
  Returns:
  
  The local property
- getLocalPropertyValue
```
protected java.lang.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.