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

A

AbstractCommand - Class in com.uppaal.model.core2

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

AbstractEventListener - Class in com.uppaal.model.core2

Abstract listener class to listen for element events.

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

AbstractLocation - Class in com.uppaal.model.core2

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

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

AbstractProcess - Class in com.uppaal.model

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

AbstractSystem - Class in com.uppaal.model

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

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

AbstractSystemLocation - Class in com.uppaal.model

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

AbstractSystemState - Class in com.uppaal.model

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

AbstractTemplate - Class in com.uppaal.model.core2

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

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

AbstractTransaction - Class in com.uppaal.model.core2

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

AbstractVisitor - Class in com.uppaal.model.core2

Abstract implementation of the visitor interface.

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

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

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

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

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

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

Accept a visitor.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Constructor

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

adds editing command listener

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

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

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

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

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

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

Adds an event listener.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

notified when node is moved among siblings (the same parent)

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

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

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

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

Get the update anchor instance

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

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

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

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

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

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

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

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

Get the anchor instances for a condition

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

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

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

Color for area select rectangle.

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

Radian angle of arrow head lines on transition edges.

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

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

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

Length of the arrow head lines on transition edges.

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

RegularExpression Id.

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

RegularExpression Id.

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

Color for assignments labels.

B

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

Backup a number of characters.

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

RegularExpression Id.

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

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

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

Read until start element.

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

The column number of the first character of this Token.

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

The line number of the first character of this Token.

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

Start.

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

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

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

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

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

RegularExpression Id.

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

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

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

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

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

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

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

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

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

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

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

Computes the width of string s in bold font.

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

Try remote connection first, then local.

BoundCalc - Class in com.uppaal.model.io2

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

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

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

RegularExpression Id.

BranchPoint - Class in com.uppaal.model.core2

BranchPoint splits an edge into several probabilistic branches.

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

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

Radius of a branchpoint.

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

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

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

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

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

Position in buffer.

C

CachedOutputStream - Class in com.uppaal.model.io2

CachedOutputStream buffers the stream while ignoring flushing.

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

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

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

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

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

Forced disconnection from the server.

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

Cancel the transaction.

CannotRedoException - Exception in com.uppaal.model.core2

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

CannotUndoException - Exception in com.uppaal.model.core2

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

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

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

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

RegularExpression Id.

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

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

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

Constructor

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

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

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

Constructor

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

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

RegularExpression Id.

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

RegularExpression Id.

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.

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

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

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

Disconnect from the server.

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

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

RegularExpression Id.

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

RegularExpression Id.

cmdListeners - Variable in class com.uppaal.model.core2.Document

Command listeners

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

RegularExpression Id.

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

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

RegularExpression Id.

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

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

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

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

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

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

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

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

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

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

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

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

Provides classes for representing instantiated UPPAAL systems.

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

RegularExpression Id.

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

RegularExpression Id.

Command - Interface in com.uppaal.model.core2

Interface for commands.

CommandListener - Interface in com.uppaal.model.core2

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

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

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

Commit the transaction.

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

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

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

RegularExpression Id.

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

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

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

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

Parse optional committed tag.

CommonConstants - Interface in com.uppaal.model.core2

Defines various constants used by the model representation.

CompoundCommand - Class in com.uppaal.model.core2

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

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

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

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

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

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

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

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

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

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

Connects to the server, if not already connected.

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

Connect to the server.

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

Called whenever a connection to the server is established.

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

RegularExpression Id.

Constants - Interface in com.uppaal.model.core2

Defines various constants used by the model representation.

ConvertSyntaxVisitor - Class in com.uppaal.model

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

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

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

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

Creates a new point from a given IntPoint point.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Create and return a new UGI writer.

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

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

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

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

This is the last token that has been consumed successfully.

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

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

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

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

D

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

Debug output.

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

Debug output.

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

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

Lexical state.

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

Lexical state.

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

The default host for remote connections.

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

The default port for remote connections.

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

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

Disable tracing.

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

Disable tracing.

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

Disconnect from the server.

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

Disconnect from the server.

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

Called when disconnecting from the server.

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

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

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

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

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

Undo the translation.

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

Undo the translation.

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

Undo the translation.

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

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

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

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

Undo the translation.

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

Undo the translation.

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

Undo the translation.

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

Undo the translation.

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

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

Undo the translation.

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

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

Document - Class in com.uppaal.model.core2

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

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

Constructor without a prototype.

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

Constructor using the given prototype.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reset buffer when finished.

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

RegularExpression Id.

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

RegularExpression Id.

DotProtocol - Class in com.uppaal.engine

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

E

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

RegularExpression Id.

Edge - Class in com.uppaal.model.core2

Edge models discrete transitions between locations.

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

Constructs an Edge based on a prototype.

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

The edge on which we set the end point.

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

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

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

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

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

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

Element - Class in com.uppaal.model.core2

Base class for elements.

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

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

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

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

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

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

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

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

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

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

EmptyTranslator - Class in com.uppaal.model.system

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

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

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

Enable tracing.

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

Enable tracing.

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

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

The column number of the last character of this Token.

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

The line number of the last character of this Token.

Engine - Class in com.uppaal.engine

State-less wrapper for a UPPAAL server connection.

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

Constructs an Engine object for local connections.

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

Constructs an Engine object for the given connection settings.

EngineException - Exception in com.uppaal.engine

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

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

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

EngineStub - Class in com.uppaal.engine

A thin stub for the server protocol.

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

Constructs an EngineStub in LOCAL connection mode.

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

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

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

End of File.

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

End of File.

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

The end of line string for this machine.

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

RegularExpression Id.

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

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

Tests whether this object represents the same point as another IntPoint

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

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

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

RegularExpression Id.

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

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

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

EventListener - Interface in com.uppaal.model.core2

Listener interface to listen for element events.

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

RegularExpression Id.

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

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

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

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

Execute a command.

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

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

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

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

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

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

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

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

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

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

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

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

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

Each entry in this array is an array of integers.

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

Color for rates of exponential labels.

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

RegularExpression Id.

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

RegularExpression Id.

F

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

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

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

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

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

First child of this element.

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

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.

G

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

Generate ParseException.

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

Generate ParseException.

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

RegularExpression Id.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Get token beginning column number.

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

Get token beginning line number.

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

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

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

Returns the value of the color property.

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

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

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

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

Deprecated.

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

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

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

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

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

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

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

Returns the port the engine is connected to.

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

Returns the current connection mode.

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

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

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

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

Returns the document of this element.

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

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

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

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

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

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

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

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

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

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

Get token end column number.

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

Get token end line number.

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

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

Returns the first child.

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

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

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

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

Get token literal value.

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

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

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

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

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

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

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

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

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

Returns the initial state for the system.

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

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

Returns the initial state for the system.

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

Initialized UPPAAL system with the initial state.

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

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

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

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

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

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

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

Returns an integer rounded version of this point

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

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

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

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

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

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

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

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

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

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

Returns the last child.

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

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

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

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

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

Gets the instance line length, which is a template property

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

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

Deprecated.

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

Returns the property of the given name.

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

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

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

Returns the current end point.

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

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

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

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

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

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

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.SystemState

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Returns the first nail (if any).

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

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

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

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

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

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

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

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

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

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

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

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

Returns the right sibling.

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

Get the next Token.

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

Get the next Token.

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

Get the next Token.

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

Get the next Token.

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

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

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

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

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

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

Returns information about available options.

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

Returns information about available options.

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

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

Returns information about available options.

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

Returns the parent element.

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

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

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

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

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

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

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

Returns the left sibling.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Get the properties stored in this element.

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

Returns the property of the given name.

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

Returns the value of the property of the given name.

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

Returns the prototype.

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

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

Returns the #branchpoint property value of the parent argument.

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

Returns the #edge property value of the parent argument.

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

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

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

Returns the #location property value of the parent argument.

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

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

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

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

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

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

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

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

Returns the #nail property value of the parent argument.

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

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

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

Returns the #template property value of the parent argument.

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

Returns the current server host.

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

Returns the current server path.

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

Returns the current server port.

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

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

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

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

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

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

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

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

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

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.

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

Instantiates a UPPAAL document.

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

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

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

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

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

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

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

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

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

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

Returns the first template with the given name or null if no such template exists.

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

Returns the template of this element.

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

Returns the first template of the document.

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.

getTransitions(UppaalSystem, SystemState) - Method in class com.uppaal.engine.DotProtocol

getTransitions(UppaalSystem, SystemState) - Method in class com.uppaal.engine.Engine

Returns the list of outgoing transitions for the state of the given system.

getTransitions(UppaalSystem, SystemState) - Method in class com.uppaal.engine.EngineStub

Returns the list of outgoing transitions for the state.

getTransitions(UppaalSystem, SystemState) - Method in class com.uppaal.engine.KeyValueProtocol

getTransitions(UppaalSystem, SystemState) - 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

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

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

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

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

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

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

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

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

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

getValue() - Method in class com.uppaal.model.io2.Token

An optional attribute value of the Token.

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

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

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

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

Returns the version string of the server.

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

Returns the version string of the server.

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

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

Returns the version string of the server.

getVersion() - Method in class com.uppaal.model.core2.AbstractCommand

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

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

Returns the current version number of the document.

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

getWidth(String, Font, Graphics2D) - Static method in class com.uppaal.model.core2.lsc.LscElement

returns the width of the given string, written with the given font

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

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

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

Returns the value of the x property.

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

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

Returns the value of the y property.

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

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

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

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

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

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

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

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

RegularExpression Id.

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

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

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

RegularExpression Id.

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

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

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

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

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

RegularExpression Id.

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

RegularExpression Id.

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

RegularExpression Id.

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

Color for guard labels.

H

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

Performs a handshake with the server.

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

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

Returns the value of a boolean property.

hasFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter

hasFlag(Element, String) - Method in class com.uppaal.model.io2.XTAWriter

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

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

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

I

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

RegularExpression Id.

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

RegularExpression Id.

IdentifierTranslator - Class in com.uppaal.model.system

IdentifierTranslator(Map<String, String>) - Constructor for class com.uppaal.model.system.IdentifierTranslator

An instance is created by giving it a defining map as a hashtable.

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

The string image of the token.

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

RegularExpression Id.

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

RegularExpression Id.

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

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

Imports the tree rooted at this element into the prototype structure of the given parent.

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

RegularExpression Id.

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

indent() - Method in class com.uppaal.model.core2.PrintVisitor

indent() - Method in class com.uppaal.model.io2.XMLWriter

indentation - Variable in class com.uppaal.model.core2.PrintVisitor

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

Parse optional init tag.

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

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

RegularExpression Id.

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

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

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

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

Insert a child node.

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

A transaction command for inserting elements.

InsertAnchoredElementCommand(InstanceLine, AnchoredElement) - Constructor for class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

InsertEdgeCommand - Class in com.uppaal.model.core2

InsertEdgeCommand(AbstractLocation, int, int) - Constructor for class com.uppaal.model.core2.InsertEdgeCommand

InsertElementCommand - Class in com.uppaal.model.core2

A transaction command for inserting elements.

InsertElementCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertElementCommand

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

A transaction command for inserting elements.

InsertInstanceCommand(Node, Node, Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.InsertInstanceCommand

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

A transaction command for inserting elements.

InsertMessageCommand(InstanceLine, Message) - Constructor for class com.uppaal.model.core2.lsc.InsertMessageCommand

The hot sections touched by the message (and split)

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

Inserts a nail next to the end point.

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

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

InsertTemplateCommand - Class in com.uppaal.model.core2

A transaction command for inserting elements.

InsertTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertTemplateCommand

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

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

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

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

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

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

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

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

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

instances - Variable in class com.uppaal.model.core2.lsc.Prechart

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

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

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

instantiation(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse optional instantiation tag.

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

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

RegularExpression Id.

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

IntPoint - Class in com.uppaal.model.io2

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

Creates a point from given coordinates.

IntPoint(Point) - Constructor for class com.uppaal.model.io2.IntPoint

Creates a point from a given integer point.

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

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

RegularExpression Id.

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

Color for invariant labels.

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

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

RegularExpression Id.

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

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

Returns true if the engine is connected to a server.

isEmpty(String) - Method in class com.uppaal.model.io2.XTAWriter

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

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

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.

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

J

jj_nt - Variable in class com.uppaal.model.io2.UGIReader

Next token.

jj_nt - Variable in class com.uppaal.model.io2.XTAReader

Next token.

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

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

jjstrLiteralImages - Static variable in class com.uppaal.model.io2.UGIReaderTokenManager

Token literal values.

jjstrLiteralImages - Static variable in class com.uppaal.model.io2.XTAReaderTokenManager

Token literal values.

Job - Interface in com.uppaal.engine

K

KeyValueProtocol - Class in com.uppaal.engine

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

KeyValueProtocol.Service - Enum in com.uppaal.engine

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

Kill the server connection the hard way.

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

An integer that describes the kind of this token.

L

label(LscElement) - Method in class com.uppaal.model.io2.XMLReader

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

Default label color

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

LayoutVisitor - Class in com.uppaal.model

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

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

RegularExpression Id.

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

Returns the length of this point's vector

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

Returns the length of this point's vector.

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

RegularExpression Id.

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

RegularExpression Id.

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

LexicalAnalyser - Class in com.uppaal.engine

Lexical analyser used by EngineStub.

LexicalAnalyser(InputStream) - Constructor for class com.uppaal.engine.LexicalAnalyser

LexicalError(boolean, int, int, int, String, char) - Static method in error com.uppaal.model.io2.TokenMgrError

Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.

lexStateNames - Static variable in class com.uppaal.model.io2.UGIReaderTokenManager

Lexer state names.

lexStateNames - Static variable in class com.uppaal.model.io2.XTAReaderTokenManager

Lexer state names.

lighter(Color, float) - Static method in class com.uppaal.model.core2.lsc.LscElement

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

listeners - Variable in class com.uppaal.model.core2.Element

load(URL) - Method in class com.uppaal.model.core2.PrototypeDocument

Fetches a file, parses it and constructs a model Document.

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

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

Local connections only.

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

RegularExpression Id.

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

RegularExpression Id.

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

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

Location - Class in com.uppaal.model.core2

Location models the location part of the state of a timed automaton.

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

Creates a location based on a given prototype.

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

The original endpoint (or the new endpoint in case the command is undone.

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

RegularExpression Id.

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

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

RegularExpression Id.

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

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

Parse optional location.

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

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

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

LscConstants - Interface in com.uppaal.model.core2.lsc

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

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

LscProcess - Class in com.uppaal.model.lscsystem

LscProcess(String, int, LscTemplate, Translator) - Constructor for class com.uppaal.model.lscsystem.LscProcess

LscProcess constructor

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

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

lscTemplates(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse the lsc tags

M

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

merge(AbstractTemplate, AbstractTemplate) - Static method in class com.uppaal.model.core2.Document

Merges the source template into target (useful for pasting from clipboard).

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

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

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

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

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

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

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

messageSourceChanged(Message, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener

messageSourceChanged(Message, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener

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

messageTargetChanged(Message, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener

messageTargetChanged(Message, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener

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

RegularExpression Id.

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

RegularExpression Id.

mode(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

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

Color to be used for highligting objects under the mouse.

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

move(int, int) - Method in class com.uppaal.model.core2.AbstractTransaction

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

move(int, int) - Method in class com.uppaal.model.core2.InsertElementCommand

move(int, int) - Method in class com.uppaal.model.core2.lsc.InsertInstanceCommand

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

move(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

move(int) - Method in class com.uppaal.model.core2.lsc.TranslationXCommand

Move elements by (x, 0).

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

Move elements by (0, y).

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

Move a child node among siblings.

move(int, int) - Method in class com.uppaal.model.core2.TranslationCommand

Move elements by (x, y).

moveElements(int, int) - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

moveElements(int, int) - Method in class com.uppaal.model.core2.TranslationCommand

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

Move nail created with convertToNail() to a new position.

MoveTemplateCommand - Class in com.uppaal.model.core2

A transaction command for inserting elements.

MoveTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.MoveTemplateCommand

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

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

Returns a point which is a multiplication of this point

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

Returns a point which is a multiplication of this point.

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

N

Nail - Class in com.uppaal.model.core2

Nails models the graphical layout of edges.

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

Any nails created as a side effect of changing the endpoint.

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

Color for transition nail.

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

Color for nail fill.

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

Radius and touch distance of a nail.

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

nails(Edge) - Method in class com.uppaal.model.io2.XMLReader

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

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

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

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

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

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

RegularExpression Id.

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

RegularExpression Id.

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

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

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

newLength - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

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

newToken(int, String) - Static method in class com.uppaal.model.io2.Token

Returns a new Token object, by default.

newToken(int) - Static method in class com.uppaal.model.io2.Token

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

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

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

The right sibling of this element.

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

A reference to the next regular (non-special) token from the input stream.

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

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

node - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

Node - Class in com.uppaal.model.core2

Nodes are elements that can be placed in a tree structure represented by references to the parent, the first child and left and right siblings.

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

node - Variable in class com.uppaal.model.core2.RemoveElementCommand

node - Variable in class com.uppaal.model.core2.RemoveTemplateCommand

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

O

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

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

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

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

oldLength - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

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

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

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

RegularExpression Id.

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

RegularExpression Id.

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

RegularExpression Id.

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

RegularExpression Id.

P

parameter(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

Parses an optional parameter tag.

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

RegularExpression Id.

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

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

parent - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

parent - Variable in class com.uppaal.model.core2.RemoveElementCommand

parent - Variable in class com.uppaal.model.core2.RemoveTemplateCommand

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

Parses the currently associated java.io.InputStream and modifies pos tags on elements in document .

parse(Element) - Method in class com.uppaal.model.io2.XMLReader

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

parseAcknowledgement() - Method in class com.uppaal.engine.Parser

parseBlock() - Method in class com.uppaal.engine.Parser

parseEdges(Properties, UppaalSystem, String) - Method in class com.uppaal.engine.KeyValueProtocol

parseEdges(UppaalSystem) - Method in class com.uppaal.engine.Parser

parseEnabledTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser

parseEnd() - Method in class com.uppaal.engine.Parser

ParseException - Exception in com.uppaal.model.io2

This exception is thrown when parse errors are encountered.

ParseException(Token, int[][], String[]) - Constructor for exception com.uppaal.model.io2.ParseException

This constructor is used by the method "generateParseException" in the generated parser.

ParseException() - Constructor for exception com.uppaal.model.io2.ParseException

The following constructors are for use by you for whatever purpose you can think of.

ParseException(String) - Constructor for exception com.uppaal.model.io2.ParseException

Constructor with message.

parseId() - Method in class com.uppaal.engine.Parser

parseInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser

parseInteger() - Method in class com.uppaal.engine.Parser

parseLocationVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

parseLong() - Method in class com.uppaal.engine.Parser

parseLscProcess(Document) - Method in class com.uppaal.engine.Parser

parseProblems() - Method in class com.uppaal.engine.Parser

parseProblems(ArrayList<Problem>) - Method in class com.uppaal.engine.Parser

parseProlog() - Method in class com.uppaal.engine.Parser

parseQueryResult() - Method in class com.uppaal.engine.Parser

Parser - Class in com.uppaal.engine

Simple recursive decent parser for the communication protocol.

Parser(InputStream) - Constructor for class com.uppaal.engine.Parser

parseState(Properties, UppaalSystem, String, String, String) - Method in class com.uppaal.engine.KeyValueProtocol

parseState(UppaalSystem) - Method in class com.uppaal.engine.Parser

parseSystem(Document) - Method in class com.uppaal.engine.Parser

parseVariableVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

parseXTRTrace(UppaalSystem) - Method in class com.uppaal.engine.Parser

parseZone(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol

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

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

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

Computes the width of string in plain font.

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

RegularExpression Id.

Polyhedron - Class in com.uppaal.model.system

Polyhedron(UppaalSystem) - Constructor for class com.uppaal.model.system.Polyhedron

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The left sibling of this element.

print(String) - Method in class com.uppaal.model.core2.PrintVisitor

PrintVisitor - Class in com.uppaal.model.core2

PrintVisitor() - Constructor for class com.uppaal.model.core2.PrintVisitor

PROB_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for probability labels.

Problem - Class in com.uppaal.engine

A representation of a syntax error or warning.

Problem(String, String, int, int, int, int, String) - Constructor for class com.uppaal.engine.Problem

PROCASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

procAssignGI() - Method in class com.uppaal.model.io2.UGIReader

PROCESS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

PROCESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

Process - Class in com.uppaal.model.system

PROCESS_FILL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Color for process box fill.

PROCESS_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Constant.

processdecl(Document) - Method in class com.uppaal.model.io2.XTAReader

project(Document) - Method in class com.uppaal.model.io2.XMLReader

properties - Variable in class com.uppaal.model.core2.Element

The properties of this element.

Property - Class in com.uppaal.model.core2

A property is a special kind of element.

Property(Element, Element, Object) - Constructor for class com.uppaal.model.core2.Property

property - Variable in class com.uppaal.model.core2.SetPropertyCommand

propertyChanged(Property, String, Object, Object) - Method in class com.uppaal.model.core2.AbstractEventListener

propertyChanged(Property, String, Object, Object) - Method in interface com.uppaal.model.core2.EventListener

Protocol - Interface in com.uppaal.engine

ProtocolException - Exception in com.uppaal.engine

ProtocolException() - Constructor for exception com.uppaal.engine.ProtocolException

ProtocolException(String) - Constructor for exception com.uppaal.engine.ProtocolException

prototype - Variable in class com.uppaal.model.core2.Element

The prototype of this element.

PrototypeDocument - Class in com.uppaal.model.core2

Prototypical document structure for a Uppaal network of timed automata with default properties (see the prototype design pattern).

PrototypeDocument() - Constructor for class com.uppaal.model.core2.PrototypeDocument

PrototypeVisitor - Class in com.uppaal.model.core2

Only difference to AbstractVisitor is that this visitor knows about the #template, #location, #edge and #nail properties used to set the default prototype for these elements.

PrototypeVisitor() - Constructor for class com.uppaal.model.core2.PrototypeVisitor

PTBody(Template) - Method in class com.uppaal.model.io2.XTAReader

PTGraphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader

PTHead(Template) - Method in class com.uppaal.model.io2.XTAReader

PTParamList(Template) - Method in class com.uppaal.model.io2.XTAReader

Q

QM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

query(UppaalSystem, String, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol

query(UppaalSystem, SystemState, String, QueryFeedback) - Method in class com.uppaal.engine.DotProtocol

query(UppaalSystem, String, String, QueryFeedback) - Method in class com.uppaal.engine.Engine

Verify a guery on an instantiated UPPAAL model.

query(UppaalSystem, SystemState, String, String, QueryFeedback) - Method in class com.uppaal.engine.Engine

Verify a guery on an instantiated UPPAAL model.

query(UppaalSystem, String, QueryFeedback) - Method in class com.uppaal.engine.EngineStub

Verify a guery on an instantiated UPPAAL model.

query(UppaalSystem, SystemState, String, QueryFeedback) - Method in class com.uppaal.engine.EngineStub

Verify a guery on an instantiated UPPAAL model with custom initial state.

query(UppaalSystem, String, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol

query(UppaalSystem, SystemState, String, QueryFeedback) - Method in class com.uppaal.engine.KeyValueProtocol

query(UppaalSystem, String, QueryFeedback) - Method in interface com.uppaal.engine.Protocol

Verify a query on an instantiated UPPAAL model.

query(UppaalSystem, SystemState, String, QueryFeedback) - Method in interface com.uppaal.engine.Protocol

Verify a query on an instantiated UPPAAL model with custom initial state.

QueryFeedback - Interface in com.uppaal.engine

Defines the interface to receive feedback from a verifier.

R

read() - Method in class com.uppaal.engine.LexicalAnalyser

readBlock() - Method in class com.uppaal.engine.LexicalAnalyser

readChar() - Method in class com.uppaal.model.io2.SimpleCharStream

Read a character.

reader - Variable in class com.uppaal.model.io2.XMLReader

readLines() - Method in class com.uppaal.engine.KeyValueProtocol

readText() - Method in class com.uppaal.model.io2.XMLReader

recvBlock(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol

recvLines(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol

recvProperties(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol

recvProperties(KeyValueProtocol.Service, boolean) - Method in class com.uppaal.engine.KeyValueProtocol

recvString(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol

redo() - Method in class com.uppaal.model.core2.Document

Redo last undone command.

redoList - Variable in class com.uppaal.model.core2.Document

Commands on the redo stack.

redone(Document, Command) - Method in interface com.uppaal.model.core2.CommandListener

Called when the command has been re-executed after it has been undone.

ReInit(Reader, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class com.uppaal.model.io2.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(InputStream, String) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(Reader) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(UGIReaderTokenManager) - Method in class com.uppaal.model.io2.UGIReader

Reinitialise.

ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Reinitialise parser.

ReInit(InputStream) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(InputStream, String) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(Reader) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(XTAReaderTokenManager) - Method in class com.uppaal.model.io2.XTAReader

Reinitialise.

ReInit(SimpleCharStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Reinitialise parser.

RelToAbsVisitor - Class in com.uppaal.model.io2

RelToAbsVisitor() - Constructor for class com.uppaal.model.io2.RelToAbsVisitor

remove(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart

remove() - Method in class com.uppaal.model.core2.Node

Remove the node from the tree structure.

removeAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition

removeAnchor(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand

RemoveAnchorCommand - Class in com.uppaal.model.core2.lsc

RemoveAnchorCommand(Document, Element, InstanceLine) - Constructor for class com.uppaal.model.core2.lsc.RemoveAnchorCommand

Constructor

removeCommandListener(CommandListener) - Method in class com.uppaal.model.core2.Document

removes editing command listener

RemoveElementCommand - Class in com.uppaal.model.core2

RemoveElementCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveElementCommand

removeInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

removeListener(EventListener) - Method in class com.uppaal.model.core2.Element

Removes an event listener.

RemoveLscElementCommand - Class in com.uppaal.model.core2.lsc

This is an attempt to decouple LSC-specific removal command features.

RemoveLscElementCommand(Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.RemoveLscElementCommand

RemoveTemplateCommand - Class in com.uppaal.model.core2

RemoveTemplateCommand(Node) - Constructor for class com.uppaal.model.core2.RemoveTemplateCommand

resize(int) - Method in class com.uppaal.model.core2.lsc.SetLengthCommand

resize - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

resizeIfNecessary(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.TranslationYCommand

resolveXPath(String) - Method in class com.uppaal.model.core2.Document

role(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

rotate(double) - Method in class com.uppaal.model.io2.FloatPoint

Returns this point's vector rotated according to the radian angle

run(Engine) - Method in interface com.uppaal.engine.Job

S

save(String) - Method in class com.uppaal.model.core2.Document

save(File) - Method in class com.uppaal.model.core2.Document

SELECT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

SELECT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SELECT_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for select labels.

SELECTED_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

Color to be used for indicating selected objects.

SEMICOLON - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

SEMICOLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

sendMessage(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol

sendMessage(KeyValueProtocol.Service, String) - Method in class com.uppaal.engine.KeyValueProtocol

sendMessage(KeyValueProtocol.Service, SystemState) - Method in class com.uppaal.engine.KeyValueProtocol

sendMessage(KeyValueProtocol.Service, SystemState, String) - Method in class com.uppaal.engine.KeyValueProtocol

SERVER - Static variable in class com.uppaal.engine.EngineStub

Remote connections only..

ServerException - Exception in com.uppaal.engine

ServerException() - Constructor for exception com.uppaal.engine.ServerException

ServerException(String) - Constructor for exception com.uppaal.engine.ServerException

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update

setAnchoredToCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Update

setAnchors(ArrayList<InstanceLine>) - Method in class com.uppaal.model.core2.lsc.Condition

setAnchorToUpdate(InstanceLine, Condition) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround

setClocks(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem

setCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Simregion

setConnectionMode(int) - Method in class com.uppaal.engine.Engine

Sets the connection mode.

setConnectionMode(int) - Method in class com.uppaal.engine.EngineStub

Sets the connection mode.

setCurrent(int) - Method in interface com.uppaal.engine.QueryFeedback

Called when pos elements of the trace have been loaded.

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.

setEndPoint(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand

Set the endpoint to the given location.

SetEndPointCommand - Class in com.uppaal.model.core2

SetEndPointCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetEndPointCommand

setFeedback(String) - Method in interface com.uppaal.engine.QueryFeedback

Called after a verification in case there is no trace.

setFinalAnchor(InstanceLine, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand

setFinalEnd(InstanceLine) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand

setLength(int) - Method in interface com.uppaal.engine.QueryFeedback

Called when the length of a trace is known.

setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.InstanceLine

setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate

Set length between bottom of instance head and top of instance foot

SetLengthCommand - Class in com.uppaal.model.core2.lsc

SetLengthCommand(Document, Element, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.SetLengthCommand

Constructor

setLengthTo(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate

setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand

Sets the current end point on the edge.

setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetSourceCommand

setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetTargetCommand

setLscProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem

setMessage(Message) - Method in class com.uppaal.model.core2.lsc.Simregion

setOptions(String) - Method in class com.uppaal.engine.DotProtocol

setOptions(String) - Method in class com.uppaal.engine.EngineStub

Sets server options used for verification.

setOptions(String) - Method in class com.uppaal.engine.KeyValueProtocol

setOptions(String) - Method in interface com.uppaal.engine.Protocol

Sets server options used for verification.

setPrechart(Prechart) - Method in class com.uppaal.model.lscsystem.LscProcess

setProgress(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol

setProgress(int, long, long, long, long, long, long, long, long, long) - Method in interface com.uppaal.engine.QueryFeedback

Called when server sends a progress update on verification status.

setProgressAvail(boolean) - Method in interface com.uppaal.engine.QueryFeedback

Called before sending query to server.

setProperties(Object[]) - Method in class com.uppaal.model.core2.Element

setProperty(String, Object) - Method in class com.uppaal.model.core2.Element

Sets and returns the given property.

setProperty(String, Object) - Method in class com.uppaal.model.core2.Location

When setting the init property to true, the init property of all other locations in the same template is removed.

SetPropertyCommand - Class in com.uppaal.model.core2

SetPropertyCommand(Element, String, Object) - Constructor for class com.uppaal.model.core2.SetPropertyCommand

setPropertyFromPath(String, Object) - Method in class com.uppaal.model.core2.Element

SetPropertyWithPositionCommand - Class in com.uppaal.model.core2

SetPropertyWithPositionCommand(Element, String, Object, int, int) - Constructor for class com.uppaal.model.core2.SetPropertyWithPositionCommand

setPrototype(Element) - Method in class com.uppaal.model.core2.Element

Sets the prototype of this element to the given argument.

setPrototype(Element) - Method in class com.uppaal.model.core2.Node

Sets the prototype of this element to the given argument.

setResultText(String) - Method in interface com.uppaal.engine.QueryFeedback

Allows engine to add arbitrary text beside the "status" image.

setServerHost(String) - Method in class com.uppaal.engine.Engine

Sets the server host.

setServerHost(String) - Method in class com.uppaal.engine.EngineStub

Sets the server host.

setServerPath(String) - Method in class com.uppaal.engine.Engine

Sets the server path.

setServerPath(String) - Method in class com.uppaal.engine.EngineStub

Sets the server path.

setServerPort(int) - Method in class com.uppaal.engine.Engine

Sets the server port.

setServerPort(int) - Method in class com.uppaal.engine.EngineStub

Sets the server port.

setSimregions(ArrayList<Simregion>) - Method in class com.uppaal.model.core2.lsc.Cut

setSource(AbstractLocation) - Method in class com.uppaal.model.core2.Edge

Sets the origin of this edge.

setSource(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message

SetSourceCommand - Class in com.uppaal.model.core2

Transaction for changing the source of an edge.

SetSourceCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetSourceCommand

setSystemInfo(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol

setSystemInfo(long, long, long) - Method in interface com.uppaal.engine.QueryFeedback

Called before start processing a query.

setTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream

setTarget(AbstractLocation) - Method in class com.uppaal.model.core2.Edge

Sets the destination of this edge.

setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand

setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message

SetTargetCommand - Class in com.uppaal.model.core2

Transaction for changing the target of an edge.

SetTargetCommand(Document, Edge) - Constructor for class com.uppaal.model.core2.SetTargetCommand

setTrace(char, String, ArrayList<Transition>, int) - Method in interface com.uppaal.engine.QueryFeedback

Called when the complete trace has been loaded.

setUpdate(Update) - Method in class com.uppaal.model.core2.lsc.Simregion

setVariables(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem

setVersion(int) - Method in class com.uppaal.model.core2.AbstractCommand

setVersion(int) - Method in interface com.uppaal.model.core2.Command

setXMLResolver(XMLResolver) - Static method in class com.uppaal.model.io2.XMLReader

Set a custom XMLResolver to be used with XMLEventReader.

showEditor(JFrame) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand

sibling - Variable in class com.uppaal.model.core2.RemoveTemplateCommand

SimpleCharStream - Class in com.uppaal.model.io2

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class com.uppaal.model.io2.SimpleCharStream

Constructor.

Simregion - Class in com.uppaal.model.core2.lsc

Simregion(Element) - Constructor for class com.uppaal.model.core2.lsc.Simregion

simregions - Variable in class com.uppaal.model.core2.lsc.Cut

singleCoord(Element) - Method in class com.uppaal.model.io2.UGIReader

skipProblems() - Method in class com.uppaal.engine.Parser

SLASH - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SNAP_PER_GRID - Static variable in interface com.uppaal.model.core2.CommonConstants

SnapCommand - Class in com.uppaal.model.core2

Command to snap template elements to a grid.

SnapCommand(AbstractTemplate, int) - Constructor for class com.uppaal.model.core2.SnapCommand

source - Variable in class com.uppaal.model.core2.Edge

source - Variable in class com.uppaal.model.core2.lsc.Message

source() - Method in class com.uppaal.model.io2.XMLReader

specialToken - Variable in class com.uppaal.model.io2.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

STATE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

STATE_COMMIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of the inner symbol of committed locations.

STATE_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for state vertex fill.

STATE_INIT_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for initial state inner circle outline.

STATE_INIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of the inner circle symbolising a initial state.

STATE_LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for state labels.

STATE_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for state vertex outline.

STATE_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of a location.

STATE_URGENT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants

Radius of the inner symbol of urgent locations.

staticFlag - Static variable in class com.uppaal.model.io2.SimpleCharStream

Whether parser is static.

stub - Variable in class com.uppaal.engine.Engine

The stub for the server connection.

submit(Job) - Method in class com.uppaal.engine.Engine

subtract(float, float) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point with this point's coordinates subtracted by the given coordinates.

subtract(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint

Returns a point with this point's coordinates subtracted by the given point.

subtract(int, int) - Method in class com.uppaal.model.io2.IntPoint

Returns a point with this point's coordinates subtracted by the given coordinates.

subtract(Point2D) - Method in class com.uppaal.model.io2.IntPoint

Returns a point with this point's coordinates subtracted by the given point.

swap() - Method in class com.uppaal.model.core2.SetEndPointCommand

swap() - Method in class com.uppaal.model.core2.SetPropertyCommand

SwitchTo(int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager

Switch to specified lex state.

SwitchTo(int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager

Switch to specified lex state.

SYNC - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

SYNC - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SYNC_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for synchronisation labels.

system(Document) - Method in class com.uppaal.model.io2.XMLReader

Parse optional system tag.

SYSTEM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

SystemCondition - Class in com.uppaal.model.lscsystem

SystemCondition(LscProcess, int, String, Condition) - Constructor for class com.uppaal.model.lscsystem.SystemCondition

SystemCut - Class in com.uppaal.model.lscsystem

SystemCut(SystemSimregion[], int[], Polyhedron) - Constructor for class com.uppaal.model.lscsystem.SystemCut

SYSTEMDEF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

systemDefGI() - Method in class com.uppaal.model.io2.UGIReader

SystemEdge - Class in com.uppaal.model.system

SystemEdge(Process, int, String, Edge) - Constructor for class com.uppaal.model.system.SystemEdge

SystemInstanceLine - Class in com.uppaal.model.lscsystem

SystemInstanceLine(LscProcess, int, InstanceLine) - Constructor for class com.uppaal.model.lscsystem.SystemInstanceLine

SystemLocation - Class in com.uppaal.model.system

SystemMessage - Class in com.uppaal.model.lscsystem

SystemMessage(LscProcess, int, String, Message) - Constructor for class com.uppaal.model.lscsystem.SystemMessage

SystemPrechart - Class in com.uppaal.model.lscsystem

SystemPrechart(LscProcess, Prechart) - Constructor for class com.uppaal.model.lscsystem.SystemPrechart

SystemSimregion - Class in com.uppaal.model.lscsystem

systemSpec(Document) - Method in class com.uppaal.model.io2.XTAReader

SystemState - Class in com.uppaal.model.system

SystemState(SystemLocation[], int[], Polyhedron) - Constructor for class com.uppaal.model.system.SystemState

SystemUpdate - Class in com.uppaal.model.lscsystem

SystemUpdate(LscProcess, int, String, Update) - Constructor for class com.uppaal.model.lscsystem.SystemUpdate

T

tabSize - Variable in class com.uppaal.model.io2.SimpleCharStream

target - Variable in class com.uppaal.model.core2.Edge

target - Variable in class com.uppaal.model.core2.lsc.Message

target() - Method in class com.uppaal.model.io2.XMLReader

temperature(Node) - Method in class com.uppaal.model.io2.XMLReader

Parse the temperature tag for a condition

Template - Class in com.uppaal.model.core2

Template(Element) - Constructor for class com.uppaal.model.core2.Template

TEMPLATE_NAME_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

TEMPLATE_PARAMLIST_COL - Static variable in interface com.uppaal.model.core2.CommonConstants

TEMPLATENAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

templates(Document) - Method in class com.uppaal.model.io2.XMLReader

TIMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

Token - Class in com.uppaal.model.io2

Describes the input token stream.

Token() - Constructor for class com.uppaal.model.io2.Token

No-argument constructor

Token(int) - Constructor for class com.uppaal.model.io2.Token

Constructs a new token for the specified Image.

Token(int, String) - Constructor for class com.uppaal.model.io2.Token

Constructs a new token for the specified Image and Kind.

token - Variable in class com.uppaal.model.io2.UGIReader

Current token.

token - Variable in class com.uppaal.model.io2.XTAReader

Current token.

token_source - Variable in class com.uppaal.model.io2.UGIReader

Generated Token Manager.

token_source - Variable in class com.uppaal.model.io2.XTAReader

Generated Token Manager.

tokenImage - Variable in exception com.uppaal.model.io2.ParseException

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

tokenImage - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

Literal token values.

tokenImage - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

Literal token values.

TokenMgrError - Error in com.uppaal.model.io2

Token Manager Error.

TokenMgrError() - Constructor for error com.uppaal.model.io2.TokenMgrError

No arg constructor.

TokenMgrError(String, int) - Constructor for error com.uppaal.model.io2.TokenMgrError

Constructor with message and reason.

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error com.uppaal.model.io2.TokenMgrError

Full Constructor.

TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

toServerFormat() - Method in class com.uppaal.model.system.Transition

Convert to format used to send to server.

toString() - Method in exception com.uppaal.engine.EngineException

toString() - Method in class com.uppaal.engine.Problem

toString() - Method in class com.uppaal.model.io2.FloatPoint

Returns a string representation of this object

toString() - Method in class com.uppaal.model.io2.IntPoint

Returns a string representation of this object.

toString() - Method in class com.uppaal.model.io2.Token

Returns the image.

toString() - Method in class com.uppaal.model.system.Polyhedron

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

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.Transition

Convert to visual format used in simulator.

TRANS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants

RegularExpression Id.

TRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

TRANS_COL - Static variable in interface com.uppaal.model.core2.Constants

Color for transition edge outline.

TRANS_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.Constants

The distance from a transition where it is touched.

transIdent() - Method in class com.uppaal.model.io2.UGIReader

Transition - Class in com.uppaal.model.system

Transition represents a discrete transition of the system.

Transition(SystemState, SystemEdge[], SystemState) - Constructor for class com.uppaal.model.system.Transition

Transition(SystemState, SystemEdge[], SystemState, 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(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.TranslationCommand

TranslationMessageLabelCommand - Class in com.uppaal.model.core2.lsc

TranslationMessageLabelCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

TranslationXCommand - Class in com.uppaal.model.core2.lsc

Translates (in the geometrical meaning) a set of elements.

TranslationXCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationXCommand

TranslationYCommand - Class in com.uppaal.model.core2.lsc

Translates (in the geometrical meaning) a set of elements.

TranslationYCommand(Document, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationYCommand

translator - Variable in class com.uppaal.model.AbstractProcess

The translator to use for this process.

Translator - Interface in com.uppaal.model.system

Translator - Interface in com.uppaal.model

trim() - Method in class com.uppaal.model.system.Polyhedron

type(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader

U

UGIReader - Class in com.uppaal.model.io2

A parser that can read a file and modify pos tags in a Document.

UGIReader(InputStream) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor with InputStream.

UGIReader(InputStream, String) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor with InputStream and supplied encoding

UGIReader(Reader) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor.

UGIReader(UGIReaderTokenManager) - Constructor for class com.uppaal.model.io2.UGIReader

Constructor with generated Token Manager.

UGIReaderConstants - Interface in com.uppaal.model.io2

Token literal values and constants.

UGIReaderTokenManager - Class in com.uppaal.model.io2

Token Manager.

UGIReaderTokenManager(SimpleCharStream) - Constructor for class com.uppaal.model.io2.UGIReaderTokenManager

Constructor.

UGIReaderTokenManager(SimpleCharStream, int) - Constructor for class com.uppaal.model.io2.UGIReaderTokenManager

Constructor.

UGIWriter - Class in com.uppaal.model.io2

A class that facilitates writing .ugi files from a Document.

UNCONTROLLABLETRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

undo() - Method in class com.uppaal.model.core2.AbstractTransaction

undo() - Method in interface com.uppaal.model.core2.Command

undo() - Method in class com.uppaal.model.core2.CompoundCommand

undo() - Method in class com.uppaal.model.core2.Document

Undo last command.

undo() - Method in class com.uppaal.model.core2.InsertTemplateCommand

undo() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand

undo() - Method in class com.uppaal.model.core2.MoveTemplateCommand

undo() - Method in class com.uppaal.model.core2.RemoveElementCommand

undo() - Method in class com.uppaal.model.core2.RemoveTemplateCommand

undo() - Method in class com.uppaal.model.core2.SetPropertyCommand

undo() - Method in class com.uppaal.model.core2.SnapCommand

undoList - Variable in class com.uppaal.model.core2.Document

Commands on the undo stack.

undone(Document, Command) - Method in interface com.uppaal.model.core2.CommandListener

Called when the command has been undone on a document.

unitVector() - Method in class com.uppaal.model.io2.FloatPoint

Returns the unit vector for this point's vector

unitVector() - Method in class com.uppaal.model.io2.IntPoint

Returns the unit vector for this point's vector.

unparse(Writer) - Method in class com.uppaal.model.io2.IntPoint

update - Variable in class com.uppaal.model.core2.lsc.Simregion

Update - Class in com.uppaal.model.core2.lsc

Update(Element) - Constructor for class com.uppaal.model.core2.lsc.Update

UPDATE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants

updateF() - Method in class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

UpdateLineColumn(char) - Method in class com.uppaal.model.io2.SimpleCharStream

updates(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol

upload(Document) - Method in class com.uppaal.engine.DotProtocol

upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.EngineStub

Upload the document to the server.

upload(Document) - Method in class com.uppaal.engine.EngineStub

Upload the document to the server.

upload(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol

upload(Document) - Method in class com.uppaal.engine.KeyValueProtocol

upload(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol

Upload the document to the server.

upload(Document) - Method in interface com.uppaal.engine.Protocol

Upload the document to the server.

uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.DotProtocol

uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.EngineStub

uploadLsc(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.KeyValueProtocol

uploadLsc(Document, ArrayList<Problem>) - Method in interface com.uppaal.engine.Protocol

UppaalLscSystem - Class in com.uppaal.model.lscsystem

UppaalLscSystem() - Constructor for class com.uppaal.model.lscsystem.UppaalLscSystem

UppaalLscSystem(Document) - Constructor for class com.uppaal.model.lscsystem.UppaalLscSystem

UppaalSystem - Class in com.uppaal.model.system

UppaalSystem() - Constructor for class com.uppaal.model.system.UppaalSystem

UppaalSystem(Document) - Constructor for class com.uppaal.model.system.UppaalSystem

urgent(Location) - Method in class com.uppaal.model.io2.XMLReader

Parse optional urgent tag.

URGENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

V

value - Variable in class com.uppaal.model.core2.Property

value - Variable in class com.uppaal.model.core2.SetPropertyCommand

valueOf(String) - Static method in enum com.uppaal.engine.KeyValueProtocol.Service

Returns the enum constant of this type with the specified name.

values() - Static method in enum com.uppaal.engine.KeyValueProtocol.Service

Returns an array containing the constants of this enum type, in the order they are declared.

variables - Variable in class com.uppaal.model.AbstractSystem

version - Variable in class com.uppaal.model.core2.AbstractCommand

version - Variable in class com.uppaal.model.core2.Document

The version increases with every command executed.

view - Variable in class com.uppaal.model.core2.lsc.TranslationYCommand

ViewWorkAround - Interface in com.uppaal.model.core2.lsc

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.core2.AbstractVisitor

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.core2.PrintVisitor

visitBranchPoint(BranchPoint) - Method in interface com.uppaal.model.core2.Visitor

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.BoundCalc

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.io2.XMLWriter

visitBranchPoint(BranchPoint) - Method in class com.uppaal.model.LayoutVisitor

visitCondition(Condition) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitCondition(Condition) - Method in class com.uppaal.model.core2.AbstractVisitor

visitCondition(Condition) - Method in interface com.uppaal.model.core2.Visitor

visitCondition(Condition) - Method in class com.uppaal.model.io2.XMLWriter

visitCut(Cut) - Method in class com.uppaal.model.core2.AbstractVisitor

visitCut(Cut) - Method in interface com.uppaal.model.core2.Visitor

visitDocument(Document) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitDocument(Document) - Method in class com.uppaal.model.core2.AbstractVisitor

visitDocument(Document) - Method in interface com.uppaal.model.core2.Visitor

visitDocument(Document) - Method in class com.uppaal.model.io2.UGIWriter

visitDocument(Document) - Method in class com.uppaal.model.io2.XMLWriter

visitDocument(Document) - Method in class com.uppaal.model.io2.XTAWriter

visitEdge(Edge) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitEdge(Edge) - Method in class com.uppaal.model.core2.AbstractVisitor

visitEdge(Edge) - Method in class com.uppaal.model.core2.PrintVisitor

visitEdge(Edge) - Method in interface com.uppaal.model.core2.Visitor

visitEdge(Edge) - Method in class com.uppaal.model.io2.BoundCalc

visitEdge(Edge) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitEdge(Edge) - Method in class com.uppaal.model.io2.UGIWriter

visitEdge(Edge) - Method in class com.uppaal.model.io2.XMLWriter

visitEdge(Edge) - Method in class com.uppaal.model.LayoutVisitor

visitElement(Element) - Method in class com.uppaal.model.core2.AbstractVisitor

visitElement(Element) - Method in class com.uppaal.model.core2.PrintVisitor

visitElement(Element) - Method in class com.uppaal.model.core2.PrototypeVisitor

visitElement(Element) - Method in interface com.uppaal.model.core2.Visitor

visitInstanceLine(InstanceLine) - Method in class com.uppaal.model.core2.AbstractVisitor

visitInstanceLine(InstanceLine) - Method in interface com.uppaal.model.core2.Visitor

visitInstanceLine(InstanceLine) - Method in class com.uppaal.model.io2.XMLWriter

visitLocation(Location) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitLocation(Location) - Method in class com.uppaal.model.core2.AbstractVisitor

visitLocation(Location) - Method in class com.uppaal.model.core2.PrintVisitor

visitLocation(Location) - Method in interface com.uppaal.model.core2.Visitor

visitLocation(Location) - Method in class com.uppaal.model.io2.BoundCalc

visitLocation(Location) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitLocation(Location) - Method in class com.uppaal.model.io2.UGIWriter

visitLocation(Location) - Method in class com.uppaal.model.io2.XMLWriter

visitLocation(Location) - Method in class com.uppaal.model.LayoutVisitor

visitMessage(Message) - Method in class com.uppaal.model.core2.AbstractVisitor

visitMessage(Message) - Method in interface com.uppaal.model.core2.Visitor

visitMessage(Message) - Method in class com.uppaal.model.io2.XMLWriter

visitNail(Nail) - Method in class com.uppaal.model.core2.AbstractVisitor

visitNail(Nail) - Method in class com.uppaal.model.core2.PrintVisitor

visitNail(Nail) - Method in interface com.uppaal.model.core2.Visitor

visitNail(Nail) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitNail(Nail) - Method in class com.uppaal.model.io2.XMLWriter

visitNode(Node) - Method in class com.uppaal.model.core2.AbstractVisitor

visitNode(Node) - Method in interface com.uppaal.model.core2.Visitor

Visitor - Interface in com.uppaal.model.core2

Interface for implementing the visitor pattern.

visitPrechart(Prechart) - Method in class com.uppaal.model.core2.AbstractVisitor

visitPrechart(Prechart) - Method in interface com.uppaal.model.core2.Visitor

visitPrechart(Prechart) - Method in class com.uppaal.model.io2.XMLWriter

visitProperty(Property) - Method in class com.uppaal.model.core2.AbstractVisitor

visitProperty(Property) - Method in interface com.uppaal.model.core2.Visitor

visitProperty(Property) - Method in class com.uppaal.model.io2.RelToAbsVisitor

visitProperty(Property) - Method in class com.uppaal.model.LayoutVisitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.core2.AbstractVisitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.core2.PrintVisitor

visitTemplate(AbstractTemplate) - Method in interface com.uppaal.model.core2.Visitor

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.UGIWriter

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLWriter

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.io2.XTAWriter

visitTemplate(AbstractTemplate) - Method in class com.uppaal.model.LayoutVisitor

visitUpdate(Update) - Method in class com.uppaal.model.ConvertSyntaxVisitor

visitUpdate(Update) - Method in class com.uppaal.model.core2.AbstractVisitor

visitUpdate(Update) - Method in interface com.uppaal.model.core2.Visitor

visitUpdate(Update) - Method in class com.uppaal.model.io2.XMLWriter

W

WORD - Static variable in class com.uppaal.engine.LexicalAnalyser

write(String) - Method in class com.uppaal.engine.DotProtocol

Writes the string to the output stream following by a newline.

writeAttributes(Element) - Method in class com.uppaal.model.io2.XMLWriter

writeColor(Location) - Method in class com.uppaal.model.io2.UGIWriter

writeColor(Edge, EdgeId) - Method in class com.uppaal.model.io2.UGIWriter

writeCoords(int, int) - Method in class com.uppaal.model.io2.UGIWriter

Write coordinates

writeFlag(Element, String) - Method in class com.uppaal.model.io2.XMLWriter

writeNonEmptyProperty(Element, String, String) - Method in class com.uppaal.model.io2.XTAWriter

writeNonEmptyProperty(Element, String) - Method in class com.uppaal.model.io2.XTAWriter

writeProperty(String, String, int, int, Location) - Method in class com.uppaal.model.io2.UGIWriter

Write property of a location.

writeProperty(String, String, int, int, Edge, EdgeId) - Method in class com.uppaal.model.io2.UGIWriter

Write property of an edge.

writePropertyAsElement(Element, String, boolean) - Method in class com.uppaal.model.io2.XMLWriter

writePropertyAsLabel(Element, String) - Method in class com.uppaal.model.io2.XMLWriter

writer - Variable in class com.uppaal.model.io2.UGIWriter

writer - Variable in class com.uppaal.model.io2.XMLWriter

writer - Variable in class com.uppaal.model.io2.XTAWriter

writeServerFormat(Writer) - Method in class com.uppaal.model.AbstractSystemState

Convert to format used to send to server.

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.SystemEdge

writeXTRFormat(Writer) - Method in class com.uppaal.model.system.Transition

Convert to format used in XTR files.

WS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants

RegularExpression Id.

X

x - Variable in class com.uppaal.model.core2.SetPropertyWithPositionCommand

xd - Variable in class com.uppaal.model.core2.TranslationCommand

XMLReader - Class in com.uppaal.model.io2

XMLReader(InputStream) - Constructor for class com.uppaal.model.io2.XMLReader

XMLWriter - Class in com.uppaal.model.io2

XMLWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XMLWriter

XMLWriter(Writer) - Constructor for class com.uppaal.model.io2.XMLWriter

XTAReader - Class in com.uppaal.model.io2

XTAReader(InputStream) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor with InputStream.

XTAReader(InputStream, String) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor with InputStream and supplied encoding

XTAReader(Reader) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor.

XTAReader(XTAReaderTokenManager) - Constructor for class com.uppaal.model.io2.XTAReader

Constructor with generated Token Manager.

XTAReaderConstants - Interface in com.uppaal.model.io2

Token literal values and constants.

XTAReaderTokenManager - Class in com.uppaal.model.io2

Token Manager.

XTAReaderTokenManager(SimpleCharStream) - Constructor for class com.uppaal.model.io2.XTAReaderTokenManager

Constructor.

XTAReaderTokenManager(SimpleCharStream, int) - Constructor for class com.uppaal.model.io2.XTAReaderTokenManager

Constructor.

XTAWriter - Class in com.uppaal.model.io2

A class that facilitates writing .xta from a Document.

XTAWriter(OutputStream) - Constructor for class com.uppaal.model.io2.XTAWriter

Y

y - Variable in class com.uppaal.model.core2.SetPropertyWithPositionCommand

yd - Variable in class com.uppaal.model.core2.TranslationCommand

yLocation(LscElement, String) - Method in class com.uppaal.model.io2.XMLReader

yloccoord(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader

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