Package com.uppaal.model.core2

Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.

See: Description

Interface Summary

Interface	Description
Command	Interface for commands.
CommandListener	Listener interface to listen for editing Commands performed on a Document.
CommonConstants	Defines various constants used by the model representation.
Constants	Defines various constants used by the model representation.
EventListener	Listener interface to listen for element events.
Visitor	Interface for implementing the visitor pattern.

Class Summary

Class	Description
AbstractCommand
AbstractEventListener	Abstract listener class to listen for element events.
AbstractLocation	Common "interface" for Location and BranchPoint, to let Edge use either as endpoint.
AbstractTemplate	AbstractTemplate has two subclasses: Template (for TA) and LscTemplate (for LSC)
AbstractTransaction
AbstractVisitor	Abstract implementation of the visitor interface.
BranchPoint	BranchPoint splits an edge into several probabilistic branches.
CompoundCommand
Document	Model for a network of timed automata as defined in UPPAAL.
Edge	Edge models discrete transitions between locations.
Element	Base class for elements.
InsertEdgeCommand
InsertElementCommand	A transaction command for inserting elements.
InsertTemplateCommand	A transaction command for inserting elements.
Location	Location models the location part of the state of a timed automaton.
MoveTemplateCommand	A transaction command for inserting elements.
Nail	Nails models the graphical layout of edges.
Node	Nodes are elements that can be placed in a tree structure represented by references to the parent, the first child and left and right siblings.
PrintVisitor
Property	A property is a special kind of element.
PrototypeDocument	Prototypical document structure for a Uppaal network of timed automata with default properties (see the prototype design pattern).
PrototypeVisitor	Only difference to AbstractVisitor is that this visitor knows about the #template, #location, #edge and #nail properties used to set the default prototype for these elements.
RemoveElementCommand
RemoveTemplateCommand
SetEndPointCommand
SetPropertyCommand
SetPropertyWithPositionCommand
SetSourceCommand	Transaction for changing the source of an edge.
SetTargetCommand	Transaction for changing the target of an edge.
SnapCommand	Command to snap template elements to a grid.
Template
TranslationCommand	Translates (in the geometrical meaning) a set of elements.

Exception Summary

Exception	Description
CannotRedoException
CannotUndoException

Package com.uppaal.model.core2 Description

Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.

A UPPAAL model is represented as a tree. Element is the base class for all nodes in the tree and the root is an instance of the Document class. Visit the Document class as a starting point.