All Classes
| 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.
|
| AbstractProcess | |
| AbstractSystem |
The abstract system class
|
| AbstractSystemLocation | |
| AbstractSystemState | |
| AbstractTemplate |
AbstractTemplate has two subclasses:
Template (for TA) and LscTemplate (for LSC)
|
| AbstractTrace<Transition extends AbstractTransition> | |
| AbstractTransaction |
The abstract class transaction
|
| AbstractTransition | |
| AbstractVisitor |
Abstract implementation of the visitor interface.
|
| AddAnchorCommand | |
| AnchoredElement | |
| AppendQueriesCommand |
A transaction command for inserting queries.
|
| BoundCalc | |
| BranchPoint |
BranchPoint splits an edge into several probabilistic branches.
|
| CachedOutputStream |
CachedOutputStream buffers the stream while ignoring flushing.
|
| CannotEvaluateException |
The exception class for 'transition'
|
| CannotRedoException | |
| CannotUndoException | |
| ChangeAnchorCommand |
The class change anchor command
|
| ChangeMessageEndCommand | |
| Command |
Interface for commands.
|
| CommandListener |
Listener interface to listen for editing Commands performed on a command.
|
| CommandManager |
The central class for the command manager
|
| CommonConstants |
Defines various constants used by the model representation.
|
| CompoundCommand | |
| ConcreteState | |
| ConcreteSuccessor | |
| ConcreteTrace | |
| ConcreteTransition | |
| ConcreteTransitionRecord | |
| ConcreteVariable | |
| Condition | |
| Constants |
Defines various constants used by the model representation.
|
| ConvertSyntaxVisitor |
Class convert syntax visitor
|
| Cut | |
| Data2D | |
| DataSet2D |
The class data set 2D
|
| Document |
Model for a network of timed automata as defined in UPPAAL.
|
| DotProtocol |
This class implements the interface 'protocol'
|
| Edge |
Edge models discrete transitions between locations.
|
| Element |
Base class for elements.
|
| EmptyTranslator |
A translator that does not translate anything,
but merely gives back what it recieves.
|
| Engine |
State-less wrapper for a UPPAAL server connection.
|
| EngineException | |
| EngineStub |
A thin stub for the server protocol.
|
| EventListener |
Listener interface to listen for element events.
|
| FloatPoint | |
| GanttBar |
Definition of the bars in a Gantt chart.
|
| GanttChart |
The class Gantt chart
|
| GanttRow |
The class of gantt row
|
| IdentifierTranslator | |
| InsertAnchoredElementCommand |
A transaction command for inserting elements.
|
| InsertEdgeCommand |
Transaction inserting the edge
|
| InsertElementCommand |
A transaction command for inserting elements.
|
| InsertInstanceCommand |
A transaction command for inserting elements.
|
| InsertMessageCommand |
A transaction command for inserting elements.
|
| InsertQueryCommand |
The insert query command class
|
| InsertTemplateCommand |
A transaction command for inserting elements.
|
| InstanceLine | |
| IntPoint | |
| Job | |
| KeyValueProtocol |
IMPORTANT
|
| KeyValueProtocol.Service | |
| LayoutVisitor | |
| LexicalAnalyser |
Lexical analyzer used by EngineStub.
|
| Limit |
A limit consists of a value and information about whether the limit
is strict or not.
|
| Location |
Location models the location part of the state of a timed automaton.
|
| LogIterator |
Log10 wrapper for Point2D iterator
|
| LscConstants | |
| LscElement | |
| LscProcess | |
| LscTemplate | |
| Message | |
| 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.
|
| ParseException |
This exception is thrown when parse errors are encountered.
|
| Parser |
Simple recursive decent parser for the communication protocol.
|
| Polyhedron | |
| Prechart | |
| PrintVisitor | |
| Problem |
A representation of a syntax error or warning.
|
| Process |
The class process
|
| Property |
A property is a special kind of element.
|
| Protocol | |
| ProtocolException | |
| 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 | |
| QueryFeedback |
Defines the interface to receive feedback from a verifier.
|
| QueryList |
Special query List class, that provides access to status on the elements.
|
| QueryListener |
The listener class of 'query'
|
| QueryListListener |
Listener class for 'QueryList'
|
| QueryListStreamWriter |
The writer class
|
| QueryListURLReader |
The reader class
|
| QueryResult |
The verification result of the query
|
| RelToAbsVisitor | |
| RemoveAnchorCommand |
The command class for remove anchor
|
| RemoveElementCommand |
The remove element command
|
| RemoveLscElementCommand |
This is an attempt to decouple LSC-specific removal command features.
|
| RemoveQueryCommand |
The remove query command class
|
| RemoveTemplateCommand |
The remove template command
|
| ServerException | |
| SetEndPointCommand |
Transaction for setting the end point on the edge
|
| SetLengthCommand | |
| 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.
|
| SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
| Simregion | |
| SnapCommand |
Command to snap template elements to a grid.
|
| SymbolicState |
Class representing a state in a system
|
| SymbolicTrace | |
| SymbolicTransition |
The class symbolic transition of the system
|
| SystemCondition | |
| SystemCut | |
| SystemEdge |
The class of the system edge
|
| SystemEdgeSelect |
The class to present the selected edges of the system
|
| SystemInstanceLine | |
| SystemLocation |
The class of the system location
|
| SystemMessage | |
| SystemPrechart | |
| SystemSimregion | |
| SystemState |
The class representing a state in a system
|
| SystemUpdate | |
| Template |
The timed automaton template class
|
| Token |
Describes the input token stream.
|
| TokenMgrError |
Token Manager Error.
|
| Trace |
This class can be used for a combinated symbolic and concrete trace, or just
one of them.
|
| TraceListener<Transition extends AbstractTransition> | |
| Transition |
Transition represents a discrete transition of the system.
|
| TranslationCommand |
Translates (in the geometrical meaning) a set of elements.
|
| TranslationMessageLabelCommand | |
| TranslationXCommand |
Translates (in the geometrical meaning) a set of elements.
|
| TranslationYCommand |
Translates (in the geometrical meaning) a set of elements.
|
| Translator | |
| Translator | |
| UGIReader |
A parser that can read a file and modify pos tags in a
Document. |
| UGIReaderConstants |
Token literal values and constants.
|
| UGIReaderTokenManager |
Token Manager.
|
| UGIWriter |
A class that facilitates writing .ugi
files from a
Document. |
| Update | |
| UppaalLscSystem | |
| UppaalSystem |
An UppaalSystem consists of:
A number of indexed processes consisting of a name, a template,
and a translation map.
|
| UXMLResolver |
Resolve resources during an XML parse
|
| ViewWorkAround | |
| Visitor |
Interface for implementing the visitor pattern.
|
| XMLReader |
The class for xml file read
|
| XMLWriter |
The model xml writer class
|
| XTAReader | |
| XTAReaderConstants |
Token literal values and constants.
|
| XTAReaderTokenManager |
Token Manager.
|
| XTAWriter |
A class that facilitates writing .xta from a
Document. |