Package com.uppaal.model.core2
Interface Command
-
- All Known Implementing Classes:
AbstractCommand
,AbstractTransaction
,AddAnchorCommand
,AppendQueriesCommand
,ChangeAnchorCommand
,ChangeMessageEndCommand
,ClearQueriesCommand
,CompoundCommand
,InsertAnchoredElementCommand
,InsertEdgeCommand
,InsertElementCommand
,InsertInstanceCommand
,InsertMessageCommand
,InsertQueryCommand
,InsertTemplateCommand
,InsertTextCommand
,MoveTemplateCommand
,RemoveAnchorCommand
,RemoveElementCommand
,RemoveLscElementCommand
,RemoveQueryCommand
,RemoveTemplateCommand
,RemoveTextCommand
,SetEndPointCommand
,SetLengthCommand
,SetPropertyCommand
,SetPropertyWithPositionCommand
,SetQueryCommand
,SetSourceCommand
,SetTargetCommand
,SnapCommand
,TranslationCommand
,TranslationMessageLabelCommand
,TranslationXCommand
,TranslationYCommand
public interface Command
Interface for commands. See command pattern.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
execute()
Element
getModifiedElement()
int
getVersion()
boolean
merge(Command next)
Merge the next command (meant for storage, it still needs to be executed before storage)void
setVersion(int version)
void
undo()
-
-
-
Method Detail
-
execute
void execute()
-
undo
void undo()
-
setVersion
void setVersion(int version)
-
getVersion
int getVersion()
-
merge
boolean merge(Command next)
Merge the next command (meant for storage, it still needs to be executed before storage)- Parameters:
next
- the next command- Returns:
- true if merge is successful
-
getModifiedElement
Element getModifiedElement()
- Returns:
- the modified element or its closest relative (sibling or parent) if the element is not displayed.
-
-