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.