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

Fields

Modifier and Type	Field and Description
protected boolean	committed
protected Document	document

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

version

Constructor Summary

Constructors

Constructor and Description
AbstractTransaction(Document document)

Method Summary

Methods

Modifier and Type	Method and Description
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)