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

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, setVersion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

x

protected int x

y

protected int y

Constructor Detail

SetPropertyWithPositionCommand

public SetPropertyWithPositionCommand(Element element,
                                      String property,
                                      Object value,
                                      int x,
                                      int y)

Constructor

Parameters:

element - - The element

property - - The property

value - - The value

x - - The x value

y - - The y value

Method Detail

execute

public void execute()

Specified by:

execute in interface Command

Overrides:

execute in class SetPropertyCommand