Package com.uppaal.model.core2

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.

Interface Summary

Interface	Description
Command	Interface for commands.
CommandListener	Listener interface to listen for editing Commands performed on a command.
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.
QueryListener	The listener class of 'query'
QueryListListener	Listener class for 'QueryList'
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	The abstract class transaction
AbstractVisitor	Abstract implementation of the visitor interface.
AppendQueriesCommand	A transaction command for inserting queries.
BranchPoint	BranchPoint splits an edge into several probabilistic branches.
CommandManager	The central class for the command manager
CompoundCommand
Data2D
DataSet2D	The class data set 2D
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	Transaction inserting the edge
InsertElementCommand	A transaction command for inserting elements.
InsertQueryCommand	The insert query command class
InsertTemplateCommand	A transaction command for inserting elements.
Location	Location models the location part of the state of a timed automaton.
LogIterator	Log10 wrapper for Point2D iterator
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.
Query	The query class
QueryData
QueryList	Special query List class, that provides access to status on the elements.
RemoveElementCommand	The remove element command
RemoveQueryCommand	The remove query command class
RemoveTemplateCommand	The remove template command
SetEndPointCommand	Transaction for setting the end point on the edge
SetPropertyCommand	The set property command
SetPropertyWithPositionCommand	The set property with position command class
SetQueryCommand
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	The timed automaton template class
TranslationCommand	Translates (in the geometrical meaning) a set of elements.

Exception Summary

Exception	Description
CannotRedoException
CannotUndoException