Package com.uppaal.model.system.symbolic

Class SymbolicTransition

java.lang.Object

com.uppaal.model.system.AbstractTransition

com.uppaal.model.system.symbolic.SymbolicTransition

public class SymbolicTransition
extends AbstractTransition

The class symbolic transition of the system

Field Summary

Fields inherited from class com.uppaal.model.system.AbstractTransition

edges_ws

Constructor Summary

Constructors

Constructor	Description
SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target)	Constructor
SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target, String edgeDescription)	Constructor

Method Summary

Modifier and Type	Method	Description
String	getEdgeDescription()	Get the description of the edge
SymbolicState	getSource()	Get the source of the symbolic state
SymbolicState	getTarget()	Get the target of the symbolic state
boolean	involvesProcess(int process)	Is the list of selected edges includes the input process?
String	toServerFormat()	Convert to format used to send to server.
String	toXTRFormat()	Convert to format used in XTR files.
String	traceFormat()	Convert to visual format used in simulator.
void	writeXTRFormat(Writer writer)	Convert the selected edge of the system to format used in XTR files.

Methods inherited from class com.uppaal.model.system.AbstractTransition

getEdge, getEdges, getSize, getTransitionDescription, setEdges

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SymbolicTransition

public SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target)

Constructor

Parameters:

source - - The source symbolic state

edges - - The list of the selected edges

target - - The target symbolic state

SymbolicTransition

public SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target, String edgeDescription)

Constructor

Parameters:

source - - The source symbolic state

edges - - The array of the selected edge

target - - The target symbolic state

edgeDescription - - The description of the edge

Method Details

traceFormat

public String traceFormat()

Convert to visual format used in simulator.

Returns:

s - The string includes trace format

toServerFormat

public String toServerFormat()

Convert to format used to send to server. FIXME: selections values have to be appended (see edge.writeXTRFormat)

Returns:

buf - The string buffer includes the server format

toXTRFormat

public String toXTRFormat()

Convert to format used in XTR files. FIXME: selections values have to be appended (see edge.writeXTRFormat)

Returns:

sb - The xtr format string

writeXTRFormat

public void writeXTRFormat(Writer writer) throws IOException

Convert the selected edge of the system to format used in XTR files.

Parameters:

writer - - Writing to character streams

Throws:

IOException

getSource

public SymbolicState getSource()

Get the source of the symbolic state

Returns:

source - The source symbolic state

getTarget

public SymbolicState getTarget()

Get the target of the symbolic state

Specified by:

getTarget in class AbstractTransition

Returns:

target - The target symbolic state

involvesProcess

public boolean involvesProcess(int process)

Is the list of selected edges includes the input process?

Parameters:

process - - The input process

Returns:

True - The process index of the edge is equal the input process

getEdgeDescription

public String getEdgeDescription()

Get the description of the edge

Returns:

edgeDescription - The description of the edge