See: Description
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 | 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 | Description |
---|---|
CannotRedoException | |
CannotUndoException |
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.
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.