See: Description
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 | 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 template class
|
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 © 2014 Uppsala University and Aalborg University. All Rights Reserved.