Index

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

A

AbstractCommand - Class in com.uppaal.model.core2

AbstractCommand() - Constructor for class com.uppaal.model.core2.AbstractCommand

AbstractEventListener - Class in com.uppaal.model.core2

Abstract listener class to listen for element events.

AbstractEventListener() - Constructor for class com.uppaal.model.core2.AbstractEventListener

AbstractLocation - Class in com.uppaal.model.core2

Common "interface" for Location and BranchPoint, to let Edge use either as endpoint.

AbstractLocation(Element) - Constructor for class com.uppaal.model.core2.AbstractLocation

AbstractProcess - Class in com.uppaal.model

AbstractProcess(String, int, AbstractTemplate, Translator) - Constructor for class com.uppaal.model.AbstractProcess

AbstractSystem - Class in com.uppaal.model

The abstract system class

AbstractSystem() - Constructor for class com.uppaal.model.AbstractSystem

Constructor

AbstractSystem(Document) - Constructor for class com.uppaal.model.AbstractSystem

Constructor

AbstractSystemLocation - Class in com.uppaal.model

AbstractSystemLocation(AbstractProcess, int) - Constructor for class com.uppaal.model.AbstractSystemLocation

AbstractSystemState - Class in com.uppaal.model

AbstractSystemState(int[], Polyhedron) - Constructor for class com.uppaal.model.AbstractSystemState

AbstractTemplate - Class in com.uppaal.model.core2

AbstractTemplate has two subclasses: Template (for TA) and LscTemplate (for LSC)

AbstractTemplate(Element) - Constructor for class com.uppaal.model.core2.AbstractTemplate

AbstractTrace<Transition extends AbstractTransition> - Class in com.uppaal.model.system

AbstractTrace() - Constructor for class com.uppaal.model.system.AbstractTrace

AbstractTransaction - Class in com.uppaal.model.core2

The abstract class transaction

AbstractTransaction(CommandManager) - Constructor for class com.uppaal.model.core2.AbstractTransaction

Constructor

AbstractTransition - Class in com.uppaal.model.system

AbstractTransition(SystemEdgeSelect[]) - Constructor for class com.uppaal.model.system.AbstractTransition

AbstractVisitor - Class in com.uppaal.model.core2

Abstract implementation of the visitor interface.

AbstractVisitor() - Constructor for class com.uppaal.model.core2.AbstractVisitor

accept(Visitor) - Method in class com.uppaal.model.core2.AbstractTemplate

accept(Visitor) - Method in class com.uppaal.model.core2.BranchPoint

accept(Visitor) - Method in class com.uppaal.model.core2.Document

accept(Visitor) - Method in class com.uppaal.model.core2.Edge

accept(Visitor) - Method in class com.uppaal.model.core2.Element

Accept a visitor.

accept(Visitor) - Method in class com.uppaal.model.core2.Location

accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Condition

accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Cut

accept(Visitor) - Method in class com.uppaal.model.core2.lsc.InstanceLine

accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Message

accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Prechart

accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Update

accept(Visitor) - Method in class com.uppaal.model.core2.Nail

accept(Visitor) - Method in class com.uppaal.model.core2.Node

accept(Visitor) - Method in class com.uppaal.model.core2.Property

accept(Visitor) - Method in class com.uppaal.model.core2.Query

Query property has a visitor

accept(Visitor) - Method in class com.uppaal.model.core2.QueryList

The query model has a visitor

acceptSafe(Visitor) - Method in class com.uppaal.model.core2.Element

Like to accept(), but cannot throw an Exception.

add(int, int) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point with this point's coordinates added with the given coordinates.

add(int, int) - Method in class com.uppaal.model.io2.IntPoint

Returns a point with this point's coordinates added with the given coordinates.

add(int, int, int) - Method in class com.uppaal.model.system.Polyhedron

add(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart

add(Simregion) - Method in class com.uppaal.model.core2.lsc.Cut

add(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point with this point's coordinates added with the given point.

add(Point) - Method in class com.uppaal.model.io2.IntPoint

Returns a point with this point's coordinates added with the given point.

add(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Add the input value into the limit value

add(Transition) - Method in class com.uppaal.model.system.AbstractTrace

addAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition

addAnchor(InstanceLine, int) - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand

AddAnchorCommand - Class in com.uppaal.model.core2.lsc

AddAnchorCommand(CommandManager, Element) - Constructor for class com.uppaal.model.core2.lsc.AddAnchorCommand

Constructor

addBar(GanttBar) - Method in class com.uppaal.model.system.GanttRow

Adds a new Gantt-bar to row

addCommandListener(CommandListener) - Method in class com.uppaal.model.core2.CommandManager

Adds editing command listener

addComment(String) - Method in class com.uppaal.model.core2.DataSet2D

Add the comment into the array list for the comments

addCondition(Condition) - Method in class com.uppaal.model.lscsystem.LscProcess

addData(DataSet2D) - Method in class com.uppaal.model.core2.QueryData

Add the dataset into the array list for the DataSet2D

addData(String, String, Color) - Method in class com.uppaal.model.core2.DataSet2D

Add a new data

addData2D(Data2D) - Method in class com.uppaal.model.core2.DataSet2D

Add the data2D

addEscapes(String) - Static method in error com.uppaal.model.io2.TokenMgrError

Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string

addInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

addInstanceLine(InstanceLine) - Method in class com.uppaal.model.lscsystem.LscProcess

addLast(Query) - Method in class com.uppaal.model.core2.QueryList

Added the query at the last query

addListener(EventListener) - Method in class com.uppaal.model.core2.Element

Adds an event listener.

addMessage(Message) - Method in class com.uppaal.model.lscsystem.LscProcess

addNail(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand

Add nail that the graphical layout of the edge.

addNonStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron

addProcess(String, String, Translator) - Method in class com.uppaal.model.AbstractSystem

Add process data

addProcess(String, String, Translator) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

addProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem

addProcess(String, String, Translator, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem

Added for concrete simulation - edge map as extra argument

addQueryListener(QueryListener) - Method in class com.uppaal.model.core2.Query

addQueryListListener(QueryListListener) - Method in class com.uppaal.model.core2.QueryList

addRow(GanttRow) - Method in class com.uppaal.model.system.GanttChart

Add a new row into the chart

addSample(double, double) - Method in class com.uppaal.model.core2.Data2D

addSample(double, double) - Method in class com.uppaal.model.core2.DataSet2D

Add a new sample

addSample(Point2D.Double) - Method in class com.uppaal.model.core2.Data2D

addSample(Point2D.Double) - Method in class com.uppaal.model.core2.DataSet2D

Add a new sample into the array list of the Data2D

addStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron

addUpdate(Update) - Method in class com.uppaal.model.lscsystem.LscProcess

adjustBeginLineColumn(int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Method to adjust line and column numbers for the start of a token.

afterInsertion(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener

afterInsertion(Node, Node) - Method in interface com.uppaal.model.core2.EventListener

afterMove(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener

afterMove(Node, Node) - Method in interface com.uppaal.model.core2.EventListener

afterRemoval(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener

afterRemoval(Node, Node) - Method in interface com.uppaal.model.core2.EventListener

anchor - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand

anchor(Update) - Method in class com.uppaal.model.io2.XMLReader

Get the update anchor instance

ANCHOR_PRECHART_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

ANCHOR_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener

anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener

AnchoredElement - Class in com.uppaal.model.core2.lsc

AnchoredElement(Element) - Constructor for class com.uppaal.model.core2.lsc.AnchoredElement

anchoredToCondition - Variable in class com.uppaal.model.core2.lsc.Update

anchors(Condition) - Method in class com.uppaal.model.io2.XMLReader

Get the anchor instances for a condition

append(SystemEdgeSelect[], SymbolicState) - Method in class com.uppaal.model.system.Trace

append(BigDecimal, SystemEdgeSelect[], ConcreteState) - Method in class com.uppaal.model.system.Trace

append(BigDecimal, SystemEdgeSelect[], ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace

append(Transition) - Method in interface com.uppaal.model.system.TraceListener

AppendQueriesCommand - Class in com.uppaal.model.core2

A transaction command for inserting queries.

AppendQueriesCommand(QueryList, QueryList) - Constructor for class com.uppaal.model.core2.AppendQueriesCommand

Append the imported queries into the model xml file

appendText(String) - Method in interface com.uppaal.engine.QueryFeedback

Allows engine to add arbitrary text to the verifier status field.

AREA_SELECT_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Color for area select rectangle.

ARROW_ANGLE - Static variable in interface com.uppaal.model.core2.CommonConstants

Radian angle of arrow head lines on transition edges.

ARROW_BASE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

ARROW_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

ARROW_LENGTH - Static variable in interface com.uppaal.model.core2.CommonConstants

Length of the arrow head lines on transition edges.

ASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

ASSIGN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

ASSIGN_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for assignments labels.

B

backup(int) - Method in class com.uppaal.model.io2.SimpleCharStream

Backup a number of characters.

bars - Variable in class com.uppaal.model.system.GanttRow

BECOMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

beforeRemoval(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener

beforeRemoval(Node, Node) - Method in interface com.uppaal.model.core2.EventListener

begin(String) - Method in class com.uppaal.model.io2.XMLReader

Read until the beginning of a given tag.

beginColumn - Variable in class com.uppaal.model.io2.Token

The column number of the first character of this Token.

beginLine - Variable in class com.uppaal.model.io2.Token

The line number of the first character of this Token.

BeginToken() - Method in class com.uppaal.model.io2.SimpleCharStream

Start.

BIGFONT - Static variable in interface com.uppaal.model.core2.CommonConstants

BIGFONTNAME - Static variable in interface com.uppaal.model.core2.CommonConstants

BLOCK - Static variable in class com.uppaal.engine.LexicalAnalyser

body(Template) - Method in class com.uppaal.model.io2.XTAReader

BODY - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

bodyBranchPoint(Template, Map) - Method in class com.uppaal.model.io2.XTAReader

bodyBranchPoints(Template, Map) - Method in class com.uppaal.model.io2.XTAReader

bodyCommitted(Map) - Method in class com.uppaal.model.io2.XTAReader

bodyInit(Template, Map) - Method in class com.uppaal.model.io2.XTAReader

bodyState(Template, Map) - Method in class com.uppaal.model.io2.XTAReader

bodyStates(Template, Map) - Method in class com.uppaal.model.io2.XTAReader

bodyTransitions(Template, Map) - Method in class com.uppaal.model.io2.XTAReader

bodyTransitionSymbol() - Method in class com.uppaal.model.io2.XTAReader

bodyUrgent(Map) - Method in class com.uppaal.model.io2.XTAReader

boldMetrics - Static variable in class com.uppaal.model.io2.BoundCalc

boldWidth(String) - Static method in class com.uppaal.model.io2.BoundCalc

Computes the width of string s in bol

BOTH - Static variable in class com.uppaal.engine.EngineStub

Try remote connection first, then local.

BoundCalc - Class in com.uppaal.model.io2

BoundCalc() - Constructor for class com.uppaal.model.io2.BoundCalc

BoundCalc(Translator) - Constructor for class com.uppaal.model.io2.BoundCalc

BranchPoint - Class in com.uppaal.model.core2

BranchPoint splits an edge into several probabilistic branches.

BranchPoint(Element) - Constructor for class com.uppaal.model.core2.BranchPoint

BRANCHPOINT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

BRANCHPOINT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

BRANCHPOINT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of a branchpoint.

branchpoints(Template) - Method in class com.uppaal.model.io2.XMLReader

Parse the branchpoint tag: x, y, color and id attributes.

bufcolumn - Variable in class com.uppaal.model.io2.SimpleCharStream

buffer - Variable in class com.uppaal.model.io2.SimpleCharStream

bufline - Variable in class com.uppaal.model.io2.SimpleCharStream

bufpos - Variable in class com.uppaal.model.io2.SimpleCharStream

Position in buffer.

C

CachedOutputStream - Class in com.uppaal.model.io2

CachedOutputStream buffers the stream while ignoring flushing.

CachedOutputStream(File) - Constructor for class com.uppaal.model.io2.CachedOutputStream

CachedOutputStream(File, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream

CachedOutputStream(OutputStream) - Constructor for class com.uppaal.model.io2.CachedOutputStream

CachedOutputStream(OutputStream, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream

cancel() - Method in class com.uppaal.engine.Engine

Forced disconnection from the server.

cancel() - Method in class com.uppaal.model.core2.AbstractTransaction

Cancel the transaction.

CannotEvaluateException - Exception in com.uppaal.engine

The exception class for 'transition'

CannotEvaluateException(int, int, String, String, String, int, int) - Constructor for exception com.uppaal.engine.CannotEvaluateException

Constructor

CannotRedoException - Exception in com.uppaal.model.core2

CannotRedoException() - Constructor for exception com.uppaal.model.core2.CannotRedoException

CannotUndoException - Exception in com.uppaal.model.core2

CannotUndoException() - Constructor for exception com.uppaal.model.core2.CannotUndoException

canRedo() - Method in class com.uppaal.model.core2.CommandManager

Can redo

canUndo() - Method in class com.uppaal.model.core2.CommandManager

Can undo

CHAN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

changeAnchor(int) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

Change anchor

ChangeAnchorCommand - Class in com.uppaal.model.core2.lsc

The class change anchor command

ChangeAnchorCommand(CommandManager, Element) - Constructor for class com.uppaal.model.core2.lsc.ChangeAnchorCommand

Constructor

changeEnd(int) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

Change the end of the message

ChangeMessageEndCommand - Class in com.uppaal.model.core2.lsc

ChangeMessageEndCommand(CommandManager, Element, boolean) - Constructor for class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

Constructor

changeSource - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

CLBR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

CLBRACE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

clearAfterState(int) - Method in class com.uppaal.model.system.Trace

clearChart() - Method in class com.uppaal.model.system.GanttChart

Clear the rows, but keep id-strings and empty lists for each row

clearData() - Method in class com.uppaal.model.core2.QueryData

Remove the array list data of the dataSet2D

clearRow() - Method in class com.uppaal.model.system.GanttRow

Clear the gantt row

CLOCK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

clocks - Variable in class com.uppaal.model.AbstractSystem

clone() - Method in class com.uppaal.model.core2.AbstractTemplate

clone() - Method in class com.uppaal.model.core2.Element

Returns a deep clone of the element.

clone() - Method in class com.uppaal.model.core2.lsc.LscTemplate

Returns a deep clone of the template.

clone() - Method in class com.uppaal.model.core2.Node

Returns a deep clone of the node.

clone() - Method in class com.uppaal.model.core2.Template

Returns a deep clone of the template.

clone() - Method in class com.uppaal.model.system.concrete.Limit

clone() - Method in class com.uppaal.model.system.GanttBar

clone() - Method in class com.uppaal.model.system.GanttChart

clone() - Method in class com.uppaal.model.system.GanttRow

Make a clone of the gantt row

close() - Method in class com.uppaal.engine.DotProtocol

close() - Method in class com.uppaal.engine.KeyValueProtocol

close() - Method in interface com.uppaal.engine.Protocol

Disconnect from the server.

close() - Method in class com.uppaal.model.io2.CachedOutputStream

CLOSE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

CLPAR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

COLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

color(Element) - Method in class com.uppaal.model.io2.UGIReader

COLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

column - Variable in class com.uppaal.model.io2.SimpleCharStream

com.uppaal.engine - package com.uppaal.engine

Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.

com.uppaal.model - package com.uppaal.model

Provides support for UPPAAL models, visit the Document as a starting point.

com.uppaal.model.core2 - package com.uppaal.model.core2

Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.

com.uppaal.model.core2.lsc - package com.uppaal.model.core2.lsc

com.uppaal.model.io2 - package com.uppaal.model.io2

Provides support for reading and writing UPPAAL models from and to XTA and XML files.

com.uppaal.model.lscsystem - package com.uppaal.model.lscsystem

com.uppaal.model.system - package com.uppaal.model.system

Provides classes for representing instantiated UPPAAL systems.

com.uppaal.model.system.concrete - package com.uppaal.model.system.concrete

com.uppaal.model.system.symbolic - package com.uppaal.model.system.symbolic

COMMA - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

COMMA - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

Command - Interface in com.uppaal.model.core2

Interface for commands.

CommandListener - Interface in com.uppaal.model.core2

Listener interface to listen for editing Commands performed on a command.

commandManager - Variable in class com.uppaal.model.core2.AbstractTransaction

CommandManager - Class in com.uppaal.model.core2

The central class for the command manager

CommandManager() - Constructor for class com.uppaal.model.core2.CommandManager

Default constructor.

CommandManager(CommandManager) - Constructor for class com.uppaal.model.core2.CommandManager

Copy constructor, because "clone()" idiom is badly broken and only version number is preserved anyway.

commands - Variable in class com.uppaal.model.core2.CompoundCommand

COMMENTS_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for comments.

commit() - Method in class com.uppaal.model.core2.AbstractTransaction

Commit the transaction.

commit() - Method in class com.uppaal.model.core2.InsertEdgeCommand

commit(AbstractLocation) - Method in class com.uppaal.model.core2.InsertEdgeCommand

Commit setting of the destination of this edge

COMMIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

commitBranchPoint(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand

Commit the branch point

commitLocation(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand

Commit the location

committed - Variable in class com.uppaal.model.core2.AbstractTransaction

committed(Location) - Method in class com.uppaal.model.io2.XMLReader

Parse optional committed tag.

CommonConstants - Interface in com.uppaal.model.core2

Defines various constants used by the model representation.

CompoundCommand - Class in com.uppaal.model.core2

CompoundCommand(Command...) - Constructor for class com.uppaal.model.core2.CompoundCommand

ConcreteState - Class in com.uppaal.model.system.concrete

ConcreteState(Limit, SystemLocation[], ConcreteVariable[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteState

ConcreteSuccessor - Class in com.uppaal.model.system.concrete

ConcreteSuccessor(ConcreteState, CannotEvaluateException) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor

Constructor

ConcreteSuccessor(ConcreteState, ConcreteTransition[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor

Constructor

ConcreteTrace - Class in com.uppaal.model.system.concrete

ConcreteTrace() - Constructor for class com.uppaal.model.system.concrete.ConcreteTrace

ConcreteTransition - Class in com.uppaal.model.system.concrete

ConcreteTransition(SystemEdgeSelect[], int, int, Limit, Limit, Limit, Limit) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransition

ConcreteTransitionRecord - Class in com.uppaal.model.system.concrete

ConcreteTransitionRecord(BigDecimal, SystemEdgeSelect[], ConcreteState) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransitionRecord

ConcreteVariable - Class in com.uppaal.model.system.concrete

ConcreteVariable(BigDecimal, int) - Constructor for class com.uppaal.model.system.concrete.ConcreteVariable

condition - Variable in class com.uppaal.model.core2.lsc.Simregion

Condition - Class in com.uppaal.model.core2.lsc

Condition(Element) - Constructor for class com.uppaal.model.core2.lsc.Condition

CONDITION_COLD_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

CONDITION_HOT_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

CONDITION_SIDES - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

CONDITION_UPDATE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

conditions(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the conditions data, tag 'condition'

connect() - Method in class com.uppaal.engine.Engine

Connects to the server, if not already connected.

connect() - Method in class com.uppaal.engine.EngineStub

Connect to the server.

connected() - Method in class com.uppaal.engine.Engine

Called whenever a connection to the server is established.

CONST - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

Constants - Interface in com.uppaal.model.core2

Defines various constants used by the model representation.

ConvertSyntaxVisitor - Class in com.uppaal.model

Class convert syntax visitor

ConvertSyntaxVisitor() - Constructor for class com.uppaal.model.ConvertSyntaxVisitor

convertToNail(int, int) - Method in class com.uppaal.model.core2.SetEndPointCommand

Inserts a new nail next to the endpoint and the given position.

copy() - Method in class com.uppaal.model.io2.IntPoint

Creates a new point from a given IntPoint point.

counter - Variable in class com.uppaal.model.io2.XMLWriter

cover(Transition) - Method in interface com.uppaal.model.system.TraceListener

createBranchPoint() - Method in class com.uppaal.model.core2.Template

Create a new branch point with this template as the parent and optionally a prototype according to the '#branchpoint' property of the template.

createCondition() - Method in class com.uppaal.model.core2.lsc.LscTemplate

createCut() - Method in class com.uppaal.model.core2.lsc.LscTemplate

createEdge() - Method in class com.uppaal.model.core2.Template

Create a new edge with this template as the parent and optionally a prototype according to the '#edge' property of the template.

createEdgeCon(int, int, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem

Find the edge of the process and select the value

createInstanceLine() - Method in class com.uppaal.model.core2.lsc.LscTemplate

createLocation() - Method in class com.uppaal.model.core2.Template

Create a new location with this template as the parent and optionally a prototype according to the '#location' property of the template.

createLscTemplate() - Method in class com.uppaal.model.core2.Document

Creates a new stand-alone LSC template using a LSC prototype from the document.

createMessage() - Method in class com.uppaal.model.core2.lsc.LscTemplate

createNail() - Method in class com.uppaal.model.core2.Edge

Creates a nail based on prototype, the nail has to be inserted into an edge.

createPrechart() - Method in class com.uppaal.model.core2.lsc.LscTemplate

createTemplate() - Method in class com.uppaal.model.core2.Document

Creates a new stand-alone TA template using a template prototype from the document.

createUGIWriter(OutputStream) - Method in class com.uppaal.model.io2.XTAWriter

Create and return a new UGI writer.

createUpdate() - Method in class com.uppaal.model.core2.lsc.LscTemplate

curChar - Variable in class com.uppaal.model.io2.UGIReaderTokenManager

curChar - Variable in class com.uppaal.model.io2.XTAReaderTokenManager

currentToken - Variable in exception com.uppaal.model.io2.ParseException

This is the last token that has been consumed successfully.

Cut - Class in com.uppaal.model.core2.lsc

Cut(Element) - Constructor for class com.uppaal.model.core2.lsc.Cut

CUT_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

CUT_Y_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

cycle - Variable in class com.uppaal.model.system.symbolic.SymbolicTrace

D

Data2D - Class in com.uppaal.model.core2

Data2D(String, String, Color) - Constructor for class com.uppaal.model.core2.Data2D

DataSet2D - Class in com.uppaal.model.core2

The class data set 2D

DataSet2D(String, String, String) - Constructor for class com.uppaal.model.core2.DataSet2D

Constructor

debugStream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager

Debug output.

debugStream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager

Debug output.

declaration(Document) - Method in class com.uppaal.model.io2.XTAReader

declaration(Node) - Method in class com.uppaal.model.io2.XMLReader

Parse the 'declaration' text.

DEFAULT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

Lexical state.

DEFAULT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

Lexical state.

DEFAULT_HOST - Static variable in class com.uppaal.engine.EngineStub

The default host for remote connections.

DEFAULT_PORT - Static variable in class com.uppaal.engine.EngineStub

The default port for remote connections.

destination(Template, Map, AbstractLocation, boolean) - Method in class com.uppaal.model.io2.XTAReader

disable_tracing() - Method in class com.uppaal.model.io2.UGIReader

Disable tracing.

disable_tracing() - Method in class com.uppaal.model.io2.XTAReader

Disable tracing.

disconnect() - Method in class com.uppaal.engine.Engine

Disconnect from the server.

disconnect() - Method in class com.uppaal.engine.EngineStub

Disconnect from the server.

disconnected() - Method in class com.uppaal.engine.Engine

Called when disconnecting from the server.

divide(float) - Method in class com.uppaal.model.io2.IntPoint

doCancel() - Method in class com.uppaal.model.core2.AbstractTransaction

doCancel() - Method in class com.uppaal.model.core2.InsertEdgeCommand

doCancel() - Method in class com.uppaal.model.core2.InsertElementCommand

doCancel() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

doCancel() - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand

doCancel() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

doCancel() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.lsc.TranslationYCommand

Undo the translation.

doCancel() - Method in class com.uppaal.model.core2.SetEndPointCommand

doCancel() - Method in class com.uppaal.model.core2.TranslationCommand

Undo the translation.

document - Variable in class com.uppaal.model.AbstractSystem

Document - Class in com.uppaal.model.core2

Model for a network of timed automata as defined in UPPAAL.

Document() - Constructor for class com.uppaal.model.core2.Document

Constructor without a prototype.

Document(Element) - Constructor for class com.uppaal.model.core2.Document

Constructor using the given prototype.

doExecute() - Method in class com.uppaal.model.core2.AbstractTransaction

doExecute() - Method in class com.uppaal.model.core2.InsertEdgeCommand

doExecute() - Method in class com.uppaal.model.core2.InsertElementCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

doExecute() - Method in class com.uppaal.model.core2.lsc.TranslationYCommand

doExecute() - Method in class com.uppaal.model.core2.SetEndPointCommand

doExecute() - Method in class com.uppaal.model.core2.TranslationCommand

Done() - Method in class com.uppaal.model.io2.SimpleCharStream

Reset buffer when finished.

DOT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

DOT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

DotProtocol - Class in com.uppaal.engine

This class implements the interface 'protocol'

DotProtocol(InputStream, OutputStream) - Constructor for class com.uppaal.engine.DotProtocol

Constructor

DOUBLE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

doUndo() - Method in class com.uppaal.model.core2.AbstractTransaction

doUndo() - Method in class com.uppaal.model.core2.InsertEdgeCommand

doUndo() - Method in class com.uppaal.model.core2.InsertElementCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

doUndo() - Method in class com.uppaal.model.core2.lsc.TranslationYCommand

doUndo() - Method in class com.uppaal.model.core2.SetEndPointCommand

doUndo() - Method in class com.uppaal.model.core2.TranslationCommand

draw(Element, double) - Method in class com.uppaal.model.io2.BoundCalc

E

ECOLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

edge - Variable in class com.uppaal.model.core2.SetEndPointCommand

The edge on which we set the end point.

Edge - Class in com.uppaal.model.core2

Edge models discrete transitions between locations.

Edge(Element) - Constructor for class com.uppaal.model.core2.Edge

Constructs an Edge based on a prototype.

edges - Variable in class com.uppaal.model.io2.UGIWriter

edges(Template) - Method in class com.uppaal.model.io2.XMLReader

Parse the edge tag(s) if any: controllable, color, label(s) and nail(s).

edges_ws - Variable in class com.uppaal.model.system.AbstractTransition

edgeSourceChanged(Edge, AbstractLocation, AbstractLocation) - Method in class com.uppaal.model.core2.AbstractEventListener

edgeSourceChanged(Edge, AbstractLocation, AbstractLocation) - Method in interface com.uppaal.model.core2.EventListener

edgeTargetChanged(Edge, AbstractLocation, AbstractLocation) - Method in class com.uppaal.model.core2.AbstractEventListener

edgeTargetChanged(Edge, AbstractLocation, AbstractLocation) - Method in interface com.uppaal.model.core2.EventListener

element - Variable in class com.uppaal.model.core2.InsertElementCommand

element - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand

element - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

element - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

element - Variable in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

element - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand

element - Variable in class com.uppaal.model.core2.SetPropertyCommand

Element - Class in com.uppaal.model.core2

Base class for elements.

Element(Element) - Constructor for class com.uppaal.model.core2.Element

Constructor

elements - Variable in class com.uppaal.model.core2.TranslationCommand

EMPH_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

emptyMax - Static variable in class com.uppaal.model.core2.Data2D

emptyMax - Static variable in class com.uppaal.model.core2.DataSet2D

emptyMin - Static variable in class com.uppaal.model.core2.Data2D

emptyMin - Static variable in class com.uppaal.model.core2.DataSet2D

EmptyTranslator - Class in com.uppaal.model.system

A translator that does not translate anything, but merely gives back what it recieves.

EmptyTranslator() - Constructor for class com.uppaal.model.system.EmptyTranslator

enable_tracing() - Method in class com.uppaal.model.io2.UGIReader

Enable tracing.

enable_tracing() - Method in class com.uppaal.model.io2.XTAReader

Enable tracing.

END - Static variable in class com.uppaal.engine.LexicalAnalyser

endColumn - Variable in exception com.uppaal.engine.CannotEvaluateException

endColumn - Variable in class com.uppaal.model.io2.Token

The column number of the last character of this Token.

endLine - Variable in exception com.uppaal.engine.CannotEvaluateException

endLine - Variable in class com.uppaal.model.io2.Token

The line number of the last character of this Token.

Engine - Class in com.uppaal.engine

State-less wrapper for a UPPAAL server connection.

Engine() - Constructor for class com.uppaal.engine.Engine

Constructs an Engine object for local connections.

Engine(int, int, String, String) - Constructor for class com.uppaal.engine.Engine

Constructs an Engine object for the given connection settings.

EngineException - Exception in com.uppaal.engine

EngineException() - Constructor for exception com.uppaal.engine.EngineException

EngineException(String) - Constructor for exception com.uppaal.engine.EngineException

EngineException(String, Throwable) - Constructor for exception com.uppaal.engine.EngineException

EngineException(Throwable) - Constructor for exception com.uppaal.engine.EngineException

EngineStub - Class in com.uppaal.engine

A thin stub for the server protocol.

EngineStub() - Constructor for class com.uppaal.engine.EngineStub

Constructs an EngineStub in LOCAL connection mode.

EngineStub(int, int, String, String) - Constructor for class com.uppaal.engine.EngineStub

Constructs an EngineStub with the given mode, port, port and server path values.

EOF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

End of File.

EOF - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

End of File.

eol - Variable in exception com.uppaal.model.io2.ParseException

The end of line string for this machine.

EQUAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

equals(Object) - Method in class com.uppaal.model.AbstractSystemState

equals(Object) - Method in class com.uppaal.model.io2.IntPoint

Tests whether this object represents the same point as another IntPoint

equals(Object) - Method in class com.uppaal.model.system.Polyhedron

equals(Object) - Method in class com.uppaal.model.system.symbolic.SymbolicState

error(Throwable) - Method in interface com.uppaal.engine.Job

ERROR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

ERROR_EOL - Static variable in class com.uppaal.engine.LexicalAnalyser

errorContext - Variable in exception com.uppaal.engine.CannotEvaluateException

errorPath - Variable in exception com.uppaal.engine.CannotEvaluateException

escape(String) - Method in class com.uppaal.engine.KeyValueProtocol

Escape the string.

event - Variable in class com.uppaal.model.io2.XMLReader

EventListener - Interface in com.uppaal.model.core2

Listener interface to listen for element events.

EXCLMARK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

execute() - Method in class com.uppaal.model.core2.AbstractTransaction

execute() - Method in class com.uppaal.model.core2.AppendQueriesCommand

execute() - Method in interface com.uppaal.model.core2.Command

execute() - Method in class com.uppaal.model.core2.CompoundCommand

execute() - Method in class com.uppaal.model.core2.InsertQueryCommand

execute() - Method in class com.uppaal.model.core2.InsertTemplateCommand

execute() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

execute() - Method in class com.uppaal.model.core2.MoveTemplateCommand

execute() - Method in class com.uppaal.model.core2.RemoveElementCommand

execute() - Method in class com.uppaal.model.core2.RemoveQueryCommand

execute() - Method in class com.uppaal.model.core2.RemoveTemplateCommand

execute() - Method in class com.uppaal.model.core2.SetPropertyCommand

execute() - Method in class com.uppaal.model.core2.SetPropertyWithPositionCommand

execute() - Method in class com.uppaal.model.core2.SetQueryCommand

execute() - Method in class com.uppaal.model.core2.SnapCommand

execute(Command) - Method in class com.uppaal.model.core2.CommandManager

Execute a command.

execute(Command...) - Method in class com.uppaal.model.core2.CommandManager

Execute the commands

executed(CommandManager, Command) - Method in interface com.uppaal.model.core2.CommandListener

Called when the command is executed the very first time on a document.

ExpandBuff(boolean) - Method in class com.uppaal.model.io2.SimpleCharStream

expectedTokenSequences - Variable in exception com.uppaal.model.io2.ParseException

Each entry in this array is an array of integers.

EXPONENTIALRATE_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for rates of exponential labels.

EXPRATE - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

EXTERNAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

EXTERNALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

F

featuresSMC - Variable in class com.uppaal.model.io2.XTAWriter

FillBuff() - Method in class com.uppaal.model.io2.SimpleCharStream

findLscTemplate(String, boolean) - Method in class com.uppaal.model.system.UppaalSystem

findNode(String) - Method in class com.uppaal.model.system.UppaalSystem

Finds a child node from the document root node.

findTemplate(String, boolean) - Method in class com.uppaal.model.system.UppaalSystem

fireAnchorChanged(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement

fireAnchorChanged(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition

fireAnchorChanged(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update

first - Variable in class com.uppaal.model.core2.Node

First child of this element.

fixedname(Node) - Method in class com.uppaal.model.io2.XMLReader

Parse the plain name label without attributes.

FLOAT - Static variable in class com.uppaal.engine.LexicalAnalyser

FloatPoint - Class in com.uppaal.model.io2

FloatPoint(float, float) - Constructor for class com.uppaal.model.io2.FloatPoint

Creates a point from given coordinates

FloatPoint(Point2D) - Constructor for class com.uppaal.model.io2.FloatPoint

flush() - Method in class com.uppaal.engine.DotProtocol

Flushes the output stream.

flush() - Method in class com.uppaal.model.io2.CachedOutputStream

FONT - Static variable in interface com.uppaal.model.core2.CommonConstants

FONTNAME - Static variable in interface com.uppaal.model.core2.CommonConstants

FOOT_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

FROM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

fromTime - Variable in class com.uppaal.model.system.GanttBar

G

GanttBar - Class in com.uppaal.model.system

Definition of the bars in a Gantt chart.

GanttBar() - Constructor for class com.uppaal.model.system.GanttBar

Constructor

GanttBar(Limit, Limit, BigDecimal, int) - Constructor for class com.uppaal.model.system.GanttBar

Constructor

GanttChart - Class in com.uppaal.model.system

The class Gantt chart

GanttChart() - Constructor for class com.uppaal.model.system.GanttChart

Constructor

GanttRow - Class in com.uppaal.model.system

The class of gantt row

GanttRow() - Constructor for class com.uppaal.model.system.GanttRow

Constructor

GanttRow(String) - Constructor for class com.uppaal.model.system.GanttRow

Constructor

generateParseException() - Method in class com.uppaal.model.io2.UGIReader

Generate ParseException.

generateParseException() - Method in class com.uppaal.model.io2.XTAReader

Generate ParseException.

GEQ - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

get(int) - Method in class com.uppaal.model.core2.lsc.Cut

get(int) - Method in class com.uppaal.model.core2.QueryList

Get the query using the index

get(int) - Method in class com.uppaal.model.system.AbstractTrace

GET_INITIAL_STATE - com.uppaal.engine.KeyValueProtocol.Service

GET_OPTIONS_INFO - com.uppaal.engine.KeyValueProtocol.Service

GET_SYSTEM_INFO - com.uppaal.engine.KeyValueProtocol.Service

GET_TRANSITIONS - com.uppaal.engine.KeyValueProtocol.Service

getAllConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron

Convert constraint system to a human readable string representation containing all non-trivial constraints.

getAnchor() - Method in class com.uppaal.model.core2.lsc.AnchoredElement

getAnchor() - Method in class com.uppaal.model.core2.lsc.Condition

getAnchor() - Method in class com.uppaal.model.core2.lsc.Update

getAnchoredToCondition() - Method in class com.uppaal.model.core2.lsc.Update

getAnchoredToConditionUpdate(Condition, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getAnchors() - Method in class com.uppaal.model.core2.lsc.AnchoredElement

getAnchors() - Method in class com.uppaal.model.core2.lsc.Condition

getAnchors() - Method in class com.uppaal.model.core2.lsc.LscElement

getAnchors() - Method in class com.uppaal.model.core2.lsc.Message

getAnchors() - Method in class com.uppaal.model.core2.lsc.Update

getAttribute(String) - Method in class com.uppaal.model.io2.XMLReader

Get the attribute string

getBeginColumn() - Method in class com.uppaal.model.io2.SimpleCharStream

Get token beginning column number.

getBeginLine() - Method in class com.uppaal.model.io2.SimpleCharStream

Get token beginning line number.

getBounds(Element) - Method in class com.uppaal.model.io2.BoundCalc

getClockName(int) - Method in class com.uppaal.model.AbstractSystem

Get clock name

getClockNames() - Method in class com.uppaal.model.AbstractSystem

Get all clock name

getColor() - Method in class com.uppaal.model.core2.Data2D

getColor() - Method in class com.uppaal.model.core2.Element

Returns the value of the color property.

getColor() - Method in class com.uppaal.model.core2.Property

getColor(Element) - Method in class com.uppaal.model.core2.lsc.LscElement

getColor(String) - Method in class com.uppaal.model.io2.XMLReader

Get the color value

getColumn() - Method in class com.uppaal.model.io2.SimpleCharStream

Deprecated.

getCommandManager() - Method in class com.uppaal.model.core2.Element

Get the command manager

getComment() - Method in class com.uppaal.model.core2.Query

Get the comment of the query

getComments() - Method in class com.uppaal.model.core2.DataSet2D

Get comments

getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol

getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub

Returns the initial concrete state for the system.

getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

getConcreteInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol

Returns the concrete initial state for the system.

getConcreteInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine

Computes the concrete initial state of the compiled UPPAAL system.

getConcreteState(int) - Method in class com.uppaal.model.system.Trace

getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.DotProtocol

getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.Engine

Computes a concrete successor after chosen transition and delay.

getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.EngineStub

Get the concrete successor

getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol

Get concrete successor: concrete state and the list of the concrete transitions

getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in interface com.uppaal.engine.Protocol

Get the concrete simulation successor

getCondition() - Method in class com.uppaal.model.core2.lsc.Simregion

getCondition() - Method in class com.uppaal.model.lscsystem.SystemCondition

getCondition(int) - Method in class com.uppaal.model.lscsystem.LscProcess

getCondition(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getConditions() - Method in class com.uppaal.model.lscsystem.LscProcess

getConditionsOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getConnectedPort() - Method in class com.uppaal.engine.EngineStub

Returns the port the engine is connected to.

getConnectionMode() - Method in class com.uppaal.engine.EngineStub

Returns the current connection mode.

getContext() - Method in class com.uppaal.engine.Problem

Get the error location

getCoordinate(String) - Method in class com.uppaal.model.io2.XMLReader

get coordinate value

getCVariables() - Method in class com.uppaal.model.system.concrete.ConcreteState

getData() - Method in class com.uppaal.engine.QueryResult

getData(String) - Method in class com.uppaal.model.core2.QueryData

Get the data using the data title

getDataTitles() - Method in class com.uppaal.model.core2.QueryData

Get data titles

getDBM() - Method in class com.uppaal.model.system.Polyhedron

getDelay() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord

getDelay(int) - Method in class com.uppaal.model.system.Trace

getDocument() - Method in class com.uppaal.model.AbstractSystem

Get the document

getDocument() - Method in class com.uppaal.model.core2.Document

getDocument() - Method in class com.uppaal.model.core2.Element

Returns the document of this element.

getDoubleValue() - Method in class com.uppaal.model.system.concrete.Limit

Get the double limit value

getEdge() - Method in class com.uppaal.model.system.SystemEdge

Get the edge

getEdge(int) - Method in class com.uppaal.model.system.AbstractTransition

getEdge(int) - Method in class com.uppaal.model.system.Process

Get the edge with the index

getEdge(int) - Method in class com.uppaal.model.system.Transition

getEdge(int, int) - Method in class com.uppaal.model.system.UppaalSystem

Get the edge with the process and edge index

getEdgeDescription() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Get the description of the edge

getEdgeDescription() - Method in class com.uppaal.model.system.Transition

getEdges() - Method in class com.uppaal.model.system.AbstractTransition

getEdges() - Method in class com.uppaal.model.system.Process

Get the array list of the system edge

getEdges() - Method in class com.uppaal.model.system.Transition

getElement() - Method in class com.uppaal.model.core2.InsertElementCommand

Get the element

getElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

Get the element

getEndColumn() - Method in class com.uppaal.model.io2.SimpleCharStream

Get token end column number.

getEndEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getEndLine() - Method in class com.uppaal.model.io2.SimpleCharStream

Get token end line number.

getEndSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getEntryTime(int) - Method in class com.uppaal.model.system.Trace

getErrorContext(String, int, int) - Method in class com.uppaal.engine.Parser

Get the location string from the declaration text where the error happened

getErrors() - Method in class com.uppaal.model.io2.XTAReader

getErrorStream() - Method in class com.uppaal.engine.EngineStub

Snapshot of an error stream from the (local) server process.

getException() - Method in class com.uppaal.engine.QueryResult

getException() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor

Get the exception

getException(String) - Method in class com.uppaal.engine.LexicalAnalyser

Get the the protocol exception

getFirst() - Method in class com.uppaal.model.core2.Node

Returns the first child.

getFirstColumn() - Method in class com.uppaal.engine.Problem

Get the number of the first column

getFirstLine() - Method in class com.uppaal.engine.Problem

Get the first line of the problem

getFloat() - Method in class com.uppaal.engine.LexicalAnalyser

Get the float value of 'word'

getFont() - Method in class com.uppaal.model.core2.Property

getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemCondition

getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemMessage

getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemUpdate

getFormatedName() - Method in class com.uppaal.model.system.SystemEdge

Get the formated name of the edge

getFormula() - Method in class com.uppaal.model.core2.Query

Get the query property

getFromNum(int) - Method in class com.uppaal.model.system.GanttRow

Get the gantt bar with the index

getGanttChart() - Method in class com.uppaal.model.system.UppaalSystem

Get ganttchart

getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.DotProtocol

getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Engine

Creates a Gantt chart for the compiled system.

getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.EngineStub

Get the gantt chart

getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol

Get gantt chart

getGanttChart(UppaalSystem, BigDecimal) - Method in interface com.uppaal.engine.Protocol

Get the gantt chart

GetImage() - Method in class com.uppaal.model.io2.SimpleCharStream

Get token literal value.

getIndex() - Method in class com.uppaal.model.AbstractProcess

getIndex() - Method in class com.uppaal.model.AbstractSystemLocation

getIndex() - Method in class com.uppaal.model.lscsystem.SystemCondition

getIndex() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine

getIndex() - Method in class com.uppaal.model.lscsystem.SystemMessage

getIndex() - Method in class com.uppaal.model.lscsystem.SystemUpdate

getIndex() - Method in class com.uppaal.model.system.SystemEdge

Get the index of the edge

getInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

Get the initial of the uppaal system

getInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine

Computes the symbolic initial state of the compiled UPPAAL system.

getInstance(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getInstanceLength(int) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getInstanceLine() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine

getInstanceLine(int) - Method in class com.uppaal.model.lscsystem.LscProcess

getInstanceLines() - Method in class com.uppaal.model.lscsystem.LscProcess

getInstances() - Method in class com.uppaal.model.core2.lsc.Prechart

getIntPoint() - Method in class com.uppaal.model.io2.FloatPoint

Returns an integer rounded version of this point

getIntValue() - Method in class com.uppaal.engine.LexicalAnalyser

Get the integer value 'word'

getInvariant() - Method in class com.uppaal.model.system.concrete.ConcreteState

getLabel() - Method in class com.uppaal.model.core2.lsc.AnchoredElement

getLabel() - Method in class com.uppaal.model.core2.lsc.Condition

getLabel() - Method in class com.uppaal.model.core2.lsc.LscElement

getLabel() - Method in class com.uppaal.model.core2.lsc.Update

getLabelValue() - Method in class com.uppaal.model.core2.lsc.Condition

getLabelValue() - Method in class com.uppaal.model.core2.lsc.LscElement

getLabelValue() - Method in class com.uppaal.model.core2.lsc.Message

getLabelValue() - Method in class com.uppaal.model.core2.lsc.Update

getLast() - Method in class com.uppaal.model.core2.Node

Returns the last child.

getLastColumn() - Method in class com.uppaal.engine.Problem

Get the number of the last column

getLastCommand() - Method in class com.uppaal.model.core2.CommandManager

Returns the most recent command executed

getLastLine() - Method in class com.uppaal.engine.Problem

Get the number of the last line

getLastTATemplate() - Method in class com.uppaal.model.core2.Document

Returns the last TA template or null if no such template exists.

getLength() - Method in class com.uppaal.model.core2.lsc.InstanceLine

Gets the instance line length, which is a template property

getLength() - Method in class com.uppaal.model.core2.lsc.LscTemplate

getLine() - Method in class com.uppaal.model.io2.SimpleCharStream

Deprecated.

getLocalProperty() - Method in class com.uppaal.model.core2.SetPropertyCommand

Get local property

getLocalProperty(String) - Method in class com.uppaal.model.core2.Element

Returns the property of the given name.

getLocalPropertyValue() - Method in class com.uppaal.model.core2.SetPropertyCommand

Get local property value

getLocation() - Method in class com.uppaal.model.core2.SetEndPointCommand

Returns the current end point.

getLocation() - Method in class com.uppaal.model.core2.SetSourceCommand

getLocation() - Method in class com.uppaal.model.core2.SetTargetCommand

getLocation() - Method in class com.uppaal.model.system.SystemLocation

Get the location

getLocation(int) - Method in class com.uppaal.model.system.Process

Get the location with the location index

getLocation(int, int) - Method in class com.uppaal.model.system.UppaalSystem

Get the location with the process and location index

getLocations() - Method in class com.uppaal.model.system.Process

Get the array list of the system location

getLocations() - Method in class com.uppaal.model.system.SystemState

Get the system locations

getLocationVector() - Method in class com.uppaal.model.AbstractSystemState

getLocationVector() - Method in class com.uppaal.model.lscsystem.SystemCut

getLocationVector() - Method in class com.uppaal.model.system.symbolic.SymbolicState

Deprecated.

Replaced by SystemState.getLocations()

getLookahead() - Method in class com.uppaal.engine.LexicalAnalyser

Get the value 'lookahead'

getLscProcess(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine

Compiles an LSC process from Uppaal document and stores any warnings and errors in the problems list.

getMaximum() - Method in class com.uppaal.model.core2.Data2D

getMaximum() - Method in class com.uppaal.model.core2.DataSet2D

Get the maximum data2D

getMaxSimregions(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.Cut

getMaxSimregions(ArrayList<Simregion>) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getMaxXDifference() - Method in class com.uppaal.model.core2.DataSet2D

Get the maximum difference between a lot of the data2D

getMessage() - Method in class com.uppaal.engine.Problem

Get the message of the problem

getMessage() - Method in class com.uppaal.engine.QueryResult

getMessage() - Method in class com.uppaal.model.core2.lsc.Simregion

getMessage() - Method in error com.uppaal.model.io2.TokenMgrError

You can also modify the body of this method to customize your error messages.

getMessage() - Method in class com.uppaal.model.lscsystem.SystemMessage

getMessage(int) - Method in class com.uppaal.model.lscsystem.LscProcess

getMessage(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getMessages() - Method in class com.uppaal.model.lscsystem.LscProcess

getMinimum() - Method in class com.uppaal.model.core2.Data2D

getMinimum() - Method in class com.uppaal.model.core2.DataSet2D

Get the minimum data2D

getMode() - Method in class com.uppaal.model.core2.lsc.LscTemplate

getModifiedElement() - Method in class com.uppaal.model.core2.AppendQueriesCommand

getModifiedElement() - Method in interface com.uppaal.model.core2.Command

getModifiedElement() - Method in class com.uppaal.model.core2.CompoundCommand

getModifiedElement() - Method in class com.uppaal.model.core2.InsertEdgeCommand

getModifiedElement() - Method in class com.uppaal.model.core2.InsertElementCommand

getModifiedElement() - Method in class com.uppaal.model.core2.InsertQueryCommand

getModifiedElement() - Method in class com.uppaal.model.core2.InsertTemplateCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

getModifiedElement() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand

getModifiedElement() - Method in class com.uppaal.model.core2.MoveTemplateCommand

getModifiedElement() - Method in class com.uppaal.model.core2.RemoveElementCommand

getModifiedElement() - Method in class com.uppaal.model.core2.RemoveQueryCommand

getModifiedElement() - Method in class com.uppaal.model.core2.RemoveTemplateCommand

getModifiedElement() - Method in class com.uppaal.model.core2.SetEndPointCommand

getModifiedElement() - Method in class com.uppaal.model.core2.SetPropertyCommand

getModifiedElement() - Method in class com.uppaal.model.core2.SetQueryCommand

getModifiedElement() - Method in class com.uppaal.model.core2.SnapCommand

getModifiedElement() - Method in class com.uppaal.model.core2.TranslationCommand

getNails() - Method in class com.uppaal.model.core2.Edge

Returns the first nail (if any).

getName() - Method in class com.uppaal.model.AbstractProcess

getName() - Method in class com.uppaal.model.AbstractSystemLocation

getName() - Method in class com.uppaal.model.core2.AbstractLocation

Constructs a human-friendly name of this location.

getName() - Method in class com.uppaal.model.core2.BranchPoint

getName() - Method in class com.uppaal.model.core2.Edge

Constructs a human-friendly name of this edge.

getName() - Method in class com.uppaal.model.core2.Location

getName() - Method in class com.uppaal.model.core2.Property

Returns the name with which this property is registered in the parent.

getName() - Method in class com.uppaal.model.lscsystem.SystemCondition

getName() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine

getName() - Method in class com.uppaal.model.lscsystem.SystemMessage

getName() - Method in class com.uppaal.model.lscsystem.SystemSimregion

getName() - Method in class com.uppaal.model.lscsystem.SystemUpdate

getName() - Method in class com.uppaal.model.system.SystemEdge

Get the name of the edge

getName() - Method in class com.uppaal.model.system.SystemLocation

Get the location name

getNearestSampleAt(double) - Method in class com.uppaal.model.core2.Data2D

getNext() - Method in class com.uppaal.model.core2.Node

Returns the right sibling.

getNextToken() - Method in class com.uppaal.model.io2.UGIReader

Get the next Token.

getNextToken() - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Get the next Token.

getNextToken() - Method in class com.uppaal.model.io2.XTAReader

Get the next Token.

getNextToken() - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Get the next Token.

getNoOfClocks() - Method in class com.uppaal.model.AbstractSystem

Get the number of the clocks

getNoOfProcesses() - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getNoOfProcesses() - Method in class com.uppaal.model.system.UppaalSystem

Get the number of the processes of the uppaal system

getNoOfVariables() - Method in class com.uppaal.model.AbstractSystem

Get the number of the variables

getOptionsInfo() - Method in class com.uppaal.engine.DotProtocol

getOptionsInfo() - Method in class com.uppaal.engine.Engine

Returns information about available options.

getOptionsInfo() - Method in class com.uppaal.engine.EngineStub

Returns information about available options.

getOptionsInfo() - Method in class com.uppaal.engine.KeyValueProtocol

getOptionsInfo() - Method in interface com.uppaal.engine.Protocol

Returns information about available options.

getParent() - Method in class com.uppaal.model.core2.Element

Returns the parent element.

getPlayer() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getPolyhedron() - Method in class com.uppaal.model.AbstractSystemState

getPolyhedron() - Method in class com.uppaal.model.system.symbolic.SymbolicState

Get the polyhedron

getPrechart() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getPrechart() - Method in class com.uppaal.model.lscsystem.LscProcess

getPrechart() - Method in class com.uppaal.model.lscsystem.SystemPrechart

getPrechartIndex() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getPrevious() - Method in class com.uppaal.model.core2.Node

Returns the left sibling.

getProcess() - Method in class com.uppaal.model.AbstractSystemLocation

getProcess() - Method in class com.uppaal.model.lscsystem.SystemCondition

getProcess() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine

getProcess() - Method in class com.uppaal.model.lscsystem.SystemMessage

getProcess() - Method in class com.uppaal.model.lscsystem.SystemPrechart

getProcess() - Method in class com.uppaal.model.lscsystem.SystemUpdate

getProcess() - Method in class com.uppaal.model.system.SystemEdge

Get the process of the edge

getProcess(int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getProcess(int) - Method in class com.uppaal.model.system.UppaalSystem

Get the process with the process index

getProcesses() - Method in class com.uppaal.model.system.UppaalSystem

getProcessIndex(String) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getProcessIndex(String) - Method in class com.uppaal.model.system.UppaalSystem

Get the process index using the process name

getProcessName() - Method in class com.uppaal.model.AbstractSystemLocation

getProcessName() - Method in class com.uppaal.model.lscsystem.SystemCondition

getProcessName() - Method in class com.uppaal.model.lscsystem.SystemMessage

getProcessName() - Method in class com.uppaal.model.lscsystem.SystemUpdate

getProcessName() - Method in class com.uppaal.model.system.SystemEdge

Get the process name of the edge

getProperties() - Method in class com.uppaal.model.core2.Element

Get the properties stored in this element.

getProperty(String) - Method in class com.uppaal.model.core2.Element

Returns the property of the given name.

getPropertyValue(String) - Method in class com.uppaal.model.core2.Element

Returns the value of the property of the given name.

getPrototype() - Method in class com.uppaal.model.core2.Element

Returns the prototype.

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.AbstractTemplate

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.BranchPoint

Returns the #branchpoint property value of the parent argument.

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Edge

Returns the #edge property value of the parent argument.

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Element

Return the proper prototype for this element stored in the parent.

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Location

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Condition

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Cut

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.LscTemplate

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Message

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Prechart

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Update

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Nail

Returns the #nail property value of the parent argument.

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Property

Returns the value of the parent's protype's property given by getName() or null if the parent does not have a prototype.

getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Template

getPublicID() - Method in class com.uppaal.model.io2.UXMLResolver

Get the public ID

getQueryList() - Method in class com.uppaal.model.core2.Document

Returns the model of the list of queries defined in this document.

getQueryProperty() - Method in class com.uppaal.model.core2.SetQueryCommand

getRate() - Method in class com.uppaal.model.system.concrete.ConcreteVariable

getResult() - Method in class com.uppaal.engine.QueryResult

getResult() - Method in class com.uppaal.model.core2.Query

Get the status of the query

getRow(int) - Method in class com.uppaal.model.system.GanttChart

Get the row

getSelectList() - Method in class com.uppaal.model.system.SystemEdgeSelect

Get the list of the values

getServerHost() - Method in class com.uppaal.engine.EngineStub

Returns the current server host.

getServerPath() - Method in class com.uppaal.engine.EngineStub

Returns the current server path.

getServerPort() - Method in class com.uppaal.engine.EngineStub

Returns the current server port.

getShortFormula() - Method in class com.uppaal.model.core2.Query

Get the short property without line breaks

getSimregion() - Method in class com.uppaal.model.lscsystem.SystemSimregion

getSimregions() - Method in class com.uppaal.model.core2.lsc.Cut

getSize() - Method in class com.uppaal.model.system.AbstractTransition

getSize() - Method in class com.uppaal.model.system.Transition

getSource() - Method in class com.uppaal.model.core2.Edge

Returns the source location (the beginning of the edge).

getSource() - Method in class com.uppaal.model.core2.InsertEdgeCommand

Get the source of the edge

getSource() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

Get message source

getSource() - Method in class com.uppaal.model.core2.lsc.Message

getSource() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Get the source of the symbolic state

getSource() - Method in class com.uppaal.model.system.Transition

getStartEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getStartSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getState() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor

Get concrete state

getStatus() - Method in class com.uppaal.engine.QueryResult

getStatus() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getStatusString() - Method in class com.uppaal.engine.QueryResult

getSufficientConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron

Convert constraint system to a human readable representation based on the minimal constraint graph.

GetSuffix(int) - Method in class com.uppaal.model.io2.SimpleCharStream

Get the suffix.

getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol

getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub

Returns the initial state for the system.

getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

getSymbolicInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol

Returns the symbolic initial state for the system.

getSymbolicState(int) - Method in class com.uppaal.model.system.Trace

getSymbolicTransition(int) - Method in class com.uppaal.model.system.Trace

Warning: In this representation of the trace, all transitions have a source and a destination, meaning that compared with the old symbolic trace representation, the initial transition is missing.

getSystem() - Method in class com.uppaal.engine.Engine

Addition for concrete simulation: Get the uppaal system

getSystem(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine

Compiles the document and builds a system instance.

getSystemID() - Method in class com.uppaal.model.io2.UXMLResolver

Get the public ID

getTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream

getTarget() - Method in class com.uppaal.model.core2.Edge

Returns the target location (the end of the edge).

getTarget() - Method in class com.uppaal.model.core2.InsertEdgeCommand

Get the target of the edge

getTarget() - Method in class com.uppaal.model.core2.lsc.Message

getTarget() - Method in class com.uppaal.model.system.AbstractTransition

getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord

getTarget() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Get the target of the symbolic state

getTarget() - Method in class com.uppaal.model.system.Transition

getTemperature() - Method in class com.uppaal.model.core2.lsc.LscElement

getTemplate() - Method in class com.uppaal.model.AbstractProcess

getTemplate() - Method in class com.uppaal.model.core2.AbstractTemplate

getTemplate() - Method in class com.uppaal.model.core2.Element

Returns the template of this element.

getTemplate(String) - Method in class com.uppaal.model.core2.Document

Returns the first template with the given name or null if no such template exists.

getTemplates() - Method in class com.uppaal.model.core2.Document

Returns the first template of the document.

getTime() - Method in class com.uppaal.model.system.concrete.ConcreteState

getTitle() - Method in class com.uppaal.model.core2.Data2D

getTitle() - Method in class com.uppaal.model.core2.DataSet2D

Get the title

getToken(int) - Method in class com.uppaal.model.io2.UGIReader

Get the specific Token.

getToken(int) - Method in class com.uppaal.model.io2.XTAReader

Get the specific Token.

getTransitionDescription() - Method in class com.uppaal.model.system.AbstractTransition

getTransitionEdges(int) - Method in class com.uppaal.model.system.Trace

getTransitions() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor

Get the transitions of the concrete successor

getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.DotProtocol

getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.Engine

Returns the list of outgoing transitions for the state of the given system.

getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.EngineStub

Returns the list of outgoing transitions for the state.

getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol

getTransitions(UppaalSystem, SymbolicState) - Method in interface com.uppaal.engine.Protocol

Returns the list of outgoing transitions for the state.

getTranslator() - Method in class com.uppaal.model.AbstractProcess

getType() - Method in class com.uppaal.engine.Problem

Get the problem type

getType() - Method in class com.uppaal.model.core2.Data2D

type denotes how the data should be displayed on a plot.

getType() - Method in class com.uppaal.model.core2.lsc.LscTemplate

getUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion

getUpdate() - Method in class com.uppaal.model.lscsystem.SystemUpdate

getUpdate(int) - Method in class com.uppaal.model.lscsystem.LscProcess

getUpdate(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem

getUpdateOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

getUpdates() - Method in class com.uppaal.model.lscsystem.LscProcess

getValue() - Method in class com.uppaal.engine.LexicalAnalyser

Get the value the string

getValue() - Method in class com.uppaal.model.core2.Property

getValue() - Method in class com.uppaal.model.io2.Token

An optional attribute value of the Token.

getValue() - Method in class com.uppaal.model.system.concrete.Limit

Get the limit value

getValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable

getVariableName(int) - Method in class com.uppaal.model.AbstractSystem

Get the variable name

getVariables() - Method in class com.uppaal.model.AbstractSystem

Get the global variables

getVariables() - Method in class com.uppaal.model.AbstractSystemState

getVariableValues() - Method in class com.uppaal.model.system.symbolic.SymbolicState

Get the array of the variable values.

getVersion() - Method in class com.uppaal.engine.DotProtocol

getVersion() - Method in class com.uppaal.engine.Engine

Returns the version string of the server.

getVersion() - Method in class com.uppaal.engine.EngineStub

Returns the version string of the server.

getVersion() - Method in class com.uppaal.engine.KeyValueProtocol

getVersion() - Method in interface com.uppaal.engine.Protocol

Returns the version string of the server.

getVersion() - Method in class com.uppaal.model.core2.AbstractCommand

getVersion() - Method in interface com.uppaal.model.core2.Command

getVersion() - Method in class com.uppaal.model.core2.CommandManager

Get the version number

getVersion() - Method in class com.uppaal.model.core2.Document

Get the current number of the document

getVersion() - Method in class com.uppaal.model.core2.QueryList

Returns the current version number of the query list.

getWidth() - Method in class com.uppaal.model.core2.lsc.Condition

getWidth(Graphics2D) - Method in class com.uppaal.model.core2.lsc.LscElement

The width of the drawn element label.

getWidth(String, Font, Graphics2D) - Static method in class com.uppaal.model.core2.lsc.LscElement

returns the width of the given string, written with the given font

getWord() - Method in class com.uppaal.engine.LexicalAnalyser

Get the 'word' string

getX() - Method in class com.uppaal.model.core2.Element

Returns the value of the x property.

getX() - Method in class com.uppaal.model.core2.Property

getXLabel() - Method in class com.uppaal.model.core2.DataSet2D

Get the label x

getXMinDifference() - Method in class com.uppaal.model.core2.Data2D

getXMLLabelKinds() - Method in class com.uppaal.model.core2.Edge

getXMLLabelKinds() - Method in class com.uppaal.model.core2.Element

Returns possible XML label kinds this element supports.

getXMLLabelKinds() - Method in class com.uppaal.model.core2.Location

getXMLLabelKinds() - Method in class com.uppaal.model.core2.lsc.Condition

getXMLLabelKinds() - Method in class com.uppaal.model.core2.lsc.Message

getXMLLabelKinds() - Method in class com.uppaal.model.core2.lsc.Update

getXPath() - Method in class com.uppaal.engine.Problem

Get the path where the problem come from

getXPath() - Method in class com.uppaal.model.core2.Element

Computes the full path to this element

getXPathTag() - Method in class com.uppaal.model.core2.Document

getXPathTag() - Method in class com.uppaal.model.core2.Element

Computes the local tag of the XPath address.

getXPathTag() - Method in class com.uppaal.model.core2.Node

getY() - Method in class com.uppaal.model.core2.Element

Returns the value of the y property.

getY() - Method in class com.uppaal.model.core2.lsc.Simregion

getYFoot() - Method in class com.uppaal.model.core2.lsc.InstanceLine

getYLabel() - Method in class com.uppaal.model.core2.DataSet2D

Get the label y

getYLocation() - Method in class com.uppaal.model.io2.XMLReader

Get the y coordinate data of the location, tag 'lsclocation'

getYLocCoord() - Method in class com.uppaal.model.core2.lsc.LscTemplate

GLOBAL_DECL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

GLOBAL_PROCESSASSIGN_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

GLOBAL_SYSTEM_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

GLOBALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

globalDeclGI() - Method in class com.uppaal.model.io2.UGIReader

graphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader

GRAPHINFO - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

graphInfoItem() - Method in class com.uppaal.model.io2.UGIReader

GRIDCHANGE - Static variable in interface com.uppaal.model.core2.CommonConstants

GRIDCOLOR - Static variable in interface com.uppaal.model.core2.CommonConstants

GRIDMIN - Static variable in interface com.uppaal.model.core2.CommonConstants

GRT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

GUARD - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

GUARD - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

GUARD_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for guard labels.

H

handshake() - Method in class com.uppaal.engine.EngineStub

Performs a handshake with the server.

hasCondition() - Method in class com.uppaal.model.core2.lsc.Simregion

hasFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter

Has the element flag

hasFlag(Element, String) - Method in class com.uppaal.model.io2.XTAWriter

hasFlag(String) - Method in class com.uppaal.model.core2.Element

Returns the value of a boolean property.

hasMessage() - Method in class com.uppaal.model.core2.lsc.Simregion

hasNails() - Method in class com.uppaal.model.core2.InsertEdgeCommand

Does the edge has nails

hasNext() - Method in class com.uppaal.model.core2.LogIterator

hasPlots() - Method in class com.uppaal.model.core2.Query

hasUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion

I

ID - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

ID - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

IdentifierTranslator - Class in com.uppaal.model.system

IdentifierTranslator(Map<String, String>) - Constructor for class com.uppaal.model.system.IdentifierTranslator

An instance is created by giving it a defining map as a hashtable.

image - Variable in class com.uppaal.model.io2.Token

The string image of the token.

IMPLIES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

IMPORT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

importGI() - Method in class com.uppaal.model.io2.UGIReader

importInto(Element) - Method in class com.uppaal.model.core2.Element

Imports the tree rooted at this element into the prototype structure of the given parent.

IMPORTS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

inBuf - Variable in class com.uppaal.model.io2.SimpleCharStream

indent() - Method in class com.uppaal.model.core2.PrintVisitor

indent() - Method in class com.uppaal.model.io2.XMLWriter

Write text to the output

indentation - Variable in class com.uppaal.model.core2.PrintVisitor

index - Variable in class com.uppaal.model.core2.InsertQueryCommand

The insert index

index - Variable in class com.uppaal.model.core2.RemoveQueryCommand

The insert index

indexOf(Query) - Method in class com.uppaal.model.core2.QueryList

Get the index of the query

init - Variable in class com.uppaal.model.io2.XMLWriter

init(Template) - Method in class com.uppaal.model.io2.XMLReader

Parse optional init tag.

INIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

input_stream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager

input_stream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager

inputStream - Variable in class com.uppaal.model.io2.SimpleCharStream

insert(Node, Node) - Method in class com.uppaal.model.core2.Node

Insert a child node.

insert(Query, int) - Method in class com.uppaal.model.core2.QueryList

Insert query into the query list

InsertAnchoredElementCommand - Class in com.uppaal.model.core2.lsc

A transaction command for inserting elements.

InsertAnchoredElementCommand(InstanceLine, AnchoredElement) - Constructor for class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

Constructor

InsertEdgeCommand - Class in com.uppaal.model.core2

Transaction inserting the edge

InsertEdgeCommand(AbstractLocation, int, int) - Constructor for class com.uppaal.model.core2.InsertEdgeCommand

Constructor

InsertElementCommand - Class in com.uppaal.model.core2

A transaction command for inserting elements.

InsertElementCommand(CommandManager, Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertElementCommand

Constructor

InsertInstanceCommand - Class in com.uppaal.model.core2.lsc

A transaction command for inserting elements.

InsertInstanceCommand(AbstractTemplate, Node, Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.InsertInstanceCommand

Constructor

InsertMessageCommand - Class in com.uppaal.model.core2.lsc

A transaction command for inserting elements.

InsertMessageCommand(InstanceLine, Message) - Constructor for class com.uppaal.model.core2.lsc.InsertMessageCommand

The hot sections touched by the message (and split)

insertNail(Nail) - Method in class com.uppaal.model.core2.SetEndPointCommand

Inserts a nail next to the end point.

insertNail(Nail) - Method in class com.uppaal.model.core2.SetSourceCommand

insertNail(Nail) - Method in class com.uppaal.model.core2.SetTargetCommand

InsertQueryCommand - Class in com.uppaal.model.core2

The insert query command class

InsertQueryCommand(QueryList, int) - Constructor for class com.uppaal.model.core2.InsertQueryCommand

Constructor

InsertTemplateCommand - Class in com.uppaal.model.core2

A transaction command for inserting elements.

InsertTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertTemplateCommand

insideBar(int, int) - Method in class com.uppaal.model.system.GanttBar

Is point (x,y) inside the bar?

INSTANCE_FILL_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

INSTANCE_FOOT_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

INSTANCE_FOOT_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

INSTANCE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

INSTANCE_LENGTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

INSTANCE_LINE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

INSTANCE_MIN_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

InstanceLine - Class in com.uppaal.model.core2.lsc

InstanceLine(Element) - Constructor for class com.uppaal.model.core2.lsc.InstanceLine

instances - Variable in class com.uppaal.model.core2.lsc.Prechart

instances - Variable in class com.uppaal.model.io2.XMLReader

instances - Variable in class com.uppaal.model.io2.XMLWriter

instances(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the instance data, tag 'instance'.

instantiation(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse optional instantiation tag.

INT - Static variable in class com.uppaal.engine.LexicalAnalyser

INT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

integer() - Method in class com.uppaal.model.io2.UGIReader

IntPoint - Class in com.uppaal.model.io2

IntPoint(int, int) - Constructor for class com.uppaal.model.io2.IntPoint

Creates a point from given coordinates.

IntPoint(Point2D) - Constructor for class com.uppaal.model.io2.IntPoint

IntPoint(Point) - Constructor for class com.uppaal.model.io2.IntPoint

Creates a point from a given integer point.

INVARIANT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

INVARIANT_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for invariant labels.

involvesProcess(int) - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Is the list of selected edges includes the input process?

involvesProcess(int) - Method in class com.uppaal.model.system.Transition

IS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

isAnchorOf(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine

isBlank() - Method in class com.uppaal.model.core2.QueryList

Checks whether the query model is blank (empty or contains white space).

isConnected() - Method in class com.uppaal.engine.EngineStub

Returns true if the engine is connected to a server.

isEmpty() - Method in class com.uppaal.model.core2.Data2D

isEmpty() - Method in class com.uppaal.model.core2.DataSet2D

Is the array list of the data2D empty?

isEmpty() - Method in class com.uppaal.model.core2.QueryList

There isn't query in the model.

isEmpty() - Method in class com.uppaal.model.system.AbstractTrace

isEmpty(String) - Method in class com.uppaal.model.io2.XTAWriter

isEqualTo(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Is the input value equal to the limit value?

isHot() - Method in class com.uppaal.model.core2.lsc.Condition

isHot() - Method in class com.uppaal.model.core2.lsc.LscElement

isLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit

Is the input limit value lower bounded of the limit value?

isLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Is the limit lower bound off the input value

ISNOT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

isPropertyLocal(String) - Method in class com.uppaal.model.core2.Element

Returns true if the property of the given name has a local value.

isRemoteConnection() - Method in class com.uppaal.engine.EngineStub

Returns true if the engine is connected to a remote server.

isSelectable() - Method in class com.uppaal.model.system.concrete.ConcreteTransition

isStrict() - Method in class com.uppaal.model.system.concrete.Limit

Is the limit strictly?

isStrictLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit

Is the input limit value strictly lower bounded of the limit value?

isStrictLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Is the limit strictly lower bound of the input value

isStrictUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit

Is the input limit value strictly upper bounded of the limit value?

isStrictUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Is the limit strictly upper bound of the input value

isTheSame(SystemEdgeSelect) - Method in class com.uppaal.model.system.SystemEdgeSelect

Is equal the both edges?

isUnbounded() - Method in class com.uppaal.model.system.concrete.Limit

Is not bounded?

isUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit

Is the input limit value upper bounded of the limit value?

isUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Is the limit upper bound off the input value

isVisible() - Method in class com.uppaal.model.core2.Property

iterator() - Method in class com.uppaal.model.core2.Data2D

iterator() - Method in class com.uppaal.model.core2.DataSet2D

iterator() - Method in class com.uppaal.model.core2.QueryList

iterator() - Method in class com.uppaal.model.system.AbstractTrace

J

jj_nt - Variable in class com.uppaal.model.io2.UGIReader

Next token.

jj_nt - Variable in class com.uppaal.model.io2.XTAReader

Next token.

jjFillToken() - Method in class com.uppaal.model.io2.UGIReaderTokenManager

jjFillToken() - Method in class com.uppaal.model.io2.XTAReaderTokenManager

jjstrLiteralImages - Static variable in class com.uppaal.model.io2.UGIReaderTokenManager

Token literal values.

jjstrLiteralImages - Static variable in class com.uppaal.model.io2.XTAReaderTokenManager

Token literal values.

Job - Interface in com.uppaal.engine

K

KeyValueProtocol - Class in com.uppaal.engine

IMPORTANT

KeyValueProtocol(InputStream, OutputStream) - Constructor for class com.uppaal.engine.KeyValueProtocol

Constructor

KeyValueProtocol.Service - Enum in com.uppaal.engine

kill() - Method in class com.uppaal.engine.EngineStub

Kill the server connection the hard way.

kind - Variable in class com.uppaal.model.io2.Token

An integer that describes the kind of this token.

L

label - Variable in class com.uppaal.model.system.GanttRow

label(LscElement) - Method in class com.uppaal.model.io2.XMLReader

Parse the LSC label tag.

LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants

Default label color

labels(Node) - Method in class com.uppaal.model.io2.XMLReader

Parse the label tag: kind, x, y, color and inner text.

LayoutVisitor - Class in com.uppaal.model

LayoutVisitor() - Constructor for class com.uppaal.model.LayoutVisitor

LCOLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

length() - Method in class com.uppaal.model.io2.FloatPoint

Returns the length of this point's vector

length() - Method in class com.uppaal.model.io2.IntPoint

Returns the length of this point's vector.

LEQ - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

LESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

level - Variable in class com.uppaal.model.io2.XTAWriter

LEVEL - Static variable in interface com.uppaal.model.core2.CommonConstants

LexicalAnalyser - Class in com.uppaal.engine

Lexical analyzer used by EngineStub.

LexicalAnalyser(InputStream) - Constructor for class com.uppaal.engine.LexicalAnalyser

Constructor

LexicalError(boolean, int, int, int, String, char) - Static method in error com.uppaal.model.io2.TokenMgrError

Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.

lexStateNames - Static variable in class com.uppaal.model.io2.UGIReaderTokenManager

Lexer state names.

lexStateNames - Static variable in class com.uppaal.model.io2.XTAReaderTokenManager

Lexer state names.

lighter(Color, float) - Static method in class com.uppaal.model.core2.lsc.LscElement

Limit - Class in com.uppaal.model.system.concrete

A limit consists of a value and information about whether the limit is strict or not.

Limit() - Constructor for class com.uppaal.model.system.concrete.Limit

Initialises an unbounded limit, i.e.

Limit(BigDecimal, boolean) - Constructor for class com.uppaal.model.system.concrete.Limit

Constructor

line - Variable in class com.uppaal.model.io2.SimpleCharStream

listeners - Variable in class com.uppaal.model.core2.Element

load(URL) - Method in class com.uppaal.model.core2.PrototypeDocument

Fetches a file, parses it and constructs a model Document.

LOC_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

LOCAL - Static variable in class com.uppaal.engine.EngineStub

Local connections only.

LOCAL - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

LOCALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

localDeclGraphInfo() - Method in class com.uppaal.model.io2.UGIReader

localiseString(String) - Method in class com.uppaal.engine.KeyValueProtocol

location - Variable in class com.uppaal.model.core2.SetEndPointCommand

The original endpoint (or the new endpoint in case the command is undone.

location(Map) - Method in class com.uppaal.model.io2.XTAReader

Location - Class in com.uppaal.model.core2

Location models the location part of the state of a timed automaton.

Location(Element) - Constructor for class com.uppaal.model.core2.Location

Creates a location based on a given prototype.

LOCATION - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

LOCATIONNAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

locations - Variable in class com.uppaal.model.io2.XMLReader

locations - Variable in class com.uppaal.model.io2.XMLWriter

locations - Variable in class com.uppaal.model.system.SystemState

Changed from private for concrete simulation

locations(Template) - Method in class com.uppaal.model.io2.XMLReader

Parse all subsequent location tag(s) if any.

locIdent() - Method in class com.uppaal.model.io2.UGIReader

LogIterator - Class in com.uppaal.model.core2

Log10 wrapper for Point2D iterator

LogIterator(Iterator<Point2D.Double>, boolean, boolean) - Constructor for class com.uppaal.model.core2.LogIterator

LONG - Static variable in class com.uppaal.engine.LexicalAnalyser

LscConstants - Interface in com.uppaal.model.core2.lsc

LscElement - Class in com.uppaal.model.core2.lsc

LscElement(Element) - Constructor for class com.uppaal.model.core2.lsc.LscElement

LscProcess - Class in com.uppaal.model.lscsystem

LscProcess(String, int, LscTemplate, Translator) - Constructor for class com.uppaal.model.lscsystem.LscProcess

LscProcess constructor

LscTemplate - Class in com.uppaal.model.core2.lsc

LscTemplate(Element) - Constructor for class com.uppaal.model.core2.lsc.LscTemplate

lscTemplates(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse the LSC tag(s) if any: name, parameter, type, mode, role, declaration, locations, instances, prechart, messages, conditions, updates.

M

maximalNonInfiniteEndTime() - Method in class com.uppaal.model.system.GanttChart

Get the maximum non infinite end time

maximalNonInfiniteEndTime() - Method in class com.uppaal.model.system.GanttRow

Find the greatest not infinite end time in the row.

maxNextCharInd - Variable in class com.uppaal.model.io2.SimpleCharStream

MAYBE_NOT_OK - Static variable in class com.uppaal.engine.QueryResult

MAYBE_OK - Static variable in class com.uppaal.engine.QueryResult

merge(AbstractTemplate, AbstractTemplate) - Static method in class com.uppaal.model.core2.Document

Merges the source template into target (useful for pasting from clipboard).

message - Variable in class com.uppaal.model.core2.lsc.Simregion

Message - Class in com.uppaal.model.core2.lsc

Message(Element) - Constructor for class com.uppaal.model.core2.lsc.Message

MESSAGE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

MESSAGE_LABEL_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

messages(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the messages data, tag 'message'

messageSource() - Method in class com.uppaal.model.io2.XMLReader

Parse the message source data, tag 'source'

messageSourceChanged(Message, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener

messageSourceChanged(Message, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener

messageTarget() - Method in class com.uppaal.model.io2.XMLReader

Parse the message target data, tag 'target'

messageTargetChanged(Message, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener

messageTargetChanged(Message, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener

MINUS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

MLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

mode(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the mode tag.

MODELCHECK - com.uppaal.engine.KeyValueProtocol.Service

MODELCHECKFROMSTATE - com.uppaal.engine.KeyValueProtocol.Service

MOUSE_OVER_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Color to be used for highligting objects under the mouse.

MOUSE_OVER_REL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

move(int) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

Move the 'x' value of the message

move(int) - Method in class com.uppaal.model.core2.lsc.TranslationXCommand

Move elements by (x, 0).

move(int) - Method in class com.uppaal.model.core2.lsc.TranslationYCommand

Move elements by (0, y).

move(int, int) - Method in class com.uppaal.model.core2.AbstractTransaction

move(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand

move(int, int) - Method in class com.uppaal.model.core2.InsertElementCommand

move(int, int) - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand

move(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

move(int, int) - Method in class com.uppaal.model.core2.TranslationCommand

Move elements by (x, y).

move(Node, Node) - Method in class com.uppaal.model.core2.Node

Move a child node among siblings.

moveElements(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

moveElements(int, int) - Method in class com.uppaal.model.core2.TranslationCommand

Move elements by (x, y)

moveNailTo(int, int) - Method in class com.uppaal.model.core2.SetEndPointCommand

Move nail created with convertToNail() to a new position.

MoveTemplateCommand - Class in com.uppaal.model.core2

A transaction command for inserting elements.

MoveTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.MoveTemplateCommand

moveY(int) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

Move the 'y' value of the messge

multiply(float) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point which is a multiplication of this point

multiply(float) - Method in class com.uppaal.model.io2.IntPoint

multiply(int) - Method in class com.uppaal.model.io2.IntPoint

Returns a point which is a multiplication of this point.

N

nail - Variable in class com.uppaal.model.core2.SetEndPointCommand

Any nails created as a side effect of changing the endpoint.

Nail - Class in com.uppaal.model.core2

Nails models the graphical layout of edges.

NAIL_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for transition nail.

NAIL_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for nail fill.

NAIL_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius and touch distance of a nail.

nails(Edge) - Method in class com.uppaal.model.io2.UGIReader

nails(Edge) - Method in class com.uppaal.model.io2.XMLReader

Parse the nail tag(s) if any: x, y attributes.

name - Variable in class com.uppaal.model.core2.SetPropertyCommand

name(Node) - Method in class com.uppaal.model.io2.XMLReader

Parse the name label data: name, x, y and color.

nameGraphInfo() - Method in class com.uppaal.model.io2.UGIReader

names - Variable in class com.uppaal.model.io2.UGIWriter

names - Variable in class com.uppaal.model.io2.XTAWriter

NAT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

NAT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

NEW_XML_SYSTEM - com.uppaal.engine.KeyValueProtocol.Service

newAnchor - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

newEnd - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

newLength - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand

newLength - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

NEWLINE - Static variable in class com.uppaal.engine.LexicalAnalyser

newQueryList - Variable in class com.uppaal.model.core2.AppendQueriesCommand

newToken(int) - Static method in class com.uppaal.model.io2.Token

newToken(int, String) - Static method in class com.uppaal.model.io2.Token

Returns a new Token object, by default.

newX - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

newY - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

next - Variable in class com.uppaal.model.core2.Node

The right sibling of this element.

next - Variable in class com.uppaal.model.io2.Token

A reference to the next regular (non-special) token from the input stream.

next() - Method in class com.uppaal.model.core2.LogIterator

next() - Method in class com.uppaal.model.io2.XMLReader

The next read event

nextToken() - Method in class com.uppaal.engine.LexicalAnalyser

Find the next token

node - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

node - Variable in class com.uppaal.model.core2.RemoveElementCommand

node - Variable in class com.uppaal.model.core2.RemoveTemplateCommand

Node - Class in com.uppaal.model.core2

Nodes are elements that can be placed in a tree structure represented by references to the parent, the first child and left and right siblings.

Node(Element) - Constructor for class com.uppaal.model.core2.Node

constructor

NONE - Static variable in class com.uppaal.engine.LexicalAnalyser

noOfBars() - Method in class com.uppaal.model.system.GanttRow

Get the number of gantt bars

noOfRows() - Method in class com.uppaal.model.system.GanttChart

Get the number of the rows

NOT_OK - Static variable in class com.uppaal.engine.QueryResult

notifyDataObservers() - Method in class com.uppaal.model.core2.QueryData

O

OK - Static variable in class com.uppaal.engine.QueryResult

oldAnchor - Variable in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

oldAnchor - Variable in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

oldEnd - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

oldLength - Variable in class com.uppaal.model.core2.lsc.SetLengthCommand

oldLength - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

oldX - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

oldY - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

OPBR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

OPBRACE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

OPEN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

OPPAR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

overlaps - Variable in class com.uppaal.model.system.GanttBar

P

parameter(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse an optional parameter tag text.

PARAMLIST - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

paramListGraphInfo() - Method in class com.uppaal.model.io2.UGIReader

parent - Variable in class com.uppaal.model.core2.InsertElementCommand

parent - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

parent - Variable in class com.uppaal.model.core2.RemoveElementCommand

parent - Variable in class com.uppaal.model.core2.RemoveTemplateCommand

parse(Document) - Method in class com.uppaal.model.io2.UGIReader

Parses the currently associated java.io.InputStream and modifies pos tags on elements in document .

parse(Element) - Method in class com.uppaal.model.io2.XMLReader

Parse the document.

parse(Element) - Method in class com.uppaal.model.io2.XTAReader

parseAcknowledgement() - Method in class com.uppaal.engine.Parser

Parses the prolog and the end of the characters

parseBigDecimal() - Method in class com.uppaal.engine.Parser

Parse the float of the next token

parseBlock() - Method in class com.uppaal.engine.Parser

Read the context of the block

parseConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the concrete initial state in the system

parseConcreteState(UppaalSystem) - Method in class com.uppaal.engine.Parser

Create the concrete state in the system: - Get the list of locations in the system - Get the list of variables of the system - Get the invariant value <l-len> <location>* <v-len> ( <value> <rate> )* <limit> <strict>

parseConcreteSuccessor(UppaalSystem) - Method in class com.uppaal.engine.Parser

To create the concrete successor: - parses the concrete state - get the list of the concrete transition

parseEdges(UppaalSystem) - Method in class com.uppaal.engine.Parser

Get the list of the system edges

parseEdges(Properties, UppaalSystem, String) - Method in class com.uppaal.engine.KeyValueProtocol

Parse edges in the system

parseEdgesWS(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the selected edge of the system.

parseEnabledConcreteTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the limit of the concrete transition and collect the enabled concrete transition into the list

parseEnabledTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the transitions that are transit enabled

parseEnd() - Method in class com.uppaal.engine.Parser

Parses the end of the characters.

ParseException - Exception in com.uppaal.model.io2

This exception is thrown when parse errors are encountered.

ParseException() - Constructor for exception com.uppaal.model.io2.ParseException

The following constructors are for use by you for whatever purpose you can think of.

ParseException(Token, int[][], String[]) - Constructor for exception com.uppaal.model.io2.ParseException

This constructor is used by the method "generateParseException" in the generated parser.

ParseException(String) - Constructor for exception com.uppaal.model.io2.ParseException

Constructor with message.

parseGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Parser

Parses a Gantt chart.

parseGanttHeader(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the header of the ganttchard

parseId() - Method in class com.uppaal.engine.Parser

Parses and gets the string.

parseInteger() - Method in class com.uppaal.engine.Parser

Parses and get the integer value

parseLimit() - Method in class com.uppaal.engine.Parser

Parses the limit : limit consists of a value and information about whether the limit is strict or not.

parseLocationVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

Parses location vector

parseLong() - Method in class com.uppaal.engine.Parser

Parses the response string in 'long'

parseLscProcess(Document) - Method in class com.uppaal.engine.Parser

Parse LSC process

parsePartialEnd() - Method in class com.uppaal.engine.Parser

Parses the partial end of the characters

parseProblems() - Method in class com.uppaal.engine.Parser

Parses problems in the system

parseProblems(ArrayList<Problem>) - Method in class com.uppaal.engine.Parser

Parses problems in the system

parseProlog() - Method in class com.uppaal.engine.Parser

Parses the prolog

parseQueryResult() - Method in class com.uppaal.engine.Parser

Parses query and get the query result

Parser - Class in com.uppaal.engine

Simple recursive decent parser for the communication protocol.

Parser(InputStream) - Constructor for class com.uppaal.engine.Parser

Constructor

parseResults(String, QueryResult) - Method in class com.uppaal.engine.DotProtocol

Parses the feedback block which may consist of the following items: popup message (starts with M) verbose result for display in the property list (starts with R) a data for plot (starts with P).See server.cpp for details.

parseState(Properties, UppaalSystem, String, String, String) - Method in class com.uppaal.engine.KeyValueProtocol

Parse the symbolic state

parseSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the symbolic initial state in the system

parseSymbolicState(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the symbolic state in the system

parseSystem(Document) - Method in class com.uppaal.engine.Parser

Parses the uppaal system: - get the list of variables - get the list of clocks - add the processes into the system - add Gantt Chart parsing

parseVariableVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

Parse the variable vector

parseXTRTrace(UppaalSystem) - Method in class com.uppaal.engine.Parser

Parses the Trace

parseZone(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

Parse the zone of the uppaal system

PART_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

PARTIAL_END - Static variable in class com.uppaal.engine.LexicalAnalyser

plainMetrics - Static variable in class com.uppaal.model.io2.BoundCalc

plainWidth(String) - Static method in class com.uppaal.model.io2.BoundCalc

Computes the width of string in plain font.

PLUS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

Polyhedron - Class in com.uppaal.model.system

Polyhedron(UppaalSystem) - Constructor for class com.uppaal.model.system.Polyhedron

populateCondition(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

populateInstance(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

populatePrechart(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

position - Variable in class com.uppaal.model.core2.InsertElementCommand

prechart(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the prechart data, tag 'prechart'

Prechart - Class in com.uppaal.model.core2.lsc

Prechart(Element) - Constructor for class com.uppaal.model.core2.lsc.Prechart

PRECHART_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

PRECHART_MIN_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

PRECHART_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

PRECHART_TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

prevCharIsCR - Variable in class com.uppaal.model.io2.SimpleCharStream

prevCharIsLF - Variable in class com.uppaal.model.io2.SimpleCharStream

previous - Variable in class com.uppaal.model.core2.Node

The left sibling of this element.

print(String) - Method in class com.uppaal.model.core2.PrintVisitor

printGanttInfo() - Method in class com.uppaal.model.system.GanttChart

Printing the gantt chart information

printRowInfo() - Method in class com.uppaal.model.system.GanttRow

Print the row information

PrintVisitor - Class in com.uppaal.model.core2

PrintVisitor() - Constructor for class com.uppaal.model.core2.PrintVisitor

PROB_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for probability labels.

PROBABILITY - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

PROBABILITY - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

problem() - Method in class com.uppaal.engine.Parser

Create the problem

Problem - Class in com.uppaal.engine

A representation of a syntax error or warning.

Problem(String, String, int, int, int, int, String) - Constructor for class com.uppaal.engine.Problem

Problem(String, String, int, int, int, int, String, String) - Constructor for class com.uppaal.engine.Problem

Constructor: Creates a new problem object

Problem(String, String, String) - Constructor for class com.uppaal.engine.Problem

PROCASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

procAssignGI() - Method in class com.uppaal.model.io2.UGIReader

Process - Class in com.uppaal.model.system

The class process

Process(String, int, Template, Translator) - Constructor for class com.uppaal.model.system.Process

Constructor

PROCESS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

PROCESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

PROCESS_FILL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Color for process box fill.

PROCESS_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Constant.

processdecl(Document) - Method in class com.uppaal.model.io2.XTAReader

project(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse the document starting with 'project' or 'nta', through templates, instantiation, system declaration and queries.

properties - Variable in class com.uppaal.model.core2.Element

The properties of this element.

property - Variable in class com.uppaal.model.core2.SetPropertyCommand

Property - Class in com.uppaal.model.core2

A property is a special kind of element.

Property(Element, Element, Object) - Constructor for class com.uppaal.model.core2.Property

propertyChanged(Property, String, Object, Object) - Method in class com.uppaal.model.core2.AbstractEventListener

propertyChanged(Property, String, Object, Object) - Method in interface com.uppaal.model.core2.EventListener

Protocol - Interface in com.uppaal.engine

ProtocolException - Exception in com.uppaal.engine

ProtocolException() - Constructor for exception com.uppaal.engine.ProtocolException

ProtocolException(String) - Constructor for exception com.uppaal.engine.ProtocolException

prototype - Variable in class com.uppaal.model.core2.Element

The prototype of this element.

PrototypeDocument - Class in com.uppaal.model.core2

Prototypical document structure for a Uppaal network of timed automata with default properties (see the prototype design pattern).

PrototypeDocument() - Constructor for class com.uppaal.model.core2.PrototypeDocument

PrototypeVisitor - Class in com.uppaal.model.core2

Only difference to AbstractVisitor is that this visitor knows about the #template, #location, #edge and #nail properties used to set the default prototype for these elements.

PrototypeVisitor() - Constructor for class com.uppaal.model.core2.PrototypeVisitor

PTBody(Template) - Method in class com.uppaal.model.io2.XTAReader

PTGraphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader

PTHead(Template) - Method in class com.uppaal.model.io2.XTAReader

PTParamList(Template) - Method in class com.uppaal.model.io2.XTAReader

Q

QM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

queries(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse 'queries' tag with inner 'query' tags containing 'formula' and 'comment' tags.

query - Variable in class com.uppaal.model.core2.RemoveQueryCommand

The new query property

query(UppaalSystem, Query, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol

Write the query data to the server

query(UppaalSystem, Query, QueryFeedback) - Method in class com.uppaal.engine.EngineStub

Verify a query on an instantiated UPPAAL model.

query(UppaalSystem, Query, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol

query(UppaalSystem, Query, QueryFeedback) - Method in interface com.uppaal.engine.Protocol

Verify a query on an instantiated UPPAAL model.

query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol

Write the query data and the symbolic state to the server

query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in class com.uppaal.engine.EngineStub

Verify a guery on an instantiated UPPAAL model with custom initial state.

query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol

query(UppaalSystem, SymbolicState, Query, QueryFeedback) - Method in interface com.uppaal.engine.Protocol

Verify a query on an instantiated UPPAAL model with custom initial state.

query(UppaalSystem, SymbolicState, String, Query, QueryFeedback) - Method in class com.uppaal.engine.Engine

Verify a guery on an instantiated UPPAAL model.

query(UppaalSystem, String, Query, QueryFeedback) - Method in class com.uppaal.engine.Engine

Verify a query on an instantiated UPPAAL model.

Query - Class in com.uppaal.model.core2

The query class

Query() - Constructor for class com.uppaal.model.core2.Query

Constructor

Query(String, String) - Constructor for class com.uppaal.model.core2.Query

Constructor

queryAdded(Query, int) - Method in interface com.uppaal.model.core2.QueryListListener

queryChanged(Query, boolean) - Method in interface com.uppaal.model.core2.QueryListener

QueryData - Class in com.uppaal.model.core2

QueryData() - Constructor for class com.uppaal.model.core2.QueryData

QueryFeedback - Interface in com.uppaal.engine

Defines the interface to receive feedback from a verifier.

queryList - Variable in class com.uppaal.model.core2.AppendQueriesCommand

The query list

queryList - Variable in class com.uppaal.model.core2.InsertQueryCommand

The queries

queryList - Variable in class com.uppaal.model.core2.RemoveQueryCommand

The query list model

QueryList - Class in com.uppaal.model.core2

Special query List class, that provides access to status on the elements.

QueryList() - Constructor for class com.uppaal.model.core2.QueryList

Default constructor.

QueryList(Element) - Constructor for class com.uppaal.model.core2.QueryList

Default constructor.

QueryListener - Interface in com.uppaal.model.core2

The listener class of 'query'

QueryListListener - Interface in com.uppaal.model.core2

Listener class for 'QueryList'

QueryListStreamWriter - Class in com.uppaal.model.io2

The writer class

QueryListStreamWriter(OutputStream) - Constructor for class com.uppaal.model.io2.QueryListStreamWriter

Constructor

QueryListURLReader - Class in com.uppaal.model.io2

The reader class

QueryListURLReader(URL) - Constructor for class com.uppaal.model.io2.QueryListURLReader

Constructor

queryRemoved(Query, int) - Method in interface com.uppaal.model.core2.QueryListListener

QueryResult - Class in com.uppaal.engine

The verification result of the query

QueryResult() - Constructor for class com.uppaal.engine.QueryResult

QueryResult(char) - Constructor for class com.uppaal.engine.QueryResult

QueryResult(CannotEvaluateException) - Constructor for class com.uppaal.engine.QueryResult

QUIT - com.uppaal.engine.KeyValueProtocol.Service

R

read() - Method in class com.uppaal.engine.LexicalAnalyser

Reads the char and stops by '\r'

read() - Method in class com.uppaal.model.io2.QueryListURLReader

Returns a query list read from a textfile at the given URL

readBlock() - Method in class com.uppaal.engine.LexicalAnalyser

Read the context of the block

readChar() - Method in class com.uppaal.model.io2.SimpleCharStream

Read a character.

reader - Variable in class com.uppaal.model.io2.XMLReader

readLines() - Method in class com.uppaal.engine.KeyValueProtocol

Read lines until "."-line-terminator, remove (escaping) start-of-line-"."s

readText() - Method in class com.uppaal.model.io2.XMLReader

Read the text inside a tag.

recvBlock(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol

Checks the string of the block from the BufferedReader.

recvLines(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol

Checks serviceName, checks for OK or ERROR (don't use for PROGRESS messages)

recvProperties(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol

Recovery all properties

recvProperties(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol

Recovery all properties from the allowed progress

recvString(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol

Checks the imported string from the service object

redo() - Method in class com.uppaal.model.core2.CommandManager

Redo last undone command.

redone(CommandManager, Command) - Method in interface com.uppaal.model.core2.CommandListener

Called when the command has been re-executed after it has been undone.

ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Reinitialise parser.

ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Reinitialise parser.

ReInit(UGIReaderTokenManager) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(XTAReaderTokenManager) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(InputStream) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(InputStream) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(InputStream, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(InputStream, String) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(Reader) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(Reader, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

RelToAbsVisitor - Class in com.uppaal.model.io2

RelToAbsVisitor() - Constructor for class com.uppaal.model.io2.RelToAbsVisitor

remove() - Method in class com.uppaal.model.core2.LogIterator

remove() - Method in class com.uppaal.model.core2.Node

Remove the node from the tree structure.

remove(int) - Method in class com.uppaal.model.core2.QueryList

Remove the query

remove(int) - Method in class com.uppaal.model.system.AbstractTrace

remove(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart

remove(Query) - Method in class com.uppaal.model.core2.QueryList

Remove the query from the query list

remove(Transition) - Method in interface com.uppaal.model.system.TraceListener

removeAll() - Method in class com.uppaal.model.core2.QueryList

Remove all queries

removeAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition

removeAnchor(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

Remove the anchor

RemoveAnchorCommand - Class in com.uppaal.model.core2.lsc

The command class for remove anchor

RemoveAnchorCommand(CommandManager, Element, InstanceLine) - Constructor for class com.uppaal.model.core2.lsc.RemoveAnchorCommand

Constructor

removeCommandListener(CommandListener) - Method in class com.uppaal.model.core2.CommandManager

removes editing command listener

removeData2D(Data2D) - Method in class com.uppaal.model.core2.DataSet2D

Remove the Data2D

RemoveElementCommand - Class in com.uppaal.model.core2

The remove element command

RemoveElementCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveElementCommand

Constructor

removeInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

removeListener(EventListener) - Method in class com.uppaal.model.core2.Element

Removes an event listener.

RemoveLscElementCommand - Class in com.uppaal.model.core2.lsc

This is an attempt to decouple LSC-specific removal command features.

RemoveLscElementCommand(Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.RemoveLscElementCommand

RemoveQueryCommand - Class in com.uppaal.model.core2

The remove query command class

RemoveQueryCommand(QueryList, int) - Constructor for class com.uppaal.model.core2.RemoveQueryCommand

Constructor

removeQueryListener(QueryListener) - Method in class com.uppaal.model.core2.Query

removeQueryListListener(QueryListListener) - Method in class com.uppaal.model.core2.QueryList

RemoveTemplateCommand - Class in com.uppaal.model.core2

The remove template command

RemoveTemplateCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveTemplateCommand

Constructor

reset(ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace

Resets the trace with the given parameters.

resize - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

resize(int) - Method in class com.uppaal.model.core2.lsc.SetLengthCommand

Resize the instanceLine element

resizeIfNecessary(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.TranslationYCommand

resolveEntity(String, String, String, String) - Method in class com.uppaal.model.io2.UXMLResolver

resolveXPath(String) - Method in class com.uppaal.model.core2.Document

Resolve the path

role(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the role tag.

rotate(double) - Method in class com.uppaal.model.io2.FloatPoint

Returns this point's vector rotated according to the radian angle

run(Engine) - Method in interface com.uppaal.engine.Job

S

save(File) - Method in class com.uppaal.model.core2.Document

Save the data into the file

save(String) - Method in class com.uppaal.model.core2.Document

Save the data into the file

SELECT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

SELECT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SELECT_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for select labels.

SELECTED_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Color to be used for indicating selected objects.

SEMICOLON - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

SEMICOLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

sendMessage(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol

Send the message to the out stream using only the service

sendMessage(KeyValueProtocol.Service, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol

Send the message to the out stream using the service and symbolic state

sendMessage(KeyValueProtocol.Service, SymbolicState, String) - Method in class com.uppaal.engine.KeyValueProtocol

Send the message to the out stream using the service and symbolic state

sendMessage(KeyValueProtocol.Service, String) - Method in class com.uppaal.engine.KeyValueProtocol

Send the message to the out stream using the service and data string

SERVER - Static variable in class com.uppaal.engine.EngineStub

Remote connections only..

ServerException - Exception in com.uppaal.engine

ServerException() - Constructor for exception com.uppaal.engine.ServerException

ServerException(String) - Constructor for exception com.uppaal.engine.ServerException

set(CannotEvaluateException) - Method in class com.uppaal.engine.QueryResult

SET_OPTIONS - com.uppaal.engine.KeyValueProtocol.Service

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

Set anchor into the element

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update

setAnchoredToCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Update

setAnchors(ArrayList<InstanceLine>) - Method in class com.uppaal.model.core2.lsc.Condition

setAnchorToUpdate(InstanceLine, Condition) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

setClocks(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem

Set clocks

setColor(Color) - Method in class com.uppaal.model.core2.Data2D

setCommandManager(CommandManager) - Method in class com.uppaal.model.core2.Element

Set the command manager

setComment(String) - Method in class com.uppaal.model.core2.Query

setCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Simregion

setConnectionMode(int) - Method in class com.uppaal.engine.Engine

Sets the connection mode.

setConnectionMode(int) - Method in class com.uppaal.engine.EngineStub

Sets the connection mode.

setCurrent(int) - Method in interface com.uppaal.engine.QueryFeedback

Called when pos elements of the trace have been loaded.

setCVariables(ConcreteVariable[]) - Method in class com.uppaal.model.system.concrete.ConcreteState

setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Set debug output.

setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Set debug output.

setDelay(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord

setEdges(SystemEdgeSelect[]) - Method in class com.uppaal.model.system.AbstractTransition

setEndPoint(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand

Set the endpoint to the given location.

SetEndPointCommand - Class in com.uppaal.model.core2

Transaction for setting the end point on the edge

SetEndPointCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetEndPointCommand

Constructor

setFeedback(String) - Method in interface com.uppaal.engine.QueryFeedback

Called after a verification in case there is no trace.

setFinalAnchor(InstanceLine, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

Set the final anchor

setFinalEnd(InstanceLine) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

Set the final value

setFormula(String) - Method in class com.uppaal.model.core2.Query

setFormulaAndComment(String, String) - Method in class com.uppaal.model.core2.Query

Set the comment and query property.

setGanttChart(GanttChart) - Method in class com.uppaal.model.system.UppaalSystem

Set the ganttchart

setInvariant(Limit) - Method in class com.uppaal.model.system.concrete.ConcreteState

setLength(int) - Method in interface com.uppaal.engine.QueryFeedback

Called when the length of a trace is known.

setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.InstanceLine

setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate

Set length between bottom of instance head and top of instance foot.

SetLengthCommand - Class in com.uppaal.model.core2.lsc

SetLengthCommand(CommandManager, Element, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.SetLengthCommand

Constructor

setLengthTo(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate

setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand

Sets the current end point on the edge.

setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetSourceCommand

setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetTargetCommand

setLocations(SystemLocation[]) - Method in class com.uppaal.model.system.SystemState

Set the list of the system location

setLogX(boolean) - Method in class com.uppaal.model.core2.Data2D

setLogX(boolean) - Method in class com.uppaal.model.core2.DataSet2D

Set the log x into the data2D

setLogY(boolean) - Method in class com.uppaal.model.core2.Data2D

setLogY(boolean) - Method in class com.uppaal.model.core2.DataSet2D

Set log y

setLscProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem

Set the lsc process

setMessage(Message) - Method in class com.uppaal.model.core2.lsc.Simregion

setMessage(String) - Method in class com.uppaal.engine.QueryResult

setOptions(String) - Method in class com.uppaal.engine.DotProtocol

setOptions(String) - Method in class com.uppaal.engine.EngineStub

Sets server options used for verification.

setOptions(String) - Method in class com.uppaal.engine.KeyValueProtocol

setOptions(String) - Method in interface com.uppaal.engine.Protocol

Sets server options used for verification.

setPrechart(Prechart) - Method in class com.uppaal.model.lscsystem.LscProcess

setProgress(int, long, long, long, long, long, long, long, long, long) - Method in interface com.uppaal.engine.QueryFeedback

Called when server sends a progress update on verification status.

setProgress(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol

Set the progress: When server sends a progress update on verification status.

setProgressAvail(boolean) - Method in interface com.uppaal.engine.QueryFeedback

Called before sending query to server.

setProperties(Object[]) - Method in class com.uppaal.model.core2.Element

setProperty(String, Object) - Method in class com.uppaal.model.core2.Element

Sets and returns the given property.

setProperty(String, Object) - Method in class com.uppaal.model.core2.Location

When setting the init property to true, the init property of all other locations in the same template is removed.

SetPropertyCommand - Class in com.uppaal.model.core2

The set property command

SetPropertyCommand(Element, String, Object) - Constructor for class com.uppaal.model.core2.SetPropertyCommand

Constructor

setPropertyFromPath(String, Object) - Method in class com.uppaal.model.core2.Element

Set the given property from path

SetPropertyWithPositionCommand - Class in com.uppaal.model.core2

The set property with position command class

SetPropertyWithPositionCommand(Element, String, Object, int, int) - Constructor for class com.uppaal.model.core2.SetPropertyWithPositionCommand

Constructor

setPrototype(Element) - Method in class com.uppaal.model.core2.Element

Sets the prototype of this element to the given argument.

setPrototype(Element) - Method in class com.uppaal.model.core2.Node

Sets the prototype of this element to the given argument.

SetQueryCommand - Class in com.uppaal.model.core2

SetQueryCommand(Query, String, String, String, String) - Constructor for class com.uppaal.model.core2.SetQueryCommand

Constructor

setRate(int) - Method in class com.uppaal.model.system.concrete.ConcreteVariable

setResult(QueryResult) - Method in class com.uppaal.model.core2.Query

Set the result

setResultText(String) - Method in interface com.uppaal.engine.QueryFeedback

Allows engine to add arbitrary text beside the "status" image.

setServerHost(String) - Method in class com.uppaal.engine.Engine

Sets the server host.

setServerHost(String) - Method in class com.uppaal.engine.EngineStub

Sets the server host.

setServerPath(String) - Method in class com.uppaal.engine.Engine

Sets the server path.

setServerPath(String) - Method in class com.uppaal.engine.EngineStub

Sets the server path.

setServerPort(int) - Method in class com.uppaal.engine.Engine

Sets the server port.

setServerPort(int) - Method in class com.uppaal.engine.EngineStub

Sets the server port.

setSimregions(ArrayList<Simregion>) - Method in class com.uppaal.model.core2.lsc.Cut

setSource(AbstractLocation) - Method in class com.uppaal.model.core2.Edge

Sets the origin of this edge.

setSource(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message

SetSourceCommand - Class in com.uppaal.model.core2

Transaction for changing the source of an edge.

SetSourceCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetSourceCommand

Constructor

setStrict(boolean) - Method in class com.uppaal.model.system.concrete.Limit

Set the strict value

setSystemInfo(long, long, long) - Method in interface com.uppaal.engine.QueryFeedback

Called before start processing a query.

setSystemInfo(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol

Set the system information: Before start processing a query

setTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream

setTarget(AbstractLocation) - Method in class com.uppaal.model.core2.Edge

Sets the destination of this edge.

setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

Set the target

setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message

setTarget(ConcreteState) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord

SetTargetCommand - Class in com.uppaal.model.core2

Transaction for changing the target of an edge.

SetTargetCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetTargetCommand

Constructor

setText(String, String) - Method in class com.uppaal.model.core2.SetQueryCommand

Set the new query property and comment text

setTime(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteState

setTitle(String) - Method in class com.uppaal.model.core2.Data2D

setTitle(String) - Method in class com.uppaal.model.core2.DataSet2D

Set title

setTrace(char, String, ConcreteTrace, QueryResult) - Method in interface com.uppaal.engine.QueryFeedback

Called after a verification in case there is trace.

setTrace(char, String, SymbolicTrace, QueryResult) - Method in interface com.uppaal.engine.QueryFeedback

Called when the complete trace has been loaded.

setTraceListener(TraceListener) - Method in class com.uppaal.model.system.AbstractTrace

setType(String) - Method in class com.uppaal.model.core2.Data2D

setUpdate(Update) - Method in class com.uppaal.model.core2.lsc.Simregion

setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable

setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit

Set the limit value

setVariables(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem

Set the variables

setVersion(int) - Method in class com.uppaal.model.core2.AbstractCommand

setVersion(int) - Method in interface com.uppaal.model.core2.Command

setXLabel(String) - Method in class com.uppaal.model.core2.DataSet2D

Set the label x into the data2D

setXMLResolver(XMLResolver) - Static method in class com.uppaal.model.io2.XMLReader

Set a custom XMLResolver to be used with XMLEventReader.

setYLabel(String) - Method in class com.uppaal.model.core2.DataSet2D

Set the label y into the data2D

showEditor(JFrame) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

Show the editor

sibling - Variable in class com.uppaal.model.core2.RemoveTemplateCommand

SimpleCharStream - Class in com.uppaal.model.io2

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(InputStream) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

Simregion - Class in com.uppaal.model.core2.lsc

Simregion(Element) - Constructor for class com.uppaal.model.core2.lsc.Simregion

simregions - Variable in class com.uppaal.model.core2.lsc.Cut

singleCoord(Element) - Method in class com.uppaal.model.io2.UGIReader

size() - Method in class com.uppaal.model.core2.DataSet2D

Ask the data size

size() - Method in class com.uppaal.model.core2.QueryList

Get the number of the query list

size() - Method in class com.uppaal.model.system.AbstractTrace

size() - Method in class com.uppaal.model.system.Trace

skipProblems() - Method in class com.uppaal.engine.Parser

To skip problems

SLASH - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SNAP_PER_GRID - Static variable in interface com.uppaal.model.core2.CommonConstants

SnapCommand - Class in com.uppaal.model.core2

Command to snap template elements to a grid.

SnapCommand(AbstractTemplate, double) - Constructor for class com.uppaal.model.core2.SnapCommand

Snap command

source - Variable in class com.uppaal.model.core2.Edge

source - Variable in class com.uppaal.model.core2.lsc.Message

source() - Method in class com.uppaal.model.io2.XMLReader

Parse the source (location/branchpoint) tag: ref attribute.

specialToken - Variable in class com.uppaal.model.io2.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

startColumn - Variable in exception com.uppaal.engine.CannotEvaluateException

startLine - Variable in exception com.uppaal.engine.CannotEvaluateException

STATE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

STATE_COMMIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of the inner symbol of committed locations.

STATE_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for state vertex fill.

STATE_INIT_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for initial state inner circle outline.

STATE_INIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of the inner circle symbolising a initial state.

STATE_LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for state labels.

STATE_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for state vertex outline.

STATE_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of a location.

STATE_URGENT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of the inner symbol of urgent locations.

staticFlag - Static variable in class com.uppaal.model.io2.SimpleCharStream

Whether parser is static.

stub - Variable in class com.uppaal.engine.Engine

The stub for the server connection.

submit(Job) - Method in class com.uppaal.engine.Engine

Submit the job to the verification engine.

subtract(float, float) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point with this point's coordinates subtracted by the given coordinates.

subtract(int, int) - Method in class com.uppaal.model.io2.IntPoint

Returns a point with this point's coordinates subtracted by the given coordinates.

subtract(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point with this point's coordinates subtracted by the given point.

subtract(Point2D) - Method in class com.uppaal.model.io2.IntPoint

Returns a point with this point's coordinates subtracted by the given point.

swap() - Method in class com.uppaal.model.core2.SetEndPointCommand

swap() - Method in class com.uppaal.model.core2.SetPropertyCommand

Swap the object

SwitchTo(int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Switch to specified lex state.

SwitchTo(int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Switch to specified lex state.

SymbolicState - Class in com.uppaal.model.system.symbolic

Class representing a state in a system

SymbolicState(SystemLocation[], int[], Polyhedron) - Constructor for class com.uppaal.model.system.symbolic.SymbolicState

Constructor

SymbolicTrace - Class in com.uppaal.model.system.symbolic

SymbolicTrace() - Constructor for class com.uppaal.model.system.symbolic.SymbolicTrace

SymbolicTrace(SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTrace

SymbolicTransition - Class in com.uppaal.model.system.symbolic

The class symbolic transition of the system

SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition

Constructor

SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState, String) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition

Constructor

SYNC - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

SYNC - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SYNC_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for synchronisation labels.

system(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse optional system tag.

SYSTEM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SystemCondition - Class in com.uppaal.model.lscsystem

SystemCondition(LscProcess, int, String, Condition) - Constructor for class com.uppaal.model.lscsystem.SystemCondition

SystemCut - Class in com.uppaal.model.lscsystem

SystemCut(SystemSimregion[], int[], Polyhedron) - Constructor for class com.uppaal.model.lscsystem.SystemCut

SYSTEMDEF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

systemDefGI() - Method in class com.uppaal.model.io2.UGIReader

SystemEdge - Class in com.uppaal.model.system

The class of the system edge

SystemEdge(Process, int, String, Edge) - Constructor for class com.uppaal.model.system.SystemEdge

Constructor

SystemEdgeSelect - Class in com.uppaal.model.system

The class to present the selected edges of the system

SystemEdgeSelect(Process, int, String, Edge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect

Constructor

SystemEdgeSelect(SystemEdge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect

Constructor

SystemInstanceLine - Class in com.uppaal.model.lscsystem

SystemInstanceLine(LscProcess, int, InstanceLine) - Constructor for class com.uppaal.model.lscsystem.SystemInstanceLine

SystemLocation - Class in com.uppaal.model.system

The class of the system location

SystemLocation(Process, int, Location) - Constructor for class com.uppaal.model.system.SystemLocation

Constructor

SystemMessage - Class in com.uppaal.model.lscsystem

SystemMessage(LscProcess, int, String, Message) - Constructor for class com.uppaal.model.lscsystem.SystemMessage

SystemPrechart - Class in com.uppaal.model.lscsystem

SystemPrechart(LscProcess, Prechart) - Constructor for class com.uppaal.model.lscsystem.SystemPrechart

SystemSimregion - Class in com.uppaal.model.lscsystem

systemSpec(Document) - Method in class com.uppaal.model.io2.XTAReader

SystemState - Class in com.uppaal.model.system

The class representing a state in a system

SystemState(SystemLocation[]) - Constructor for class com.uppaal.model.system.SystemState

Constructor

SystemUpdate - Class in com.uppaal.model.lscsystem

SystemUpdate(LscProcess, int, String, Update) - Constructor for class com.uppaal.model.lscsystem.SystemUpdate

T

tabSize - Variable in class com.uppaal.model.io2.SimpleCharStream

target - Variable in class com.uppaal.model.core2.Edge

target - Variable in class com.uppaal.model.core2.lsc.Message

target - Variable in class com.uppaal.model.system.concrete.ConcreteTransitionRecord

target() - Method in class com.uppaal.model.io2.XMLReader

Parse the target (location/branchpoint) tag: ref attribute.

temperature(Node) - Method in class com.uppaal.model.io2.XMLReader

Parse the temperature tag of a condition

Template - Class in com.uppaal.model.core2

The timed automaton template class

Template(Element) - Constructor for class com.uppaal.model.core2.Template

Constructor

TEMPLATE_NAME_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

TEMPLATE_PARAMLIST_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

TEMPLATENAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

templates(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse the template tag(s) if any: name, parameter, declaration, locations, branchpoints, initial location and edges.

TIMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

title - Variable in class com.uppaal.model.core2.DataSet2D

token - Variable in class com.uppaal.model.io2.UGIReader

Current token.

token - Variable in class com.uppaal.model.io2.XTAReader

Current token.

Token - Class in com.uppaal.model.io2

Describes the input token stream.

Token() - Constructor for class com.uppaal.model.io2.Token

No-argument constructor

Token(int) - Constructor for class com.uppaal.model.io2.Token

Constructs a new token for the specified Image.

Token(int, String) - Constructor for class com.uppaal.model.io2.Token

Constructs a new token for the specified Image and Kind.

token_source - Variable in class com.uppaal.model.io2.UGIReader

Generated Token Manager.

token_source - Variable in class com.uppaal.model.io2.XTAReader

Generated Token Manager.

tokenImage - Variable in exception com.uppaal.model.io2.ParseException

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

tokenImage - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

Literal token values.

tokenImage - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

Literal token values.

TokenMgrError - Error in com.uppaal.model.io2

Token Manager Error.

TokenMgrError() - Constructor for error com.uppaal.model.io2.TokenMgrError

No arg constructor.

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error com.uppaal.model.io2.TokenMgrError

Full Constructor.

TokenMgrError(String, int) - Constructor for error com.uppaal.model.io2.TokenMgrError

Constructor with message and reason.

TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

toServerFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Convert to format used to send to server.

toServerFormat() - Method in class com.uppaal.model.system.Transition

Convert to format used to send to server.

toString() - Method in exception com.uppaal.engine.CannotEvaluateException

toString() - Method in exception com.uppaal.engine.EngineException

toString() - Method in class com.uppaal.engine.Problem

toString() - Method in class com.uppaal.engine.QueryResult

toString() - Method in class com.uppaal.model.core2.Query

toString() - Method in class com.uppaal.model.io2.FloatPoint

Returns a string representation of this object

toString() - Method in class com.uppaal.model.io2.IntPoint

Returns a string representation of this object.

toString() - Method in class com.uppaal.model.io2.Token

Returns the image.

toString() - Method in class com.uppaal.model.system.concrete.Limit

toString() - Method in class com.uppaal.model.system.GanttBar

toString() - Method in class com.uppaal.model.system.Polyhedron

toTime - Variable in class com.uppaal.model.system.GanttBar

TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

TOUCH_INSTANCE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

toXTRFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Convert to format used in XTR files.

Trace - Class in com.uppaal.model.system

This class can be used for a combinated symbolic and concrete trace, or just one of them.

Trace(ConcreteState) - Constructor for class com.uppaal.model.system.Trace

Trace(ConcreteState, SymbolicState) - Constructor for class com.uppaal.model.system.Trace

Trace(SymbolicState) - Constructor for class com.uppaal.model.system.Trace

TRACE_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

traceFormat() - Method in class com.uppaal.model.AbstractSystemState

Convert to visual format used in simulator.

traceFormat() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord

Convert to visual format used in simulator.

traceFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Convert to visual format used in simulator.

traceFormat() - Method in class com.uppaal.model.system.SystemState

Convert to visual format used in simulator.

traceFormat() - Method in class com.uppaal.model.system.Transition

Convert to visual format used in simulator.

TraceListener<Transition extends AbstractTransition> - Interface in com.uppaal.model.system

TRANS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

TRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

TRANS_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for transition edge outline.

TRANS_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.Constants

The distance from a transition where it is touched.

transIdent() - Method in class com.uppaal.model.io2.UGIReader

Transition - Class in com.uppaal.model.system

Transition represents a discrete transition of the system.

Transition(SymbolicState, SystemEdge[], SymbolicState) - Constructor for class com.uppaal.model.system.Transition

Transition(SymbolicState, SystemEdge[], SymbolicState, String) - Constructor for class com.uppaal.model.system.Transition

translate(String) - Method in class com.uppaal.model.system.EmptyTranslator

translate(String) - Method in class com.uppaal.model.system.IdentifierTranslator

Returns a translated string where all identifiers have been replaced (by some actual parameter) if they denote a formal parameter..

translate(String) - Method in interface com.uppaal.model.system.Translator

translate(String) - Method in interface com.uppaal.model.Translator

TranslationCommand - Class in com.uppaal.model.core2

Translates (in the geometrical meaning) a set of elements.

TranslationCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.TranslationCommand

Constructor

TranslationMessageLabelCommand - Class in com.uppaal.model.core2.lsc

TranslationMessageLabelCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

Constructor

TranslationXCommand - Class in com.uppaal.model.core2.lsc

Translates (in the geometrical meaning) a set of elements.

TranslationXCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationXCommand

Constructor

TranslationYCommand - Class in com.uppaal.model.core2.lsc

Translates (in the geometrical meaning) a set of elements.

TranslationYCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationYCommand

Constructor

translator - Variable in class com.uppaal.model.AbstractProcess

The translator to use for this process.

Translator - Interface in com.uppaal.model.system

Translator - Interface in com.uppaal.model

trim() - Method in class com.uppaal.model.system.Polyhedron

truncate(int) - Method in class com.uppaal.model.system.GanttChart

Remove everything from the input data

truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttChart

Remove everything to the "right" of time t in chart

truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttRow

Cut off contents to the "right" of time t in the entire row

type(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the type tag of TA or LSC template.

U

UGIReader - Class in com.uppaal.model.io2

A parser that can read a file and modify pos tags in a Document.

UGIReader(UGIReaderTokenManager) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor with generated Token Manager.

UGIReader(InputStream) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor with InputStream.

UGIReader(InputStream, String) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor with InputStream and supplied encoding

UGIReader(Reader) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor.

UGIReaderConstants - Interface in com.uppaal.model.io2

Token literal values and constants.

UGIReaderTokenManager - Class in com.uppaal.model.io2

Token Manager.

UGIReaderTokenManager(SimpleCharStream) - Constructor for class com.uppaal.model.io2.UGIReaderTokenManager

Constructor.

UGIReaderTokenManager(SimpleCharStream, int) - Constructor for class com.uppaal.model.io2.UGIReaderTokenManager

Constructor.

UGIWriter - Class in com.uppaal.model.io2

A class that facilitates writing .ugi files from a Document.

UNCHECKED - Static variable in class com.uppaal.engine.QueryResult

UNCONTROLLABLETRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

uncover(Transition) - Method in interface com.uppaal.model.system.TraceListener

undo() - Method in class com.uppaal.model.core2.AbstractTransaction

undo() - Method in class com.uppaal.model.core2.AppendQueriesCommand

undo() - Method in interface com.uppaal.model.core2.Command

undo() - Method in class com.uppaal.model.core2.CommandManager

Undo last command.

undo() - Method in class com.uppaal.model.core2.CompoundCommand

undo() - Method in class com.uppaal.model.core2.InsertQueryCommand

undo() - Method in class com.uppaal.model.core2.InsertTemplateCommand

undo() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

undo() - Method in class com.uppaal.model.core2.MoveTemplateCommand

undo() - Method in class com.uppaal.model.core2.RemoveElementCommand

undo() - Method in class com.uppaal.model.core2.RemoveQueryCommand

undo() - Method in class com.uppaal.model.core2.RemoveTemplateCommand

undo() - Method in class com.uppaal.model.core2.SetPropertyCommand

undo() - Method in class com.uppaal.model.core2.SetQueryCommand

undo() - Method in class com.uppaal.model.core2.SnapCommand

undone(CommandManager, Command) - Method in interface com.uppaal.model.core2.CommandListener

Called when the command has been undone on a document.

unitVector() - Method in class com.uppaal.model.io2.FloatPoint

Returns the unit vector for this point's vector

unitVector() - Method in class com.uppaal.model.io2.IntPoint

Returns the unit vector for this point's vector.

unparse(Writer) - Method in class com.uppaal.model.io2.IntPoint

unquote(String) - Static method in class com.uppaal.engine.DotProtocol

Get the unquote string

update - Variable in class com.uppaal.model.core2.lsc.Simregion

Update - Class in com.uppaal.model.core2.lsc

Update(Element) - Constructor for class com.uppaal.model.core2.lsc.Update

UPDATE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

updateF() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

UpdateLineColumn(char) - Method in class com.uppaal.model.io2.SimpleCharStream

updates(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the updates data, tag 'update'

upload(Document) - Method in class com.uppaal.engine.DotProtocol

upload(Document) - Method in class com.uppaal.engine.EngineStub

Upload the document to the server.

upload(Document) - Method in class com.uppaal.engine.KeyValueProtocol

upload(Document) - Method in interface com.uppaal.engine.Protocol

Upload the document to the server.

upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol

upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.EngineStub

Upload the document to the server.

upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol

upload(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol

Upload the document to the server.

uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol

uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.EngineStub

Upload the lsc process to the server.

uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol

Upload the lsc.

uploadLsc(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol

UPPAAL_VERSION - com.uppaal.engine.KeyValueProtocol.Service

UppaalLscSystem - Class in com.uppaal.model.lscsystem

UppaalLscSystem() - Constructor for class com.uppaal.model.lscsystem.UppaalLscSystem

UppaalLscSystem(Document) - Constructor for class com.uppaal.model.lscsystem.UppaalLscSystem

UppaalSystem - Class in com.uppaal.model.system

An UppaalSystem consists of: A number of indexed processes consisting of a name, a template, and a translation map.

UppaalSystem(Document) - Constructor for class com.uppaal.model.system.UppaalSystem

Constructor

urgent(Location) - Method in class com.uppaal.model.io2.XMLReader

Parse optional urgent tag.

URGENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

UXMLResolver - Class in com.uppaal.model.io2

Resolve resources during an XML parse

UXMLResolver() - Constructor for class com.uppaal.model.io2.UXMLResolver

V

value - Variable in class com.uppaal.model.core2.Property

value - Variable in class com.uppaal.model.core2.SetPropertyCommand

value - Variable in class com.uppaal.model.system.GanttBar

valueOf(String) - Static method in enum com.uppaal.engine.KeyValueProtocol.Service

Returns the enum constant of this type with the specified name.

values() - Static method in enum com.uppaal.engine.KeyValueProtocol.Service

Returns an array containing the constants of this enum type, in the order they are declared.

variables - Variable in class com.uppaal.model.AbstractSystem

version - Variable in class com.uppaal.model.core2.AbstractCommand

view - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

ViewWorkAround - Interface in com.uppaal.model.core2.lsc

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.core2.AbstractVisitor

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.core2.PrintVisitor

visitBranchPoint(BranchPoint) - Method in interface com.uppaal.model.core2.Visitor

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.BoundCalc

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.UGIWriter

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the branch point, tag 'branchpoint'

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.LayoutVisitor

visitCondition(Condition) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitCondition(Condition) - Method in class com.uppaal.model.core2.AbstractVisitor

visitCondition(Condition) - Method in interface com.uppaal.model.core2.Visitor

visitCondition(Condition) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the condition, tag 'condition'

visitCut(Cut) - Method in class com.uppaal.model.core2.AbstractVisitor

visitCut(Cut) - Method in interface com.uppaal.model.core2.Visitor

visitDocument(Document) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitDocument(Document) - Method in class com.uppaal.model.core2.AbstractVisitor

visitDocument(Document) - Method in interface com.uppaal.model.core2.Visitor

visitDocument(Document) - Method in class com.uppaal.model.io2.UGIWriter

visitDocument(Document) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the document

visitDocument(Document) - Method in class com.uppaal.model.io2.XTAWriter

visitEdge(Edge) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitEdge(Edge) - Method in class com.uppaal.model.core2.AbstractVisitor

visitEdge(Edge) - Method in class com.uppaal.model.core2.PrintVisitor

visitEdge(Edge) - Method in interface com.uppaal.model.core2.Visitor

visitEdge(Edge) - Method in class com.uppaal.model.io2.BoundCalc

visitEdge(Edge) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitEdge(Edge) - Method in class com.uppaal.model.io2.UGIWriter

visitEdge(Edge) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the edge, tag 'transition'

visitEdge(Edge) - Method in class com.uppaal.model.LayoutVisitor

visitElement(Element) - Method in class com.uppaal.model.core2.AbstractVisitor

visitElement(Element) - Method in class com.uppaal.model.core2.PrintVisitor

visitElement(Element) - Method in class com.uppaal.model.core2.PrototypeVisitor

visitElement(Element) - Method in interface com.uppaal.model.core2.Visitor

visitInstanceLine(InstanceLine) - Method in class com.uppaal.model.core2.AbstractVisitor

visitInstanceLine(InstanceLine) - Method in interface com.uppaal.model.core2.Visitor

visitInstanceLine(InstanceLine) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the instanceLine, tag 'instance'

visitLocation(Location) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitLocation(Location) - Method in class com.uppaal.model.core2.AbstractVisitor

visitLocation(Location) - Method in class com.uppaal.model.core2.PrintVisitor

visitLocation(Location) - Method in interface com.uppaal.model.core2.Visitor

visitLocation(Location) - Method in class com.uppaal.model.io2.BoundCalc

visitLocation(Location) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitLocation(Location) - Method in class com.uppaal.model.io2.UGIWriter

visitLocation(Location) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the location

visitLocation(Location) - Method in class com.uppaal.model.LayoutVisitor

visitMessage(Message) - Method in class com.uppaal.model.core2.AbstractVisitor

visitMessage(Message) - Method in interface com.uppaal.model.core2.Visitor

visitMessage(Message) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the message, tag 'message'

visitNail(Nail) - Method in class com.uppaal.model.core2.AbstractVisitor

visitNail(Nail) - Method in class com.uppaal.model.core2.PrintVisitor

visitNail(Nail) - Method in interface com.uppaal.model.core2.Visitor

visitNail(Nail) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitNail(Nail) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the nail, tag 'nail'

visitNode(Node) - Method in class com.uppaal.model.core2.AbstractVisitor

visitNode(Node) - Method in interface com.uppaal.model.core2.Visitor

Visitor - Interface in com.uppaal.model.core2

Interface for implementing the visitor pattern.

visitPrechart(Prechart) - Method in class com.uppaal.model.core2.AbstractVisitor

visitPrechart(Prechart) - Method in interface com.uppaal.model.core2.Visitor

visitPrechart(Prechart) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the preChart, tag 'prechart'

visitProperty(Property) - Method in class com.uppaal.model.core2.AbstractVisitor

visitProperty(Property) - Method in interface com.uppaal.model.core2.Visitor

visitProperty(Property) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitProperty(Property) - Method in class com.uppaal.model.LayoutVisitor

visitQueries(QueryList) - Method in class com.uppaal.model.core2.AbstractVisitor

visitQueries(QueryList) - Method in interface com.uppaal.model.core2.Visitor

visitQueries(QueryList) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the queries, tag 'queries'

visitQuery(Query) - Method in class com.uppaal.model.core2.AbstractVisitor

visitQuery(Query) - Method in interface com.uppaal.model.core2.Visitor

visitQuery(Query) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the query, tag 'query'

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.core2.AbstractVisitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.core2.PrintVisitor

visitTemplate(AbstractTemplate) - Method in interface com.uppaal.model.core2.Visitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.UGIWriter

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the template

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.XTAWriter

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.LayoutVisitor

visitUpdate(Update) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitUpdate(Update) - Method in class com.uppaal.model.core2.AbstractVisitor

visitUpdate(Update) - Method in interface com.uppaal.model.core2.Visitor

visitUpdate(Update) - Method in class com.uppaal.model.io2.XMLWriter

Visitor of the update, tag 'update'

W

WORD - Static variable in class com.uppaal.engine.LexicalAnalyser

write(QueryList) - Method in class com.uppaal.model.io2.QueryListStreamWriter

Write a query list to an output stream

write(ConcreteState, BigDecimal) - Method in class com.uppaal.engine.DotProtocol

Writes the concrete state in the system to the output stream.

write(SystemEdge[]) - Method in class com.uppaal.engine.DotProtocol

Writes the list of the edges to the output stream

write(SystemEdgeSelect[]) - Method in class com.uppaal.engine.DotProtocol

Writes the list of the selected edges to the output stream

write(Object) - Method in class com.uppaal.engine.DotProtocol

Writes the object to the output stream following by a newline.

write(String) - Method in class com.uppaal.engine.DotProtocol

Writes the string to the output stream following by a newline.

write(BigDecimal) - Method in class com.uppaal.engine.DotProtocol

Writes the value to the output stream following by a new line

writeAttributes(Element) - Method in class com.uppaal.model.io2.XMLWriter

Write the attributes

writeColor(Edge, EdgeId) - Method in class com.uppaal.model.io2.UGIWriter

writeColor(Location) - Method in class com.uppaal.model.io2.UGIWriter

writeCoords(int, int) - Method in class com.uppaal.model.io2.UGIWriter

Write coordinates

writeFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter

Write the flag

writeNonEmptyProperty(Element, String) - Method in class com.uppaal.model.io2.XTAWriter

writeNonEmptyProperty(Element, String, String) - Method in class com.uppaal.model.io2.XTAWriter

writeProperty(String, String, int, int, AbstractLocation) - Method in class com.uppaal.model.io2.UGIWriter

Write property of a location.

writeProperty(String, String, int, int, Edge, EdgeId) - Method in class com.uppaal.model.io2.UGIWriter

Write property of an edge.

writePropertyAsElement(Element, String, boolean) - Method in class com.uppaal.model.io2.XMLWriter

Write property as the xml element

writePropertyAsLabel(Element, String) - Method in class com.uppaal.model.io2.XMLWriter

Write the property label, tag 'label' and the attribute 'kind', tag 'kind'

writer - Variable in class com.uppaal.model.io2.UGIWriter

writer - Variable in class com.uppaal.model.io2.XMLWriter

writer - Variable in class com.uppaal.model.io2.XTAWriter

writeServerFormat(Writer) - Method in class com.uppaal.model.AbstractSystemState

Convert to format used to send to server.

writeServerFormat(Writer) - Method in class com.uppaal.model.system.symbolic.SymbolicState

Writer the server format

writeTextualFormat(Writer) - Method in class com.uppaal.model.system.Polyhedron

writeXTRFormat(Writer) - Method in class com.uppaal.model.AbstractSystemState

Convert to format used in XTR files.

writeXTRFormat(Writer) - Method in class com.uppaal.model.system.symbolic.SymbolicState

Convert to format used in XTR files.

writeXTRFormat(Writer) - Method in class com.uppaal.model.system.symbolic.SymbolicTransition

Convert the selected edge of the system to format used in XTR files.

writeXTRFormat(Writer) - Method in class com.uppaal.model.system.SystemEdge

Convert the edge to format used in XTR files.

writeXTRFormat(Writer) - Method in class com.uppaal.model.system.SystemEdgeSelect

Convert to format used in XTR files.

writeXTRFormat(Writer) - Method in class com.uppaal.model.system.Transition

Convert to format used in XTR files.

WS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

X

x - Variable in class com.uppaal.model.core2.SetPropertyWithPositionCommand

xd - Variable in class com.uppaal.model.core2.TranslationCommand

xEnd - Variable in class com.uppaal.model.system.GanttBar

xlabel - Variable in class com.uppaal.model.core2.DataSet2D

XMLReader - Class in com.uppaal.model.io2

The class for xml file read

XMLReader(InputStream) - Constructor for class com.uppaal.model.io2.XMLReader

Constructor

XMLWriter - Class in com.uppaal.model.io2

The model xml writer class

XMLWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XMLWriter

Constructor

XMLWriter(Writer) - Constructor for class com.uppaal.model.io2.XMLWriter

Constructor

xStart - Variable in class com.uppaal.model.system.GanttBar

XTAReader - Class in com.uppaal.model.io2

XTAReader(XTAReaderTokenManager) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor with generated Token Manager.

XTAReader(InputStream) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor with InputStream.

XTAReader(InputStream, String) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor with InputStream and supplied encoding

XTAReader(Reader) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor.

XTAReaderConstants - Interface in com.uppaal.model.io2

Token literal values and constants.

XTAReaderTokenManager - Class in com.uppaal.model.io2

Token Manager.

XTAReaderTokenManager(SimpleCharStream) - Constructor for class com.uppaal.model.io2.XTAReaderTokenManager

Constructor.

XTAReaderTokenManager(SimpleCharStream, int) - Constructor for class com.uppaal.model.io2.XTAReaderTokenManager

Constructor.

XTAWriter - Class in com.uppaal.model.io2

A class that facilitates writing .xta from a Document.

XTAWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XTAWriter

Y

y - Variable in class com.uppaal.model.core2.SetPropertyWithPositionCommand

yd - Variable in class com.uppaal.model.core2.TranslationCommand

yEnd - Variable in class com.uppaal.model.system.GanttBar

ylabel - Variable in class com.uppaal.model.core2.DataSet2D

yLocation(LscElement, String) - Method in class com.uppaal.model.io2.XMLReader

Set the y coordinate of the location in lscElement.

yloccoord(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parse the y coordinate data of the location, tag 'yloccoord'

yStart - Variable in class com.uppaal.model.system.GanttBar

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