Package com.uppaal.model.core2
Class SetPropertyWithPositionCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.SetPropertyCommand
-
- com.uppaal.model.core2.SetPropertyWithPositionCommand
-
- All Implemented Interfaces:
Command
public class SetPropertyWithPositionCommand extends SetPropertyCommand
The set property with position command class
-
-
Field Summary
Fields Modifier and Type Field Description protected int
x
protected int
y
-
Fields inherited from class com.uppaal.model.core2.SetPropertyCommand
element, name, property, value
-
Fields inherited from class com.uppaal.model.core2.AbstractCommand
version
-
-
Constructor Summary
Constructors Constructor Description SetPropertyWithPositionCommand(Element element, String property, Object value, int x, int y)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
execute()
-
Methods inherited from class com.uppaal.model.core2.SetPropertyCommand
getLocalProperty, getLocalPropertyValue, getModifiedElement, swap, undo
-
Methods inherited from class com.uppaal.model.core2.AbstractCommand
getVersion, merge, setVersion
-
-
-
-
Method Detail
-
execute
public void execute()
- Specified by:
execute
in interfaceCommand
- Overrides:
execute
in classSetPropertyCommand
-
-