- AbstractCommand - Class in com.uppaal.model.core2
-
- AbstractCommand() - Constructor for class com.uppaal.model.core2.AbstractCommand
-
- AbstractEventListener - Class in com.uppaal.model.core2
-
Abstract listener class to listen for element events.
- AbstractEventListener() - Constructor for class com.uppaal.model.core2.AbstractEventListener
-
- AbstractLocation - Class in com.uppaal.model.core2
-
Common "interface" for Location and BranchPoint, to let Edge use
either as endpoint.
- AbstractLocation(Element) - Constructor for class com.uppaal.model.core2.AbstractLocation
-
- AbstractProcess - Class in com.uppaal.model
-
- AbstractProcess(String, int, AbstractTemplate, Translator) - Constructor for class com.uppaal.model.AbstractProcess
-
- AbstractSystem - Class in com.uppaal.model
-
- AbstractSystem() - Constructor for class com.uppaal.model.AbstractSystem
-
- AbstractSystem(Document) - Constructor for class com.uppaal.model.AbstractSystem
-
- AbstractSystemLocation - Class in com.uppaal.model
-
- AbstractSystemLocation(AbstractProcess, int) - Constructor for class com.uppaal.model.AbstractSystemLocation
-
- AbstractSystemState - Class in com.uppaal.model
-
- AbstractSystemState(int[], Polyhedron) - Constructor for class com.uppaal.model.AbstractSystemState
-
- AbstractTemplate - Class in com.uppaal.model.core2
-
AbstractTemplate has two subclasses:
Template (for TA) and LscTemplate (for LSC)
- AbstractTemplate(Element) - Constructor for class com.uppaal.model.core2.AbstractTemplate
-
- AbstractTransaction - Class in com.uppaal.model.core2
-
- AbstractTransaction(Document) - Constructor for class com.uppaal.model.core2.AbstractTransaction
-
- AbstractTransition - Class in com.uppaal.model.system
-
- AbstractTransition(SystemEdgeSelect[]) - Constructor for class com.uppaal.model.system.AbstractTransition
-
- AbstractVisitor - Class in com.uppaal.model.core2
-
Abstract implementation of the visitor interface.
- AbstractVisitor() - Constructor for class com.uppaal.model.core2.AbstractVisitor
-
- accept(Visitor) - Method in class com.uppaal.model.core2.AbstractTemplate
-
- accept(Visitor) - Method in class com.uppaal.model.core2.BranchPoint
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Document
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Edge
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Element
-
Accept a visitor.
- accept(Visitor) - Method in class com.uppaal.model.core2.Location
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Condition
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Cut
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Message
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Prechart
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Update
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Nail
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Node
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Property
-
- acceptSafe(Visitor) - Method in class com.uppaal.model.core2.Element
-
Like to accept(), but cannot throw an Exception.
- add(Simregion) - Method in class com.uppaal.model.core2.lsc.Cut
-
- add(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart
-
- add(int, int) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
added with the given coordinates.
- add(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
added with the given point.
- add(int, int) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
added with the given coordinates.
- add(Point) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
added with the given point.
- add(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- add(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
-
- addAnchor(InstanceLine, int) - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- addAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
-
- AddAnchorCommand - Class in com.uppaal.model.core2.lsc
-
- AddAnchorCommand(Document, Element) - Constructor for class com.uppaal.model.core2.lsc.AddAnchorCommand
-
Constructor
- addBar(GanttBar) - Method in class com.uppaal.model.system.GanttRow
-
- addCommandListener(CommandListener) - Method in class com.uppaal.model.core2.Document
-
adds editing command listener
- addCondition(Condition) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- addEscapes(String) - Static method in error com.uppaal.model.io2.TokenMgrError
-
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
- addInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- addInstanceLine(InstanceLine) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- addListener(EventListener) - Method in class com.uppaal.model.core2.Element
-
Adds an event listener.
- addMessage(Message) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- addNail(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- addNonStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
-
- addProcess(String, String, Translator) - Method in class com.uppaal.model.AbstractSystem
-
- addProcess(String, String, Translator) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- addProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
-
- addProcess(String, String, Translator, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem
-
- addRow(GanttRow) - Method in class com.uppaal.model.system.GanttChart
-
- addStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
-
- addUpdate(Update) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- adjustBeginLineColumn(int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
Method to adjust line and column numbers for the start of a token.
- afterInsertion(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- afterInsertion(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
-
- afterMove(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- afterMove(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
-
notified when node is moved among siblings (the same parent)
- afterRemoval(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- afterRemoval(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
-
- anchor - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- anchor(Update) - Method in class com.uppaal.model.io2.XMLReader
-
Get the update anchor instance
- ANCHOR_PRECHART_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ANCHOR_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener
-
- AnchoredElement - Class in com.uppaal.model.core2.lsc
-
- AnchoredElement(Element) - Constructor for class com.uppaal.model.core2.lsc.AnchoredElement
-
- anchoredToCondition - Variable in class com.uppaal.model.core2.lsc.Update
-
- anchors(Condition) - Method in class com.uppaal.model.io2.XMLReader
-
Get the anchor instances for a condition
- append(BigDecimal, SystemEdgeSelect[], ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace
-
- append(BigDecimal, SystemEdgeSelect[], ConcreteState) - Method in class com.uppaal.model.system.Trace
-
- append(SystemEdgeSelect[], SymbolicState) - Method in class com.uppaal.model.system.Trace
-
- appendText(String) - Method in interface com.uppaal.engine.QueryFeedback
-
Allows engine to add arbitrary text to the verifier status field.
- AREA_SELECT_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Color for area select rectangle.
- ARROW_ANGLE - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Radian angle of arrow head lines on transition edges.
- ARROW_BASE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ARROW_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ARROW_LENGTH - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Length of the arrow head lines on transition edges.
- ASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- ASSIGN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- ASSIGN_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for assignments labels.
- CachedOutputStream - Class in com.uppaal.model.io2
-
CachedOutputStream buffers the stream while ignoring flushing.
- CachedOutputStream(OutputStream) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- CachedOutputStream(OutputStream, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- CachedOutputStream(File) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- CachedOutputStream(File, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- cancel() - Method in class com.uppaal.engine.Engine
-
Forced disconnection from the server.
- cancel() - Method in class com.uppaal.model.core2.AbstractTransaction
-
Cancel the transaction.
- CannotRedoException - Exception in com.uppaal.model.core2
-
- CannotRedoException() - Constructor for exception com.uppaal.model.core2.CannotRedoException
-
- CannotUndoException - Exception in com.uppaal.model.core2
-
- CannotUndoException() - Constructor for exception com.uppaal.model.core2.CannotUndoException
-
- canRedo() - Method in class com.uppaal.model.core2.Document
-
- canUndo() - Method in class com.uppaal.model.core2.Document
-
- CHAN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- changeAnchor(int) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
- ChangeAnchorCommand - Class in com.uppaal.model.core2.lsc
-
- ChangeAnchorCommand(Document, Element) - Constructor for class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
Constructor
- changeEnd(int) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- ChangeMessageEndCommand - Class in com.uppaal.model.core2.lsc
-
- ChangeMessageEndCommand(Document, Element, boolean) - Constructor for class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
Constructor
- changeSource - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- CLBR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- CLBRACE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- clearAfterState(int) - Method in class com.uppaal.model.system.Trace
-
- clearChart() - Method in class com.uppaal.model.system.GanttChart
-
- clearRow() - Method in class com.uppaal.model.system.GanttRow
-
- CLOCK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- clocks - Variable in class com.uppaal.model.AbstractSystem
-
- clone() - Method in class com.uppaal.model.core2.AbstractTemplate
-
- clone() - Method in class com.uppaal.model.core2.Element
-
Returns a deep clone of the element.
- clone() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
Returns a deep clone of the template.
- clone() - Method in class com.uppaal.model.core2.Node
-
Returns a deep clone of the node.
- clone() - Method in class com.uppaal.model.core2.Template
-
Returns a deep clone of the template.
- clone() - Method in class com.uppaal.model.system.concrete.Limit
-
- clone() - Method in class com.uppaal.model.system.GanttBar
-
- clone() - Method in class com.uppaal.model.system.GanttChart
-
- clone() - Method in class com.uppaal.model.system.GanttRow
-
- close() - Method in class com.uppaal.engine.DotProtocol
-
- close() - Method in class com.uppaal.engine.KeyValueProtocol
-
- close() - Method in interface com.uppaal.engine.Protocol
-
Disconnect from the server.
- close() - Method in class com.uppaal.model.io2.CachedOutputStream
-
- CLOSE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- CLPAR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- cmdListeners - Variable in class com.uppaal.model.core2.Document
-
Command listeners
- COLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- color(Element) - Method in class com.uppaal.model.io2.UGIReader
-
- COLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- column - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- com.uppaal.engine - package com.uppaal.engine
-
Provides support for connecting to the UPPAAL verification
backend, the primary class to use is the
Engine class.
- com.uppaal.model - package com.uppaal.model
-
Provides support for UPPAAL models, visit the
Document as a starting point.
- com.uppaal.model.core2 - package com.uppaal.model.core2
-
Provides classes for representing an uninstantiated UPPAAL model, visit the
Document class as a starting point.
- com.uppaal.model.core2.lsc - package com.uppaal.model.core2.lsc
-
- com.uppaal.model.io2 - package com.uppaal.model.io2
-
Provides support for reading and writing UPPAAL models from and to
XTA and XML files.
- com.uppaal.model.lscsystem - package com.uppaal.model.lscsystem
-
- com.uppaal.model.system - package com.uppaal.model.system
-
Provides classes for representing instantiated UPPAAL systems.
- com.uppaal.model.system.concrete - package com.uppaal.model.system.concrete
-
- com.uppaal.model.system.symbolic - package com.uppaal.model.system.symbolic
-
- COMMA - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- COMMA - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Command - Interface in com.uppaal.model.core2
-
Interface for commands.
- CommandListener - Interface in com.uppaal.model.core2
-
Listener interface to listen for editing Commands performed on a Document.
- commands - Variable in class com.uppaal.model.core2.CompoundCommand
-
- COMMENTS_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for comments.
- commit() - Method in class com.uppaal.model.core2.AbstractTransaction
-
Commit the transaction.
- commit(AbstractLocation) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- commit() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- COMMIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- commitBranchPoint(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- commitLocation(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- committed - Variable in class com.uppaal.model.core2.AbstractTransaction
-
- committed(Location) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional committed tag.
- CommonConstants - Interface in com.uppaal.model.core2
-
Defines various constants used by the model representation.
- CompoundCommand - Class in com.uppaal.model.core2
-
- CompoundCommand(Command...) - Constructor for class com.uppaal.model.core2.CompoundCommand
-
- ConcreteState - Class in com.uppaal.model.system.concrete
-
- ConcreteState(Limit, SystemLocation[], ConcreteVariable[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteState
-
- ConcreteSuccessor - Class in com.uppaal.model.system.concrete
-
- ConcreteSuccessor(ConcreteState, ConcreteTransition[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor
-
- ConcreteTransition - Class in com.uppaal.model.system.concrete
-
- ConcreteTransition(SystemEdgeSelect[], int, int, Limit, Limit, Limit, Limit) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransition
-
- ConcreteTransitionRecord - Class in com.uppaal.model.system.concrete
-
- ConcreteTransitionRecord(BigDecimal, SystemEdgeSelect[], ConcreteState) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- ConcreteVariable - Class in com.uppaal.model.system.concrete
-
- ConcreteVariable(BigDecimal, int) - Constructor for class com.uppaal.model.system.concrete.ConcreteVariable
-
- Condition - Class in com.uppaal.model.core2.lsc
-
- Condition(Element) - Constructor for class com.uppaal.model.core2.lsc.Condition
-
- condition - Variable in class com.uppaal.model.core2.lsc.Simregion
-
- CONDITION_COLD_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CONDITION_HOT_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CONDITION_SIDES - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CONDITION_UPDATE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- conditions(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
- connect() - Method in class com.uppaal.engine.Engine
-
Connects to the server, if not already connected.
- connect() - Method in class com.uppaal.engine.EngineStub
-
Connect to the server.
- connected() - Method in class com.uppaal.engine.Engine
-
Called whenever a connection to the server is
established.
- CONST - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Constants - Interface in com.uppaal.model.core2
-
Defines various constants used by the model representation.
- ConvertSyntaxVisitor - Class in com.uppaal.model
-
- ConvertSyntaxVisitor() - Constructor for class com.uppaal.model.ConvertSyntaxVisitor
-
- convertToNail(int, int) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Inserts a new nail next to the endpoint and the given position.
- copy() - Method in class com.uppaal.model.io2.IntPoint
-
Creates a new point from a given IntPoint point.
- counter - Variable in class com.uppaal.model.io2.XMLWriter
-
- createBranchPoint() - Method in class com.uppaal.model.core2.Template
-
Create a new branch point with this template as the parent and
optionally a prototype according to the '#branchpoint' property of
the template.
- createCondition() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createCut() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createEdge() - Method in class com.uppaal.model.core2.Template
-
Create a new edge with this template as the parent and
optionally a prototype according to the '#edge' property of the
template.
- createEdgeCon(int, int, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem
-
- createInstanceLine() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createLocation() - Method in class com.uppaal.model.core2.Template
-
Create a new location with this template as the parent and
optionally a prototype according to the '#location' property of
the template.
- createLscTemplate() - Method in class com.uppaal.model.core2.Document
-
Creates a new stand-alone LSC template using a LSC prototype from the document.
- createMessage() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createNail() - Method in class com.uppaal.model.core2.Edge
-
Creates a nail based on prototype, the nail has to be inserted into an edge.
- createPrechart() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createTemplate() - Method in class com.uppaal.model.core2.Document
-
Creates a new stand-alone TA template using a template prototype from the document.
- createUGIWriter(OutputStream) - Method in class com.uppaal.model.io2.XTAWriter
-
Create and return a new UGI writer.
- createUpdate() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- curChar - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
-
- curChar - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
-
- currentToken - Variable in exception com.uppaal.model.io2.ParseException
-
This is the last token that has been consumed successfully.
- Cut - Class in com.uppaal.model.core2.lsc
-
- Cut(Element) - Constructor for class com.uppaal.model.core2.lsc.Cut
-
- CUT_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CUT_Y_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ECOLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- Edge - Class in com.uppaal.model.core2
-
Edge models discrete transitions between locations.
- Edge(Element) - Constructor for class com.uppaal.model.core2.Edge
-
Constructs an Edge based on a prototype.
- edge - Variable in class com.uppaal.model.core2.SetEndPointCommand
-
The edge on which we set the end point.
- edges - Variable in class com.uppaal.model.io2.UGIWriter
-
- edges(Template) - Method in class com.uppaal.model.io2.XMLReader
-
- edges_ws - Variable in class com.uppaal.model.system.AbstractTransition
-
- edgeSourceChanged(Edge, AbstractLocation, AbstractLocation) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- edgeSourceChanged(Edge, AbstractLocation, AbstractLocation) - Method in interface com.uppaal.model.core2.EventListener
-
- edgeTargetChanged(Edge, AbstractLocation, AbstractLocation) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- edgeTargetChanged(Edge, AbstractLocation, AbstractLocation) - Method in interface com.uppaal.model.core2.EventListener
-
- Element - Class in com.uppaal.model.core2
-
Base class for elements.
- Element(Element) - Constructor for class com.uppaal.model.core2.Element
-
- element - Variable in class com.uppaal.model.core2.InsertElementCommand
-
- element - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- element - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
- element - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- element - Variable in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
-
- element - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand
-
- element - Variable in class com.uppaal.model.core2.SetPropertyCommand
-
- elements - Variable in class com.uppaal.model.core2.TranslationCommand
-
- EMPH_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- EmptyTranslator - Class in com.uppaal.model.system
-
A translator that does not translate anything,
but merely gives back what it recieves.
- EmptyTranslator() - Constructor for class com.uppaal.model.system.EmptyTranslator
-
- enable_tracing() - Method in class com.uppaal.model.io2.UGIReader
-
Enable tracing.
- enable_tracing() - Method in class com.uppaal.model.io2.XTAReader
-
Enable tracing.
- END - Static variable in class com.uppaal.engine.LexicalAnalyser
-
- endColumn - Variable in class com.uppaal.model.io2.Token
-
The column number of the last character of this Token.
- endLine - Variable in class com.uppaal.model.io2.Token
-
The line number of the last character of this Token.
- Engine - Class in com.uppaal.engine
-
State-less wrapper for a UPPAAL server connection.
- Engine() - Constructor for class com.uppaal.engine.Engine
-
Constructs an Engine object for local connections.
- Engine(int, int, String, String) - Constructor for class com.uppaal.engine.Engine
-
Constructs an Engine object for the given connection settings.
- EngineException - Exception in com.uppaal.engine
-
- EngineException() - Constructor for exception com.uppaal.engine.EngineException
-
- EngineException(String) - Constructor for exception com.uppaal.engine.EngineException
-
- EngineException(Throwable) - Constructor for exception com.uppaal.engine.EngineException
-
- EngineStub - Class in com.uppaal.engine
-
A thin stub for the server protocol.
- EngineStub() - Constructor for class com.uppaal.engine.EngineStub
-
Constructs an EngineStub in LOCAL connection mode.
- EngineStub(int, int, String, String) - Constructor for class com.uppaal.engine.EngineStub
-
Constructs an EngineStub with the given mode, port, port and
server path values.
- EOF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
End of File.
- EOF - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
End of File.
- eol - Variable in exception com.uppaal.model.io2.ParseException
-
The end of line string for this machine.
- EQUAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- equals(Object) - Method in class com.uppaal.model.AbstractSystemState
-
- equals(Object) - Method in class com.uppaal.model.io2.IntPoint
-
Tests whether this object represents the same point as another
IntPoint
- equals(Object) - Method in class com.uppaal.model.system.Polyhedron
-
- equals(Object) - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
- error(Throwable) - Method in interface com.uppaal.engine.Job
-
- ERROR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- ERROR_EOL - Static variable in class com.uppaal.engine.LexicalAnalyser
-
- escape(String) - Method in class com.uppaal.engine.KeyValueProtocol
-
- event - Variable in class com.uppaal.model.io2.XMLReader
-
- EventListener - Interface in com.uppaal.model.core2
-
Listener interface to listen for element events.
- EXCLMARK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- execute() - Method in class com.uppaal.model.core2.AbstractTransaction
-
- execute() - Method in interface com.uppaal.model.core2.Command
-
- execute() - Method in class com.uppaal.model.core2.CompoundCommand
-
- execute(Command) - Method in class com.uppaal.model.core2.Document
-
Execute a command.
- execute(Command...) - Method in class com.uppaal.model.core2.Document
-
- execute() - Method in class com.uppaal.model.core2.InsertTemplateCommand
-
- execute() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
-
- execute() - Method in class com.uppaal.model.core2.MoveTemplateCommand
-
- execute() - Method in class com.uppaal.model.core2.RemoveElementCommand
-
- execute() - Method in class com.uppaal.model.core2.RemoveTemplateCommand
-
- execute() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
- execute() - Method in class com.uppaal.model.core2.SetPropertyWithPositionCommand
-
- execute() - Method in class com.uppaal.model.core2.SnapCommand
-
- executed(Document, Command) - Method in interface com.uppaal.model.core2.CommandListener
-
Called when the command is executed the very first time on a document.
- ExpandBuff(boolean) - Method in class com.uppaal.model.io2.SimpleCharStream
-
- expectedTokenSequences - Variable in exception com.uppaal.model.io2.ParseException
-
Each entry in this array is an array of integers.
- EXPONENTIALRATE_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for rates of exponential labels.
- EXTERNAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- EXTERNALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- GanttBar - Class in com.uppaal.model.system
-
- GanttBar() - Constructor for class com.uppaal.model.system.GanttBar
-
- GanttBar(Limit, Limit, BigDecimal, int) - Constructor for class com.uppaal.model.system.GanttBar
-
- GanttChart - Class in com.uppaal.model.system
-
- GanttChart() - Constructor for class com.uppaal.model.system.GanttChart
-
- GanttRow - Class in com.uppaal.model.system
-
- GanttRow() - Constructor for class com.uppaal.model.system.GanttRow
-
- GanttRow(String) - Constructor for class com.uppaal.model.system.GanttRow
-
- generateParseException() - Method in class com.uppaal.model.io2.UGIReader
-
Generate ParseException.
- generateParseException() - Method in class com.uppaal.model.io2.XTAReader
-
Generate ParseException.
- GEQ - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- get(int) - Method in class com.uppaal.model.core2.lsc.Cut
-
- getAllConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron
-
Convert constraint system to a human readable string
representation containing all non-trivial constraints.
- getAnchor() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- getAnchor() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getAnchor() - Method in class com.uppaal.model.core2.lsc.Update
-
- getAnchoredToCondition() - Method in class com.uppaal.model.core2.lsc.Update
-
- getAnchoredToConditionUpdate(Condition, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.Message
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.Update
-
- getAttribute(String) - Method in class com.uppaal.model.io2.XMLReader
-
- getBeginColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token beginning column number.
- getBeginLine() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token beginning line number.
- getBounds(Element) - Method in class com.uppaal.model.io2.BoundCalc
-
- getClockName(int) - Method in class com.uppaal.model.AbstractSystem
-
- getColor() - Method in class com.uppaal.model.core2.Element
-
Returns the value of the color property.
- getColor(Element) - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getColor() - Method in class com.uppaal.model.core2.Property
-
- getColor(String) - Method in class com.uppaal.model.io2.XMLReader
-
- getColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Deprecated.
- getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol
-
- getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub
-
Returns the initial concrete state for the system.
- getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getConcreteInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol
-
Returns the concrete initial state for the system.
- getConcreteInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
-
Initialized UPPAAL system with the concrete initial state.
- getConcreteState(int) - Method in class com.uppaal.model.system.Trace
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.Engine
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.EngineStub
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in interface com.uppaal.engine.Protocol
-
- getCondition() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getCondition(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getCondition() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getCondition(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getConditions() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getConditionsOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getConnectedPort() - Method in class com.uppaal.engine.EngineStub
-
Returns the port the engine is connected to.
- getConnectionMode() - Method in class com.uppaal.engine.EngineStub
-
Returns the current connection mode.
- getCoordinate(String) - Method in class com.uppaal.model.io2.XMLReader
-
- getCVariables() - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- getDelay() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- getDelay(int) - Method in class com.uppaal.model.system.Trace
-
- getDocument() - Method in class com.uppaal.model.AbstractSystem
-
- getDocument() - Method in class com.uppaal.model.core2.Document
-
- getDocument() - Method in class com.uppaal.model.core2.Element
-
Returns the document of this element.
- getDoubleValue() - Method in class com.uppaal.model.system.concrete.Limit
-
- getEdge(int) - Method in class com.uppaal.model.system.AbstractTransition
-
- getEdge(int) - Method in class com.uppaal.model.system.Process
-
- getEdge() - Method in class com.uppaal.model.system.SystemEdge
-
- getEdge(int) - Method in class com.uppaal.model.system.Transition
-
- getEdge(int, int) - Method in class com.uppaal.model.system.UppaalSystem
-
- getEdgeDescription() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
- getEdgeDescription() - Method in class com.uppaal.model.system.Transition
-
- getEdges() - Method in class com.uppaal.model.system.AbstractTransition
-
- getEdges() - Method in class com.uppaal.model.system.Process
-
- getEdges() - Method in class com.uppaal.model.system.Transition
-
- getElement() - Method in class com.uppaal.model.core2.InsertElementCommand
-
- getElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
- getEndColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token end column number.
- getEndEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getEndLine() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token end line number.
- getEndSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getEntryTime(int) - Method in class com.uppaal.model.system.Trace
-
- getErrors() - Method in class com.uppaal.model.io2.XTAReader
-
- getException(String) - Method in class com.uppaal.engine.LexicalAnalyser
-
- getFirst() - Method in class com.uppaal.model.core2.Node
-
Returns the first child.
- getFirstColumn() - Method in class com.uppaal.engine.Problem
-
- getFirstLine() - Method in class com.uppaal.engine.Problem
-
- getFloat() - Method in class com.uppaal.engine.LexicalAnalyser
-
- getFont() - Method in class com.uppaal.model.core2.Property
-
- getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getFormatedName() - Method in class com.uppaal.model.system.SystemEdge
-
- getFromNum(int) - Method in class com.uppaal.model.system.GanttRow
-
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
-
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Engine
-
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.EngineStub
-
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getGanttChart(UppaalSystem, BigDecimal) - Method in interface com.uppaal.engine.Protocol
-
- getGanttChart() - Method in class com.uppaal.model.system.UppaalSystem
-
- GetImage() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token literal value.
- getIndex() - Method in class com.uppaal.model.AbstractProcess
-
- getIndex() - Method in class com.uppaal.model.AbstractSystemLocation
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getIndex() - Method in class com.uppaal.model.system.SystemEdge
-
- getInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
-
Initialized UPPAAL system with the initial state.
- getInstance(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getInstanceLength(int) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getInstanceLine(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getInstanceLine() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getInstanceLines() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getInstances() - Method in class com.uppaal.model.core2.lsc.Prechart
-
- getIntPoint() - Method in class com.uppaal.model.io2.FloatPoint
-
Returns an integer rounded version of this point
- getIntValue() - Method in class com.uppaal.engine.LexicalAnalyser
-
- getInvariant() - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.Update
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.Message
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.Update
-
- getLast() - Method in class com.uppaal.model.core2.Node
-
Returns the last child.
- getLastColumn() - Method in class com.uppaal.engine.Problem
-
- getLastLine() - Method in class com.uppaal.engine.Problem
-
- getLastTATemplate() - Method in class com.uppaal.model.core2.Document
-
Returns the last TA template or null if no
such template exists.
- getLength() - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
Gets the instance line length, which is a template property
- getLength() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getLine() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Deprecated.
- getLocalProperty(String) - Method in class com.uppaal.model.core2.Element
-
Returns the property of the given name.
- getLocalProperty() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
- getLocalPropertyValue() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
- getLocation() - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Returns the current end point.
- getLocation() - Method in class com.uppaal.model.core2.SetSourceCommand
-
- getLocation() - Method in class com.uppaal.model.core2.SetTargetCommand
-
- getLocation(int) - Method in class com.uppaal.model.system.Process
-
- getLocation() - Method in class com.uppaal.model.system.SystemLocation
-
- getLocation(int, int) - Method in class com.uppaal.model.system.UppaalSystem
-
- getLocations() - Method in class com.uppaal.model.system.Process
-
- getLocations() - Method in class com.uppaal.model.system.SystemState
-
- getLocationVector() - Method in class com.uppaal.model.AbstractSystemState
-
- getLocationVector() - Method in class com.uppaal.model.lscsystem.SystemCut
-
- getLocationVector() - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
- getLookahead() - Method in class com.uppaal.engine.LexicalAnalyser
-
- getLscProcess(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
-
- getMaxSimregions(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.Cut
-
- getMaxSimregions(ArrayList<Simregion>) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getMessage() - Method in class com.uppaal.engine.Problem
-
- getMessage() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getMessage() - Method in error com.uppaal.model.io2.TokenMgrError
-
You can also modify the body of this method to customize your error messages.
- getMessage(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getMessage() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getMessage(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getMessages() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getMode() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getModifiedElement() - Method in interface com.uppaal.model.core2.Command
-
- getModifiedElement() - Method in class com.uppaal.model.core2.CompoundCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertElementCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertTemplateCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.MoveTemplateCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.RemoveElementCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.RemoveTemplateCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SetEndPointCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SnapCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.TranslationCommand
-
- getNails() - Method in class com.uppaal.model.core2.Edge
-
Returns the first nail (if any).
- getName() - Method in class com.uppaal.model.AbstractProcess
-
- getName() - Method in class com.uppaal.model.AbstractSystemLocation
-
- getName() - Method in class com.uppaal.model.core2.Property
-
Returns the name with which this property is registered in the
parent.
- getName() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemSimregion
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getName() - Method in class com.uppaal.model.system.SystemEdge
-
- getName() - Method in class com.uppaal.model.system.SystemLocation
-
- getNext() - Method in class com.uppaal.model.core2.Node
-
Returns the right sibling.
- getNextToken() - Method in class com.uppaal.model.io2.UGIReader
-
Get the next Token.
- getNextToken() - Method in class com.uppaal.model.io2.UGIReaderTokenManager
-
Get the next Token.
- getNextToken() - Method in class com.uppaal.model.io2.XTAReader
-
Get the next Token.
- getNextToken() - Method in class com.uppaal.model.io2.XTAReaderTokenManager
-
Get the next Token.
- getNoOfClocks() - Method in class com.uppaal.model.AbstractSystem
-
- getNoOfProcesses() - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getNoOfProcesses() - Method in class com.uppaal.model.system.UppaalSystem
-
- getNoOfVariables() - Method in class com.uppaal.model.AbstractSystem
-
- getOptionsInfo() - Method in class com.uppaal.engine.DotProtocol
-
- getOptionsInfo() - Method in class com.uppaal.engine.Engine
-
Returns information about available options.
- getOptionsInfo() - Method in class com.uppaal.engine.EngineStub
-
Returns information about available options.
- getOptionsInfo() - Method in class com.uppaal.engine.KeyValueProtocol
-
- getOptionsInfo() - Method in interface com.uppaal.engine.Protocol
-
Returns information about available options.
- getParent() - Method in class com.uppaal.model.core2.Element
-
Returns the parent element.
- getPath() - Method in class com.uppaal.engine.Problem
-
- getPlayer() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getPolyhedron() - Method in class com.uppaal.model.AbstractSystemState
-
- getPolyhedron() - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
- getPrechart() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getPrechart() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getPrechart() - Method in class com.uppaal.model.lscsystem.SystemPrechart
-
- getPrechartIndex() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getPrevious() - Method in class com.uppaal.model.core2.Node
-
Returns the left sibling.
- getProcess() - Method in class com.uppaal.model.AbstractSystemLocation
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemPrechart
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getProcess(int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getProcess() - Method in class com.uppaal.model.system.SystemEdge
-
- getProcess(int) - Method in class com.uppaal.model.system.UppaalSystem
-
- getProcessIndex(String) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getProcessIndex(String) - Method in class com.uppaal.model.system.UppaalSystem
-
- getProcessName() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getProcessName() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getProcessName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getProcessName() - Method in class com.uppaal.model.system.SystemEdge
-
- getProperties() - Method in class com.uppaal.model.core2.Element
-
Get the properties stored in this element.
- getProperty(String) - Method in class com.uppaal.model.core2.Element
-
Returns the property of the given name.
- getPropertyValue(String) - Method in class com.uppaal.model.core2.Element
-
Returns the value of the property of the given name.
- getPrototype() - Method in class com.uppaal.model.core2.Element
-
Returns the prototype.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.AbstractTemplate
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.BranchPoint
-
Returns the #branchpoint property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Edge
-
Returns the #edge property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Element
-
Return the proper prototype for this element stored in the parent.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Location
-
Returns the #location property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Condition
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Cut
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Message
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Prechart
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Update
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Nail
-
Returns the #nail property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Property
-
Returns the value of the parent's protype's property given by
getName() or null if the parent does not have a prototype.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Template
-
Returns the #template property value of the parent argument.
- getRate() - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- getRow(int) - Method in class com.uppaal.model.system.GanttChart
-
- getSelectList() - Method in class com.uppaal.model.system.SystemEdgeSelect
-
- getServerHost() - Method in class com.uppaal.engine.EngineStub
-
Returns the current server host.
- getServerPath() - Method in class com.uppaal.engine.EngineStub
-
Returns the current server path.
- getServerPort() - Method in class com.uppaal.engine.EngineStub
-
Returns the current server port.
- getSimregion() - Method in class com.uppaal.model.lscsystem.SystemSimregion
-
- getSimregions() - Method in class com.uppaal.model.core2.lsc.Cut
-
- getSize() - Method in class com.uppaal.model.system.AbstractTransition
-
- getSize() - Method in class com.uppaal.model.system.Transition
-
- getSource() - Method in class com.uppaal.model.core2.Edge
-
Returns the source location (the beginning of the edge).
- getSource() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- getSource() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
- getSource() - Method in class com.uppaal.model.core2.lsc.Message
-
- getSource() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
- getSource() - Method in class com.uppaal.model.system.Transition
-
- getStartEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getStartSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getState() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
- getStatus() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getSufficientConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron
-
Convert constraint system to a human readable representation
based on the minimal constraint graph.
- GetSuffix(int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get the suffix.
- getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol
-
- getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub
-
Returns the initial state for the system.
- getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getSymbolicInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol
-
Returns the symbolic initial state for the system.
- getSymbolicState(int) - Method in class com.uppaal.model.system.Trace
-
- getSymbolicTransition(int) - Method in class com.uppaal.model.system.Trace
-
Warning: In this representation of the trace, all transitions have a
source and a destination, meaning that compared with the old symbolic
trace representation, the initial transition is missing.
- getSystem(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
-
Instantiates a UPPAAL document.
- getSystem() - Method in class com.uppaal.engine.Engine
-
- getTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
- getTarget() - Method in class com.uppaal.model.core2.Edge
-
Returns the target location (the end of the edge).
- getTarget() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- getTarget() - Method in class com.uppaal.model.core2.lsc.Message
-
- getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- getTarget() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
- getTarget() - Method in class com.uppaal.model.system.Transition
-
- getTemperature() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getTemplate() - Method in class com.uppaal.model.AbstractProcess
-
- getTemplate() - Method in class com.uppaal.model.core2.AbstractTemplate
-
- getTemplate(String) - Method in class com.uppaal.model.core2.Document
-
Returns the first template with the given name or null if no
such template exists.
- getTemplate() - Method in class com.uppaal.model.core2.Element
-
Returns the template of this element.
- getTemplates() - Method in class com.uppaal.model.core2.Document
-
Returns the first template of the document.
- getTime() - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- getToken(int) - Method in class com.uppaal.model.io2.UGIReader
-
Get the specific Token.
- getToken(int) - Method in class com.uppaal.model.io2.XTAReader
-
Get the specific Token.
- getTransitionDescription() - Method in class com.uppaal.model.system.AbstractTransition
-
- getTransitionEdges(int) - Method in class com.uppaal.model.system.Trace
-
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.DotProtocol
-
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.Engine
-
Returns the list of outgoing transitions for the state of the
given system.
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.EngineStub
-
Returns the list of outgoing transitions for the state.
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getTransitions(UppaalSystem, SymbolicState) - Method in interface com.uppaal.engine.Protocol
-
Returns the list of outgoing transitions for the state.
- getTransitions() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
- getTranslator() - Method in class com.uppaal.model.AbstractProcess
-
- getType() - Method in class com.uppaal.engine.Problem
-
- getType() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getUpdate(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getUpdate() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getUpdate(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getUpdateOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getUpdates() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getValue() - Method in class com.uppaal.engine.LexicalAnalyser
-
- getValue() - Method in class com.uppaal.model.core2.Property
-
- getValue() - Method in class com.uppaal.model.io2.Token
-
An optional attribute value of the Token.
- getValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- getValue() - Method in class com.uppaal.model.system.concrete.Limit
-
- getVariableName(int) - Method in class com.uppaal.model.AbstractSystem
-
- getVariables() - Method in class com.uppaal.model.AbstractSystemState
-
- getVariables() - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
- getVersion() - Method in class com.uppaal.engine.DotProtocol
-
- getVersion() - Method in class com.uppaal.engine.Engine
-
Returns the version string of the server.
- getVersion() - Method in class com.uppaal.engine.EngineStub
-
Returns the version string of the server.
- getVersion() - Method in class com.uppaal.engine.KeyValueProtocol
-
- getVersion() - Method in interface com.uppaal.engine.Protocol
-
Returns the version string of the server.
- getVersion() - Method in class com.uppaal.model.core2.AbstractCommand
-
- getVersion() - Method in interface com.uppaal.model.core2.Command
-
- getVersion() - Method in class com.uppaal.model.core2.Document
-
Returns the current version number of the document.
- getWidth() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getWidth(String, Font, Graphics2D) - Static method in class com.uppaal.model.core2.lsc.LscElement
-
returns the width of the given string, written with the given font
- getWidth(Graphics2D) - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getWord() - Method in class com.uppaal.engine.LexicalAnalyser
-
- getX() - Method in class com.uppaal.model.core2.Element
-
Returns the value of the x property.
- getX() - Method in class com.uppaal.model.core2.Property
-
- getY() - Method in class com.uppaal.model.core2.Element
-
Returns the value of the y property.
- getY() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getYFoot() - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- getYLocation() - Method in class com.uppaal.model.io2.XMLReader
-
- getYLocCoord() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- GLOBAL_DECL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GLOBAL_PROCESSASSIGN_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GLOBAL_SYSTEM_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GLOBALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- globalDeclGI() - Method in class com.uppaal.model.io2.UGIReader
-
- graphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader
-
- GRAPHINFO - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- graphInfoItem() - Method in class com.uppaal.model.io2.UGIReader
-
- GRIDCHANGE - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GRIDCOLOR - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GRIDMIN - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GRT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- GUARD - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- GUARD - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- GUARD_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for guard labels.
- ID - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- ID - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- IdentifierTranslator - Class in com.uppaal.model.system
-
- IdentifierTranslator(Map<String, String>) - Constructor for class com.uppaal.model.system.IdentifierTranslator
-
An instance is created by giving it a defining map as a hashtable.
- image - Variable in class com.uppaal.model.io2.Token
-
The string image of the token.
- IMPLIES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- IMPORT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- importGI() - Method in class com.uppaal.model.io2.UGIReader
-
- importInto(Element) - Method in class com.uppaal.model.core2.Element
-
Imports the tree rooted at this element into the prototype
structure of the given parent.
- IMPORTS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- inBuf - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- indent() - Method in class com.uppaal.model.core2.PrintVisitor
-
- indent() - Method in class com.uppaal.model.io2.XMLWriter
-
- indentation - Variable in class com.uppaal.model.core2.PrintVisitor
-
- init(Template) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional init tag.
- init - Variable in class com.uppaal.model.io2.XMLWriter
-
- INIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- input_stream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
-
- input_stream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
-
- inputStream - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- insert(Node, Node) - Method in class com.uppaal.model.core2.Node
-
Insert a child node.
- InsertAnchoredElementCommand - Class in com.uppaal.model.core2.lsc
-
A transaction command for inserting elements.
- InsertAnchoredElementCommand(InstanceLine, AnchoredElement) - Constructor for class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
- InsertEdgeCommand - Class in com.uppaal.model.core2
-
- InsertEdgeCommand(AbstractLocation, int, int) - Constructor for class com.uppaal.model.core2.InsertEdgeCommand
-
- InsertElementCommand - Class in com.uppaal.model.core2
-
A transaction command for inserting elements.
- InsertElementCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertElementCommand
-
- InsertInstanceCommand - Class in com.uppaal.model.core2.lsc
-
A transaction command for inserting elements.
- InsertInstanceCommand(Node, Node, Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.InsertInstanceCommand
-
- InsertMessageCommand - Class in com.uppaal.model.core2.lsc
-
A transaction command for inserting elements.
- InsertMessageCommand(InstanceLine, Message) - Constructor for class com.uppaal.model.core2.lsc.InsertMessageCommand
-
The hot sections touched by the message (and split)
- insertNail(Nail) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Inserts a nail next to the end point.
- insertNail(Nail) - Method in class com.uppaal.model.core2.SetSourceCommand
-
- insertNail(Nail) - Method in class com.uppaal.model.core2.SetTargetCommand
-
- InsertTemplateCommand - Class in com.uppaal.model.core2
-
A transaction command for inserting elements.
- InsertTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertTemplateCommand
-
- insideBar(int, int) - Method in class com.uppaal.model.system.GanttBar
-
- INSTANCE_FILL_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_FOOT_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_FOOT_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_LENGTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_LINE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_MIN_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- InstanceLine - Class in com.uppaal.model.core2.lsc
-
- InstanceLine(Element) - Constructor for class com.uppaal.model.core2.lsc.InstanceLine
-
- instances - Variable in class com.uppaal.model.core2.lsc.Prechart
-
- instances - Variable in class com.uppaal.model.io2.XMLReader
-
- instances(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
- instances - Variable in class com.uppaal.model.io2.XMLWriter
-
- instantiation(Document) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional instantiation tag.
- INT - Static variable in class com.uppaal.engine.LexicalAnalyser
-
- INT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- integer() - Method in class com.uppaal.model.io2.UGIReader
-
- IntPoint - Class in com.uppaal.model.io2
-
- IntPoint(int, int) - Constructor for class com.uppaal.model.io2.IntPoint
-
Creates a point from given coordinates.
- IntPoint(Point) - Constructor for class com.uppaal.model.io2.IntPoint
-
Creates a point from a given integer point.
- IntPoint(Point2D) - Constructor for class com.uppaal.model.io2.IntPoint
-
- INVARIANT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- INVARIANT_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for invariant labels.
- involvesProcess(int) - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
- involvesProcess(int) - Method in class com.uppaal.model.system.Transition
-
- IS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- isAnchorOf(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- isConnected() - Method in class com.uppaal.engine.EngineStub
-
Returns true if the engine is connected to a server.
- isEmpty(String) - Method in class com.uppaal.model.io2.XTAWriter
-
- isEqualTo(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- isHot() - Method in class com.uppaal.model.core2.lsc.Condition
-
- isHot() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- isLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- isLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
- ISNOT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- isPropertyLocal(String) - Method in class com.uppaal.model.core2.Element
-
Returns true if the property of the given name has a local
value.
- isRemoteConnection() - Method in class com.uppaal.engine.EngineStub
-
Returns true if the engine is connected to a remote server.
- isSelectable() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- isStrict() - Method in class com.uppaal.model.system.concrete.Limit
-
- isStrictLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- isStrictLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
- isStrictUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- isStrictUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
- isTheSame(SystemEdgeSelect) - Method in class com.uppaal.model.system.SystemEdgeSelect
-
- isUnbounded() - Method in class com.uppaal.model.system.concrete.Limit
-
- isUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- isUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
- isVisible() - Method in class com.uppaal.model.core2.Property
-
- parameter(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
Parses an optional parameter tag.
- PARAMLIST - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- paramListGraphInfo() - Method in class com.uppaal.model.io2.UGIReader
-
- parent - Variable in class com.uppaal.model.core2.InsertElementCommand
-
- parent - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
-
- parent - Variable in class com.uppaal.model.core2.RemoveElementCommand
-
- parent - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
-
- parse(Document) - Method in class com.uppaal.model.io2.UGIReader
-
Parses the currently associated java.io.InputStream
and modifies pos tags on elements in document
.
- parse(Element) - Method in class com.uppaal.model.io2.XMLReader
-
- parse(Element) - Method in class com.uppaal.model.io2.XTAReader
-
- parseAcknowledgement() - Method in class com.uppaal.engine.Parser
-
- parseBigDecimal() - Method in class com.uppaal.engine.Parser
-
- parseBlock() - Method in class com.uppaal.engine.Parser
-
- parseConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseConcreteState(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses a concrete state.
- parseConcreteSuccessor(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseEdges(Properties, UppaalSystem, String) - Method in class com.uppaal.engine.KeyValueProtocol
-
- parseEdges(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseEdgesWS(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseEnabledConcreteTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseEnabledTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseEnd() - Method in class com.uppaal.engine.Parser
-
- ParseException - Exception in com.uppaal.model.io2
-
This exception is thrown when parse errors are encountered.
- ParseException(Token, int[][], String[]) - Constructor for exception com.uppaal.model.io2.ParseException
-
This constructor is used by the method "generateParseException"
in the generated parser.
- ParseException() - Constructor for exception com.uppaal.model.io2.ParseException
-
The following constructors are for use by you for whatever
purpose you can think of.
- ParseException(String) - Constructor for exception com.uppaal.model.io2.ParseException
-
Constructor with message.
- parseGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Parser
-
Parses a Gantt chart.
- parseGanttHeader(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseId() - Method in class com.uppaal.engine.Parser
-
- parseInteger() - Method in class com.uppaal.engine.Parser
-
- parseLimit() - Method in class com.uppaal.engine.Parser
-
- parseLocationVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- parseLong() - Method in class com.uppaal.engine.Parser
-
- parseLscProcess(Document) - Method in class com.uppaal.engine.Parser
-
- parsePartialEnd() - Method in class com.uppaal.engine.Parser
-
- parseProblems() - Method in class com.uppaal.engine.Parser
-
- parseProblems(ArrayList<Problem>) - Method in class com.uppaal.engine.Parser
-
- parseProlog() - Method in class com.uppaal.engine.Parser
-
- parseQueryResult() - Method in class com.uppaal.engine.Parser
-
- Parser - Class in com.uppaal.engine
-
Simple recursive decent parser for the communication protocol.
- Parser(InputStream) - Constructor for class com.uppaal.engine.Parser
-
- parseState(Properties, UppaalSystem, String, String, String) - Method in class com.uppaal.engine.KeyValueProtocol
-
- parseSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseSymbolicState(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseSystem(Document) - Method in class com.uppaal.engine.Parser
-
- parseVariableVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- parseXTRTrace(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
- parseZone(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- PART_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- PARTIAL_END - Static variable in class com.uppaal.engine.LexicalAnalyser
-
- plainMetrics - Static variable in class com.uppaal.model.io2.BoundCalc
-
- plainWidth(String) - Static method in class com.uppaal.model.io2.BoundCalc
-
Computes the width of string in plain font.
- PLUS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Polyhedron - Class in com.uppaal.model.system
-
- Polyhedron(UppaalSystem) - Constructor for class com.uppaal.model.system.Polyhedron
-
- populateCondition(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- populateInstance(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- populatePrechart(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- position - Variable in class com.uppaal.model.core2.InsertElementCommand
-
- Prechart - Class in com.uppaal.model.core2.lsc
-
- Prechart(Element) - Constructor for class com.uppaal.model.core2.lsc.Prechart
-
- prechart(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
- PRECHART_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- PRECHART_MIN_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- PRECHART_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- PRECHART_TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- prevCharIsCR - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- prevCharIsLF - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- previous - Variable in class com.uppaal.model.core2.Node
-
The left sibling of this element.
- print(String) - Method in class com.uppaal.model.core2.PrintVisitor
-
- printGanttInfo() - Method in class com.uppaal.model.system.GanttChart
-
- printRowInfo() - Method in class com.uppaal.model.system.GanttRow
-
- PrintVisitor - Class in com.uppaal.model.core2
-
- PrintVisitor() - Constructor for class com.uppaal.model.core2.PrintVisitor
-
- PROB_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for probability labels.
- Problem - Class in com.uppaal.engine
-
A representation of a syntax error or warning.
- Problem(String, String, int, int, int, int, String) - Constructor for class com.uppaal.engine.Problem
-
- PROCASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- procAssignGI() - Method in class com.uppaal.model.io2.UGIReader
-
- PROCESS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- PROCESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Process - Class in com.uppaal.model.system
-
- PROCESS_FILL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Color for process box fill.
- PROCESS_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Constant.
- processdecl(Document) - Method in class com.uppaal.model.io2.XTAReader
-
- project(Document) - Method in class com.uppaal.model.io2.XMLReader
-
- properties - Variable in class com.uppaal.model.core2.Element
-
The properties of this element.
- Property - Class in com.uppaal.model.core2
-
A property is a special kind of element.
- Property(Element, Element, Object) - Constructor for class com.uppaal.model.core2.Property
-
- property - Variable in class com.uppaal.model.core2.SetPropertyCommand
-
- propertyChanged(Property, String, Object, Object) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- propertyChanged(Property, String, Object, Object) - Method in interface com.uppaal.model.core2.EventListener
-
- Protocol - Interface in com.uppaal.engine
-
- ProtocolException - Exception in com.uppaal.engine
-
- ProtocolException() - Constructor for exception com.uppaal.engine.ProtocolException
-
- ProtocolException(String) - Constructor for exception com.uppaal.engine.ProtocolException
-
- prototype - Variable in class com.uppaal.model.core2.Element
-
The prototype of this element.
- PrototypeDocument - Class in com.uppaal.model.core2
-
Prototypical document structure for a Uppaal network of timed
automata with default properties (see the prototype design pattern).
- PrototypeDocument() - Constructor for class com.uppaal.model.core2.PrototypeDocument
-
- PrototypeVisitor - Class in com.uppaal.model.core2
-
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.
- PrototypeVisitor() - Constructor for class com.uppaal.model.core2.PrototypeVisitor
-
- PTBody(Template) - Method in class com.uppaal.model.io2.XTAReader
-
- PTGraphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader
-
- PTHead(Template) - Method in class com.uppaal.model.io2.XTAReader
-
- PTParamList(Template) - Method in class com.uppaal.model.io2.XTAReader
-
- save(String) - Method in class com.uppaal.model.core2.Document
-
- save(File) - Method in class com.uppaal.model.core2.Document
-
- SELECT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- SELECT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SELECT_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for select labels.
- SELECTED_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Color to be used for indicating selected objects.
- SEMICOLON - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- SEMICOLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- sendMessage(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
-
- sendMessage(KeyValueProtocol.Service, String) - Method in class com.uppaal.engine.KeyValueProtocol
-
- sendMessage(KeyValueProtocol.Service, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
-
- SERVER - Static variable in class com.uppaal.engine.EngineStub
-
Remote connections only..
- ServerException - Exception in com.uppaal.engine
-
- ServerException() - Constructor for exception com.uppaal.engine.ServerException
-
- ServerException(String) - Constructor for exception com.uppaal.engine.ServerException
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update
-
- setAnchoredToCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Update
-
- setAnchors(ArrayList<InstanceLine>) - Method in class com.uppaal.model.core2.lsc.Condition
-
- setAnchorToUpdate(InstanceLine, Condition) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- setClocks(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
-
- setCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Simregion
-
- setConnectionMode(int) - Method in class com.uppaal.engine.Engine
-
Sets the connection mode.
- setConnectionMode(int) - Method in class com.uppaal.engine.EngineStub
-
Sets the connection mode.
- setCurrent(int) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when pos
elements of the trace have been
loaded.
- setCVariables(ConcreteVariable[]) - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
-
Set debug output.
- setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
-
Set debug output.
- setDelay(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- setEdges(SystemEdgeSelect[]) - Method in class com.uppaal.model.system.AbstractTransition
-
- setEndPoint(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Set the endpoint to the given location.
- SetEndPointCommand - Class in com.uppaal.model.core2
-
- SetEndPointCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetEndPointCommand
-
- setFeedback(String) - Method in interface com.uppaal.engine.QueryFeedback
-
Called after a verification in case there is no trace.
- setFinalAnchor(InstanceLine, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
- setFinalEnd(InstanceLine) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- setGanttChart(GanttChart) - Method in class com.uppaal.model.system.UppaalSystem
-
- setInvariant(Limit) - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- setLength(int) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when the length of a trace is known.
- setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
Set length between bottom of instance head and top of instance foot
- SetLengthCommand - Class in com.uppaal.model.core2.lsc
-
- SetLengthCommand(Document, Element, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.SetLengthCommand
-
Constructor
- setLengthTo(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Sets the current end point on the edge.
- setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetSourceCommand
-
- setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetTargetCommand
-
- setLocations(SystemLocation[]) - Method in class com.uppaal.model.system.SystemState
-
- setLscProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
-
- setMessage(Message) - Method in class com.uppaal.model.core2.lsc.Simregion
-
- setOptions(String) - Method in class com.uppaal.engine.DotProtocol
-
- setOptions(String) - Method in class com.uppaal.engine.EngineStub
-
Sets server options used for verification.
- setOptions(String) - Method in class com.uppaal.engine.KeyValueProtocol
-
- setOptions(String) - Method in interface com.uppaal.engine.Protocol
-
Sets server options used for verification.
- setPrechart(Prechart) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- setProgress(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
-
- setProgress(int, long, long, long, long, long, long, long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when server sends a progress update on verification status.
- setProgressAvail(boolean) - Method in interface com.uppaal.engine.QueryFeedback
-
Called before sending query to server.
- setProperties(Object[]) - Method in class com.uppaal.model.core2.Element
-
- setProperty(String, Object) - Method in class com.uppaal.model.core2.Element
-
Sets and returns the given property.
- setProperty(String, Object) - Method in class com.uppaal.model.core2.Location
-
When setting the init property to true, the init property
of all other locations in the same template is removed.
- SetPropertyCommand - Class in com.uppaal.model.core2
-
- SetPropertyCommand(Element, String, Object) - Constructor for class com.uppaal.model.core2.SetPropertyCommand
-
- setPropertyFromPath(String, Object) - Method in class com.uppaal.model.core2.Element
-
- SetPropertyWithPositionCommand - Class in com.uppaal.model.core2
-
- SetPropertyWithPositionCommand(Element, String, Object, int, int) - Constructor for class com.uppaal.model.core2.SetPropertyWithPositionCommand
-
- setPrototype(Element) - Method in class com.uppaal.model.core2.Element
-
Sets the prototype of this element to the given argument.
- setPrototype(Element) - Method in class com.uppaal.model.core2.Node
-
Sets the prototype of this element to the given argument.
- setRate(int) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- setResultText(String) - Method in interface com.uppaal.engine.QueryFeedback
-
Allows engine to add arbitrary text beside the "status" image.
- setServerHost(String) - Method in class com.uppaal.engine.Engine
-
Sets the server host.
- setServerHost(String) - Method in class com.uppaal.engine.EngineStub
-
Sets the server host.
- setServerPath(String) - Method in class com.uppaal.engine.Engine
-
Sets the server path.
- setServerPath(String) - Method in class com.uppaal.engine.EngineStub
-
Sets the server path.
- setServerPort(int) - Method in class com.uppaal.engine.Engine
-
Sets the server port.
- setServerPort(int) - Method in class com.uppaal.engine.EngineStub
-
Sets the server port.
- setSimregions(ArrayList<Simregion>) - Method in class com.uppaal.model.core2.lsc.Cut
-
- setSource(AbstractLocation) - Method in class com.uppaal.model.core2.Edge
-
Sets the origin of this edge.
- setSource(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message
-
- SetSourceCommand - Class in com.uppaal.model.core2
-
Transaction for changing the source of an edge.
- SetSourceCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetSourceCommand
-
- setStrict(boolean) - Method in class com.uppaal.model.system.concrete.Limit
-
- setSystemInfo(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
-
- setSystemInfo(long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
-
Called before start processing a query.
- setTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
- setTarget(AbstractLocation) - Method in class com.uppaal.model.core2.Edge
-
Sets the destination of this edge.
- setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
- setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message
-
- setTarget(ConcreteState) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- SetTargetCommand - Class in com.uppaal.model.core2
-
Transaction for changing the target of an edge.
- SetTargetCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetTargetCommand
-
- setTime(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- setTrace(char, String, ArrayList<SymbolicTransition>, int) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when the complete trace has been loaded.
- setUpdate(Update) - Method in class com.uppaal.model.core2.lsc.Simregion
-
- setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
- setVariables(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
-
- setVersion(int) - Method in class com.uppaal.model.core2.AbstractCommand
-
- setVersion(int) - Method in interface com.uppaal.model.core2.Command
-
- setXMLResolver(XMLResolver) - Static method in class com.uppaal.model.io2.XMLReader
-
Set a custom XMLResolver to be used with XMLEventReader.
- showEditor(JFrame) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
- sibling - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
-
- SimpleCharStream - Class in com.uppaal.model.io2
-
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
- SimpleCharStream(Reader, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(Reader, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(Reader) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- Simregion - Class in com.uppaal.model.core2.lsc
-
- Simregion(Element) - Constructor for class com.uppaal.model.core2.lsc.Simregion
-
- simregions - Variable in class com.uppaal.model.core2.lsc.Cut
-
- singleCoord(Element) - Method in class com.uppaal.model.io2.UGIReader
-
- size() - Method in class com.uppaal.model.system.Trace
-
- skipProblems() - Method in class com.uppaal.engine.Parser
-
- SLASH - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SNAP_PER_GRID - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- SnapCommand - Class in com.uppaal.model.core2
-
Command to snap template elements to a grid.
- SnapCommand(AbstractTemplate, double) - Constructor for class com.uppaal.model.core2.SnapCommand
-
- source - Variable in class com.uppaal.model.core2.Edge
-
- source - Variable in class com.uppaal.model.core2.lsc.Message
-
- source() - Method in class com.uppaal.model.io2.XMLReader
-
- specialToken - Variable in class com.uppaal.model.io2.Token
-
This field is used to access special tokens that occur prior to this
token, but after the immediately preceding regular (non-special) token.
- STATE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- state - Variable in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
- STATE_COMMIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of the inner symbol of committed locations.
- STATE_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for state vertex fill.
- STATE_INIT_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for initial state inner circle outline.
- STATE_INIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of the inner circle symbolising a initial state.
- STATE_LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for state labels.
- STATE_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for state vertex outline.
- STATE_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of a location.
- STATE_URGENT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of the inner symbol of urgent locations.
- staticFlag - Static variable in class com.uppaal.model.io2.SimpleCharStream
-
Whether parser is static.
- stub - Variable in class com.uppaal.engine.Engine
-
The stub for the server connection.
- submit(Job) - Method in class com.uppaal.engine.Engine
-
- subtract(float, float) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
subtracted by the given coordinates.
- subtract(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
subtracted by the given point.
- subtract(int, int) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
subtracted by the given coordinates.
- subtract(Point2D) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
subtracted by the given point.
- swap() - Method in class com.uppaal.model.core2.SetEndPointCommand
-
- swap() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
- SwitchTo(int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
-
Switch to specified lex state.
- SwitchTo(int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
-
Switch to specified lex state.
- SymbolicState - Class in com.uppaal.model.system.symbolic
-
- SymbolicState(SystemLocation[], int[], Polyhedron) - Constructor for class com.uppaal.model.system.symbolic.SymbolicState
-
- SymbolicTransition - Class in com.uppaal.model.system.symbolic
-
- SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
-
- SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState, String) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
-
- SYNC - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- SYNC - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SYNC_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for synchronisation labels.
- system(Document) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional system tag.
- SYSTEM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SystemCondition - Class in com.uppaal.model.lscsystem
-
- SystemCondition(LscProcess, int, String, Condition) - Constructor for class com.uppaal.model.lscsystem.SystemCondition
-
- SystemCut - Class in com.uppaal.model.lscsystem
-
- SystemCut(SystemSimregion[], int[], Polyhedron) - Constructor for class com.uppaal.model.lscsystem.SystemCut
-
- SYSTEMDEF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- systemDefGI() - Method in class com.uppaal.model.io2.UGIReader
-
- SystemEdge - Class in com.uppaal.model.system
-
- SystemEdge(Process, int, String, Edge) - Constructor for class com.uppaal.model.system.SystemEdge
-
- SystemEdgeSelect - Class in com.uppaal.model.system
-
- SystemEdgeSelect(Process, int, String, Edge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
-
- SystemEdgeSelect(SystemEdge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
-
- SystemInstanceLine - Class in com.uppaal.model.lscsystem
-
- SystemInstanceLine(LscProcess, int, InstanceLine) - Constructor for class com.uppaal.model.lscsystem.SystemInstanceLine
-
- SystemLocation - Class in com.uppaal.model.system
-
- SystemMessage - Class in com.uppaal.model.lscsystem
-
- SystemMessage(LscProcess, int, String, Message) - Constructor for class com.uppaal.model.lscsystem.SystemMessage
-
- SystemPrechart - Class in com.uppaal.model.lscsystem
-
- SystemPrechart(LscProcess, Prechart) - Constructor for class com.uppaal.model.lscsystem.SystemPrechart
-
- SystemSimregion - Class in com.uppaal.model.lscsystem
-
- systemSpec(Document) - Method in class com.uppaal.model.io2.XTAReader
-
- SystemState - Class in com.uppaal.model.system
-
- SystemState(SystemLocation[]) - Constructor for class com.uppaal.model.system.SystemState
-
- SystemUpdate - Class in com.uppaal.model.lscsystem
-
- SystemUpdate(LscProcess, int, String, Update) - Constructor for class com.uppaal.model.lscsystem.SystemUpdate
-
- tabSize - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- target - Variable in class com.uppaal.model.core2.Edge
-
- target - Variable in class com.uppaal.model.core2.lsc.Message
-
- target() - Method in class com.uppaal.model.io2.XMLReader
-
- target - Variable in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- temperature(Node) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the temperature tag for a condition
- Template - Class in com.uppaal.model.core2
-
- Template(Element) - Constructor for class com.uppaal.model.core2.Template
-
- TEMPLATE_NAME_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- TEMPLATE_PARAMLIST_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- TEMPLATENAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- templates(Document) - Method in class com.uppaal.model.io2.XMLReader
-
- TIMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Token - Class in com.uppaal.model.io2
-
Describes the input token stream.
- Token() - Constructor for class com.uppaal.model.io2.Token
-
No-argument constructor
- Token(int) - Constructor for class com.uppaal.model.io2.Token
-
Constructs a new token for the specified Image.
- Token(int, String) - Constructor for class com.uppaal.model.io2.Token
-
Constructs a new token for the specified Image and Kind.
- token - Variable in class com.uppaal.model.io2.UGIReader
-
Current token.
- token - Variable in class com.uppaal.model.io2.XTAReader
-
Current token.
- token_source - Variable in class com.uppaal.model.io2.UGIReader
-
Generated Token Manager.
- token_source - Variable in class com.uppaal.model.io2.XTAReader
-
Generated Token Manager.
- tokenImage - Variable in exception com.uppaal.model.io2.ParseException
-
This is a reference to the "tokenImage" array of the generated
parser within which the parse error occurred.
- tokenImage - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
Literal token values.
- tokenImage - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
Literal token values.
- TokenMgrError - Error in com.uppaal.model.io2
-
Token Manager Error.
- TokenMgrError() - Constructor for error com.uppaal.model.io2.TokenMgrError
-
No arg constructor.
- TokenMgrError(String, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
-
Constructor with message and reason.
- TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
-
Full Constructor.
- TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- toServerFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Convert to format used to send to server.
- toServerFormat() - Method in class com.uppaal.model.system.Transition
-
Convert to format used to send to server.
- toString() - Method in exception com.uppaal.engine.EngineException
-
- toString() - Method in class com.uppaal.engine.Problem
-
- toString() - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a string representation of this object
- toString() - Method in class com.uppaal.model.io2.IntPoint
-
Returns a string representation of this object.
- toString() - Method in class com.uppaal.model.io2.Token
-
Returns the image.
- toString() - Method in class com.uppaal.model.system.concrete.Limit
-
- toString() - Method in class com.uppaal.model.system.GanttBar
-
- toString() - Method in class com.uppaal.model.system.Polyhedron
-
- toTime - Variable in class com.uppaal.model.system.GanttBar
-
- TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- TOUCH_INSTANCE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- toXTRFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Convert to format used in XTR files.
- Trace - Class in com.uppaal.model.system
-
This class can be used for a combinated symbolic and concrete trace, or just
one of them.
- Trace(SymbolicState) - Constructor for class com.uppaal.model.system.Trace
-
- Trace(ConcreteState) - Constructor for class com.uppaal.model.system.Trace
-
- Trace(ConcreteState, SymbolicState) - Constructor for class com.uppaal.model.system.Trace
-
- TRACE_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- traceFormat() - Method in class com.uppaal.model.AbstractSystemState
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.SystemState
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.Transition
-
Convert to visual format used in simulator.
- TRANS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- TRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- TRANS_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for transition edge outline.
- TRANS_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.Constants
-
The distance from a transition where it is touched.
- transIdent() - Method in class com.uppaal.model.io2.UGIReader
-
- Transition - Class in com.uppaal.model.system
-
Transition represents a discrete transition of the system.
- Transition(SymbolicState, SystemEdge[], SymbolicState) - Constructor for class com.uppaal.model.system.Transition
-
- Transition(SymbolicState, SystemEdge[], SymbolicState, String) - Constructor for class com.uppaal.model.system.Transition
-
- transitions - Variable in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
- translate(String) - Method in class com.uppaal.model.system.EmptyTranslator
-
- translate(String) - Method in class com.uppaal.model.system.IdentifierTranslator
-
Returns a translated string where all identifiers have been
replaced (by some actual parameter) if they denote a formal parameter..
- translate(String) - Method in interface com.uppaal.model.system.Translator
-
- translate(String) - Method in interface com.uppaal.model.Translator
-
- TranslationCommand - Class in com.uppaal.model.core2
-
Translates (in the geometrical meaning) a set of elements.
- TranslationCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.TranslationCommand
-
- TranslationMessageLabelCommand - Class in com.uppaal.model.core2.lsc
-
- TranslationMessageLabelCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
-
- TranslationXCommand - Class in com.uppaal.model.core2.lsc
-
Translates (in the geometrical meaning) a set of elements.
- TranslationXCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationXCommand
-
- TranslationYCommand - Class in com.uppaal.model.core2.lsc
-
Translates (in the geometrical meaning) a set of elements.
- TranslationYCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationYCommand
-
- translator - Variable in class com.uppaal.model.AbstractProcess
-
The translator to use for this process.
- Translator - Interface in com.uppaal.model.system
-
- Translator - Interface in com.uppaal.model
-
- trim() - Method in class com.uppaal.model.system.Polyhedron
-
- truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttChart
-
- truncate(int) - Method in class com.uppaal.model.system.GanttChart
-
- truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttRow
-
- type(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
-