All Classes
-
All Classes Interface Summary Class Summary Enum Summary Exception Summary Error 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.AbstractProcess AbstractSystem The abstract system classAbstractSystemLocation AbstractSystemState AbstractTemplate AbstractTemplate has two subclasses: Template (for TA) and LscTemplate (for LSC)AbstractTrace<Transition extends AbstractTransition> AbstractTransaction The abstract class transactionAbstractTransition 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 commandChangeMessageEndCommand ClearQueriesCommand Command Interface for commands.CommandListener Listener interface to listen for editing Commands performed on a command.CommandManager The central class for the command managerCommonConstants 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 visitorCut Data2D DataSet2D The class data set 2DDocument 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 chartGanttRow The class of gantt rowIdentifierTranslator InsertAnchoredElementCommand A transaction command for inserting elements.InsertEdgeCommand Transaction inserting the edgeInsertElementCommand 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 classInsertTemplateCommand A transaction command for inserting elements.InsertTextCommand Inserts text into a property value at specified positionInstanceLine IntPoint Job KeyValueProtocol IMPORTANTKeyValueProtocol.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 iteratorLscConstants 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 processProperty 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 classQueryData QueryFeedback Defines the interface to receive feedback from a verifier.QueryList Special query List class, that provides access to status on the elements.QueryListStreamWriter The writer classQueryListURLReader The reader classQueryResult The verification result of the queryRelToAbsVisitor RemoveAnchorCommand The command class for remove anchorRemoveElementCommand The remove element commandRemoveLscElementCommand This is an attempt to decouple LSC-specific removal command features.RemoveQueryCommand The remove query command classRemoveTemplateCommand The remove template commandRemoveTextCommand Inserts text into a property value at specified positionServerException SetEndPointCommand Transaction for setting the end point on the edgeSetLengthCommand SetPropertyCommand The set property commandSetPropertyWithPositionCommand The set property with position command classSetQueryCommand 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 systemSymbolicTrace SymbolicTransition The class symbolic transition of the systemSystemCondition SystemCut SystemEdge The class of the system edgeSystemEdgeSelect The class to present the selected edges of the systemSystemInstanceLine SystemLocation The class of the system locationSystemMessage SystemPrechart SystemSimregion SystemState The class representing a state in a systemSystemUpdate Template The timed automaton template classToken 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 aDocument
.UGIReaderConstants Token literal values and constants.UGIReaderTokenManager Token Manager.UGIWriter A class that facilitates writing .ugi files from aDocument
.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 parseViewWorkAround Visitor Interface for implementing the visitor pattern.XMLReader The class for xml file readXMLWriter The model xml writer classXTAReader XTAReaderConstants Token literal values and constants.XTAReaderTokenManager Token Manager.XTAWriter A class that facilitates writing .xta from aDocument
.