com.uppaal.model.core2
Class AbstractTransaction

java.lang.Object
  com.uppaal.model.core2.AbstractCommand
      com.uppaal.model.core2.AbstractTransaction

All Implemented Interfaces:

Command

Direct Known Subclasses:

AddAnchorCommand, ChangeAnchorCommand, ChangeMessageEndCommand, InsertEdgeCommand, InsertElementCommand, InsertMessageCommand, RemoveAnchorCommand, SetEndPointCommand, SetLengthCommand, TranslationCommand

public abstract class AbstractTransaction
extends AbstractCommand

Field Summary

protected boolean	committed
protected Document	document

Fields inherited from class com.uppaal.model.core2.AbstractCommand

version

Constructor Summary

AbstractTransaction(Document document)

Method Summary

void	cancel() Cancel the transaction.
void	commit() Commit the transaction.
protected abstract void	doCancel()
protected abstract void	doExecute()
protected abstract void	doUndo()
void	execute()
void	move(int xd, int yd)
void	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

Methods inherited from interface com.uppaal.model.core2.Command

getModifiedElement

Field Detail

document

protected Document document

committed

protected boolean committed

Constructor Detail

AbstractTransaction

public AbstractTransaction(Document document)

Method Detail

commit

public void commit()

Commit the transaction.

cancel

public void cancel()

Cancel the transaction.

doCancel

protected abstract void doCancel()

doExecute

protected abstract void doExecute()

doUndo

protected abstract void doUndo()

execute

public void execute()

undo

public void undo()

move

public void move(int xd,
                 int yd)