Package com.uppaal.model.system

Class SystemEdge

java.lang.Object

com.uppaal.model.system.SystemEdge

Direct Known Subclasses:

SystemEdgeSelect

public class SystemEdge
extends Object

The class of the system edge

Constructor Summary

Constructors

Constructor	Description
SystemEdge(Process process, int index, String name, Edge edge)	Constructor

Method Summary

Modifier and Type	Method	Description
Edge	getEdge()	Get the edge
String	getFormatedName()	Get the formated name of the edge
int	getIndex()	Get the index of the edge
String	getName()	Get the name of the edge
Process	getProcess()	Get the process of the edge
String	getProcessName()	Get the process name of the edge
void	writeXTRFormat(Writer writer)	Convert the edge to format used in XTR files.

Methods inherited from class java.lang.Object

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

Constructor Details

SystemEdge

public SystemEdge(Process process, int index, String name, Edge edge)

Constructor

Parameters:

process - - The process

index - - The index of the edge

name - - The name of the edge

edge - - The edge

Method Details

getProcess

public Process getProcess()

Get the process of the edge

Returns:

process - The process

getProcessName

public String getProcessName()

Get the process name of the edge

Returns:

The process name

getIndex

public int getIndex()

Get the index of the edge

Returns:

index - The index of the edge

getName

public String getName()

Get the name of the edge

Returns:

name - The name

getFormatedName

public String getFormatedName()

Get the formated name of the edge

Returns:

The formated name

getEdge

public Edge getEdge()

Get the edge

Returns:

edge - The edge

writeXTRFormat

public void writeXTRFormat(Writer writer) throws IOException

Convert the edge to format used in XTR files.

Parameters:

writer - - The java writer object

Throws:

IOException