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, String name, Edge edge, List<Integer> v)
ConstructorSystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<Integer>
getSelectList()
Get the list of the valuesboolean
isTheSame(SystemEdgeSelect e)
Is equal the both edges?void
writeXTRFormat(Writer writer)
Convert to format used in XTR files.-
Methods inherited from class com.uppaal.model.system.SystemEdge
getEdge, getFormatedName, getIndex, getName, getProcess, getProcessName
-
-
-
-
Constructor Detail
-
SystemEdgeSelect
public SystemEdgeSelect(Process process, int index, String name, Edge edge, List<Integer> v)
Constructor- Parameters:
process
- - The process objectindex
- - The index of the edgename
- - The name of the edgeedge
- - The edge objectv
- - The value list
-
SystemEdgeSelect
public SystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)
Constructor- Parameters:
system_edge
- - The system edgeselect_values
- - The list of the selected values
-
-
Method Detail
-
getSelectList
public List<Integer> getSelectList()
Get the list of the values- Returns:
- selectValues - The value list
-
writeXTRFormat
public void writeXTRFormat(Writer writer) throws IOException
Convert to format used in XTR files.- Overrides:
writeXTRFormat
in classSystemEdge
- Parameters:
writer
- - The java writer object- Throws:
IOException
-
isTheSame
public boolean isTheSame(SystemEdgeSelect e)
Is equal the both edges?- Parameters:
e
- - The edge of the system- Returns:
- True - equal
-
-