Package com.uppaal.model.system

Class SystemEdgeSelect

java.lang.Object

com.uppaal.model.system.SystemEdge

com.uppaal.model.system.SystemEdgeSelect

public class SystemEdgeSelect
extends SystemEdge

The class to present the selected edges of the system

Constructor Summary

Constructors

Constructor	Description
SystemEdgeSelect(Process process, int index, java.lang.String name, Edge edge, java.util.List<java.lang.Integer> v)	Constructor
SystemEdgeSelect(SystemEdge system_edge, java.util.List<java.lang.Integer> select_values)	Constructor

Method Summary

Modifier and Type	Method	Description
java.util.List<java.lang.Integer>	getSelectList()	Get the list of the values
boolean	isTheSame(SystemEdgeSelect e)	Is equal the both edges?
void	writeXTRFormat(java.io.Writer writer)	Convert to format used in XTR files.

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

getEdge, getFormatedName, getIndex, getName, getProcess, getProcessName

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemEdgeSelect

public SystemEdgeSelect(Process process,
                        int index,
                        java.lang.String name,
                        Edge edge,
                        java.util.List<java.lang.Integer> v)

Constructor

Parameters:

process - - The process object

index - - The index of the edge

name - - The name of the edge

edge - - The edge object

v - - The value list

SystemEdgeSelect

public SystemEdgeSelect(SystemEdge system_edge,
                        java.util.List<java.lang.Integer> select_values)

Constructor

Parameters:

system_edge - - The system edge

select_values - - The list of the selected values

Method Detail

getSelectList

public java.util.List<java.lang.Integer> getSelectList()

Get the list of the values

Returns:

selectValues - The value list

writeXTRFormat

public void writeXTRFormat(java.io.Writer writer)
                    throws java.io.IOException

Convert to format used in XTR files.

Overrides:

writeXTRFormat in class SystemEdge

Parameters:

writer - - The java writer object

Throws:

java.io.IOException

isTheSame

public boolean isTheSame(SystemEdgeSelect e)

Is equal the both edges?

Parameters:

e - - The edge of the system

Returns:

True - equal