com.uppaal.model.core2

Class InsertEdgeCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.InsertEdgeCommand

All Implemented Interfaces:

Command

public class InsertEdgeCommand
extends AbstractTransaction

Field Summary

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

committed, document

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

version

Constructor Summary

Constructors

Constructor and Description
InsertEdgeCommand(AbstractLocation source, int x, int y)

Method Summary

Methods

Modifier and Type	Method and Description
void	addNail(int x, int y)
void	commit() Commit the transaction.
void	commit(AbstractLocation target)
void	commitBranchPoint(int x, int y)
void	commitLocation(int x, int y)
protected void	doCancel()
protected void	doExecute()
protected void	doUndo()
Element	getModifiedElement()
AbstractLocation	getSource()
AbstractLocation	getTarget()
boolean	hasNails()
void	move(int x, int y)

Methods inherited from class com.uppaal.model.core2.AbstractTransaction

cancel, execute, 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

Constructor Detail

InsertEdgeCommand

public InsertEdgeCommand(AbstractLocation source,
                 int x,
                 int y)

Method Detail

addNail

public void addNail(int x,
           int y)

move

public void move(int x,
        int y)

Overrides:

move in class AbstractTransaction

commitLocation

public void commitLocation(int x,
                  int y)

commitBranchPoint

public void commitBranchPoint(int x,
                     int y)

commit

public void commit(AbstractLocation target)

hasNails

public boolean hasNails()

getSource

public AbstractLocation getSource()

getTarget

public AbstractLocation getTarget()

commit

public void commit()

Description copied from class: AbstractTransaction

Commit the transaction.

Overrides:

commit in class AbstractTransaction

doCancel

protected void doCancel()

Specified by:

doCancel in class AbstractTransaction

doExecute

protected void doExecute()

Specified by:

doExecute in class AbstractTransaction

doUndo

protected void doUndo()

Specified by:

doUndo in class AbstractTransaction

getModifiedElement

public Element getModifiedElement()

Returns:

the modified element or its closest relative (sibling or parent) if the element is not displayed.