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

Field Summary

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

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

Method Summary

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)

Method Detail

execute

public void execute()

Specified by:

execute in interface Command

Overrides:

execute in class SetPropertyCommand