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 

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
 
AbstractSystem() - Constructor for class com.uppaal.model.AbstractSystem
 
AbstractSystem(Document) - Constructor for class com.uppaal.model.AbstractSystem
 
AbstractSystemLocation - Class in com.uppaal.model
 
AbstractSystemLocation(AbstractProcess, int) - Constructor for class com.uppaal.model.AbstractSystemLocation
 
AbstractSystemState - Class in com.uppaal.model
 
AbstractSystemState(int[], Polyhedron) - Constructor for class com.uppaal.model.AbstractSystemState
 
AbstractTemplate - Class in com.uppaal.model.core2
AbstractTemplate has two subclasses: Template (for TA) and LscTemplate (for LSC)
AbstractTemplate(Element) - Constructor for class com.uppaal.model.core2.AbstractTemplate
 
AbstractTransaction - Class in com.uppaal.model.core2
 
AbstractTransaction(Document) - Constructor for class com.uppaal.model.core2.AbstractTransaction
 
AbstractTransition - Class in com.uppaal.model.system
 
AbstractTransition(SystemEdgeSelect[]) - Constructor for class com.uppaal.model.system.AbstractTransition
 
AbstractVisitor - Class in com.uppaal.model.core2
Abstract implementation of the visitor interface.
AbstractVisitor() - Constructor for class com.uppaal.model.core2.AbstractVisitor
 
accept(Visitor) - Method in class com.uppaal.model.core2.AbstractTemplate
 
accept(Visitor) - Method in class com.uppaal.model.core2.BranchPoint
 
accept(Visitor) - Method in class com.uppaal.model.core2.Document
 
accept(Visitor) - Method in class com.uppaal.model.core2.Edge
 
accept(Visitor) - Method in class com.uppaal.model.core2.Element
Accept a visitor.
accept(Visitor) - Method in class com.uppaal.model.core2.Location
 
accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Condition
 
accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Cut
 
accept(Visitor) - Method in class com.uppaal.model.core2.lsc.InstanceLine
 
accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Message
 
accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Prechart
 
accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Update
 
accept(Visitor) - Method in class com.uppaal.model.core2.Nail
 
accept(Visitor) - Method in class com.uppaal.model.core2.Node
 
accept(Visitor) - Method in class com.uppaal.model.core2.Property
 
acceptSafe(Visitor) - Method in class com.uppaal.model.core2.Element
Like to accept(), but cannot throw an Exception.
add(Simregion) - Method in class com.uppaal.model.core2.lsc.Cut
 
add(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart
 
add(int, int) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point with this point's coordinates added with the given coordinates.
add(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point with this point's coordinates added with the given point.
add(int, int) - Method in class com.uppaal.model.io2.IntPoint
Returns a point with this point's coordinates added with the given coordinates.
add(Point) - Method in class com.uppaal.model.io2.IntPoint
Returns a point with this point's coordinates added with the given point.
add(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
add(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
 
addAnchor(InstanceLine, int) - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
addAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
 
AddAnchorCommand - Class in com.uppaal.model.core2.lsc
 
AddAnchorCommand(Document, Element) - Constructor for class com.uppaal.model.core2.lsc.AddAnchorCommand
Constructor
addBar(GanttBar) - Method in class com.uppaal.model.system.GanttRow
 
addCommandListener(CommandListener) - Method in class com.uppaal.model.core2.Document
adds editing command listener
addCondition(Condition) - Method in class com.uppaal.model.lscsystem.LscProcess
 
addEscapes(String) - Static method in error com.uppaal.model.io2.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
addInstanceLine(InstanceLine) - Method in class com.uppaal.model.lscsystem.LscProcess
 
addListener(EventListener) - Method in class com.uppaal.model.core2.Element
Adds an event listener.
addMessage(Message) - Method in class com.uppaal.model.lscsystem.LscProcess
 
addNail(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
addNonStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
 
addProcess(String, String, Translator) - Method in class com.uppaal.model.AbstractSystem
 
addProcess(String, String, Translator) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
addProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
 
addProcess(String, String, Translator, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem
 
addRow(GanttRow) - Method in class com.uppaal.model.system.GanttChart
 
addStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
 
addUpdate(Update) - Method in class com.uppaal.model.lscsystem.LscProcess
 
adjustBeginLineColumn(int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
afterInsertion(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
 
afterInsertion(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
 
afterMove(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
 
afterMove(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
notified when node is moved among siblings (the same parent)
afterRemoval(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
 
afterRemoval(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
 
anchor - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
anchor(Update) - Method in class com.uppaal.model.io2.XMLReader
Get the update anchor instance
ANCHOR_PRECHART_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
ANCHOR_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener
 
anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener
 
AnchoredElement - Class in com.uppaal.model.core2.lsc
 
AnchoredElement(Element) - Constructor for class com.uppaal.model.core2.lsc.AnchoredElement
 
anchoredToCondition - Variable in class com.uppaal.model.core2.lsc.Update
 
anchors(Condition) - Method in class com.uppaal.model.io2.XMLReader
Get the anchor instances for a condition
append(BigDecimal, SystemEdgeSelect[], ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace
 
append(BigDecimal, SystemEdgeSelect[], ConcreteState) - Method in class com.uppaal.model.system.Trace
 
append(SystemEdgeSelect[], SymbolicState) - Method in class com.uppaal.model.system.Trace
 
appendText(String) - Method in interface com.uppaal.engine.QueryFeedback
Allows engine to add arbitrary text to the verifier status field.
AREA_SELECT_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
Color for area select rectangle.
ARROW_ANGLE - Static variable in interface com.uppaal.model.core2.CommonConstants
Radian angle of arrow head lines on transition edges.
ARROW_BASE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
ARROW_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
ARROW_LENGTH - Static variable in interface com.uppaal.model.core2.CommonConstants
Length of the arrow head lines on transition edges.
ASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
ASSIGN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
ASSIGN_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for assignments labels.

B

backup(int) - Method in class com.uppaal.model.io2.SimpleCharStream
Backup a number of characters.
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 start element.
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.
bodyBranch(Template, Map) - Method in class com.uppaal.model.io2.XTAReader
 
bodyBranches(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 bold font.
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
 
BRANCH - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
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_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius of a branchpoint.
branchpoints(Template) - Method in class com.uppaal.model.io2.XMLReader
 
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(OutputStream) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
CachedOutputStream(OutputStream, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
CachedOutputStream(File) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
CachedOutputStream(File, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
 
cancel() - Method in class com.uppaal.engine.Engine
Forced disconnection from the server.
cancel() - Method in class com.uppaal.model.core2.AbstractTransaction
Cancel the transaction.
CannotRedoException - Exception in com.uppaal.model.core2
 
CannotRedoException() - Constructor for exception com.uppaal.model.core2.CannotRedoException
 
CannotUndoException - Exception in com.uppaal.model.core2
 
CannotUndoException() - Constructor for exception com.uppaal.model.core2.CannotUndoException
 
canRedo() - Method in class com.uppaal.model.core2.Document
 
canUndo() - Method in class com.uppaal.model.core2.Document
 
CHAN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
changeAnchor(int) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
ChangeAnchorCommand - Class in com.uppaal.model.core2.lsc
 
ChangeAnchorCommand(Document, Element) - Constructor for class com.uppaal.model.core2.lsc.ChangeAnchorCommand
Constructor
changeEnd(int) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
ChangeMessageEndCommand - Class in com.uppaal.model.core2.lsc
 
ChangeMessageEndCommand(Document, Element, boolean) - Constructor for class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
Constructor
changeSource - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
CLBR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
CLBRACE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
clearAfterState(int) - Method in class com.uppaal.model.system.Trace
 
clearChart() - Method in class com.uppaal.model.system.GanttChart
 
clearRow() - Method in class com.uppaal.model.system.GanttRow
 
CLOCK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
clocks - Variable in class com.uppaal.model.AbstractSystem
 
clone() - Method in class com.uppaal.model.core2.AbstractTemplate
 
clone() - Method in class com.uppaal.model.core2.Element
Returns a deep clone of the element.
clone() - Method in class com.uppaal.model.core2.lsc.LscTemplate
Returns a deep clone of the template.
clone() - Method in class com.uppaal.model.core2.Node
Returns a deep clone of the node.
clone() - Method in class com.uppaal.model.core2.Template
Returns a deep clone of the template.
clone() - Method in class com.uppaal.model.system.concrete.Limit
 
clone() - Method in class com.uppaal.model.system.GanttBar
 
clone() - Method in class com.uppaal.model.system.GanttChart
 
clone() - Method in class com.uppaal.model.system.GanttRow
 
close() - Method in class com.uppaal.engine.DotProtocol
 
close() - Method in class com.uppaal.engine.KeyValueProtocol
 
close() - Method in interface com.uppaal.engine.Protocol
Disconnect from the server.
close() - Method in class com.uppaal.model.io2.CachedOutputStream
 
CLOSE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
CLPAR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
cmdListeners - Variable in class com.uppaal.model.core2.Document
Command listeners
COLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
color(Element) - Method in class com.uppaal.model.io2.UGIReader
 
COLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
column - Variable in class com.uppaal.model.io2.SimpleCharStream
 
com.uppaal.engine - package com.uppaal.engine
Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.
com.uppaal.model - package com.uppaal.model
Provides support for UPPAAL models, visit the Document as a starting point.
com.uppaal.model.core2 - package com.uppaal.model.core2
Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.
com.uppaal.model.core2.lsc - package com.uppaal.model.core2.lsc
 
com.uppaal.model.io2 - package com.uppaal.model.io2
Provides support for reading and writing UPPAAL models from and to XTA and XML files.
com.uppaal.model.lscsystem - package com.uppaal.model.lscsystem
 
com.uppaal.model.system - package com.uppaal.model.system
Provides classes for representing instantiated UPPAAL systems.
com.uppaal.model.system.concrete - package com.uppaal.model.system.concrete
 
com.uppaal.model.system.symbolic - package com.uppaal.model.system.symbolic
 
COMMA - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
COMMA - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
Command - Interface in com.uppaal.model.core2
Interface for commands.
CommandListener - Interface in com.uppaal.model.core2
Listener interface to listen for editing Commands performed on a Document.
commands - Variable in class com.uppaal.model.core2.CompoundCommand
 
COMMENTS_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for comments.
commit() - Method in class com.uppaal.model.core2.AbstractTransaction
Commit the transaction.
commit(AbstractLocation) - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
commit() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
COMMIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
commitBranchPoint(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
commitLocation(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
committed - Variable in class com.uppaal.model.core2.AbstractTransaction
 
committed(Location) - Method in class com.uppaal.model.io2.XMLReader
Parse optional committed tag.
CommonConstants - Interface in com.uppaal.model.core2
Defines various constants used by the model representation.
CompoundCommand - Class in com.uppaal.model.core2
 
CompoundCommand(Command...) - Constructor for class com.uppaal.model.core2.CompoundCommand
 
ConcreteState - Class in com.uppaal.model.system.concrete
 
ConcreteState(Limit, SystemLocation[], ConcreteVariable[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteState
 
ConcreteSuccessor - Class in com.uppaal.model.system.concrete
 
ConcreteSuccessor(ConcreteState, ConcreteTransition[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor
 
ConcreteTransition - Class in com.uppaal.model.system.concrete
 
ConcreteTransition(SystemEdgeSelect[], int, int, Limit, Limit, Limit, Limit) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransition
 
ConcreteTransitionRecord - Class in com.uppaal.model.system.concrete
 
ConcreteTransitionRecord(BigDecimal, SystemEdgeSelect[], ConcreteState) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
ConcreteVariable - Class in com.uppaal.model.system.concrete
 
ConcreteVariable(BigDecimal, int) - Constructor for class com.uppaal.model.system.concrete.ConcreteVariable
 
Condition - Class in com.uppaal.model.core2.lsc
 
Condition(Element) - Constructor for class com.uppaal.model.core2.lsc.Condition
 
condition - Variable in class com.uppaal.model.core2.lsc.Simregion
 
CONDITION_COLD_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
CONDITION_HOT_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
CONDITION_SIDES - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
CONDITION_UPDATE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
conditions(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
 
connect() - Method in class com.uppaal.engine.Engine
Connects to the server, if not already connected.
connect() - Method in class com.uppaal.engine.EngineStub
Connect to the server.
connected() - Method in class com.uppaal.engine.Engine
Called whenever a connection to the server is established.
CONST - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
Constants - Interface in com.uppaal.model.core2
Defines various constants used by the model representation.
ConvertSyntaxVisitor - Class in com.uppaal.model
 
ConvertSyntaxVisitor() - Constructor for class com.uppaal.model.ConvertSyntaxVisitor
 
convertToNail(int, int) - Method in class com.uppaal.model.core2.SetEndPointCommand
Inserts a new nail next to the endpoint and the given position.
copy() - Method in class com.uppaal.model.io2.IntPoint
Creates a new point from a given IntPoint point.
counter - Variable in class com.uppaal.model.io2.XMLWriter
 
createBranchPoint() - Method in class com.uppaal.model.core2.Template
Create a new branch point with this template as the parent and optionally a prototype according to the '#branchpoint' property of the template.
createCondition() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
createCut() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
createEdge() - Method in class com.uppaal.model.core2.Template
Create a new edge with this template as the parent and optionally a prototype according to the '#edge' property of the template.
createEdgeCon(int, int, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem
 
createInstanceLine() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
createLocation() - Method in class com.uppaal.model.core2.Template
Create a new location with this template as the parent and optionally a prototype according to the '#location' property of the template.
createLscTemplate() - Method in class com.uppaal.model.core2.Document
Creates a new stand-alone LSC template using a LSC prototype from the document.
createMessage() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
createNail() - Method in class com.uppaal.model.core2.Edge
Creates a nail based on prototype, the nail has to be inserted into an edge.
createPrechart() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
createTemplate() - Method in class com.uppaal.model.core2.Document
Creates a new stand-alone TA template using a template prototype from the document.
createUGIWriter(OutputStream) - Method in class com.uppaal.model.io2.XTAWriter
Create and return a new UGI writer.
createUpdate() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
curChar - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
 
curChar - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
 
currentToken - Variable in exception com.uppaal.model.io2.ParseException
This is the last token that has been consumed successfully.
Cut - Class in com.uppaal.model.core2.lsc
 
Cut(Element) - Constructor for class com.uppaal.model.core2.lsc.Cut
 
CUT_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
CUT_Y_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 

D

debugStream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
Debug output.
debugStream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
Debug output.
declaration(Node) - Method in class com.uppaal.model.io2.XMLReader
 
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 - Variable in class com.uppaal.model.core2.AbstractTransaction
 
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
 
DotProtocol(InputStream, OutputStream) - Constructor for class com.uppaal.engine.DotProtocol
 
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 - Class in com.uppaal.model.core2
Edge models discrete transitions between locations.
Edge(Element) - Constructor for class com.uppaal.model.core2.Edge
Constructs an Edge based on a prototype.
edge - Variable in class com.uppaal.model.core2.SetEndPointCommand
The edge on which we set the end point.
edges - Variable in class com.uppaal.model.io2.UGIWriter
 
edges(Template) - Method in class com.uppaal.model.io2.XMLReader
 
edges_ws - Variable in class com.uppaal.model.system.AbstractTransition
 
edgeSourceChanged(Edge, AbstractLocation, AbstractLocation) - Method in class com.uppaal.model.core2.AbstractEventListener
 
edgeSourceChanged(Edge, AbstractLocation, AbstractLocation) - Method in interface com.uppaal.model.core2.EventListener
 
edgeTargetChanged(Edge, AbstractLocation, AbstractLocation) - Method in class com.uppaal.model.core2.AbstractEventListener
 
edgeTargetChanged(Edge, AbstractLocation, AbstractLocation) - Method in interface com.uppaal.model.core2.EventListener
 
Element - Class in com.uppaal.model.core2
Base class for elements.
Element(Element) - Constructor for class com.uppaal.model.core2.Element
 
element - Variable in class com.uppaal.model.core2.InsertElementCommand
 
element - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
element - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
element - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
element - Variable in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
 
element - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand
 
element - Variable in class com.uppaal.model.core2.SetPropertyCommand
 
elements - Variable in class com.uppaal.model.core2.TranslationCommand
 
EMPH_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
EmptyTranslator - Class in com.uppaal.model.system
A translator that does not translate anything, but merely gives back what it recieves.
EmptyTranslator() - Constructor for class com.uppaal.model.system.EmptyTranslator
 
enable_tracing() - Method in class com.uppaal.model.io2.UGIReader
Enable tracing.
enable_tracing() - Method in class com.uppaal.model.io2.XTAReader
Enable tracing.
END - Static variable in class com.uppaal.engine.LexicalAnalyser
 
endColumn - Variable in class com.uppaal.model.io2.Token
The column number of the last character of this Token.
endLine - Variable in class com.uppaal.model.io2.Token
The line number of the last character of this Token.
Engine - Class in com.uppaal.engine
State-less wrapper for a UPPAAL server connection.
Engine() - Constructor for class com.uppaal.engine.Engine
Constructs an Engine object for local connections.
Engine(int, int, String, String) - Constructor for class com.uppaal.engine.Engine
Constructs an Engine object for the given connection settings.
EngineException - Exception in com.uppaal.engine
 
EngineException() - Constructor for exception com.uppaal.engine.EngineException
 
EngineException(String) - Constructor for exception com.uppaal.engine.EngineException
 
EngineException(Throwable) - Constructor for exception com.uppaal.engine.EngineException
 
EngineStub - Class in com.uppaal.engine
A thin stub for the server protocol.
EngineStub() - Constructor for class com.uppaal.engine.EngineStub
Constructs an EngineStub in LOCAL connection mode.
EngineStub(int, int, String, String) - Constructor for class com.uppaal.engine.EngineStub
Constructs an EngineStub with the given mode, port, port and server path values.
EOF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
End of File.
EOF - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
End of File.
eol - Variable in exception com.uppaal.model.io2.ParseException
The end of line string for this machine.
EQUAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
equals(Object) - Method in class com.uppaal.model.AbstractSystemState
 
equals(Object) - Method in class com.uppaal.model.io2.IntPoint
Tests whether this object represents the same point as another IntPoint
equals(Object) - Method in class com.uppaal.model.system.Polyhedron
 
equals(Object) - Method in class com.uppaal.model.system.symbolic.SymbolicState
 
error(Throwable) - Method in interface com.uppaal.engine.Job
 
ERROR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
ERROR_EOL - Static variable in class com.uppaal.engine.LexicalAnalyser
 
escape(String) - Method in class com.uppaal.engine.KeyValueProtocol
 
event - Variable in class com.uppaal.model.io2.XMLReader
 
EventListener - Interface in com.uppaal.model.core2
Listener interface to listen for element events.
EXCLMARK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
execute() - Method in class com.uppaal.model.core2.AbstractTransaction
 
execute() - Method in interface com.uppaal.model.core2.Command
 
execute() - Method in class com.uppaal.model.core2.CompoundCommand
 
execute(Command) - Method in class com.uppaal.model.core2.Document
Execute a command.
execute(Command...) - Method in class com.uppaal.model.core2.Document
 
execute() - Method in class com.uppaal.model.core2.InsertTemplateCommand
 
execute() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
execute() - Method in class com.uppaal.model.core2.MoveTemplateCommand
 
execute() - Method in class com.uppaal.model.core2.RemoveElementCommand
 
execute() - Method in class com.uppaal.model.core2.RemoveTemplateCommand
 
execute() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
execute() - Method in class com.uppaal.model.core2.SetPropertyWithPositionCommand
 
execute() - Method in class com.uppaal.model.core2.SnapCommand
 
executed(Document, Command) - Method in interface com.uppaal.model.core2.CommandListener
Called when the command is executed the very first time on a document.
ExpandBuff(boolean) - Method in class com.uppaal.model.io2.SimpleCharStream
 
expectedTokenSequences - Variable in exception com.uppaal.model.io2.ParseException
Each entry in this array is an array of integers.
EXPONENTIALRATE_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for rates of exponential labels.
EXTERNAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
EXTERNALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.

F

FillBuff() - Method in class com.uppaal.model.io2.SimpleCharStream
 
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
 
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
 
GanttBar() - Constructor for class com.uppaal.model.system.GanttBar
 
GanttBar(Limit, Limit, BigDecimal, int) - Constructor for class com.uppaal.model.system.GanttBar
 
GanttChart - Class in com.uppaal.model.system
 
GanttChart() - Constructor for class com.uppaal.model.system.GanttChart
 
GanttRow - Class in com.uppaal.model.system
 
GanttRow() - Constructor for class com.uppaal.model.system.GanttRow
 
GanttRow(String) - Constructor for class com.uppaal.model.system.GanttRow
 
generateParseException() - Method in class com.uppaal.model.io2.UGIReader
Generate ParseException.
generateParseException() - Method in class com.uppaal.model.io2.XTAReader
Generate ParseException.
GEQ - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
get(int) - Method in class com.uppaal.model.core2.lsc.Cut
 
getAllConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron
Convert constraint system to a human readable string representation containing all non-trivial constraints.
getAnchor() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
 
getAnchor() - Method in class com.uppaal.model.core2.lsc.Condition
 
getAnchor() - Method in class com.uppaal.model.core2.lsc.Update
 
getAnchoredToCondition() - Method in class com.uppaal.model.core2.lsc.Update
 
getAnchoredToConditionUpdate(Condition, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getAnchors() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
 
getAnchors() - Method in class com.uppaal.model.core2.lsc.Condition
 
getAnchors() - Method in class com.uppaal.model.core2.lsc.LscElement
 
getAnchors() - Method in class com.uppaal.model.core2.lsc.Message
 
getAnchors() - Method in class com.uppaal.model.core2.lsc.Update
 
getAttribute(String) - Method in class com.uppaal.model.io2.XMLReader
 
getBeginColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
Get token beginning column number.
getBeginLine() - Method in class com.uppaal.model.io2.SimpleCharStream
Get token beginning line number.
getBounds(Element) - Method in class com.uppaal.model.io2.BoundCalc
 
getClockName(int) - Method in class com.uppaal.model.AbstractSystem
 
getColor() - Method in class com.uppaal.model.core2.Element
Returns the value of the color property.
getColor(Element) - Method in class com.uppaal.model.core2.lsc.LscElement
 
getColor() - Method in class com.uppaal.model.core2.Property
 
getColor(String) - Method in class com.uppaal.model.io2.XMLReader
 
getColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
Deprecated.
getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol
 
getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub
Returns the initial concrete state for the system.
getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
 
getConcreteInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol
Returns the concrete initial state for the system.
getConcreteInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
Initialized UPPAAL system with the concrete initial state.
getConcreteState(int) - Method in class com.uppaal.model.system.Trace
 
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
 
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.Engine
 
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.EngineStub
 
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
 
getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in interface com.uppaal.engine.Protocol
 
getCondition() - Method in class com.uppaal.model.core2.lsc.Simregion
 
getCondition(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
getCondition() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getCondition(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getConditions() - Method in class com.uppaal.model.lscsystem.LscProcess
 
getConditionsOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getConnectedPort() - Method in class com.uppaal.engine.EngineStub
Returns the port the engine is connected to.
getConnectionMode() - Method in class com.uppaal.engine.EngineStub
Returns the current connection mode.
getCoordinate(String) - Method in class com.uppaal.model.io2.XMLReader
 
getCVariables() - Method in class com.uppaal.model.system.concrete.ConcreteState
 
getDelay() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
getDelay(int) - Method in class com.uppaal.model.system.Trace
 
getDocument() - Method in class com.uppaal.model.AbstractSystem
 
getDocument() - Method in class com.uppaal.model.core2.Document
 
getDocument() - Method in class com.uppaal.model.core2.Element
Returns the document of this element.
getDoubleValue() - Method in class com.uppaal.model.system.concrete.Limit
 
getEdge(int) - Method in class com.uppaal.model.system.AbstractTransition
 
getEdge(int) - Method in class com.uppaal.model.system.Process
 
getEdge() - Method in class com.uppaal.model.system.SystemEdge
 
getEdge(int) - Method in class com.uppaal.model.system.Transition
 
getEdge(int, int) - Method in class com.uppaal.model.system.UppaalSystem
 
getEdgeDescription() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
 
getEdgeDescription() - Method in class com.uppaal.model.system.Transition
 
getEdges() - Method in class com.uppaal.model.system.AbstractTransition
 
getEdges() - Method in class com.uppaal.model.system.Process
 
getEdges() - Method in class com.uppaal.model.system.Transition
 
getElement() - Method in class com.uppaal.model.core2.InsertElementCommand
 
getElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
getEndColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
Get token end column number.
getEndEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getEndLine() - Method in class com.uppaal.model.io2.SimpleCharStream
Get token end line number.
getEndSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getEntryTime(int) - Method in class com.uppaal.model.system.Trace
 
getErrors() - Method in class com.uppaal.model.io2.XTAReader
 
getException(String) - Method in class com.uppaal.engine.LexicalAnalyser
 
getFirst() - Method in class com.uppaal.model.core2.Node
Returns the first child.
getFirstColumn() - Method in class com.uppaal.engine.Problem
 
getFirstLine() - Method in class com.uppaal.engine.Problem
 
getFloat() - Method in class com.uppaal.engine.LexicalAnalyser
 
getFont() - Method in class com.uppaal.model.core2.Property
 
getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getFormatedName() - Method in class com.uppaal.model.system.SystemEdge
 
getFromNum(int) - Method in class com.uppaal.model.system.GanttRow
 
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
 
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Engine
 
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.EngineStub
 
getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
 
getGanttChart(UppaalSystem, BigDecimal) - Method in interface com.uppaal.engine.Protocol
 
getGanttChart() - Method in class com.uppaal.model.system.UppaalSystem
 
GetImage() - Method in class com.uppaal.model.io2.SimpleCharStream
Get token literal value.
getIndex() - Method in class com.uppaal.model.AbstractProcess
 
getIndex() - Method in class com.uppaal.model.AbstractSystemLocation
 
getIndex() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getIndex() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
 
getIndex() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getIndex() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getIndex() - Method in class com.uppaal.model.system.SystemEdge
 
getInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
 
getInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
Initialized UPPAAL system with the initial state.
getInstance(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getInstanceLength(int) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getInstanceLine(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
getInstanceLine() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
 
getInstanceLines() - Method in class com.uppaal.model.lscsystem.LscProcess
 
getInstances() - Method in class com.uppaal.model.core2.lsc.Prechart
 
getIntPoint() - Method in class com.uppaal.model.io2.FloatPoint
Returns an integer rounded version of this point
getIntValue() - Method in class com.uppaal.engine.LexicalAnalyser
 
getInvariant() - Method in class com.uppaal.model.system.concrete.ConcreteState
 
getLabel() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
 
getLabel() - Method in class com.uppaal.model.core2.lsc.Condition
 
getLabel() - Method in class com.uppaal.model.core2.lsc.LscElement
 
getLabel() - Method in class com.uppaal.model.core2.lsc.Update
 
getLabelValue() - Method in class com.uppaal.model.core2.lsc.Condition
 
getLabelValue() - Method in class com.uppaal.model.core2.lsc.LscElement
 
getLabelValue() - Method in class com.uppaal.model.core2.lsc.Message
 
getLabelValue() - Method in class com.uppaal.model.core2.lsc.Update
 
getLast() - Method in class com.uppaal.model.core2.Node
Returns the last child.
getLastColumn() - Method in class com.uppaal.engine.Problem
 
getLastLine() - Method in class com.uppaal.engine.Problem
 
getLastTATemplate() - Method in class com.uppaal.model.core2.Document
Returns the last TA template or null if no such template exists.
getLength() - Method in class com.uppaal.model.core2.lsc.InstanceLine
Gets the instance line length, which is a template property
getLength() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
getLine() - Method in class com.uppaal.model.io2.SimpleCharStream
Deprecated.
getLocalProperty(String) - Method in class com.uppaal.model.core2.Element
Returns the property of the given name.
getLocalProperty() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
getLocalPropertyValue() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
getLocation() - Method in class com.uppaal.model.core2.SetEndPointCommand
Returns the current end point.
getLocation() - Method in class com.uppaal.model.core2.SetSourceCommand
 
getLocation() - Method in class com.uppaal.model.core2.SetTargetCommand
 
getLocation(int) - Method in class com.uppaal.model.system.Process
 
getLocation() - Method in class com.uppaal.model.system.SystemLocation
 
getLocation(int, int) - Method in class com.uppaal.model.system.UppaalSystem
 
getLocations() - Method in class com.uppaal.model.system.Process
 
getLocations() - Method in class com.uppaal.model.system.SystemState
 
getLocationVector() - Method in class com.uppaal.model.AbstractSystemState
 
getLocationVector() - Method in class com.uppaal.model.lscsystem.SystemCut
 
getLocationVector() - Method in class com.uppaal.model.system.symbolic.SymbolicState
Deprecated.
getLookahead() - Method in class com.uppaal.engine.LexicalAnalyser
 
getLscProcess(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
 
getMaxSimregions(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.Cut
 
getMaxSimregions(ArrayList<Simregion>) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getMessage() - Method in class com.uppaal.engine.Problem
 
getMessage() - Method in class com.uppaal.model.core2.lsc.Simregion
 
getMessage() - Method in error com.uppaal.model.io2.TokenMgrError
You can also modify the body of this method to customize your error messages.
getMessage(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
getMessage() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getMessage(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getMessages() - Method in class com.uppaal.model.lscsystem.LscProcess
 
getMode() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
getModifiedElement() - Method in interface com.uppaal.model.core2.Command
 
getModifiedElement() - Method in class com.uppaal.model.core2.CompoundCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.InsertElementCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.InsertTemplateCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.MoveTemplateCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.RemoveElementCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.RemoveTemplateCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.SetEndPointCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.SnapCommand
 
getModifiedElement() - Method in class com.uppaal.model.core2.TranslationCommand
 
getNails() - Method in class com.uppaal.model.core2.Edge
Returns the first nail (if any).
getName() - Method in class com.uppaal.model.AbstractProcess
 
getName() - Method in class com.uppaal.model.AbstractSystemLocation
 
getName() - Method in class com.uppaal.model.core2.Property
Returns the name with which this property is registered in the parent.
getName() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getName() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
 
getName() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getName() - Method in class com.uppaal.model.lscsystem.SystemSimregion
 
getName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getName() - Method in class com.uppaal.model.system.SystemEdge
 
getName() - Method in class com.uppaal.model.system.SystemLocation
 
getNext() - Method in class com.uppaal.model.core2.Node
Returns the right sibling.
getNextToken() - Method in class com.uppaal.model.io2.UGIReader
Get the next Token.
getNextToken() - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Get the next Token.
getNextToken() - Method in class com.uppaal.model.io2.XTAReader
Get the next Token.
getNextToken() - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Get the next Token.
getNoOfClocks() - Method in class com.uppaal.model.AbstractSystem
 
getNoOfProcesses() - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getNoOfProcesses() - Method in class com.uppaal.model.system.UppaalSystem
 
getNoOfVariables() - Method in class com.uppaal.model.AbstractSystem
 
getOptionsInfo() - Method in class com.uppaal.engine.DotProtocol
 
getOptionsInfo() - Method in class com.uppaal.engine.Engine
Returns information about available options.
getOptionsInfo() - Method in class com.uppaal.engine.EngineStub
Returns information about available options.
getOptionsInfo() - Method in class com.uppaal.engine.KeyValueProtocol
 
getOptionsInfo() - Method in interface com.uppaal.engine.Protocol
Returns information about available options.
getParent() - Method in class com.uppaal.model.core2.Element
Returns the parent element.
getPath() - Method in class com.uppaal.engine.Problem
 
getPlayer() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getPolyhedron() - Method in class com.uppaal.model.AbstractSystemState
 
getPolyhedron() - Method in class com.uppaal.model.system.symbolic.SymbolicState
 
getPrechart() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getPrechart() - Method in class com.uppaal.model.lscsystem.LscProcess
 
getPrechart() - Method in class com.uppaal.model.lscsystem.SystemPrechart
 
getPrechartIndex() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getPrevious() - Method in class com.uppaal.model.core2.Node
Returns the left sibling.
getProcess() - Method in class com.uppaal.model.AbstractSystemLocation
 
getProcess() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getProcess() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
 
getProcess() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getProcess() - Method in class com.uppaal.model.lscsystem.SystemPrechart
 
getProcess() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getProcess(int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getProcess() - Method in class com.uppaal.model.system.SystemEdge
 
getProcess(int) - Method in class com.uppaal.model.system.UppaalSystem
 
getProcessIndex(String) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getProcessIndex(String) - Method in class com.uppaal.model.system.UppaalSystem
 
getProcessName() - Method in class com.uppaal.model.lscsystem.SystemCondition
 
getProcessName() - Method in class com.uppaal.model.lscsystem.SystemMessage
 
getProcessName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getProcessName() - Method in class com.uppaal.model.system.SystemEdge
 
getProperties() - Method in class com.uppaal.model.core2.Element
Get the properties stored in this element.
getProperty(String) - Method in class com.uppaal.model.core2.Element
Returns the property of the given name.
getPropertyValue(String) - Method in class com.uppaal.model.core2.Element
Returns the value of the property of the given name.
getPrototype() - Method in class com.uppaal.model.core2.Element
Returns the prototype.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.AbstractTemplate
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.BranchPoint
Returns the #branchpoint property value of the parent argument.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Edge
Returns the #edge property value of the parent argument.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Element
Return the proper prototype for this element stored in the parent.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Location
Returns the #location property value of the parent argument.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Condition
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Cut
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Message
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Prechart
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Update
 
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Nail
Returns the #nail property value of the parent argument.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Property
Returns the value of the parent's protype's property given by getName() or null if the parent does not have a prototype.
getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Template
Returns the #template property value of the parent argument.
getRate() - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
getRow(int) - Method in class com.uppaal.model.system.GanttChart
 
getSelectList() - Method in class com.uppaal.model.system.SystemEdgeSelect
 
getServerHost() - Method in class com.uppaal.engine.EngineStub
Returns the current server host.
getServerPath() - Method in class com.uppaal.engine.EngineStub
Returns the current server path.
getServerPort() - Method in class com.uppaal.engine.EngineStub
Returns the current server port.
getSimregion() - Method in class com.uppaal.model.lscsystem.SystemSimregion
 
getSimregions() - Method in class com.uppaal.model.core2.lsc.Cut
 
getSize() - Method in class com.uppaal.model.system.AbstractTransition
 
getSize() - Method in class com.uppaal.model.system.Transition
 
getSource() - Method in class com.uppaal.model.core2.Edge
Returns the source location (the beginning of the edge).
getSource() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
getSource() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
getSource() - Method in class com.uppaal.model.core2.lsc.Message
 
getSource() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
 
getSource() - Method in class com.uppaal.model.system.Transition
 
getStartEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getStartSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getState() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
 
getStatus() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
getSufficientConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron
Convert constraint system to a human readable representation based on the minimal constraint graph.
GetSuffix(int) - Method in class com.uppaal.model.io2.SimpleCharStream
Get the suffix.
getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol
 
getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub
Returns the initial state for the system.
getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
 
getSymbolicInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol
Returns the symbolic initial state for the system.
getSymbolicState(int) - Method in class com.uppaal.model.system.Trace
 
getSymbolicTransition(int) - Method in class com.uppaal.model.system.Trace
Warning: In this representation of the trace, all transitions have a source and a destination, meaning that compared with the old symbolic trace representation, the initial transition is missing.
getSystem(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
Instantiates a UPPAAL document.
getSystem() - Method in class com.uppaal.engine.Engine
 
getTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream
 
getTarget() - Method in class com.uppaal.model.core2.Edge
Returns the target location (the end of the edge).
getTarget() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
getTarget() - Method in class com.uppaal.model.core2.lsc.Message
 
getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
getTarget() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
 
getTarget() - Method in class com.uppaal.model.system.Transition
 
getTemperature() - Method in class com.uppaal.model.core2.lsc.LscElement
 
getTemplate() - Method in class com.uppaal.model.AbstractProcess
 
getTemplate() - Method in class com.uppaal.model.core2.AbstractTemplate
 
getTemplate(String) - Method in class com.uppaal.model.core2.Document
Returns the first template with the given name or null if no such template exists.
getTemplate() - Method in class com.uppaal.model.core2.Element
Returns the template of this element.
getTemplates() - Method in class com.uppaal.model.core2.Document
Returns the first template of the document.
getTime() - Method in class com.uppaal.model.system.concrete.ConcreteState
 
getToken(int) - Method in class com.uppaal.model.io2.UGIReader
Get the specific Token.
getToken(int) - Method in class com.uppaal.model.io2.XTAReader
Get the specific Token.
getTransitionDescription() - Method in class com.uppaal.model.system.AbstractTransition
 
getTransitionEdges(int) - Method in class com.uppaal.model.system.Trace
 
getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.DotProtocol
 
getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.Engine
Returns the list of outgoing transitions for the state of the given system.
getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.EngineStub
Returns the list of outgoing transitions for the state.
getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
 
getTransitions(UppaalSystem, SymbolicState) - Method in interface com.uppaal.engine.Protocol
Returns the list of outgoing transitions for the state.
getTransitions() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
 
getTranslator() - Method in class com.uppaal.model.AbstractProcess
 
getType() - Method in class com.uppaal.engine.Problem
 
getType() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
getUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion
 
getUpdate(int) - Method in class com.uppaal.model.lscsystem.LscProcess
 
getUpdate() - Method in class com.uppaal.model.lscsystem.SystemUpdate
 
getUpdate(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
 
getUpdateOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
getUpdates() - Method in class com.uppaal.model.lscsystem.LscProcess
 
getValue() - Method in class com.uppaal.engine.LexicalAnalyser
 
getValue() - Method in class com.uppaal.model.core2.Property
 
getValue() - Method in class com.uppaal.model.io2.Token
An optional attribute value of the Token.
getValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
getValue() - Method in class com.uppaal.model.system.concrete.Limit
 
getVariableName(int) - Method in class com.uppaal.model.AbstractSystem
 
getVariables() - Method in class com.uppaal.model.AbstractSystemState
 
getVariables() - Method in class com.uppaal.model.system.symbolic.SymbolicState
 
getVersion() - Method in class com.uppaal.engine.DotProtocol
 
getVersion() - Method in class com.uppaal.engine.Engine
Returns the version string of the server.
getVersion() - Method in class com.uppaal.engine.EngineStub
Returns the version string of the server.
getVersion() - Method in class com.uppaal.engine.KeyValueProtocol
 
getVersion() - Method in interface com.uppaal.engine.Protocol
Returns the version string of the server.
getVersion() - Method in class com.uppaal.model.core2.AbstractCommand
 
getVersion() - Method in interface com.uppaal.model.core2.Command
 
getVersion() - Method in class com.uppaal.model.core2.Document
Returns the current version number of the document.
getWidth() - Method in class com.uppaal.model.core2.lsc.Condition
 
getWidth(String, Font, Graphics2D) - Static method in class com.uppaal.model.core2.lsc.LscElement
returns the width of the given string, written with the given font
getWidth(Graphics2D) - Method in class com.uppaal.model.core2.lsc.LscElement
 
getWord() - Method in class com.uppaal.engine.LexicalAnalyser
 
getX() - Method in class com.uppaal.model.core2.Element
Returns the value of the x property.
getX() - Method in class com.uppaal.model.core2.Property
 
getY() - Method in class com.uppaal.model.core2.Element
Returns the value of the y property.
getY() - Method in class com.uppaal.model.core2.lsc.Simregion
 
getYFoot() - Method in class com.uppaal.model.core2.lsc.InstanceLine
 
getYLocation() - Method in class com.uppaal.model.io2.XMLReader
 
getYLocCoord() - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
GLOBAL_DECL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
GLOBAL_PROCESSASSIGN_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
GLOBAL_SYSTEM_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
GLOBALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
globalDeclGI() - Method in class com.uppaal.model.io2.UGIReader
 
graphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader
 
GRAPHINFO - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
graphInfoItem() - Method in class com.uppaal.model.io2.UGIReader
 
GRIDCHANGE - Static variable in interface com.uppaal.model.core2.CommonConstants
 
GRIDCOLOR - Static variable in interface com.uppaal.model.core2.CommonConstants
 
GRIDMIN - Static variable in interface com.uppaal.model.core2.CommonConstants
 
GRT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
GUARD - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
GUARD - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
GUARD_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for guard labels.

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(String) - Method in class com.uppaal.model.core2.Element
Returns the value of a boolean property.
hasFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter
 
hasFlag(Element, String) - Method in class com.uppaal.model.io2.XTAWriter
 
hasMessage() - Method in class com.uppaal.model.core2.lsc.Simregion
 
hasNails() - Method in class com.uppaal.model.core2.InsertEdgeCommand
 
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
 
indentation - Variable in class com.uppaal.model.core2.PrintVisitor
 
init(Template) - Method in class com.uppaal.model.io2.XMLReader
Parse optional init tag.
init - Variable in class com.uppaal.model.io2.XMLWriter
 
INIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
input_stream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
 
input_stream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
 
inputStream - Variable in class com.uppaal.model.io2.SimpleCharStream
 
insert(Node, Node) - Method in class com.uppaal.model.core2.Node
Insert a child node.
InsertAnchoredElementCommand - Class in com.uppaal.model.core2.lsc
A transaction command for inserting elements.
InsertAnchoredElementCommand(InstanceLine, AnchoredElement) - Constructor for class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
 
InsertEdgeCommand - Class in com.uppaal.model.core2
 
InsertEdgeCommand(AbstractLocation, int, int) - Constructor for class com.uppaal.model.core2.InsertEdgeCommand
 
InsertElementCommand - Class in com.uppaal.model.core2
A transaction command for inserting elements.
InsertElementCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertElementCommand
 
InsertInstanceCommand - Class in com.uppaal.model.core2.lsc
A transaction command for inserting elements.
InsertInstanceCommand(Node, Node, Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.InsertInstanceCommand
 
InsertMessageCommand - Class in com.uppaal.model.core2.lsc
A transaction command for inserting elements.
InsertMessageCommand(InstanceLine, Message) - Constructor for class com.uppaal.model.core2.lsc.InsertMessageCommand
The hot sections touched by the message (and split)
insertNail(Nail) - Method in class com.uppaal.model.core2.SetEndPointCommand
Inserts a nail next to the end point.
insertNail(Nail) - Method in class com.uppaal.model.core2.SetSourceCommand
 
insertNail(Nail) - Method in class com.uppaal.model.core2.SetTargetCommand
 
InsertTemplateCommand - Class in com.uppaal.model.core2
A transaction command for inserting elements.
InsertTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertTemplateCommand
 
insideBar(int, int) - Method in class com.uppaal.model.system.GanttBar
 
INSTANCE_FILL_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
INSTANCE_FOOT_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
INSTANCE_FOOT_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
INSTANCE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
INSTANCE_LENGTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
INSTANCE_LINE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
INSTANCE_MIN_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
InstanceLine - Class in com.uppaal.model.core2.lsc
 
InstanceLine(Element) - Constructor for class com.uppaal.model.core2.lsc.InstanceLine
 
instances - Variable in class com.uppaal.model.core2.lsc.Prechart
 
instances - Variable in class com.uppaal.model.io2.XMLReader
 
instances(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
 
instances - Variable in class com.uppaal.model.io2.XMLWriter
 
instantiation(Document) - Method in class com.uppaal.model.io2.XMLReader
Parse optional instantiation tag.
INT - Static variable in class com.uppaal.engine.LexicalAnalyser
 
INT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
integer() - Method in class com.uppaal.model.io2.UGIReader
 
IntPoint - Class in com.uppaal.model.io2
 
IntPoint(int, int) - Constructor for class com.uppaal.model.io2.IntPoint
Creates a point from given coordinates.
IntPoint(Point) - Constructor for class com.uppaal.model.io2.IntPoint
Creates a point from a given integer point.
IntPoint(Point2D) - Constructor for class com.uppaal.model.io2.IntPoint
 
INVARIANT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
INVARIANT_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for invariant labels.
involvesProcess(int) - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
 
involvesProcess(int) - Method in class com.uppaal.model.system.Transition
 
IS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
isAnchorOf(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine
 
isConnected() - Method in class com.uppaal.engine.EngineStub
Returns true if the engine is connected to a server.
isEmpty(String) - Method in class com.uppaal.model.io2.XTAWriter
 
isEqualTo(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
isHot() - Method in class com.uppaal.model.core2.lsc.Condition
 
isHot() - Method in class com.uppaal.model.core2.lsc.LscElement
 
isLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
isLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
 
ISNOT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
isPropertyLocal(String) - Method in class com.uppaal.model.core2.Element
Returns true if the property of the given name has a local value.
isRemoteConnection() - Method in class com.uppaal.engine.EngineStub
Returns true if the engine is connected to a remote server.
isSelectable() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
 
isStrict() - Method in class com.uppaal.model.system.concrete.Limit
 
isStrictLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
isStrictLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
 
isStrictUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
isStrictUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
 
isTheSame(SystemEdgeSelect) - Method in class com.uppaal.model.system.SystemEdgeSelect
 
isUnbounded() - Method in class com.uppaal.model.system.concrete.Limit
 
isUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
isUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
 
isVisible() - Method in class com.uppaal.model.core2.Property
 

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
 
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(LscElement) - Method in class com.uppaal.model.io2.XMLReader
 
label - Variable in class com.uppaal.model.system.GanttRow
 
LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants
Default label color
labels(Node) - Method in class com.uppaal.model.io2.XMLReader
 
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 - Static variable in interface com.uppaal.model.core2.CommonConstants
 
level - Variable in class com.uppaal.model.io2.XTAWriter
 
LexicalAnalyser - Class in com.uppaal.engine
Lexical analyser used by EngineStub.
LexicalAnalyser(InputStream) - Constructor for class com.uppaal.engine.LexicalAnalyser
 
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
 
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 - 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 - Variable in class com.uppaal.model.core2.SetEndPointCommand
The original endpoint (or the new endpoint in case the command is undone.
LOCATION - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
location(Map) - Method in class com.uppaal.model.io2.XTAReader
 
LOCATIONNAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
locations - Variable in class com.uppaal.model.io2.XMLReader
 
locations(Template) - Method in class com.uppaal.model.io2.XMLReader
Parse optional location.
locations - Variable in class com.uppaal.model.io2.XMLWriter
 
locations - Variable in class com.uppaal.model.system.SystemState
 
locIdent() - Method in class com.uppaal.model.io2.UGIReader
 
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 tags

M

maximalEndTime() - Method in class com.uppaal.model.system.GanttRow
 
maximalNonInfiniteEndTime() - Method in class com.uppaal.model.system.GanttChart
 
maxNextCharInd - Variable in class com.uppaal.model.io2.SimpleCharStream
 
merge(AbstractTemplate, AbstractTemplate) - Static method in class com.uppaal.model.core2.Document
Merges the source template into target (useful for pasting from clipboard).
Message - Class in com.uppaal.model.core2.lsc
 
Message(Element) - Constructor for class com.uppaal.model.core2.lsc.Message
 
message - Variable in class com.uppaal.model.core2.lsc.Simregion
 
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
 
messageSource() - Method in class com.uppaal.model.io2.XMLReader
 
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
 
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
 
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, 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) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
move(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
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(Node, Node) - Method in class com.uppaal.model.core2.Node
Move a child node among siblings.
move(int, int) - Method in class com.uppaal.model.core2.TranslationCommand
Move elements by (x, y).
moveElements(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
moveElements(int, int) - Method in class com.uppaal.model.core2.TranslationCommand
 
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
 
multiply(float) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point which is a multiplication of this point
multiply(int) - Method in class com.uppaal.model.io2.IntPoint
Returns a point which is a multiplication of this point.
multiply(float) - Method in class com.uppaal.model.io2.IntPoint
 

N

Nail - Class in com.uppaal.model.core2
Nails models the graphical layout of edges.
nail - Variable in class com.uppaal.model.core2.SetEndPointCommand
Any nails created as a side effect of changing the endpoint.
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
 
name - Variable in class com.uppaal.model.core2.SetPropertyCommand
 
name(Node) - Method in class com.uppaal.model.io2.XMLReader
 
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.
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
 
newToken(int, String) - Static method in class com.uppaal.model.io2.Token
Returns a new Token object, by default.
newToken(int) - Static method in class com.uppaal.model.io2.Token
 
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.io2.XMLReader
 
nextToken() - Method in class com.uppaal.engine.LexicalAnalyser
 
node - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
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
 
node - Variable in class com.uppaal.model.core2.RemoveElementCommand
 
node - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
 
NONE - Static variable in class com.uppaal.engine.LexicalAnalyser
 
noOfBars() - Method in class com.uppaal.model.system.GanttRow
 
noOfRows() - Method in class com.uppaal.model.system.GanttChart
 

O

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
Parses an optional parameter tag.
PARAMLIST - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
paramListGraphInfo() - Method in class com.uppaal.model.io2.UGIReader
 
parent - Variable in class com.uppaal.model.core2.InsertElementCommand
 
parent - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
 
parent - Variable in class com.uppaal.model.core2.RemoveElementCommand
 
parent - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
 
parse(Document) - Method in class com.uppaal.model.io2.UGIReader
Parses the currently associated java.io.InputStream and modifies pos tags on elements in document .
parse(Element) - Method in class com.uppaal.model.io2.XMLReader
 
parse(Element) - Method in class com.uppaal.model.io2.XTAReader
 
parseAcknowledgement() - Method in class com.uppaal.engine.Parser
 
parseBigDecimal() - Method in class com.uppaal.engine.Parser
 
parseBlock() - Method in class com.uppaal.engine.Parser
 
parseConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseConcreteState(UppaalSystem) - Method in class com.uppaal.engine.Parser
Parses a concrete state.
parseConcreteSuccessor(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseEdges(Properties, UppaalSystem, String) - Method in class com.uppaal.engine.KeyValueProtocol
 
parseEdges(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseEdgesWS(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseEnabledConcreteTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseEnabledTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseEnd() - Method in class com.uppaal.engine.Parser
 
ParseException - Exception in com.uppaal.model.io2
This exception is thrown when parse errors are encountered.
ParseException(Token, int[][], String[]) - Constructor for exception com.uppaal.model.io2.ParseException
This constructor is used by the method "generateParseException" in the generated parser.
ParseException() - Constructor for exception com.uppaal.model.io2.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException(String) - Constructor for exception com.uppaal.model.io2.ParseException
Constructor with message.
parseGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Parser
Parses a Gantt chart.
parseGanttHeader(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseId() - Method in class com.uppaal.engine.Parser
 
parseInteger() - Method in class com.uppaal.engine.Parser
 
parseLimit() - Method in class com.uppaal.engine.Parser
 
parseLocationVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
 
parseLong() - Method in class com.uppaal.engine.Parser
 
parseLscProcess(Document) - Method in class com.uppaal.engine.Parser
 
parsePartialEnd() - Method in class com.uppaal.engine.Parser
 
parseProblems() - Method in class com.uppaal.engine.Parser
 
parseProblems(ArrayList<Problem>) - Method in class com.uppaal.engine.Parser
 
parseProlog() - Method in class com.uppaal.engine.Parser
 
parseQueryResult() - Method in class com.uppaal.engine.Parser
 
Parser - Class in com.uppaal.engine
Simple recursive decent parser for the communication protocol.
Parser(InputStream) - Constructor for class com.uppaal.engine.Parser
 
parseState(Properties, UppaalSystem, String, String, String) - Method in class com.uppaal.engine.KeyValueProtocol
 
parseSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseSymbolicState(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseSystem(Document) - Method in class com.uppaal.engine.Parser
 
parseVariableVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
 
parseXTRTrace(UppaalSystem) - Method in class com.uppaal.engine.Parser
 
parseZone(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
 
PART_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
PARTIAL_END - Static variable in class com.uppaal.engine.LexicalAnalyser
 
plainMetrics - Static variable in class com.uppaal.model.io2.BoundCalc
 
plainWidth(String) - Static method in class com.uppaal.model.io2.BoundCalc
Computes the width of string in plain font.
PLUS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
Polyhedron - Class in com.uppaal.model.system
 
Polyhedron(UppaalSystem) - Constructor for class com.uppaal.model.system.Polyhedron
 
populateCondition(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
populateInstance(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
populatePrechart(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
position - Variable in class com.uppaal.model.core2.InsertElementCommand
 
Prechart - Class in com.uppaal.model.core2.lsc
 
Prechart(Element) - Constructor for class com.uppaal.model.core2.lsc.Prechart
 
prechart(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
 
PRECHART_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
PRECHART_MIN_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
PRECHART_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
PRECHART_TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
prevCharIsCR - Variable in class com.uppaal.model.io2.SimpleCharStream
 
prevCharIsLF - Variable in class com.uppaal.model.io2.SimpleCharStream
 
previous - Variable in class com.uppaal.model.core2.Node
The left sibling of this element.
print(String) - Method in class com.uppaal.model.core2.PrintVisitor
 
printGanttInfo() - Method in class com.uppaal.model.system.GanttChart
 
printRowInfo() - Method in class com.uppaal.model.system.GanttRow
 
PrintVisitor - Class in com.uppaal.model.core2
 
PrintVisitor() - Constructor for class com.uppaal.model.core2.PrintVisitor
 
PROB_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for probability labels.
Problem - Class in com.uppaal.engine
A representation of a syntax error or warning.
Problem(String, String, int, int, int, int, String) - Constructor for class com.uppaal.engine.Problem
 
PROCASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
procAssignGI() - Method in class com.uppaal.model.io2.UGIReader
 
PROCESS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
PROCESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
Process - Class in com.uppaal.model.system
 
PROCESS_FILL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
Color for process box fill.
PROCESS_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
Constant.
processdecl(Document) - Method in class com.uppaal.model.io2.XTAReader
 
project(Document) - Method in class com.uppaal.model.io2.XMLReader
 
properties - Variable in class com.uppaal.model.core2.Element
The properties of this element.
Property - Class in com.uppaal.model.core2
A property is a special kind of element.
Property(Element, Element, Object) - Constructor for class com.uppaal.model.core2.Property
 
property - Variable in class com.uppaal.model.core2.SetPropertyCommand
 
propertyChanged(Property, String, Object, Object) - Method in class com.uppaal.model.core2.AbstractEventListener
 
propertyChanged(Property, String, Object, Object) - Method in interface com.uppaal.model.core2.EventListener
 
Protocol - Interface in com.uppaal.engine
 
ProtocolException - Exception in com.uppaal.engine
 
ProtocolException() - Constructor for exception com.uppaal.engine.ProtocolException
 
ProtocolException(String) - Constructor for exception com.uppaal.engine.ProtocolException
 
prototype - Variable in class com.uppaal.model.core2.Element
The prototype of this element.
PrototypeDocument - Class in com.uppaal.model.core2
Prototypical document structure for a Uppaal network of timed automata with default properties (see the prototype design pattern).
PrototypeDocument() - Constructor for class com.uppaal.model.core2.PrototypeDocument
 
PrototypeVisitor - Class in com.uppaal.model.core2
Only difference to AbstractVisitor is that this visitor knows about the #template, #location, #edge and #nail properties used to set the default prototype for these elements.
PrototypeVisitor() - Constructor for class com.uppaal.model.core2.PrototypeVisitor
 
PTBody(Template) - Method in class com.uppaal.model.io2.XTAReader
 
PTGraphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader
 
PTHead(Template) - Method in class com.uppaal.model.io2.XTAReader
 
PTParamList(Template) - Method in class com.uppaal.model.io2.XTAReader
 

Q

QM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
query(UppaalSystem, String, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol
 
query(UppaalSystem, SymbolicState, String, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol
 
query(UppaalSystem, String, String, QueryFeedback) - Method in class com.uppaal.engine.Engine
Verify a guery on an instantiated UPPAAL model.
query(UppaalSystem, String, QueryFeedback) - Method in class com.uppaal.engine.EngineStub
Verify a query on an instantiated UPPAAL model.
query(UppaalSystem, String, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol
 
query(UppaalSystem, String, QueryFeedback) - Method in interface com.uppaal.engine.Protocol
Verify a query on an instantiated UPPAAL model.
QueryFeedback - Interface in com.uppaal.engine
Defines the interface to receive feedback from a verifier.

R

read() - Method in class com.uppaal.engine.LexicalAnalyser
 
readBlock() - Method in class com.uppaal.engine.LexicalAnalyser
 
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
 
readText() - Method in class com.uppaal.model.io2.XMLReader
 
recvBlock(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol
 
recvLines(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol
 
recvProperties(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
 
recvProperties(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol
 
recvString(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
 
redo() - Method in class com.uppaal.model.core2.Document
Redo last undone command.
redoList - Variable in class com.uppaal.model.core2.Document
Commands on the redo stack.
redone(Document, Command) - Method in interface com.uppaal.model.core2.CommandListener
Called when the command has been re-executed after it has been undone.
ReInit(Reader, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(Reader, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(Reader) - 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(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) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream, String, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
Reinitialise.
ReInit(InputStream) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(InputStream, String) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(Reader) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(UGIReaderTokenManager) - Method in class com.uppaal.model.io2.UGIReader
Reinitialise.
ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Reinitialise parser.
ReInit(InputStream) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(InputStream, String) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(Reader) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(XTAReaderTokenManager) - Method in class com.uppaal.model.io2.XTAReader
Reinitialise.
ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Reinitialise parser.
RelToAbsVisitor - Class in com.uppaal.model.io2
 
RelToAbsVisitor() - Constructor for class com.uppaal.model.io2.RelToAbsVisitor
 
remove(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart
 
remove() - Method in class com.uppaal.model.core2.Node
Remove the node from the tree structure.
removeAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
 
removeAnchor(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
 
RemoveAnchorCommand - Class in com.uppaal.model.core2.lsc
 
RemoveAnchorCommand(Document, Element, InstanceLine) - Constructor for class com.uppaal.model.core2.lsc.RemoveAnchorCommand
Constructor
removeCommandListener(CommandListener) - Method in class com.uppaal.model.core2.Document
removes editing command listener
RemoveElementCommand - Class in com.uppaal.model.core2
 
RemoveElementCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveElementCommand
 
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
 
RemoveTemplateCommand - Class in com.uppaal.model.core2
 
RemoveTemplateCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveTemplateCommand
 
reset(ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace
Resets the trace with the given parameters.
resize(int) - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
 
resize - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand
 
resizeIfNecessary(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.TranslationYCommand
 
resolveXPath(String) - Method in class com.uppaal.model.core2.Document
 
role(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
 
rotate(double) - Method in class com.uppaal.model.io2.FloatPoint
Returns this point's vector rotated according to the radian angle
row - Variable in class com.uppaal.model.system.GanttRow
 
run(Engine) - Method in interface com.uppaal.engine.Job
 

S

save(String) - Method in class com.uppaal.model.core2.Document
 
save(File) - Method in class com.uppaal.model.core2.Document
 
SELECT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
SELECT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
SELECT_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for select labels.
SELECTED_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
Color to be used for indicating selected objects.
SEMICOLON - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
SEMICOLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
sendMessage(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
 
sendMessage(KeyValueProtocol.Service, String) - Method in class com.uppaal.engine.KeyValueProtocol
 
sendMessage(KeyValueProtocol.Service, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
 
SERVER - Static variable in class com.uppaal.engine.EngineStub
Remote connections only..
ServerException - Exception in com.uppaal.engine
 
ServerException() - Constructor for exception com.uppaal.engine.ServerException
 
ServerException(String) - Constructor for exception com.uppaal.engine.ServerException
 
setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement
 
setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
 
setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
 
setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update
 
setAnchoredToCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Update
 
setAnchors(ArrayList<InstanceLine>) - Method in class com.uppaal.model.core2.lsc.Condition
 
setAnchorToUpdate(InstanceLine, Condition) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
 
setClocks(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
 
setCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Simregion
 
setConnectionMode(int) - Method in class com.uppaal.engine.Engine
Sets the connection mode.
setConnectionMode(int) - Method in class com.uppaal.engine.EngineStub
Sets the connection mode.
setCurrent(int) - Method in interface com.uppaal.engine.QueryFeedback
Called when pos elements of the trace have been loaded.
setCVariables(ConcreteVariable[]) - Method in class com.uppaal.model.system.concrete.ConcreteState
 
setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Set debug output.
setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Set debug output.
setDelay(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
setEdges(SystemEdgeSelect[]) - Method in class com.uppaal.model.system.AbstractTransition
 
setEndPoint(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand
Set the endpoint to the given location.
SetEndPointCommand - Class in com.uppaal.model.core2
 
SetEndPointCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetEndPointCommand
 
setFeedback(String) - Method in interface com.uppaal.engine.QueryFeedback
Called after a verification in case there is no trace.
setFinalAnchor(InstanceLine, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
 
setFinalEnd(InstanceLine) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
 
setGanttChart(GanttChart) - Method in class com.uppaal.model.system.UppaalSystem
 
setInvariant(Limit) - Method in class com.uppaal.model.system.concrete.ConcreteState
 
setLength(int) - Method in interface com.uppaal.engine.QueryFeedback
Called when the length of a trace is known.
setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.InstanceLine
 
setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate
Set length between bottom of instance head and top of instance foot
SetLengthCommand - Class in com.uppaal.model.core2.lsc
 
SetLengthCommand(Document, Element, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.SetLengthCommand
Constructor
setLengthTo(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate
 
setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand
Sets the current end point on the edge.
setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetSourceCommand
 
setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetTargetCommand
 
setLocations(SystemLocation[]) - Method in class com.uppaal.model.system.SystemState
 
setLscProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
 
setMessage(Message) - Method in class com.uppaal.model.core2.lsc.Simregion
 
setOptions(String) - Method in class com.uppaal.engine.DotProtocol
 
setOptions(String) - Method in class com.uppaal.engine.EngineStub
Sets server options used for verification.
setOptions(String) - Method in class com.uppaal.engine.KeyValueProtocol
 
setOptions(String) - Method in interface com.uppaal.engine.Protocol
Sets server options used for verification.
setPrechart(Prechart) - Method in class com.uppaal.model.lscsystem.LscProcess
 
setProgress(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
 
setProgress(int, long, long, long, long, long, long, long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
Called when server sends a progress update on verification status.
setProgressAvail(boolean) - Method in interface com.uppaal.engine.QueryFeedback
Called before sending query to server.
setProperties(Object[]) - Method in class com.uppaal.model.core2.Element
 
setProperty(String, Object) - Method in class com.uppaal.model.core2.Element
Sets and returns the given property.
setProperty(String, Object) - Method in class com.uppaal.model.core2.Location
When setting the init property to true, the init property of all other locations in the same template is removed.
SetPropertyCommand - Class in com.uppaal.model.core2
 
SetPropertyCommand(Element, String, Object) - Constructor for class com.uppaal.model.core2.SetPropertyCommand
 
setPropertyFromPath(String, Object) - Method in class com.uppaal.model.core2.Element
 
SetPropertyWithPositionCommand - Class in com.uppaal.model.core2
 
SetPropertyWithPositionCommand(Element, String, Object, int, int) - Constructor for class com.uppaal.model.core2.SetPropertyWithPositionCommand
 
setPrototype(Element) - Method in class com.uppaal.model.core2.Element
Sets the prototype of this element to the given argument.
setPrototype(Element) - Method in class com.uppaal.model.core2.Node
Sets the prototype of this element to the given argument.
setRate(int) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
setResultText(String) - Method in interface com.uppaal.engine.QueryFeedback
Allows engine to add arbitrary text beside the "status" image.
setServerHost(String) - Method in class com.uppaal.engine.Engine
Sets the server host.
setServerHost(String) - Method in class com.uppaal.engine.EngineStub
Sets the server host.
setServerPath(String) - Method in class com.uppaal.engine.Engine
Sets the server path.
setServerPath(String) - Method in class com.uppaal.engine.EngineStub
Sets the server path.
setServerPort(int) - Method in class com.uppaal.engine.Engine
Sets the server port.
setServerPort(int) - Method in class com.uppaal.engine.EngineStub
Sets the server port.
setSimregions(ArrayList<Simregion>) - Method in class com.uppaal.model.core2.lsc.Cut
 
setSource(AbstractLocation) - Method in class com.uppaal.model.core2.Edge
Sets the origin of this edge.
setSource(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message
 
SetSourceCommand - Class in com.uppaal.model.core2
Transaction for changing the source of an edge.
SetSourceCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetSourceCommand
 
setStrict(boolean) - Method in class com.uppaal.model.system.concrete.Limit
 
setSystemInfo(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
 
setSystemInfo(long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
Called before start processing a query.
setTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream
 
setTarget(AbstractLocation) - Method in class com.uppaal.model.core2.Edge
Sets the destination of this edge.
setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
 
setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message
 
setTarget(ConcreteState) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
SetTargetCommand - Class in com.uppaal.model.core2
Transaction for changing the target of an edge.
SetTargetCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetTargetCommand
 
setTime(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteState
 
setTrace(char, String, ArrayList<SymbolicTransition>, int) - Method in interface com.uppaal.engine.QueryFeedback
Called when the complete trace has been loaded.
setUpdate(Update) - Method in class com.uppaal.model.core2.lsc.Simregion
 
setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
 
setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
 
setVariables(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
 
setVersion(int) - Method in class com.uppaal.model.core2.AbstractCommand
 
setVersion(int) - Method in interface com.uppaal.model.core2.Command
 
setXMLResolver(XMLResolver) - Static method in class com.uppaal.model.io2.XMLReader
Set a custom XMLResolver to be used with XMLEventReader.
showEditor(JFrame) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
 
sibling - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
 
SimpleCharStream - Class in com.uppaal.model.io2
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class com.uppaal.model.io2.SimpleCharStream
Constructor.
Simregion - Class in com.uppaal.model.core2.lsc
 
Simregion(Element) - Constructor for class com.uppaal.model.core2.lsc.Simregion
 
simregions - Variable in class com.uppaal.model.core2.lsc.Cut
 
singleCoord(Element) - Method in class com.uppaal.model.io2.UGIReader
 
size() - Method in class com.uppaal.model.system.Trace
 
skipProblems() - Method in class com.uppaal.engine.Parser
 
SLASH - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
SLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
SNAP_PER_GRID - Static variable in interface com.uppaal.model.core2.CommonConstants
 
SnapCommand - Class in com.uppaal.model.core2
Command to snap template elements to a grid.
SnapCommand(AbstractTemplate, double) - Constructor for class com.uppaal.model.core2.SnapCommand
 
source - Variable in class com.uppaal.model.core2.Edge
 
source - Variable in class com.uppaal.model.core2.lsc.Message
 
source() - Method in class com.uppaal.model.io2.XMLReader
 
specialToken - Variable in class com.uppaal.model.io2.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
STATE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
state - Variable in class com.uppaal.model.system.concrete.ConcreteSuccessor
 
STATE_COMMIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius of the inner symbol of committed locations.
STATE_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for state vertex fill.
STATE_INIT_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for initial state inner circle outline.
STATE_INIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius of the inner circle symbolising a initial state.
STATE_LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for state labels.
STATE_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for state vertex outline.
STATE_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius of a location.
STATE_URGENT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
Radius of the inner symbol of urgent locations.
staticFlag - Static variable in class com.uppaal.model.io2.SimpleCharStream
Whether parser is static.
stub - Variable in class com.uppaal.engine.Engine
The stub for the server connection.
submit(Job) - Method in class com.uppaal.engine.Engine
 
subtract(float, float) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point with this point's coordinates subtracted by the given coordinates.
subtract(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
Returns a point with this point's coordinates subtracted by the given point.
subtract(int, int) - Method in class com.uppaal.model.io2.IntPoint
Returns a point with this point's coordinates subtracted by the given coordinates.
subtract(Point2D) - Method in class com.uppaal.model.io2.IntPoint
Returns a point with this point's coordinates subtracted by the given point.
swap() - Method in class com.uppaal.model.core2.SetEndPointCommand
 
swap() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
SwitchTo(int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
Switch to specified lex state.
SwitchTo(int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
Switch to specified lex state.
SymbolicState - Class in com.uppaal.model.system.symbolic
 
SymbolicState(SystemLocation[], int[], Polyhedron) - Constructor for class com.uppaal.model.system.symbolic.SymbolicState
 
SymbolicTransition - Class in com.uppaal.model.system.symbolic
 
SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
 
SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState, String) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
 
SYNC - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
SYNC - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
SYNC_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for synchronisation labels.
system(Document) - Method in class com.uppaal.model.io2.XMLReader
Parse optional system tag.
SYSTEM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
SystemCondition - Class in com.uppaal.model.lscsystem
 
SystemCondition(LscProcess, int, String, Condition) - Constructor for class com.uppaal.model.lscsystem.SystemCondition
 
SystemCut - Class in com.uppaal.model.lscsystem
 
SystemCut(SystemSimregion[], int[], Polyhedron) - Constructor for class com.uppaal.model.lscsystem.SystemCut
 
SYSTEMDEF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
systemDefGI() - Method in class com.uppaal.model.io2.UGIReader
 
SystemEdge - Class in com.uppaal.model.system
 
SystemEdge(Process, int, String, Edge) - Constructor for class com.uppaal.model.system.SystemEdge
 
SystemEdgeSelect - Class in com.uppaal.model.system
 
SystemEdgeSelect(Process, int, String, Edge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
 
SystemEdgeSelect(SystemEdge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
 
SystemInstanceLine - Class in com.uppaal.model.lscsystem
 
SystemInstanceLine(LscProcess, int, InstanceLine) - Constructor for class com.uppaal.model.lscsystem.SystemInstanceLine
 
SystemLocation - Class in com.uppaal.model.system
 
SystemMessage - Class in com.uppaal.model.lscsystem
 
SystemMessage(LscProcess, int, String, Message) - Constructor for class com.uppaal.model.lscsystem.SystemMessage
 
SystemPrechart - Class in com.uppaal.model.lscsystem
 
SystemPrechart(LscProcess, Prechart) - Constructor for class com.uppaal.model.lscsystem.SystemPrechart
 
SystemSimregion - Class in com.uppaal.model.lscsystem
 
systemSpec(Document) - Method in class com.uppaal.model.io2.XTAReader
 
SystemState - Class in com.uppaal.model.system
 
SystemState(SystemLocation[]) - Constructor for class com.uppaal.model.system.SystemState
 
SystemUpdate - Class in com.uppaal.model.lscsystem
 
SystemUpdate(LscProcess, int, String, Update) - Constructor for class com.uppaal.model.lscsystem.SystemUpdate
 

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() - Method in class com.uppaal.model.io2.XMLReader
 
target - Variable in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
 
temperature(Node) - Method in class com.uppaal.model.io2.XMLReader
Parse the temperature tag for a condition
Template - Class in com.uppaal.model.core2
 
Template(Element) - Constructor for class com.uppaal.model.core2.Template
 
TEMPLATE_NAME_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
TEMPLATE_PARAMLIST_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
TEMPLATENAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
templates(Document) - Method in class com.uppaal.model.io2.XMLReader
 
TIMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
Token - Class in com.uppaal.model.io2
Describes the input token stream.
Token() - Constructor for class com.uppaal.model.io2.Token
No-argument constructor
Token(int) - Constructor for class com.uppaal.model.io2.Token
Constructs a new token for the specified Image.
Token(int, String) - Constructor for class com.uppaal.model.io2.Token
Constructs a new token for the specified Image and Kind.
token - Variable in class com.uppaal.model.io2.UGIReader
Current token.
token - Variable in class com.uppaal.model.io2.XTAReader
Current token.
token_source - Variable in class com.uppaal.model.io2.UGIReader
Generated Token Manager.
token_source - Variable in class com.uppaal.model.io2.XTAReader
Generated Token Manager.
tokenImage - Variable in exception com.uppaal.model.io2.ParseException
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
Literal token values.
tokenImage - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
Literal token values.
TokenMgrError - Error in com.uppaal.model.io2
Token Manager Error.
TokenMgrError() - Constructor for error com.uppaal.model.io2.TokenMgrError
No arg constructor.
TokenMgrError(String, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
Constructor with message and reason.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
Full Constructor.
TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
toServerFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Convert to format used to send to server.
toServerFormat() - Method in class com.uppaal.model.system.Transition
Convert to format used to send to server.
toString() - Method in exception com.uppaal.engine.EngineException
 
toString() - Method in class com.uppaal.engine.Problem
 
toString() - Method in class com.uppaal.model.io2.FloatPoint
Returns a string representation of this object
toString() - Method in class com.uppaal.model.io2.IntPoint
Returns a string representation of this object.
toString() - Method in class com.uppaal.model.io2.Token
Returns the image.
toString() - Method in class com.uppaal.model.system.concrete.Limit
 
toString() - Method in class com.uppaal.model.system.GanttBar
 
toString() - Method in class com.uppaal.model.system.Polyhedron
 
toTime - Variable in class com.uppaal.model.system.GanttBar
 
TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
TOUCH_INSTANCE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
 
toXTRFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Convert to format used in XTR files.
Trace - Class in com.uppaal.model.system
This class can be used for a combinated symbolic and concrete trace, or just one of them.
Trace(SymbolicState) - Constructor for class com.uppaal.model.system.Trace
 
Trace(ConcreteState) - Constructor for class com.uppaal.model.system.Trace
 
Trace(ConcreteState, SymbolicState) - Constructor for class com.uppaal.model.system.Trace
 
TRACE_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
 
traceFormat() - Method in class com.uppaal.model.AbstractSystemState
Convert to visual format used in simulator.
traceFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
Convert to visual format used in simulator.
traceFormat() - Method in class com.uppaal.model.system.SystemState
Convert to visual format used in simulator.
traceFormat() - Method in class com.uppaal.model.system.Transition
Convert to visual format used in simulator.
TRANS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
RegularExpression Id.
TRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
TRANS_COL - Static variable in interface com.uppaal.model.core2.Constants
Color for transition edge outline.
TRANS_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.Constants
The distance from a transition where it is touched.
transIdent() - Method in class com.uppaal.model.io2.UGIReader
 
Transition - Class in com.uppaal.model.system
Transition represents a discrete transition of the system.
Transition(SymbolicState, SystemEdge[], SymbolicState) - Constructor for class com.uppaal.model.system.Transition
 
Transition(SymbolicState, SystemEdge[], SymbolicState, String) - Constructor for class com.uppaal.model.system.Transition
 
transitions - Variable in class com.uppaal.model.system.concrete.ConcreteSuccessor
 
translate(String) - Method in class com.uppaal.model.system.EmptyTranslator
 
translate(String) - Method in class com.uppaal.model.system.IdentifierTranslator
Returns a translated string where all identifiers have been replaced (by some actual parameter) if they denote a formal parameter..
translate(String) - Method in interface com.uppaal.model.system.Translator
 
translate(String) - Method in interface com.uppaal.model.Translator
 
TranslationCommand - Class in com.uppaal.model.core2
Translates (in the geometrical meaning) a set of elements.
TranslationCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.TranslationCommand
 
TranslationMessageLabelCommand - Class in com.uppaal.model.core2.lsc
 
TranslationMessageLabelCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
 
TranslationXCommand - Class in com.uppaal.model.core2.lsc
Translates (in the geometrical meaning) a set of elements.
TranslationXCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationXCommand
 
TranslationYCommand - Class in com.uppaal.model.core2.lsc
Translates (in the geometrical meaning) a set of elements.
TranslationYCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationYCommand
 
translator - Variable in class com.uppaal.model.AbstractProcess
The translator to use for this process.
Translator - Interface in com.uppaal.model.system
 
Translator - Interface in com.uppaal.model
 
trim() - Method in class com.uppaal.model.system.Polyhedron
 
truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttChart
 
truncate(int) - Method in class com.uppaal.model.system.GanttChart
 
truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttRow
 
type(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
 

U

UGIReader - Class in com.uppaal.model.io2
A parser that can read a file and modify pos tags in a Document.
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.
UGIReader(UGIReaderTokenManager) - Constructor for class com.uppaal.model.io2.UGIReader
Constructor with generated Token Manager.
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.
UNCONTROLLABLETRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
RegularExpression Id.
undo() - Method in class com.uppaal.model.core2.AbstractTransaction
 
undo() - Method in interface com.uppaal.model.core2.Command
 
undo() - Method in class com.uppaal.model.core2.CompoundCommand
 
undo() - Method in class com.uppaal.model.core2.Document
Undo last command.
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.RemoveTemplateCommand
 
undo() - Method in class com.uppaal.model.core2.SetPropertyCommand
 
undo() - Method in class com.uppaal.model.core2.SnapCommand
 
undoList - Variable in class com.uppaal.model.core2.Document
Commands on the undo stack.
undone(Document, 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
 
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
 
upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol
 
upload(Document) - 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) - 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) - Method in class com.uppaal.engine.KeyValueProtocol
 
upload(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol
Upload the document to the server.
upload(Document) - 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
 
uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol
 
uploadLsc(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol
 
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
 
UppaalSystem(Document) - Constructor for class com.uppaal.model.system.UppaalSystem
 
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.

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
 
version - Variable in class com.uppaal.model.core2.Document
The version increases with every command executed.
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.XMLWriter
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 

W

WORD - Static variable in class com.uppaal.engine.LexicalAnalyser
 
write(String) - Method in class com.uppaal.engine.DotProtocol
Writes the string to the output stream following by a newline.
write(Object) - Method in class com.uppaal.engine.DotProtocol
 
write(BigDecimal) - Method in class com.uppaal.engine.DotProtocol
 
write(ConcreteState, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
 
write(SystemEdge[]) - Method in class com.uppaal.engine.DotProtocol
 
write(SystemEdgeSelect[]) - Method in class com.uppaal.engine.DotProtocol
 
writeAttributes(Element) - Method in class com.uppaal.model.io2.XMLWriter
 
writeColor(Location) - Method in class com.uppaal.model.io2.UGIWriter
 
writeColor(Edge, EdgeId) - 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
 
writeNonEmptyProperty(Element, String, String) - Method in class com.uppaal.model.io2.XTAWriter
 
writeNonEmptyProperty(Element, String) - Method in class com.uppaal.model.io2.XTAWriter
 
writeProperty(String, String, int, int, Location) - 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
 
writePropertyAsLabel(Element, String) - Method in class com.uppaal.model.io2.XMLWriter
 
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
Convert to format used to send to server.
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
 
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.SystemEdge
 
writeXTRFormat(Writer) - Method in class com.uppaal.model.system.SystemEdgeSelect
 
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
 
XMLReader - Class in com.uppaal.model.io2
 
XMLReader(InputStream) - Constructor for class com.uppaal.model.io2.XMLReader
 
XMLWriter - Class in com.uppaal.model.io2
 
XMLWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XMLWriter
 
XMLWriter(Writer) - Constructor for class com.uppaal.model.io2.XMLWriter
 
xStart - Variable in class com.uppaal.model.system.GanttBar
 
xStop - Variable in class com.uppaal.model.system.GanttBar
 
XTAReader - Class in com.uppaal.model.io2
 
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.
XTAReader(XTAReaderTokenManager) - Constructor for class com.uppaal.model.io2.XTAReader
Constructor with generated Token Manager.
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
 
yLocation(LscElement, String) - Method in class com.uppaal.model.io2.XMLReader
 
yloccoord(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
 
yStart - Variable in class com.uppaal.model.system.GanttBar
 
yStop - 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 

Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.