AbstractCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

All Implemented Interfaces:: Command

Direct Known Subclasses:: AbstractTransaction, AppendQueriesCommand, CompoundCommand, InsertQueryCommand, InsertTemplateCommand, MoveTemplateCommand, RemoveElementCommand, RemoveLscElementCommand, RemoveQueryCommand, RemoveTemplateCommand, SetPropertyCommand, SetQueryCommand, SnapCommand

public abstract class AbstractCommand
extends Object
implements Command

Field Summary

Fields

Modifier and Type Field Description

protected int version
Constructor Summary

Constructors

Constructor Description

AbstractCommand()
Method Summary

Modifier and Type Method Description

int getVersion()

void setVersion(int version)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.uppaal.model.core2.Command
execute, getModifiedElement, undo

Field Details
- version
  
  protected int version
Constructor Details
- AbstractCommand
  
  public AbstractCommand()
Method Details
- setVersion
  
  public void setVersion(int version)
  
  Specified by:
  
  setVersion in interface Command
- getVersion
  
  public int getVersion()
  
  Specified by:
  
  getVersion in interface Command