public class SystemEdgeSelect extends SystemEdge
Constructor and Description |
---|
SystemEdgeSelect(Process process,
int index,
String name,
Edge edge,
List<Integer> v)
Constructor
|
SystemEdgeSelect(SystemEdge system_edge,
List<Integer> select_values)
Constructor
|
Modifier and Type | Method and Description |
---|---|
List<Integer> |
getSelectList()
Get the list of the values
|
boolean |
isTheSame(SystemEdgeSelect e)
Is equal the both edges?
|
void |
writeXTRFormat(Writer writer)
Convert to format used in XTR files.
|
getEdge, getFormatedName, getIndex, getName, getProcess, getProcessName
public SystemEdgeSelect(Process process, int index, String name, Edge edge, List<Integer> v)
process
- - The process objectindex
- - The index of the edgename
- - The name of the edgeedge
- - The edge objectv
- - The value listpublic SystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)
system_edge
- - The system edgeselect_values
- - The list of the selected valuespublic List<Integer> getSelectList()
public void writeXTRFormat(Writer writer) throws IOException
writeXTRFormat
in class SystemEdge
writer
- - The java writer objectIOException
public boolean isTheSame(SystemEdgeSelect e)
e
- - The edge of the systemCopyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.