Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.
Interface Summary Interface Description CommandInterface for commands. CommandListenerListener interface to listen for editing Commands performed on a command. CommonConstantsDefines various constants used by the model representation. ConstantsDefines various constants used by the model representation. EventListenerListener interface to listen for element events. QueryListenerThe listener class of 'query' QueryListListenerListener class for 'QueryList' VisitorInterface for implementing the visitor pattern.
Class Summary Class Description AbstractCommand AbstractEventListenerAbstract listener class to listen for element events. AbstractLocationCommon "interface" for Location and BranchPoint, to let Edge use either as endpoint. AbstractTemplateAbstractTemplate has two subclasses: Template (for TA) and LscTemplate (for LSC) AbstractTransactionThe abstract class transaction AbstractVisitorAbstract implementation of the visitor interface. AppendQueriesCommandA transaction command for inserting queries. BranchPointBranchPoint splits an edge into several probabilistic branches. CommandManagerThe central class for the command manager CompoundCommand Data2D DataSet2DThe class data set 2D DocumentModel for a network of timed automata as defined in UPPAAL. EdgeEdge models discrete transitions between locations. ElementBase class for elements. InsertEdgeCommandTransaction inserting the edge InsertElementCommandA transaction command for inserting elements. InsertQueryCommandThe insert query command class InsertTemplateCommandA transaction command for inserting elements. LocationLocation models the location part of the state of a timed automaton. LogIteratorLog10 wrapper for Point2D iterator MoveTemplateCommandA transaction command for inserting elements. NailNails models the graphical layout of edges. NodeNodes 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 PropertyA property is a special kind of element. PrototypeDocumentPrototypical document structure for a Uppaal network of timed automata with default properties (see the prototype design pattern). PrototypeVisitorOnly 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. QueryThe query class QueryData QueryListSpecial query List class, that provides access to status on the elements. RemoveElementCommandThe remove element command RemoveQueryCommandThe remove query command class RemoveTemplateCommandThe remove template command SetEndPointCommandTransaction for setting the end point on the edge SetPropertyCommandThe set property command SetPropertyWithPositionCommandThe set property with position command class SetQueryCommand SetSourceCommandTransaction for changing the source of an edge. SetTargetCommandTransaction for changing the target of an edge. SnapCommandCommand to snap template elements to a grid. TemplateThe timed automaton template class TranslationCommandTranslates (in the geometrical meaning) a set of elements.