Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y 
All Classes All Packages

A

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
The abstract system class
AbstractSystem() - Constructor for class com.uppaal.model.AbstractSystem
Constructor
AbstractSystem(Document) - Constructor for class com.uppaal.model.AbstractSystem
Constructor
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
 
AbstractTrace<Transition extends AbstractTransition> - Class in com.uppaal.model.system
 
AbstractTrace() - Constructor for class com.uppaal.model.system.AbstractTrace
 
AbstractTransaction - Class in com.uppaal.model.core2
The abstract class transaction
AbstractTransaction(CommandManager) - Constructor for class com.uppaal.model.core2.AbstractTransaction
Constructor
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
 
accept(Visitor) - Method in class com.uppaal.model.core2.Query
Query property has a visitor
accept(Visitor) - Method in class com.uppaal.model.core2.QueryList
The query model has a visitor
acceptSafe(Visitor) - Method in class com.uppaal.model.core2.Element
Like to accept(), but cannot throw an Exception.
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(int, int) - Method in class com.uppaal.model.io2.IntPoint
Returns a point with this point's coordinates added with the given coordinates.
add(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
 
add(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart
 
add(Simregion) - Method in class com.uppaal.model.core2.lsc.Cut
 
add(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point with this point's coordinates added with the given point.
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 the input value into the limit value
add(Transition) - Method in class com.uppaal.model.system.AbstractTrace
 
addAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
 
addAnchor(InstanceLine, int) - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
AddAnchorCommand - Class in com.uppaal.model.core2.lsc
 
AddAnchorCommand(CommandManager, Element) - Constructor for class com.uppaal.model.core2.lsc.AddAnchorCommand
Constructor
addBar(GanttBar) - Method in class com.uppaal.model.system.GanttRow
Adds a new Gantt-bar to row
addCommandListener(CommandListener) - Method in class com.uppaal.model.core2.CommandManager
Adds editing command listener
addComment(String) - Method in class com.uppaal.model.core2.DataSet2D
Add the comment into the array list for the comments
addCondition(Condition) - Method in class com.uppaal.model.lscsystem.LscProcess
 
addData(DataSet2D) - Method in class com.uppaal.model.core2.QueryData
Add the dataset into the array list for the DataSet2D
addData(String, String, Color) - Method in class com.uppaal.model.core2.DataSet2D
Add a new data
addData2D(Data2D) - Method in class com.uppaal.model.core2.DataSet2D
Add the data2D
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
 
addLast(Query) - Method in class com.uppaal.model.core2.QueryList
Added the query at the last query
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
Add nail that the graphical layout of the edge.
addNonStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
 
addProcess(String, String, Translator) - Method in class com.uppaal.model.AbstractSystem
Add process data
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
Added for concrete simulation - edge map as extra argument
addQueryListener(QueryListener) - Method in class com.uppaal.model.core2.Query
 
addQueryListListener(QueryListListener) - Method in class com.uppaal.model.core2.QueryList
 
addRow(GanttRow) - Method in class com.uppaal.model.system.GanttChart
Add a new row into the chart
addSample(double, double) - Method in class com.uppaal.model.core2.Data2D
 
addSample(double, double) - Method in class com.uppaal.model.core2.DataSet2D
Add a new sample
addSample(Point2D.Double) - Method in class com.uppaal.model.core2.Data2D
 
addSample(Point2D.Double) - Method in class com.uppaal.model.core2.DataSet2D
Add a new sample into the array list of the Data2D
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
 
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(SystemEdgeSelect[], SymbolicState) - Method in class com.uppaal.model.system.Trace
 
append(BigDecimal, SystemEdgeSelect[], ConcreteState) - Method in class com.uppaal.model.system.Trace
 
append(BigDecimal, SystemEdgeSelect[], ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace
 
append(Transition) - Method in interface com.uppaal.model.system.TraceListener
 
AppendQueriesCommand - Class in com.uppaal.model.core2
A transaction command for inserting queries.
AppendQueriesCommand(QueryList, QueryList) - Constructor for class com.uppaal.model.core2.AppendQueriesCommand
Append the imported queries into the model xml file
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.

B

backup(int) - Method in class com.uppaal.model.io2.SimpleCharStream
Backup a number of characters.
bars - Variable in class com.uppaal.model.system.GanttRow
 
BECOMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
beforeRemoval(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
 
beforeRemoval(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
 
begin(String) - Method in class com.uppaal.model.io2.XMLReader
Read until the beginning of a given tag.
beginColumn - Variable in class com.uppaal.model.io2.Token
The column number of the first character of this Token.
beginLine - Variable in class com.uppaal.model.io2.Token
The line number of the first character of this Token.
BeginToken() - Method in class com.uppaal.model.io2.SimpleCharStream
Start.
BIGFONT - Static variable in interface com.uppaal.model.core2.CommonConstants
 
BIGFONTNAME - Static variable in interface com.uppaal.model.core2.CommonConstants
 
BLOCK - Static variable in class com.uppaal.engine.LexicalAnalyser
 
body(Template) - Method in class com.uppaal.model.io2.XTAReader
 
BODY - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
bodyBranchPoint(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyBranchPoints(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyCommitted(Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyInit(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyState(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyStates(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyTransitions(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyTransitionSymbol() - Method in class com.uppaal.model.io2.XTAReader
 
bodyUrgent(Map) - Method in class com.uppaal.model.io2.XTAReader
 
boldMetrics - Static variable in class com.uppaal.model.io2.BoundCalc
 
boldWidth(String) - Static method in class com.uppaal.model.io2.BoundCalc
Computes the width of string s in bol
BOTH - Static variable in class com.uppaal.engine.EngineStub
Try remote connection first, then local.
BoundCalc - Class in com.uppaal.model.io2
 
BoundCalc() - Constructor for class com.uppaal.model.io2.BoundCalc
 
BoundCalc(Translator) - Constructor for class com.uppaal.model.io2.BoundCalc
 
BranchPoint - Class in com.uppaal.model.core2
BranchPoint splits an edge into several probabilistic branches.
BranchPoint(Element) - Constructor for class com.uppaal.model.core2.BranchPoint
 
BRANCHPOINT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
BRANCHPOINT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
BRANCHPOINT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius of a branchpoint.
branchpoints(Template) - Method in class com.uppaal.model.io2.XMLReader
Parse the branchpoint tag: x, y, color and id attributes.
bufcolumn - Variable in class com.uppaal.model.io2.SimpleCharStream
 
buffer - Variable in class com.uppaal.model.io2.SimpleCharStream
 
bufline - Variable in class com.uppaal.model.io2.SimpleCharStream
 
bufpos - Variable in class com.uppaal.model.io2.SimpleCharStream
Position in buffer.

C

CachedOutputStream - Class in com.uppaal.model.io2
CachedOutputStream buffers the stream while ignoring flushing.
CachedOutputStream(File) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
CachedOutputStream(File, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
CachedOutputStream(OutputStream) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
CachedOutputStream(OutputStream, 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.
CannotEvaluateException - Exception in com.uppaal.engine
The exception class for 'transition'
CannotEvaluateException(int, int, String, String, String, int, int) - Constructor for exception com.uppaal.engine.CannotEvaluateException
Constructor
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.CommandManager
Can redo
canUndo() - Method in class com.uppaal.model.core2.CommandManager
Can undo
CHAN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
changeAnchor(int) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
Change anchor
ChangeAnchorCommand - Class in com.uppaal.model.core2.lsc
The class change anchor command
ChangeAnchorCommand(CommandManager, Element) - Constructor for class com.uppaal.model.core2.lsc.ChangeAnchorCommand
Constructor
changeEnd(int) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
Change the end of the message
ChangeMessageEndCommand - Class in com.uppaal.model.core2.lsc
 
ChangeMessageEndCommand(CommandManager, 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
Clear the rows, but keep id-strings and empty lists for each row
clearData() - Method in class com.uppaal.model.core2.QueryData
Remove the array list data of the dataSet2D
clearRow() - Method in class com.uppaal.model.system.GanttRow
Clear the gantt row
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
Make a clone of the gantt row
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.
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 command.
commandManager - Variable in class com.uppaal.model.core2.AbstractTransaction
 
CommandManager - Class in com.uppaal.model.core2
The central class for the command manager
CommandManager() - Constructor for class com.uppaal.model.core2.CommandManager
Default constructor.
CommandManager(CommandManager) - Constructor for class com.uppaal.model.core2.CommandManager
Copy constructor, because "clone()" idiom is badly broken and only version number is preserved anyway.
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() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
commit(AbstractLocation) - Method in class com.uppaal.model.core2.InsertEdgeCommand
Commit setting of the destination of this edge
COMMIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
commitBranchPoint(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
Commit the branch point
commitLocation(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
Commit the location
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, CannotEvaluateException) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor
Constructor
ConcreteSuccessor(ConcreteState, ConcreteTransition[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor
Constructor
ConcreteTrace - Class in com.uppaal.model.system.concrete
 
ConcreteTrace() - Constructor for class com.uppaal.model.system.concrete.ConcreteTrace
 
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 - Variable in class com.uppaal.model.core2.lsc.Simregion
 
Condition - Class in com.uppaal.model.core2.lsc
 
Condition(Element) - Constructor for class com.uppaal.model.core2.lsc.Condition
 
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
Parse the conditions data, tag 'condition'
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
Class convert syntax visitor
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
 
cover(Transition) - Method in interface com.uppaal.model.system.TraceListener
 
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
Find the edge of the process and select the value
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
 
cycle - Variable in class com.uppaal.model.system.symbolic.SymbolicTrace
 

D

Data2D - Class in com.uppaal.model.core2
 
Data2D(String, String, Color) - Constructor for class com.uppaal.model.core2.Data2D
 
DataSet2D - Class in com.uppaal.model.core2
The class data set 2D
DataSet2D(String, String, String) - Constructor for class com.uppaal.model.core2.DataSet2D
Constructor
debugStream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
Debug output.
debugStream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
Debug output.
declaration(Document) - Method in class com.uppaal.model.io2.XTAReader
 
declaration(Node) - Method in class com.uppaal.model.io2.XMLReader
Parse the 'declaration' text.
DEFAULT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
Lexical state.
DEFAULT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
Lexical state.
DEFAULT_HOST - Static variable in class com.uppaal.engine.EngineStub
The default host for remote connections.
DEFAULT_PORT - Static variable in class com.uppaal.engine.EngineStub
The default port for remote connections.
destination(Template, Map, AbstractLocation, boolean) - Method in class com.uppaal.model.io2.XTAReader
 
disable_tracing() - Method in class com.uppaal.model.io2.UGIReader
Disable tracing.
disable_tracing() - Method in class com.uppaal.model.io2.XTAReader
Disable tracing.
disconnect() - Method in class com.uppaal.engine.Engine
Disconnect from the server.
disconnect() - Method in class com.uppaal.engine.EngineStub
Disconnect from the server.
disconnected() - Method in class com.uppaal.engine.Engine
Called when disconnecting from the server.
divide(float) - Method in class com.uppaal.model.io2.IntPoint
 
doCancel() - Method in class com.uppaal.model.core2.AbstractTransaction
 
doCancel() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
doCancel() - Method in class com.uppaal.model.core2.InsertElementCommand
 
doCancel() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
 
doCancel() - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand
 
doCancel() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
doCancel() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.lsc.TranslationYCommand
Undo the translation.
doCancel() - Method in class com.uppaal.model.core2.SetEndPointCommand
 
doCancel() - Method in class com.uppaal.model.core2.TranslationCommand
Undo the translation.
document - Variable in class com.uppaal.model.AbstractSystem
 
Document - Class in com.uppaal.model.core2
Model for a network of timed automata as defined in UPPAAL.
Document() - Constructor for class com.uppaal.model.core2.Document
Constructor without a prototype.
Document(Element) - Constructor for class com.uppaal.model.core2.Document
Constructor using the given prototype.
doExecute() - Method in class com.uppaal.model.core2.AbstractTransaction
 
doExecute() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
doExecute() - Method in class com.uppaal.model.core2.InsertElementCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
doExecute() - Method in class com.uppaal.model.core2.lsc.TranslationYCommand
 
doExecute() - Method in class com.uppaal.model.core2.SetEndPointCommand
 
doExecute() - Method in class com.uppaal.model.core2.TranslationCommand
 
Done() - Method in class com.uppaal.model.io2.SimpleCharStream
Reset buffer when finished.
DOT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
DOT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
DotProtocol - Class in com.uppaal.engine
This class implements the interface 'protocol'
DotProtocol(InputStream, OutputStream) - Constructor for class com.uppaal.engine.DotProtocol
Constructor
DOUBLE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
doUndo() - Method in class com.uppaal.model.core2.AbstractTransaction
 
doUndo() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
doUndo() - Method in class com.uppaal.model.core2.InsertElementCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
doUndo() - Method in class com.uppaal.model.core2.lsc.TranslationYCommand
 
doUndo() - Method in class com.uppaal.model.core2.SetEndPointCommand
 
doUndo() - Method in class com.uppaal.model.core2.TranslationCommand
 
draw(Element, double) - Method in class com.uppaal.model.io2.BoundCalc
 

E

ECOLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
edge - Variable in class com.uppaal.model.core2.SetEndPointCommand
The edge on which we set the end point.
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.
edges - Variable in class com.uppaal.model.io2.UGIWriter
 
edges(Template) - Method in class com.uppaal.model.io2.XMLReader
Parse the edge tag(s) if any: controllable, color, label(s) and nail(s).
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 - 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
 
Element - Class in com.uppaal.model.core2
Base class for elements.
Element(Element) - Constructor for class com.uppaal.model.core2.Element
Constructor
elements - Variable in class com.uppaal.model.core2.TranslationCommand
 
EMPH_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
emptyMax - Static variable in class com.uppaal.model.core2.Data2D
 
emptyMax - Static variable in class com.uppaal.model.core2.DataSet2D
 
emptyMin - Static variable in class com.uppaal.model.core2.Data2D
 
emptyMin - Static variable in class com.uppaal.model.core2.DataSet2D
 
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 exception com.uppaal.engine.CannotEvaluateException
 
endColumn - Variable in class com.uppaal.model.io2.Token
The column number of the last character of this Token.
endLine - Variable in exception com.uppaal.engine.CannotEvaluateException
 
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(String, Throwable) - 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
 
errorContext - Variable in exception com.uppaal.engine.CannotEvaluateException
 
errorPath - Variable in exception com.uppaal.engine.CannotEvaluateException
 
escape(String) - Method in class com.uppaal.engine.KeyValueProtocol
Escape the string.
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 class com.uppaal.model.core2.AppendQueriesCommand
 
execute() - Method in interface com.uppaal.model.core2.Command
 
execute() - Method in class com.uppaal.model.core2.CompoundCommand
 
execute() - Method in class com.uppaal.model.core2.InsertQueryCommand
 
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.RemoveQueryCommand
 
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.SetQueryCommand
 
execute() - Method in class com.uppaal.model.core2.SnapCommand
 
execute(Command) - Method in class com.uppaal.model.core2.CommandManager
Execute a command.
execute(Command...) - Method in class com.uppaal.model.core2.CommandManager
Execute the commands
executed(CommandManager, 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.
EXPRATE - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
EXTERNAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
EXTERNALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.

F

featuresSMC - Variable in class com.uppaal.model.io2.XTAWriter
 
FillBuff() - Method in class com.uppaal.model.io2.SimpleCharStream
 
findLscTemplate(String, boolean) - Method in class com.uppaal.model.system.UppaalSystem
 
findNode(String) - Method in class com.uppaal.model.system.UppaalSystem
Finds a child node from the document root node.
findTemplate(String, boolean) - Method in class com.uppaal.model.system.UppaalSystem
 
fireAnchorChanged(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement
 
fireAnchorChanged(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
 
fireAnchorChanged(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update
 
first - Variable in class com.uppaal.model.core2.Node
First child of this element.
fixedname(Node) - Method in class com.uppaal.model.io2.XMLReader
Parse the plain name label without attributes.
FLOAT - Static variable in class com.uppaal.engine.LexicalAnalyser
 
FloatPoint - Class in com.uppaal.model.io2
 
FloatPoint(float, float) - Constructor for class com.uppaal.model.io2.FloatPoint
Creates a point from given coordinates
FloatPoint(Point2D) - Constructor for class com.uppaal.model.io2.FloatPoint
 
flush() - Method in class com.uppaal.engine.DotProtocol
Flushes the output stream.
flush() - Method in class com.uppaal.model.io2.CachedOutputStream
 
FONT - Static variable in interface com.uppaal.model.core2.CommonConstants
 
FONTNAME - Static variable in interface com.uppaal.model.core2.CommonConstants
 
FOOT_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
FROM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
fromTime - Variable in class com.uppaal.model.system.GanttBar
 

G

GanttBar - Class in com.uppaal.model.system
Definition of the bars in a Gantt chart.
GanttBar() - Constructor for class com.uppaal.model.system.GanttBar
Constructor
GanttBar(Limit, Limit, BigDecimal, int) - Constructor for class com.uppaal.model.system.GanttBar
Constructor
GanttChart - Class in com.uppaal.model.system
The class Gantt chart
GanttChart() - Constructor for class com.uppaal.model.system.GanttChart
Constructor
GanttRow - Class in com.uppaal.model.system
The class of gantt row
GanttRow() - Constructor for class com.uppaal.model.system.GanttRow
Constructor
GanttRow(String) - Constructor for class com.uppaal.model.system.GanttRow
Constructor
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
 
get(int) - Method in class com.uppaal.model.core2.QueryList
Get the query using the index
get(int) - Method in class com.uppaal.model.system.AbstractTrace
 
GET_INITIAL_STATE - com.uppaal.engine.KeyValueProtocol.Service
 
GET_OPTIONS_INFO - com.uppaal.engine.KeyValueProtocol.Service
 
GET_SYSTEM_INFO - com.uppaal.engine.KeyValueProtocol.Service
 
GET_TRANSITIONS - com.uppaal.engine.KeyValueProtocol.Service
 
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
Get the attribute string
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
Get clock name
getClockNames() - Method in class com.uppaal.model.AbstractSystem
Get all clock name
getColor() - Method in class com.uppaal.model.core2.Data2D
 
getColor() - Method in class com.uppaal.model.core2.Element
Returns the value of the color property.
getColor() - Method in class com.uppaal.model.core2.Property
 
getColor(Element) - Method in class com.uppaal.model.core2.lsc.LscElement
 
getColor(String) - Method in class com.uppaal.model.io2.XMLReader
Get the color value
getColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
Deprecated.
getCommandManager() - Method in class com.uppaal.model.core2.Element
Get the command manager
getComment() - Method in class com.uppaal.model.core2.Query
Get the comment of the query
getComments() - Method in class com.uppaal.model.core2.DataSet2D
Get comments
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
Computes the concrete initial state of the compiled UPPAAL system.
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
Computes a concrete successor after chosen transition and delay.
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.EngineStub
Get the concrete successor
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
Get concrete successor: concrete state and the list of the concrete transitions
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in interface com.uppaal.engine.Protocol
Get the concrete simulation successor
getCondition() - Method in class com.uppaal.model.core2.lsc.Simregion
 
getCondition() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getCondition(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
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.
getContext() - Method in class com.uppaal.engine.Problem
Get the error location
getCoordinate(String) - Method in class com.uppaal.model.io2.XMLReader
get coordinate value
getCVariables() - Method in class com.uppaal.model.system.concrete.ConcreteState
 
getData() - Method in class com.uppaal.engine.QueryResult
 
getData(String) - Method in class com.uppaal.model.core2.QueryData
Get the data using the data title
getDataTitles() - Method in class com.uppaal.model.core2.QueryData
Get data titles
getDBM() - Method in class com.uppaal.model.system.Polyhedron
 
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
Get the document
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
Get the double limit value
getEdge() - Method in class com.uppaal.model.system.SystemEdge
Get the edge
getEdge(int) - Method in class com.uppaal.model.system.AbstractTransition
 
getEdge(int) - Method in class com.uppaal.model.system.Process
Get the edge with the index
getEdge(int) - Method in class com.uppaal.model.system.Transition
 
getEdge(int, int) - Method in class com.uppaal.model.system.UppaalSystem
Get the edge with the process and edge index
getEdgeDescription() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Get the description of the edge
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
Get the array list of the system edge
getEdges() - Method in class com.uppaal.model.system.Transition
 
getElement() - Method in class com.uppaal.model.core2.InsertElementCommand
Get the element
getElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
Get the element
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
 
getErrorContext(String, int, int) - Method in class com.uppaal.engine.Parser
Get the location string from the declaration text where the error happened
getErrors() - Method in class com.uppaal.model.io2.XTAReader
 
getErrorStream() - Method in class com.uppaal.engine.EngineStub
Snapshot of an error stream from the (local) server process.
getException() - Method in class com.uppaal.engine.QueryResult
 
getException() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
Get the exception
getException(String) - Method in class com.uppaal.engine.LexicalAnalyser
Get the the protocol exception
getFirst() - Method in class com.uppaal.model.core2.Node
Returns the first child.
getFirstColumn() - Method in class com.uppaal.engine.Problem
Get the number of the first column
getFirstLine() - Method in class com.uppaal.engine.Problem
Get the first line of the problem
getFloat() - Method in class com.uppaal.engine.LexicalAnalyser
Get the float value of 'word'
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
Get the formated name of the edge
getFormula() - Method in class com.uppaal.model.core2.Query
Get the query property
getFromNum(int) - Method in class com.uppaal.model.system.GanttRow
Get the gantt bar with the index
getGanttChart() - Method in class com.uppaal.model.system.UppaalSystem
Get ganttchart
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
 
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Engine
Creates a Gantt chart for the compiled system.
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.EngineStub
Get the gantt chart
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
Get gantt chart
getGanttChart(UppaalSystem, BigDecimal) - Method in interface com.uppaal.engine.Protocol
Get the gantt chart
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
Get the index of the edge
getInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
Get the initial of the uppaal system
getInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
Computes the symbolic initial state of the compiled UPPAAL system.
getInstance(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getInstanceLength(int) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getInstanceLine() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
 
getInstanceLine(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
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
Get the integer value 'word'
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
Get the number of the last column
getLastCommand() - Method in class com.uppaal.model.core2.CommandManager
Returns the most recent command executed
getLastLine() - Method in class com.uppaal.engine.Problem
Get the number of the last line
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() - Method in class com.uppaal.model.core2.SetPropertyCommand
Get local property
getLocalProperty(String) - Method in class com.uppaal.model.core2.Element
Returns the property of the given name.
getLocalPropertyValue() - Method in class com.uppaal.model.core2.SetPropertyCommand
Get local property value
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() - Method in class com.uppaal.model.system.SystemLocation
Get the location
getLocation(int) - Method in class com.uppaal.model.system.Process
Get the location with the location index
getLocation(int, int) - Method in class com.uppaal.model.system.UppaalSystem
Get the location with the process and location index
getLocations() - Method in class com.uppaal.model.system.Process
Get the array list of the system location
getLocations() - Method in class com.uppaal.model.system.SystemState
Get the system locations
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
Deprecated.
getLookahead() - Method in class com.uppaal.engine.LexicalAnalyser
Get the value 'lookahead'
getLscProcess(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
Compiles an LSC process from Uppaal document and stores any warnings and errors in the problems list.
getMaximum() - Method in class com.uppaal.model.core2.Data2D
 
getMaximum() - Method in class com.uppaal.model.core2.DataSet2D
Get the maximum data2D
getMaxSimregions(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.Cut
 
getMaxSimregions(ArrayList<Simregion>) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getMaxXDifference() - Method in class com.uppaal.model.core2.DataSet2D
Get the maximum difference between a lot of the data2D
getMessage() - Method in class com.uppaal.engine.Problem
Get the message of the problem
getMessage() - Method in class com.uppaal.engine.QueryResult
 
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() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getMessage(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
getMessage(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getMessages() - Method in class com.uppaal.model.lscsystem.LscProcess
 
getMinimum() - Method in class com.uppaal.model.core2.Data2D
 
getMinimum() - Method in class com.uppaal.model.core2.DataSet2D
Get the minimum data2D
getMode() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
getModifiedElement() - Method in class com.uppaal.model.core2.AppendQueriesCommand
 
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.InsertQueryCommand
 
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.RemoveQueryCommand
 
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.SetQueryCommand
 
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.AbstractLocation
Constructs a human-friendly name of this location.
getName() - Method in class com.uppaal.model.core2.BranchPoint
 
getName() - Method in class com.uppaal.model.core2.Edge
Constructs a human-friendly name of this edge.
getName() - Method in class com.uppaal.model.core2.Location
 
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
Get the name of the edge
getName() - Method in class com.uppaal.model.system.SystemLocation
Get the location name
getNearestSampleAt(double) - Method in class com.uppaal.model.core2.Data2D
 
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
Get the number of the clocks
getNoOfProcesses() - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getNoOfProcesses() - Method in class com.uppaal.model.system.UppaalSystem
Get the number of the processes of the uppaal system
getNoOfVariables() - Method in class com.uppaal.model.AbstractSystem
Get the number of the variables
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.
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
Get the polyhedron
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() - Method in class com.uppaal.model.system.SystemEdge
Get the process of the edge
getProcess(int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getProcess(int) - Method in class com.uppaal.model.system.UppaalSystem
Get the process with the process index
getProcesses() - 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
Get the process index using the process name
getProcessName() - Method in class com.uppaal.model.AbstractSystemLocation
 
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
Get the process name of the edge
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
 
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
 
getPublicID() - Method in class com.uppaal.model.io2.UXMLResolver
Get the public ID
getQueryList() - Method in class com.uppaal.model.core2.Document
Returns the model of the list of queries defined in this document.
getQueryProperty() - Method in class com.uppaal.model.core2.SetQueryCommand
 
getRate() - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
getResult() - Method in class com.uppaal.engine.QueryResult
 
getResult() - Method in class com.uppaal.model.core2.Query
Get the status of the query
getRow(int) - Method in class com.uppaal.model.system.GanttChart
Get the row
getSelectList() - Method in class com.uppaal.model.system.SystemEdgeSelect
Get the list of the values
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.
getShortFormula() - Method in class com.uppaal.model.core2.Query
Get the short property without line breaks
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
Get the source of the edge
getSource() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
Get message source
getSource() - Method in class com.uppaal.model.core2.lsc.Message
 
getSource() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Get the source of the symbolic state
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
Get concrete state
getStatus() - Method in class com.uppaal.engine.QueryResult
 
getStatus() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getStatusString() - Method in class com.uppaal.engine.QueryResult
 
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() - Method in class com.uppaal.engine.Engine
Addition for concrete simulation: Get the uppaal system
getSystem(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
Compiles the document and builds a system instance.
getSystemID() - Method in class com.uppaal.model.io2.UXMLResolver
Get the public ID
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
Get the target of the edge
getTarget() - Method in class com.uppaal.model.core2.lsc.Message
 
getTarget() - Method in class com.uppaal.model.system.AbstractTransition
 
getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
getTarget() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Get the target of the symbolic state
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() - Method in class com.uppaal.model.core2.Element
Returns the template of this element.
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.
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
 
getTitle() - Method in class com.uppaal.model.core2.Data2D
 
getTitle() - Method in class com.uppaal.model.core2.DataSet2D
Get the title
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() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
Get the transitions of the concrete successor
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.
getTranslator() - Method in class com.uppaal.model.AbstractProcess
 
getType() - Method in class com.uppaal.engine.Problem
Get the problem type
getType() - Method in class com.uppaal.model.core2.Data2D
type denotes how the data should be displayed on a plot.
getType() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
getUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion
 
getUpdate() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getUpdate(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
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
Get the value the string
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() - Method in class com.uppaal.model.system.concrete.Limit
Get the limit value
getValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
getVariableName(int) - Method in class com.uppaal.model.AbstractSystem
Get the variable name
getVariables() - Method in class com.uppaal.model.AbstractSystem
Get the global variables
getVariables() - Method in class com.uppaal.model.AbstractSystemState
 
getVariableValues() - Method in class com.uppaal.model.system.symbolic.SymbolicState
Get the array of the variable values.
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.CommandManager
Get the version number
getVersion() - Method in class com.uppaal.model.core2.Document
Get the current number of the document
getVersion() - Method in class com.uppaal.model.core2.QueryList
Returns the current version number of the query list.
getWidth() - Method in class com.uppaal.model.core2.lsc.Condition
 
getWidth(Graphics2D) - Method in class com.uppaal.model.core2.lsc.LscElement
The width of the drawn element label.
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
getWord() - Method in class com.uppaal.engine.LexicalAnalyser
Get the 'word' string
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
 
getXLabel() - Method in class com.uppaal.model.core2.DataSet2D
Get the label x
getXMinDifference() - Method in class com.uppaal.model.core2.Data2D
 
getXMLLabelKinds() - Method in class com.uppaal.model.core2.Edge
 
getXMLLabelKinds() - Method in class com.uppaal.model.core2.Element
Returns possible XML label kinds this element supports.
getXMLLabelKinds() - Method in class com.uppaal.model.core2.Location
 
getXMLLabelKinds() - Method in class com.uppaal.model.core2.lsc.Condition
 
getXMLLabelKinds() - Method in class com.uppaal.model.core2.lsc.Message
 
getXMLLabelKinds() - Method in class com.uppaal.model.core2.lsc.Update
 
getXPath() - Method in class com.uppaal.engine.Problem
Get the path where the problem come from
getXPath() - Method in class com.uppaal.model.core2.Element
Computes the full path to this element
getXPathTag() - Method in class com.uppaal.model.core2.Document
 
getXPathTag() - Method in class com.uppaal.model.core2.Element
Computes the local tag of the XPath address.
getXPathTag() - Method in class com.uppaal.model.core2.Node
 
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
 
getYLabel() - Method in class com.uppaal.model.core2.DataSet2D
Get the label y
getYLocation() - Method in class com.uppaal.model.io2.XMLReader
Get the y coordinate data of the location, tag 'lsclocation'
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.

H

handshake() - Method in class com.uppaal.engine.EngineStub
Performs a handshake with the server.
hasCondition() - Method in class com.uppaal.model.core2.lsc.Simregion
 
hasFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter
Has the element flag
hasFlag(Element, String) - Method in class com.uppaal.model.io2.XTAWriter
 
hasFlag(String) - Method in class com.uppaal.model.core2.Element
Returns the value of a boolean property.
hasMessage() - Method in class com.uppaal.model.core2.lsc.Simregion
 
hasNails() - Method in class com.uppaal.model.core2.InsertEdgeCommand
Does the edge has nails
hasNext() - Method in class com.uppaal.model.core2.LogIterator
 
hasPlots() - Method in class com.uppaal.model.core2.Query
 
hasUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion
 

I

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
Write text to the output
indentation - Variable in class com.uppaal.model.core2.PrintVisitor
 
index - Variable in class com.uppaal.model.core2.InsertQueryCommand
The insert index
index - Variable in class com.uppaal.model.core2.RemoveQueryCommand
The insert index
indexOf(Query) - Method in class com.uppaal.model.core2.QueryList
Get the index of the query
init - Variable in class com.uppaal.model.io2.XMLWriter
 
init(Template) - Method in class com.uppaal.model.io2.XMLReader
Parse optional init tag.
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.
insert(Query, int) - Method in class com.uppaal.model.core2.QueryList
Insert query into the query list
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
Constructor
InsertEdgeCommand - Class in com.uppaal.model.core2
Transaction inserting the edge
InsertEdgeCommand(AbstractLocation, int, int) - Constructor for class com.uppaal.model.core2.InsertEdgeCommand
Constructor
InsertElementCommand - Class in com.uppaal.model.core2
A transaction command for inserting elements.
InsertElementCommand(CommandManager, Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertElementCommand
Constructor
InsertInstanceCommand - Class in com.uppaal.model.core2.lsc
A transaction command for inserting elements.
InsertInstanceCommand(AbstractTemplate, Node, Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.InsertInstanceCommand
Constructor
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
 
InsertQueryCommand - Class in com.uppaal.model.core2
The insert query command class
InsertQueryCommand(QueryList, int) - Constructor for class com.uppaal.model.core2.InsertQueryCommand
Constructor
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
Is point (x,y) inside the bar?
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 - Variable in class com.uppaal.model.io2.XMLWriter
 
instances(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the instance data, tag 'instance'.
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(Point2D) - Constructor for class com.uppaal.model.io2.IntPoint
 
IntPoint(Point) - Constructor for class com.uppaal.model.io2.IntPoint
Creates a point from a given integer point.
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
Is the list of selected edges includes the input process?
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
 
isBlank() - Method in class com.uppaal.model.core2.QueryList
Checks whether the query model is blank (empty or contains white space).
isConnected() - Method in class com.uppaal.engine.EngineStub
Returns true if the engine is connected to a server.
isEmpty() - Method in class com.uppaal.model.core2.Data2D
 
isEmpty() - Method in class com.uppaal.model.core2.DataSet2D
Is the array list of the data2D empty?
isEmpty() - Method in class com.uppaal.model.core2.QueryList
There isn't query in the model.
isEmpty() - Method in class com.uppaal.model.system.AbstractTrace
 
isEmpty(String) - Method in class com.uppaal.model.io2.XTAWriter
 
isEqualTo(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
Is the input value equal to the limit value?
isHot() - Method in class com.uppaal.model.core2.lsc.Condition
 
isHot() - Method in class com.uppaal.model.core2.lsc.LscElement
 
isLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
Is the input limit value lower bounded of the limit value?
isLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
Is the limit lower bound off the input value
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
Is the limit strictly?
isStrictLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
Is the input limit value strictly lower bounded of the limit value?
isStrictLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
Is the limit strictly lower bound of the input value
isStrictUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
Is the input limit value strictly upper bounded of the limit value?
isStrictUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
Is the limit strictly upper bound of the input value
isTheSame(SystemEdgeSelect) - Method in class com.uppaal.model.system.SystemEdgeSelect
Is equal the both edges?
isUnbounded() - Method in class com.uppaal.model.system.concrete.Limit
Is not bounded?
isUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
Is the input limit value upper bounded of the limit value?
isUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
Is the limit upper bound off the input value
isVisible() - Method in class com.uppaal.model.core2.Property
 
iterator() - Method in class com.uppaal.model.core2.Data2D
 
iterator() - Method in class com.uppaal.model.core2.DataSet2D
 
iterator() - Method in class com.uppaal.model.core2.QueryList
 
iterator() - Method in class com.uppaal.model.system.AbstractTrace
 

J

jj_nt - Variable in class com.uppaal.model.io2.UGIReader
Next token.
jj_nt - Variable in class com.uppaal.model.io2.XTAReader
Next token.
jjFillToken() - Method in class com.uppaal.model.io2.UGIReaderTokenManager
 
jjFillToken() - Method in class com.uppaal.model.io2.XTAReaderTokenManager
 
jjstrLiteralImages - Static variable in class com.uppaal.model.io2.UGIReaderTokenManager
Token literal values.
jjstrLiteralImages - Static variable in class com.uppaal.model.io2.XTAReaderTokenManager
Token literal values.
Job - Interface in com.uppaal.engine
 

K

KeyValueProtocol - Class in com.uppaal.engine
IMPORTANT
KeyValueProtocol(InputStream, OutputStream) - Constructor for class com.uppaal.engine.KeyValueProtocol
Constructor
KeyValueProtocol.Service - Enum in com.uppaal.engine
 
kill() - Method in class com.uppaal.engine.EngineStub
Kill the server connection the hard way.
kind - Variable in class com.uppaal.model.io2.Token
An integer that describes the kind of this token.

L

label - Variable in class com.uppaal.model.system.GanttRow
 
label(LscElement) - Method in class com.uppaal.model.io2.XMLReader
Parse the LSC label tag.
LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants
Default label color
labels(Node) - Method in class com.uppaal.model.io2.XMLReader
Parse the label tag: kind, x, y, color and inner text.
LayoutVisitor - Class in com.uppaal.model
 
LayoutVisitor() - Constructor for class com.uppaal.model.LayoutVisitor
 
LCOLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
length() - Method in class com.uppaal.model.io2.FloatPoint
Returns the length of this point's vector
length() - Method in class com.uppaal.model.io2.IntPoint
Returns the length of this point's vector.
LEQ - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
LESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
level - Variable in class com.uppaal.model.io2.XTAWriter
 
LEVEL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
LexicalAnalyser - Class in com.uppaal.engine
Lexical analyzer used by EngineStub.
LexicalAnalyser(InputStream) - Constructor for class com.uppaal.engine.LexicalAnalyser
Constructor
LexicalError(boolean, int, int, int, String, char) - Static method in error com.uppaal.model.io2.TokenMgrError
Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
lexStateNames - Static variable in class com.uppaal.model.io2.UGIReaderTokenManager
Lexer state names.
lexStateNames - Static variable in class com.uppaal.model.io2.XTAReaderTokenManager
Lexer state names.
lighter(Color, float) - Static method in class com.uppaal.model.core2.lsc.LscElement
 
Limit - Class in com.uppaal.model.system.concrete
A limit consists of a value and information about whether the limit is strict or not.
Limit() - Constructor for class com.uppaal.model.system.concrete.Limit
Initialises an unbounded limit, i.e.
Limit(BigDecimal, boolean) - Constructor for class com.uppaal.model.system.concrete.Limit
Constructor
line - Variable in class com.uppaal.model.io2.SimpleCharStream
 
listeners - Variable in class com.uppaal.model.core2.Element
 
load(URL) - Method in class com.uppaal.model.core2.PrototypeDocument
Fetches a file, parses it and constructs a model Document.
LOC_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
LOCAL - Static variable in class com.uppaal.engine.EngineStub
Local connections only.
LOCAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
LOCALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
localDeclGraphInfo() - Method in class com.uppaal.model.io2.UGIReader
 
localiseString(String) - Method in class com.uppaal.engine.KeyValueProtocol
 
location - Variable in class com.uppaal.model.core2.SetEndPointCommand
The original endpoint (or the new endpoint in case the command is undone.
location(Map) - Method in class com.uppaal.model.io2.XTAReader
 
Location - Class in com.uppaal.model.core2
Location models the location part of the state of a timed automaton.
Location(Element) - Constructor for class com.uppaal.model.core2.Location
Creates a location based on a given prototype.
LOCATION - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
LOCATIONNAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
locations - Variable in class com.uppaal.model.io2.XMLReader
 
locations - Variable in class com.uppaal.model.io2.XMLWriter
 
locations - Variable in class com.uppaal.model.system.SystemState
Changed from private for concrete simulation
locations(Template) - Method in class com.uppaal.model.io2.XMLReader
Parse all subsequent location tag(s) if any.
locIdent() - Method in class com.uppaal.model.io2.UGIReader
 
LogIterator - Class in com.uppaal.model.core2
Log10 wrapper for Point2D iterator
LogIterator(Iterator<Point2D.Double>, boolean, boolean) - Constructor for class com.uppaal.model.core2.LogIterator
 
LONG - Static variable in class com.uppaal.engine.LexicalAnalyser
 
LscConstants - Interface in com.uppaal.model.core2.lsc
 
LscElement - Class in com.uppaal.model.core2.lsc
 
LscElement(Element) - Constructor for class com.uppaal.model.core2.lsc.LscElement
 
LscProcess - Class in com.uppaal.model.lscsystem
 
LscProcess(String, int, LscTemplate, Translator) - Constructor for class com.uppaal.model.lscsystem.LscProcess
LscProcess constructor
LscTemplate - Class in com.uppaal.model.core2.lsc
 
LscTemplate(Element) - Constructor for class com.uppaal.model.core2.lsc.LscTemplate
 
lscTemplates(Document) - Method in class com.uppaal.model.io2.XMLReader
Parse the LSC tag(s) if any: name, parameter, type, mode, role, declaration, locations, instances, prechart, messages, conditions, updates.

M

maximalNonInfiniteEndTime() - Method in class com.uppaal.model.system.GanttChart
Get the maximum non infinite end time
maximalNonInfiniteEndTime() - Method in class com.uppaal.model.system.GanttRow
Find the greatest not infinite end time in the row.
maxNextCharInd - Variable in class com.uppaal.model.io2.SimpleCharStream
 
MAYBE_NOT_OK - Static variable in class com.uppaal.engine.QueryResult
 
MAYBE_OK - Static variable in class com.uppaal.engine.QueryResult
 
merge(AbstractTemplate, AbstractTemplate) - Static method in class com.uppaal.model.core2.Document
Merges the source template into target (useful for pasting from clipboard).
message - Variable in class com.uppaal.model.core2.lsc.Simregion
 
Message - Class in com.uppaal.model.core2.lsc
 
Message(Element) - Constructor for class com.uppaal.model.core2.lsc.Message
 
MESSAGE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
MESSAGE_LABEL_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
messages(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the messages data, tag 'message'
messageSource() - Method in class com.uppaal.model.io2.XMLReader
Parse the message source data, tag 'source'
messageSourceChanged(Message, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener
 
messageSourceChanged(Message, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener
 
messageTarget() - Method in class com.uppaal.model.io2.XMLReader
Parse the message target data, tag 'target'
messageTargetChanged(Message, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener
 
messageTargetChanged(Message, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener
 
MINUS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
MLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
mode(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the mode tag.
MODELCHECK - com.uppaal.engine.KeyValueProtocol.Service
 
MODELCHECKFROMSTATE - com.uppaal.engine.KeyValueProtocol.Service
 
MOUSE_OVER_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
Color to be used for highligting objects under the mouse.
MOUSE_OVER_REL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
move(int) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
Move the 'x' value of the message
move(int) - Method in class com.uppaal.model.core2.lsc.TranslationXCommand
Move elements by (x, 0).
move(int) - Method in class com.uppaal.model.core2.lsc.TranslationYCommand
Move elements by (0, y).
move(int, int) - Method in class com.uppaal.model.core2.AbstractTransaction
 
move(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
move(int, int) - Method in class com.uppaal.model.core2.InsertElementCommand
 
move(int, int) - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand
 
move(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
move(int, int) - Method in class com.uppaal.model.core2.TranslationCommand
Move elements by (x, y).
move(Node, Node) - Method in class com.uppaal.model.core2.Node
Move a child node among siblings.
moveElements(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
moveElements(int, int) - Method in class com.uppaal.model.core2.TranslationCommand
Move elements by (x, y)
moveNailTo(int, int) - Method in class com.uppaal.model.core2.SetEndPointCommand
Move nail created with convertToNail() to a new position.
MoveTemplateCommand - Class in com.uppaal.model.core2
A transaction command for inserting elements.
MoveTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.MoveTemplateCommand
 
moveY(int) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
Move the 'y' value of the messge
multiply(float) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point which is a multiplication of this point
multiply(float) - Method in class com.uppaal.model.io2.IntPoint
 
multiply(int) - Method in class com.uppaal.model.io2.IntPoint
Returns a point which is a multiplication of this point.

N

nail - Variable in class com.uppaal.model.core2.SetEndPointCommand
Any nails created as a side effect of changing the endpoint.
Nail - Class in com.uppaal.model.core2
Nails models the graphical layout of edges.
NAIL_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for transition nail.
NAIL_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for nail fill.
NAIL_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius and touch distance of a nail.
nails(Edge) - Method in class com.uppaal.model.io2.UGIReader
 
nails(Edge) - Method in class com.uppaal.model.io2.XMLReader
Parse the nail tag(s) if any: x, y attributes.
name - Variable in class com.uppaal.model.core2.SetPropertyCommand
 
name(Node) - Method in class com.uppaal.model.io2.XMLReader
Parse the name label data: name, x, y and color.
nameGraphInfo() - Method in class com.uppaal.model.io2.UGIReader
 
names - Variable in class com.uppaal.model.io2.UGIWriter
 
names - Variable in class com.uppaal.model.io2.XTAWriter
 
NAT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
NAT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
NEW_XML_SYSTEM - com.uppaal.engine.KeyValueProtocol.Service
 
newAnchor - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
newEnd - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
newLength - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand
 
newLength - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand
 
NEWLINE - Static variable in class com.uppaal.engine.LexicalAnalyser
 
newQueryList - Variable in class com.uppaal.model.core2.AppendQueriesCommand
 
newToken(int) - Static method in class com.uppaal.model.io2.Token
 
newToken(int, String) - Static method in class com.uppaal.model.io2.Token
Returns a new Token object, by default.
newX - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
newY - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
next - Variable in class com.uppaal.model.core2.Node
The right sibling of this element.
next - Variable in class com.uppaal.model.io2.Token
A reference to the next regular (non-special) token from the input stream.
next() - Method in class com.uppaal.model.core2.LogIterator
 
next() - Method in class com.uppaal.model.io2.XMLReader
The next read event
nextToken() - Method in class com.uppaal.engine.LexicalAnalyser
Find the next token
node - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
node - Variable in class com.uppaal.model.core2.RemoveElementCommand
 
node - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
 
Node - Class in com.uppaal.model.core2
Nodes are elements that can be placed in a tree structure represented by references to the parent, the first child and left and right siblings.
Node(Element) - Constructor for class com.uppaal.model.core2.Node
constructor
NONE - Static variable in class com.uppaal.engine.LexicalAnalyser
 
noOfBars() - Method in class com.uppaal.model.system.GanttRow
Get the number of gantt bars
noOfRows() - Method in class com.uppaal.model.system.GanttChart
Get the number of the rows
NOT_OK - Static variable in class com.uppaal.engine.QueryResult
 
notifyDataObservers() - Method in class com.uppaal.model.core2.QueryData
 

O

OK - Static variable in class com.uppaal.engine.QueryResult
 
oldAnchor - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
oldAnchor - Variable in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
 
oldEnd - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
oldLength - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand
 
oldLength - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand
 
oldX - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
oldY - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
OPBR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
OPBRACE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
OPEN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
OPPAR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
overlaps - Variable in class com.uppaal.model.system.GanttBar
 

P

parameter(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse an optional parameter tag text.
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 the document.
parse(Element) - Method in class com.uppaal.model.io2.XTAReader
 
parseAcknowledgement() - Method in class com.uppaal.engine.Parser
Parses the prolog and the end of the characters
parseBigDecimal() - Method in class com.uppaal.engine.Parser
Parse the float of the next token
parseBlock() - Method in class com.uppaal.engine.Parser
Read the context of the block
parseConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the concrete initial state in the system
parseConcreteState(UppaalSystem) - Method in class com.uppaal.engine.Parser
Create the concrete state in the system: - Get the list of locations in the system - Get the list of variables of the system - Get the invariant value <l-len> <location>* <v-len> ( <value> <rate> )* <limit> <strict>
parseConcreteSuccessor(UppaalSystem) - Method in class com.uppaal.engine.Parser
To create the concrete successor: - parses the concrete state - get the list of the concrete transition
parseEdges(UppaalSystem) - Method in class com.uppaal.engine.Parser
Get the list of the system edges
parseEdges(Properties, UppaalSystem, String) - Method in class com.uppaal.engine.KeyValueProtocol
Parse edges in the system
parseEdgesWS(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the selected edge of the system.
parseEnabledConcreteTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the limit of the concrete transition and collect the enabled concrete transition into the list
parseEnabledTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the transitions that are transit enabled
parseEnd() - Method in class com.uppaal.engine.Parser
Parses the end of the characters.
ParseException - Exception in com.uppaal.model.io2
This exception is thrown when parse errors are encountered.
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(Token, int[][], String[]) - Constructor for exception com.uppaal.model.io2.ParseException
This constructor is used by the method "generateParseException" in the generated parser.
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
Parses the header of the ganttchard
parseId() - Method in class com.uppaal.engine.Parser
Parses and gets the string.
parseInteger() - Method in class com.uppaal.engine.Parser
Parses and get the integer value
parseLimit() - Method in class com.uppaal.engine.Parser
Parses the limit : limit consists of a value and information about whether the limit is strict or not.
parseLocationVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
Parses location vector
parseLong() - Method in class com.uppaal.engine.Parser
Parses the response string in 'long'
parseLscProcess(Document) - Method in class com.uppaal.engine.Parser
Parse LSC process
parsePartialEnd() - Method in class com.uppaal.engine.Parser
Parses the partial end of the characters
parseProblems() - Method in class com.uppaal.engine.Parser
Parses problems in the system
parseProblems(ArrayList<Problem>) - Method in class com.uppaal.engine.Parser
Parses problems in the system
parseProlog() - Method in class com.uppaal.engine.Parser
Parses the prolog
parseQueryResult() - Method in class com.uppaal.engine.Parser
Parses query and get the query result
Parser - Class in com.uppaal.engine
Simple recursive decent parser for the communication protocol.
Parser(InputStream) - Constructor for class com.uppaal.engine.Parser
Constructor
parseResults(String, QueryResult) - Method in class com.uppaal.engine.DotProtocol
Parses the feedback block which may consist of the following items: popup message (starts with M) verbose result for display in the property list (starts with R) a data for plot (starts with P).See server.cpp for details.
parseState(Properties, UppaalSystem, String, String, String) - Method in class com.uppaal.engine.KeyValueProtocol
Parse the symbolic state
parseSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the symbolic initial state in the system
parseSymbolicState(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the symbolic state in the system
parseSystem(Document) - Method in class com.uppaal.engine.Parser
Parses the uppaal system: - get the list of variables - get the list of clocks - add the processes into the system - add Gantt Chart parsing
parseVariableVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
Parse the variable vector
parseXTRTrace(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses the Trace
parseZone(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
Parse the zone of the uppaal system
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(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the prechart data, tag 'prechart'
Prechart - Class in com.uppaal.model.core2.lsc
 
Prechart(Element) - Constructor for class com.uppaal.model.core2.lsc.Prechart
 
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
Printing the gantt chart information
printRowInfo() - Method in class com.uppaal.model.system.GanttRow
Print the row information
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.
PROBABILITY - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
PROBABILITY - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
problem() - Method in class com.uppaal.engine.Parser
Create the problem
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
 
Problem(String, String, int, int, int, int, String, String) - Constructor for class com.uppaal.engine.Problem
Constructor: Creates a new problem object
Problem(String, String, 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 - Class in com.uppaal.model.system
The class process
Process(String, int, Template, Translator) - Constructor for class com.uppaal.model.system.Process
Constructor
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_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
Parse the document starting with 'project' or 'nta', through templates, instantiation, system declaration and queries.
properties - Variable in class com.uppaal.model.core2.Element
The properties of this element.
property - Variable in class com.uppaal.model.core2.SetPropertyCommand
 
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
 
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
 

Q

QM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
queries(Document) - Method in class com.uppaal.model.io2.XMLReader
Parse 'queries' tag with inner 'query' tags containing 'formula' and 'comment' tags.
query - Variable in class com.uppaal.model.core2.RemoveQueryCommand
The new query property
query(UppaalSystem, Query, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol
Write the query data to the server
query(UppaalSystem, Query, QueryFeedback) - Method in class com.uppaal.engine.EngineStub
Verify a query on an instantiated UPPAAL model.
query(UppaalSystem, Query, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol
 
query(UppaalSystem, Query, QueryFeedback) - Method in interface com.uppaal.engine.Protocol
Verify a query on an instantiated UPPAAL model.
query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol
Write the query data and the symbolic state to the server
query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in class com.uppaal.engine.EngineStub
Verify a guery on an instantiated UPPAAL model with custom initial state.
query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol
 
query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in interface com.uppaal.engine.Protocol
Verify a query on an instantiated UPPAAL model with custom initial state.
query(UppaalSystem, SymbolicState, String, Query, QueryFeedback) - Method in class com.uppaal.engine.Engine
Verify a guery on an instantiated UPPAAL model.
query(UppaalSystem, String, Query, QueryFeedback) - Method in class com.uppaal.engine.Engine
Verify a query on an instantiated UPPAAL model.
Query - Class in com.uppaal.model.core2
The query class
Query() - Constructor for class com.uppaal.model.core2.Query
Constructor
Query(String, String) - Constructor for class com.uppaal.model.core2.Query
Constructor
queryAdded(Query, int) - Method in interface com.uppaal.model.core2.QueryListListener
 
queryChanged(Query, boolean) - Method in interface com.uppaal.model.core2.QueryListener
 
QueryData - Class in com.uppaal.model.core2
 
QueryData() - Constructor for class com.uppaal.model.core2.QueryData
 
QueryFeedback - Interface in com.uppaal.engine
Defines the interface to receive feedback from a verifier.
queryList - Variable in class com.uppaal.model.core2.AppendQueriesCommand
The query list
queryList - Variable in class com.uppaal.model.core2.InsertQueryCommand
The queries
queryList - Variable in class com.uppaal.model.core2.RemoveQueryCommand
The query list model
QueryList - Class in com.uppaal.model.core2
Special query List class, that provides access to status on the elements.
QueryList() - Constructor for class com.uppaal.model.core2.QueryList
Default constructor.
QueryList(Element) - Constructor for class com.uppaal.model.core2.QueryList
Default constructor.
QueryListener - Interface in com.uppaal.model.core2
The listener class of 'query'
QueryListListener - Interface in com.uppaal.model.core2
Listener class for 'QueryList'
QueryListStreamWriter - Class in com.uppaal.model.io2
The writer class
QueryListStreamWriter(OutputStream) - Constructor for class com.uppaal.model.io2.QueryListStreamWriter
Constructor
QueryListURLReader - Class in com.uppaal.model.io2
The reader class
QueryListURLReader(URL) - Constructor for class com.uppaal.model.io2.QueryListURLReader
Constructor
queryRemoved(Query, int) - Method in interface com.uppaal.model.core2.QueryListListener
 
QueryResult - Class in com.uppaal.engine
The verification result of the query
QueryResult() - Constructor for class com.uppaal.engine.QueryResult
 
QueryResult(char) - Constructor for class com.uppaal.engine.QueryResult
 
QueryResult(CannotEvaluateException) - Constructor for class com.uppaal.engine.QueryResult
 
QUIT - com.uppaal.engine.KeyValueProtocol.Service
 

R

read() - Method in class com.uppaal.engine.LexicalAnalyser
Reads the char and stops by '\r'
read() - Method in class com.uppaal.model.io2.QueryListURLReader
Returns a query list read from a textfile at the given URL
readBlock() - Method in class com.uppaal.engine.LexicalAnalyser
Read the context of the block
readChar() - Method in class com.uppaal.model.io2.SimpleCharStream
Read a character.
reader - Variable in class com.uppaal.model.io2.XMLReader
 
readLines() - Method in class com.uppaal.engine.KeyValueProtocol
Read lines until "."-line-terminator, remove (escaping) start-of-line-"."s
readText() - Method in class com.uppaal.model.io2.XMLReader
Read the text inside a tag.
recvBlock(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol
Checks the string of the block from the BufferedReader.
recvLines(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol
Checks serviceName, checks for OK or ERROR (don't use for PROGRESS messages)
recvProperties(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
Recovery all properties
recvProperties(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol
Recovery all properties from the allowed progress
recvString(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
Checks the imported string from the service object
redo() - Method in class com.uppaal.model.core2.CommandManager
Redo last undone command.
redone(CommandManager, Command) - Method in interface com.uppaal.model.core2.CommandListener
Called when the command has been re-executed after it has been undone.
ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Reinitialise parser.
ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Reinitialise parser.
ReInit(UGIReaderTokenManager) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(XTAReaderTokenManager) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(InputStream) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(InputStream) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(InputStream, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream, String) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream, String) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(InputStream, String) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(InputStream, String, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(Reader) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(Reader) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(Reader) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(Reader, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(Reader, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
RelToAbsVisitor - Class in com.uppaal.model.io2
 
RelToAbsVisitor() - Constructor for class com.uppaal.model.io2.RelToAbsVisitor
 
remove() - Method in class com.uppaal.model.core2.LogIterator
 
remove() - Method in class com.uppaal.model.core2.Node
Remove the node from the tree structure.
remove(int) - Method in class com.uppaal.model.core2.QueryList
Remove the query
remove(int) - Method in class com.uppaal.model.system.AbstractTrace
 
remove(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart
 
remove(Query) - Method in class com.uppaal.model.core2.QueryList
Remove the query from the query list
remove(Transition) - Method in interface com.uppaal.model.system.TraceListener
 
removeAll() - Method in class com.uppaal.model.core2.QueryList
Remove all queries
removeAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
 
removeAnchor(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
Remove the anchor
RemoveAnchorCommand - Class in com.uppaal.model.core2.lsc
The command class for remove anchor
RemoveAnchorCommand(CommandManager, Element, InstanceLine) - Constructor for class com.uppaal.model.core2.lsc.RemoveAnchorCommand
Constructor
removeCommandListener(CommandListener) - Method in class com.uppaal.model.core2.CommandManager
removes editing command listener
removeData2D(Data2D) - Method in class com.uppaal.model.core2.DataSet2D
Remove the Data2D
RemoveElementCommand - Class in com.uppaal.model.core2
The remove element command
RemoveElementCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveElementCommand
Constructor
removeInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
removeListener(EventListener) - Method in class com.uppaal.model.core2.Element
Removes an event listener.
RemoveLscElementCommand - Class in com.uppaal.model.core2.lsc
This is an attempt to decouple LSC-specific removal command features.
RemoveLscElementCommand(Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
RemoveQueryCommand - Class in com.uppaal.model.core2
The remove query command class
RemoveQueryCommand(QueryList, int) - Constructor for class com.uppaal.model.core2.RemoveQueryCommand
Constructor
removeQueryListener(QueryListener) - Method in class com.uppaal.model.core2.Query
 
removeQueryListListener(QueryListListener) - Method in class com.uppaal.model.core2.QueryList
 
RemoveTemplateCommand - Class in com.uppaal.model.core2
The remove template command
RemoveTemplateCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveTemplateCommand
Constructor
reset(ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace
Resets the trace with the given parameters.
resize - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand
 
resize(int) - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
Resize the instanceLine element
resizeIfNecessary(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.TranslationYCommand
 
resolveEntity(String, String, String, String) - Method in class com.uppaal.model.io2.UXMLResolver
 
resolveXPath(String) - Method in class com.uppaal.model.core2.Document
Resolve the path
role(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the role tag.
rotate(double) - Method in class com.uppaal.model.io2.FloatPoint
Returns this point's vector rotated according to the radian angle
run(Engine) - Method in interface com.uppaal.engine.Job
 

S

save(File) - Method in class com.uppaal.model.core2.Document
Save the data into the file
save(String) - Method in class com.uppaal.model.core2.Document
Save the data into the file
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
Send the message to the out stream using only the service
sendMessage(KeyValueProtocol.Service, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
Send the message to the out stream using the service and symbolic state
sendMessage(KeyValueProtocol.Service, SymbolicState, String) - Method in class com.uppaal.engine.KeyValueProtocol
Send the message to the out stream using the service and symbolic state
sendMessage(KeyValueProtocol.Service, String) - Method in class com.uppaal.engine.KeyValueProtocol
Send the message to the out stream using the service and data string
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
 
set(CannotEvaluateException) - Method in class com.uppaal.engine.QueryResult
 
SET_OPTIONS - com.uppaal.engine.KeyValueProtocol.Service
 
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
Set anchor into the element
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
Set clocks
setColor(Color) - Method in class com.uppaal.model.core2.Data2D
 
setCommandManager(CommandManager) - Method in class com.uppaal.model.core2.Element
Set the command manager
setComment(String) - Method in class com.uppaal.model.core2.Query
 
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
Transaction for setting the end point on the edge
SetEndPointCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetEndPointCommand
Constructor
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
Set the final anchor
setFinalEnd(InstanceLine) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
Set the final value
setFormula(String) - Method in class com.uppaal.model.core2.Query
 
setFormulaAndComment(String, String) - Method in class com.uppaal.model.core2.Query
Set the comment and query property.
setGanttChart(GanttChart) - Method in class com.uppaal.model.system.UppaalSystem
Set the ganttchart
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(CommandManager, 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
Set the list of the system location
setLogX(boolean) - Method in class com.uppaal.model.core2.Data2D
 
setLogX(boolean) - Method in class com.uppaal.model.core2.DataSet2D
Set the log x into the data2D
setLogY(boolean) - Method in class com.uppaal.model.core2.Data2D
 
setLogY(boolean) - Method in class com.uppaal.model.core2.DataSet2D
Set log y
setLscProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
Set the lsc process
setMessage(Message) - Method in class com.uppaal.model.core2.lsc.Simregion
 
setMessage(String) - Method in class com.uppaal.engine.QueryResult
 
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(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.
setProgress(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
Set the progress: 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
The set property command
SetPropertyCommand(Element, String, Object) - Constructor for class com.uppaal.model.core2.SetPropertyCommand
Constructor
setPropertyFromPath(String, Object) - Method in class com.uppaal.model.core2.Element
Set the given property from path
SetPropertyWithPositionCommand - Class in com.uppaal.model.core2
The set property with position command class
SetPropertyWithPositionCommand(Element, String, Object, int, int) - Constructor for class com.uppaal.model.core2.SetPropertyWithPositionCommand
Constructor
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.
SetQueryCommand - Class in com.uppaal.model.core2
 
SetQueryCommand(Query, String, String, String, String) - Constructor for class com.uppaal.model.core2.SetQueryCommand
Constructor
setRate(int) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
setResult(QueryResult) - Method in class com.uppaal.model.core2.Query
Set the result
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(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetSourceCommand
Constructor
setStrict(boolean) - Method in class com.uppaal.model.system.concrete.Limit
Set the strict value
setSystemInfo(long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
Called before start processing a query.
setSystemInfo(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
Set the system information: 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
Set the target
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(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetTargetCommand
Constructor
setText(String, String) - Method in class com.uppaal.model.core2.SetQueryCommand
Set the new query property and comment text
setTime(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteState
 
setTitle(String) - Method in class com.uppaal.model.core2.Data2D
 
setTitle(String) - Method in class com.uppaal.model.core2.DataSet2D
Set title
setTrace(char, String, ConcreteTrace, QueryResult) - Method in interface com.uppaal.engine.QueryFeedback
Called after a verification in case there is trace.
setTrace(char, String, SymbolicTrace, QueryResult) - Method in interface com.uppaal.engine.QueryFeedback
Called when the complete trace has been loaded.
setTraceListener(TraceListener) - Method in class com.uppaal.model.system.AbstractTrace
 
setType(String) - Method in class com.uppaal.model.core2.Data2D
 
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
Set the limit value
setVariables(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
Set the variables
setVersion(int) - Method in class com.uppaal.model.core2.AbstractCommand
 
setVersion(int) - Method in interface com.uppaal.model.core2.Command
 
setXLabel(String) - Method in class com.uppaal.model.core2.DataSet2D
Set the label x into the data2D
setXMLResolver(XMLResolver) - Static method in class com.uppaal.model.io2.XMLReader
Set a custom XMLResolver to be used with XMLEventReader.
setYLabel(String) - Method in class com.uppaal.model.core2.DataSet2D
Set the label y into the data2D
showEditor(JFrame) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
Show the editor
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(InputStream) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, 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) - 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, String, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int, int) - 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.core2.DataSet2D
Ask the data size
size() - Method in class com.uppaal.model.core2.QueryList
Get the number of the query list
size() - Method in class com.uppaal.model.system.AbstractTrace
 
size() - Method in class com.uppaal.model.system.Trace
 
skipProblems() - Method in class com.uppaal.engine.Parser
To skip problems
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
Snap command
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
Parse the source (location/branchpoint) tag: ref attribute.
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.
startColumn - Variable in exception com.uppaal.engine.CannotEvaluateException
 
startLine - Variable in exception com.uppaal.engine.CannotEvaluateException
 
STATE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
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
Submit the job to the verification 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(int, int) - Method in class com.uppaal.model.io2.IntPoint
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(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
Swap the object
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
Class representing a state in a system
SymbolicState(SystemLocation[], int[], Polyhedron) - Constructor for class com.uppaal.model.system.symbolic.SymbolicState
Constructor
SymbolicTrace - Class in com.uppaal.model.system.symbolic
 
SymbolicTrace() - Constructor for class com.uppaal.model.system.symbolic.SymbolicTrace
 
SymbolicTrace(SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTrace
 
SymbolicTransition - Class in com.uppaal.model.system.symbolic
The class symbolic transition of the system
SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
Constructor
SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState, String) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
Constructor
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
The class of the system edge
SystemEdge(Process, int, String, Edge) - Constructor for class com.uppaal.model.system.SystemEdge
Constructor
SystemEdgeSelect - Class in com.uppaal.model.system
The class to present the selected edges of the system
SystemEdgeSelect(Process, int, String, Edge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
Constructor
SystemEdgeSelect(SystemEdge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
Constructor
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
The class of the system location
SystemLocation(Process, int, Location) - Constructor for class com.uppaal.model.system.SystemLocation
Constructor
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
The class representing a state in a system
SystemState(SystemLocation[]) - Constructor for class com.uppaal.model.system.SystemState
Constructor
SystemUpdate - Class in com.uppaal.model.lscsystem
 
SystemUpdate(LscProcess, int, String, Update) - Constructor for class com.uppaal.model.lscsystem.SystemUpdate
 

T

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 - Variable in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
target() - Method in class com.uppaal.model.io2.XMLReader
Parse the target (location/branchpoint) tag: ref attribute.
temperature(Node) - Method in class com.uppaal.model.io2.XMLReader
Parse the temperature tag of a condition
Template - Class in com.uppaal.model.core2
The timed automaton template class
Template(Element) - Constructor for class com.uppaal.model.core2.Template
Constructor
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
Parse the template tag(s) if any: name, parameter, declaration, locations, branchpoints, initial location and edges.
TIMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
title - Variable in class com.uppaal.model.core2.DataSet2D
 
token - Variable in class com.uppaal.model.io2.UGIReader
Current token.
token - Variable in class com.uppaal.model.io2.XTAReader
Current token.
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_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(boolean, int, int, int, String, char, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
Full Constructor.
TokenMgrError(String, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
Constructor with message and reason.
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.CannotEvaluateException
 
toString() - Method in exception com.uppaal.engine.EngineException
 
toString() - Method in class com.uppaal.engine.Problem
 
toString() - Method in class com.uppaal.engine.QueryResult
 
toString() - Method in class com.uppaal.model.core2.Query
 
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(ConcreteState) - Constructor for class com.uppaal.model.system.Trace
 
Trace(ConcreteState, SymbolicState) - Constructor for class com.uppaal.model.system.Trace
 
Trace(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.concrete.ConcreteTransitionRecord
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.
TraceListener<Transition extends AbstractTransition> - Interface in com.uppaal.model.system
 
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
 
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(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.TranslationCommand
Constructor
TranslationMessageLabelCommand - Class in com.uppaal.model.core2.lsc
 
TranslationMessageLabelCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
Constructor
TranslationXCommand - Class in com.uppaal.model.core2.lsc
Translates (in the geometrical meaning) a set of elements.
TranslationXCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationXCommand
Constructor
TranslationYCommand - Class in com.uppaal.model.core2.lsc
Translates (in the geometrical meaning) a set of elements.
TranslationYCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationYCommand
Constructor
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(int) - Method in class com.uppaal.model.system.GanttChart
Remove everything from the input data
truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttChart
Remove everything to the "right" of time t in chart
truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttRow
Cut off contents to the "right" of time t in the entire row
type(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the type tag of TA or LSC template.

U

UGIReader - Class in com.uppaal.model.io2
A parser that can read a file and modify pos tags in a Document.
UGIReader(UGIReaderTokenManager) - Constructor for class com.uppaal.model.io2.UGIReader
Constructor with generated Token Manager.
UGIReader(InputStream) - Constructor for class com.uppaal.model.io2.UGIReader
Constructor with InputStream.
UGIReader(InputStream, String) - Constructor for class com.uppaal.model.io2.UGIReader
Constructor with InputStream and supplied encoding
UGIReader(Reader) - Constructor for class com.uppaal.model.io2.UGIReader
Constructor.
UGIReaderConstants - Interface in com.uppaal.model.io2
Token literal values and constants.
UGIReaderTokenManager - Class in com.uppaal.model.io2
Token Manager.
UGIReaderTokenManager(SimpleCharStream) - Constructor for class com.uppaal.model.io2.UGIReaderTokenManager
Constructor.
UGIReaderTokenManager(SimpleCharStream, int) - Constructor for class com.uppaal.model.io2.UGIReaderTokenManager
Constructor.
UGIWriter - Class in com.uppaal.model.io2
A class that facilitates writing .ugi files from a Document.
UNCHECKED - Static variable in class com.uppaal.engine.QueryResult
 
UNCONTROLLABLETRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
uncover(Transition) - Method in interface com.uppaal.model.system.TraceListener
 
undo() - Method in class com.uppaal.model.core2.AbstractTransaction
 
undo() - Method in class com.uppaal.model.core2.AppendQueriesCommand
 
undo() - Method in interface com.uppaal.model.core2.Command
 
undo() - Method in class com.uppaal.model.core2.CommandManager
Undo last command.
undo() - Method in class com.uppaal.model.core2.CompoundCommand
 
undo() - Method in class com.uppaal.model.core2.InsertQueryCommand
 
undo() - Method in class com.uppaal.model.core2.InsertTemplateCommand
 
undo() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
undo() - Method in class com.uppaal.model.core2.MoveTemplateCommand
 
undo() - Method in class com.uppaal.model.core2.RemoveElementCommand
 
undo() - Method in class com.uppaal.model.core2.RemoveQueryCommand
 
undo() - Method in class com.uppaal.model.core2.RemoveTemplateCommand
 
undo() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
undo() - Method in class com.uppaal.model.core2.SetQueryCommand
 
undo() - Method in class com.uppaal.model.core2.SnapCommand
 
undone(CommandManager, Command) - Method in interface com.uppaal.model.core2.CommandListener
Called when the command has been undone on a document.
unitVector() - Method in class com.uppaal.model.io2.FloatPoint
Returns the unit vector for this point's vector
unitVector() - Method in class com.uppaal.model.io2.IntPoint
Returns the unit vector for this point's vector.
unparse(Writer) - Method in class com.uppaal.model.io2.IntPoint
 
unquote(String) - Static method in class com.uppaal.engine.DotProtocol
Get the unquote string
update - Variable in class com.uppaal.model.core2.lsc.Simregion
 
Update - Class in com.uppaal.model.core2.lsc
 
Update(Element) - Constructor for class com.uppaal.model.core2.lsc.Update
 
UPDATE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
updateF() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
UpdateLineColumn(char) - Method in class com.uppaal.model.io2.SimpleCharStream
 
updates(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the updates data, tag 'update'
upload(Document) - Method in class com.uppaal.engine.DotProtocol
 
upload(Document) - Method in class com.uppaal.engine.EngineStub
Upload the document to the server.
upload(Document) - Method in class com.uppaal.engine.KeyValueProtocol
 
upload(Document) - Method in interface com.uppaal.engine.Protocol
Upload the document to the server.
upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol
 
upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.EngineStub
Upload the document to the server.
upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol
 
upload(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol
Upload the document to the server.
uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol
 
uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.EngineStub
Upload the lsc process to the server.
uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol
Upload the lsc.
uploadLsc(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol
 
UPPAAL_VERSION - com.uppaal.engine.KeyValueProtocol.Service
 
UppaalLscSystem - Class in com.uppaal.model.lscsystem
 
UppaalLscSystem() - Constructor for class com.uppaal.model.lscsystem.UppaalLscSystem
 
UppaalLscSystem(Document) - Constructor for class com.uppaal.model.lscsystem.UppaalLscSystem
 
UppaalSystem - Class in com.uppaal.model.system
An UppaalSystem consists of: A number of indexed processes consisting of a name, a template, and a translation map.
UppaalSystem(Document) - Constructor for class com.uppaal.model.system.UppaalSystem
Constructor
urgent(Location) - Method in class com.uppaal.model.io2.XMLReader
Parse optional urgent tag.
URGENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
UXMLResolver - Class in com.uppaal.model.io2
Resolve resources during an XML parse
UXMLResolver() - Constructor for class com.uppaal.model.io2.UXMLResolver
 

V

value - Variable in class com.uppaal.model.core2.Property
 
value - Variable in class com.uppaal.model.core2.SetPropertyCommand
 
value - Variable in class com.uppaal.model.system.GanttBar
 
valueOf(String) - Static method in enum com.uppaal.engine.KeyValueProtocol.Service
Returns the enum constant of this type with the specified name.
values() - Static method in enum com.uppaal.engine.KeyValueProtocol.Service
Returns an array containing the constants of this enum type, in the order they are declared.
variables - Variable in class com.uppaal.model.AbstractSystem
 
version - Variable in class com.uppaal.model.core2.AbstractCommand
 
view - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand
 
ViewWorkAround - Interface in com.uppaal.model.core2.lsc
 
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.core2.PrintVisitor
 
visitBranchPoint(BranchPoint) - Method in interface com.uppaal.model.core2.Visitor
 
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.BoundCalc
 
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.RelToAbsVisitor
 
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.UGIWriter
 
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the branch point, tag 'branchpoint'
visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.LayoutVisitor
 
visitCondition(Condition) - Method in class com.uppaal.model.ConvertSyntaxVisitor
 
visitCondition(Condition) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitCondition(Condition) - Method in interface com.uppaal.model.core2.Visitor
 
visitCondition(Condition) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the condition, tag 'condition'
visitCut(Cut) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitCut(Cut) - Method in interface com.uppaal.model.core2.Visitor
 
visitDocument(Document) - Method in class com.uppaal.model.ConvertSyntaxVisitor
 
visitDocument(Document) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitDocument(Document) - Method in interface com.uppaal.model.core2.Visitor
 
visitDocument(Document) - Method in class com.uppaal.model.io2.UGIWriter
 
visitDocument(Document) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the document
visitDocument(Document) - Method in class com.uppaal.model.io2.XTAWriter
 
visitEdge(Edge) - Method in class com.uppaal.model.ConvertSyntaxVisitor
 
visitEdge(Edge) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitEdge(Edge) - Method in class com.uppaal.model.core2.PrintVisitor
 
visitEdge(Edge) - Method in interface com.uppaal.model.core2.Visitor
 
visitEdge(Edge) - Method in class com.uppaal.model.io2.BoundCalc
 
visitEdge(Edge) - Method in class com.uppaal.model.io2.RelToAbsVisitor
 
visitEdge(Edge) - Method in class com.uppaal.model.io2.UGIWriter
 
visitEdge(Edge) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the edge, tag 'transition'
visitEdge(Edge) - Method in class com.uppaal.model.LayoutVisitor
 
visitElement(Element) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitElement(Element) - Method in class com.uppaal.model.core2.PrintVisitor
 
visitElement(Element) - Method in class com.uppaal.model.core2.PrototypeVisitor
 
visitElement(Element) - Method in interface com.uppaal.model.core2.Visitor
 
visitInstanceLine(InstanceLine) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitInstanceLine(InstanceLine) - Method in interface com.uppaal.model.core2.Visitor
 
visitInstanceLine(InstanceLine) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the instanceLine, tag 'instance'
visitLocation(Location) - Method in class com.uppaal.model.ConvertSyntaxVisitor
 
visitLocation(Location) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitLocation(Location) - Method in class com.uppaal.model.core2.PrintVisitor
 
visitLocation(Location) - Method in interface com.uppaal.model.core2.Visitor
 
visitLocation(Location) - Method in class com.uppaal.model.io2.BoundCalc
 
visitLocation(Location) - Method in class com.uppaal.model.io2.RelToAbsVisitor
 
visitLocation(Location) - Method in class com.uppaal.model.io2.UGIWriter
 
visitLocation(Location) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the location
visitLocation(Location) - Method in class com.uppaal.model.LayoutVisitor
 
visitMessage(Message) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitMessage(Message) - Method in interface com.uppaal.model.core2.Visitor
 
visitMessage(Message) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the message, tag 'message'
visitNail(Nail) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitNail(Nail) - Method in class com.uppaal.model.core2.PrintVisitor
 
visitNail(Nail) - Method in interface com.uppaal.model.core2.Visitor
 
visitNail(Nail) - Method in class com.uppaal.model.io2.RelToAbsVisitor
 
visitNail(Nail) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the nail, tag 'nail'
visitNode(Node) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitNode(Node) - Method in interface com.uppaal.model.core2.Visitor
 
Visitor - Interface in com.uppaal.model.core2
Interface for implementing the visitor pattern.
visitPrechart(Prechart) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitPrechart(Prechart) - Method in interface com.uppaal.model.core2.Visitor
 
visitPrechart(Prechart) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the preChart, tag 'prechart'
visitProperty(Property) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitProperty(Property) - Method in interface com.uppaal.model.core2.Visitor
 
visitProperty(Property) - Method in class com.uppaal.model.io2.RelToAbsVisitor
 
visitProperty(Property) - Method in class com.uppaal.model.LayoutVisitor
 
visitQueries(QueryList) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitQueries(QueryList) - Method in interface com.uppaal.model.core2.Visitor
 
visitQueries(QueryList) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the queries, tag 'queries'
visitQuery(Query) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitQuery(Query) - Method in interface com.uppaal.model.core2.Visitor
 
visitQuery(Query) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the query, tag 'query'
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.ConvertSyntaxVisitor
 
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.core2.PrintVisitor
 
visitTemplate(AbstractTemplate) - Method in interface com.uppaal.model.core2.Visitor
 
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.UGIWriter
 
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the template
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.XTAWriter
 
visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.LayoutVisitor
 
visitUpdate(Update) - Method in class com.uppaal.model.ConvertSyntaxVisitor
 
visitUpdate(Update) - Method in class com.uppaal.model.core2.AbstractVisitor
 
visitUpdate(Update) - Method in interface com.uppaal.model.core2.Visitor
 
visitUpdate(Update) - Method in class com.uppaal.model.io2.XMLWriter
Visitor of the update, tag 'update'

W

WORD - Static variable in class com.uppaal.engine.LexicalAnalyser
 
write(QueryList) - Method in class com.uppaal.model.io2.QueryListStreamWriter
Write a query list to an output stream
write(ConcreteState, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
Writes the concrete state in the system to the output stream.
write(SystemEdge[]) - Method in class com.uppaal.engine.DotProtocol
Writes the list of the edges to the output stream
write(SystemEdgeSelect[]) - Method in class com.uppaal.engine.DotProtocol
Writes the list of the selected edges to the output stream
write(Object) - Method in class com.uppaal.engine.DotProtocol
Writes the object to the output stream following by a newline.
write(String) - Method in class com.uppaal.engine.DotProtocol
Writes the string to the output stream following by a newline.
write(BigDecimal) - Method in class com.uppaal.engine.DotProtocol
Writes the value to the output stream following by a new line
writeAttributes(Element) - Method in class com.uppaal.model.io2.XMLWriter
Write the attributes
writeColor(Edge, EdgeId) - Method in class com.uppaal.model.io2.UGIWriter
 
writeColor(Location) - Method in class com.uppaal.model.io2.UGIWriter
 
writeCoords(int, int) - Method in class com.uppaal.model.io2.UGIWriter
Write coordinates
writeFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter
Write the flag
writeNonEmptyProperty(Element, String) - Method in class com.uppaal.model.io2.XTAWriter
 
writeNonEmptyProperty(Element, String, String) - Method in class com.uppaal.model.io2.XTAWriter
 
writeProperty(String, String, int, int, AbstractLocation) - Method in class com.uppaal.model.io2.UGIWriter
Write property of a location.
writeProperty(String, String, int, int, Edge, EdgeId) - Method in class com.uppaal.model.io2.UGIWriter
Write property of an edge.
writePropertyAsElement(Element, String, boolean) - Method in class com.uppaal.model.io2.XMLWriter
Write property as the xml element
writePropertyAsLabel(Element, String) - Method in class com.uppaal.model.io2.XMLWriter
Write the property label, tag 'label' and the attribute 'kind', tag 'kind'
writer - Variable in class com.uppaal.model.io2.UGIWriter
 
writer - Variable in class com.uppaal.model.io2.XMLWriter
 
writer - Variable in class com.uppaal.model.io2.XTAWriter
 
writeServerFormat(Writer) - Method in class com.uppaal.model.AbstractSystemState
Convert to format used to send to server.
writeServerFormat(Writer) - Method in class com.uppaal.model.system.symbolic.SymbolicState
Writer the server format
writeTextualFormat(Writer) - Method in class com.uppaal.model.system.Polyhedron
 
writeXTRFormat(Writer) - Method in class com.uppaal.model.AbstractSystemState
Convert to format used in XTR files.
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.symbolic.SymbolicState
Convert to format used in XTR files.
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Convert the selected edge of the system to format used in XTR files.
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.SystemEdge
Convert the edge to format used in XTR files.
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.SystemEdgeSelect
Convert to format used in XTR files.
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.Transition
Convert to format used in XTR files.
WS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.

X

x - Variable in class com.uppaal.model.core2.SetPropertyWithPositionCommand
 
xd - Variable in class com.uppaal.model.core2.TranslationCommand
 
xEnd - Variable in class com.uppaal.model.system.GanttBar
 
xlabel - Variable in class com.uppaal.model.core2.DataSet2D
 
XMLReader - Class in com.uppaal.model.io2
The class for xml file read
XMLReader(InputStream) - Constructor for class com.uppaal.model.io2.XMLReader
Constructor
XMLWriter - Class in com.uppaal.model.io2
The model xml writer class
XMLWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XMLWriter
Constructor
XMLWriter(Writer) - Constructor for class com.uppaal.model.io2.XMLWriter
Constructor
xStart - Variable in class com.uppaal.model.system.GanttBar
 
XTAReader - Class in com.uppaal.model.io2
 
XTAReader(XTAReaderTokenManager) - Constructor for class com.uppaal.model.io2.XTAReader
Constructor with generated Token Manager.
XTAReader(InputStream) - Constructor for class com.uppaal.model.io2.XTAReader
Constructor with InputStream.
XTAReader(InputStream, String) - Constructor for class com.uppaal.model.io2.XTAReader
Constructor with InputStream and supplied encoding
XTAReader(Reader) - Constructor for class com.uppaal.model.io2.XTAReader
Constructor.
XTAReaderConstants - Interface in com.uppaal.model.io2
Token literal values and constants.
XTAReaderTokenManager - Class in com.uppaal.model.io2
Token Manager.
XTAReaderTokenManager(SimpleCharStream) - Constructor for class com.uppaal.model.io2.XTAReaderTokenManager
Constructor.
XTAReaderTokenManager(SimpleCharStream, int) - Constructor for class com.uppaal.model.io2.XTAReaderTokenManager
Constructor.
XTAWriter - Class in com.uppaal.model.io2
A class that facilitates writing .xta from a Document.
XTAWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XTAWriter
 

Y

y - Variable in class com.uppaal.model.core2.SetPropertyWithPositionCommand
 
yd - Variable in class com.uppaal.model.core2.TranslationCommand
 
yEnd - Variable in class com.uppaal.model.system.GanttBar
 
ylabel - Variable in class com.uppaal.model.core2.DataSet2D
 
yLocation(LscElement, String) - Method in class com.uppaal.model.io2.XMLReader
Set the y coordinate of the location in lscElement.
yloccoord(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
Parse the y coordinate data of the location, tag 'yloccoord'
yStart - Variable in class com.uppaal.model.system.GanttBar
 
A B C D E F G H I J K L M N O P Q R S T U V W X Y 
All Classes All Packages