Serialized Form

Package com.uppaal.engine

Class com.uppaal.engine.EngineException extends Exception implements Serializable

Class com.uppaal.engine.ProtocolException extends EngineException implements Serializable

Class com.uppaal.engine.ServerException extends EngineException implements Serializable

Package com.uppaal.model.core2

Class com.uppaal.model.core2.AbstractLocation extends Node implements Serializable

Class com.uppaal.model.core2.AbstractTemplate extends Node implements Serializable

Class com.uppaal.model.core2.BranchPoint extends AbstractLocation implements Serializable

Class com.uppaal.model.core2.CannotRedoException extends Exception implements Serializable

Class com.uppaal.model.core2.CannotUndoException extends Exception implements Serializable

Class com.uppaal.model.core2.Document extends Node implements Serializable

Serialized Fields

version

int version

The version increases with every command executed.

undoList

LinkedList<E> undoList

Commands on the undo stack.

redoList

LinkedList<E> redoList

Commands on the redo stack.

cmdListeners

LinkedList<E> cmdListeners

Command listeners

Class com.uppaal.model.core2.Edge extends Node implements Serializable

Serialized Fields

source

AbstractLocation source

target

AbstractLocation target

Class com.uppaal.model.core2.Element extends Object implements Serializable

Serialized Fields

listeners

List<E> listeners

prototype

Element prototype

The prototype of this element.

parent

Element parent

The parent element. Events propagate to the parent.

properties

Map<K,V> properties

The properties of this element. For speed we maintain a map of properties. This might be null if there are no properties.

Class com.uppaal.model.core2.Location extends AbstractLocation implements Serializable

Class com.uppaal.model.core2.Nail extends Node implements Serializable

Class com.uppaal.model.core2.Node extends Element implements Serializable

Serialized Fields

previous

Node previous

The left sibling of this element.

next

Node next

The right sibling of this element.

first

Node first

First child of this element.

Class com.uppaal.model.core2.Property extends Element implements Serializable

Serialized Fields

value

Object value

Class com.uppaal.model.core2.PrototypeDocument extends Element implements Serializable

Class com.uppaal.model.core2.Template extends AbstractTemplate implements Serializable

Package com.uppaal.model.core2.lsc

Class com.uppaal.model.core2.lsc.AnchoredElement extends LscElement implements Serializable

Class com.uppaal.model.core2.lsc.Condition extends AnchoredElement implements Serializable

Serialized Fields

anchors

ArrayList<E> anchors

Class com.uppaal.model.core2.lsc.Cut extends LscElement implements Serializable

Serialized Fields

simregions

ArrayList<E> simregions

Class com.uppaal.model.core2.lsc.InstanceLine extends LscElement implements Serializable

Class com.uppaal.model.core2.lsc.LscElement extends Node implements Serializable

Class com.uppaal.model.core2.lsc.LscTemplate extends AbstractTemplate implements Serializable

Class com.uppaal.model.core2.lsc.Message extends LscElement implements Serializable

Serialized Fields

source

InstanceLine source

target

InstanceLine target

Class com.uppaal.model.core2.lsc.Prechart extends LscElement implements Serializable

Serialized Fields

instances

ArrayList<E> instances

Class com.uppaal.model.core2.lsc.Simregion extends LscElement implements Serializable

Serialized Fields

condition

Condition condition

update

Update update

message

Message message

Class com.uppaal.model.core2.lsc.Update extends AnchoredElement implements Serializable

Serialized Fields

anchor

InstanceLine anchor

anchoredToCondition

Condition anchoredToCondition

Package com.uppaal.model.io2

Class com.uppaal.model.io2.FloatPoint extends Point2D.Float implements Serializable

Class com.uppaal.model.io2.IntPoint extends Point implements Serializable

Class com.uppaal.model.io2.ParseException extends Exception implements Serializable

serialVersionUID: 1L

Serialized Fields

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class com.uppaal.model.io2.Token extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

kind

int kind

An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java.

beginLine

int beginLine

The line number of the first character of this Token.

beginColumn

int beginColumn

The column number of the first character of this Token.

endLine

int endLine

The line number of the last character of this Token.

endColumn

int endColumn

The column number of the last character of this Token.

image

String image

The string image of the token.

next

Token next

A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field.

specialToken

Token specialToken

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.

Class com.uppaal.model.io2.TokenMgrError extends Error implements Serializable

serialVersionUID: 1L

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.