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 java.lang.Object
implements Command
```

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  protected int version
- Constructor Summary
  
  Constructors
  Constructor Description
  
  AbstractCommand()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - version
```
protected int version
```
- Constructor Detail
  - AbstractCommand
```
public AbstractCommand()
```
- Method Detail
  - setVersion
```
public void setVersion(int version)
```
    Specified by:
    
    setVersion in interface Command
  - getVersion
```
public int getVersion()
```
    Specified by:
    
    getVersion in interface Command