public class SystemEdge extends Object
Constructor and Description |
---|
SystemEdge(Process process,
int index,
String name,
Edge edge)
Constructor
|
Modifier and Type | Method and 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.
|
public Process getProcess()
public String getProcessName()
public int getIndex()
public String getName()
public String getFormatedName()
public Edge getEdge()
public void writeXTRFormat(Writer writer) throws IOException
writer
- - The java writer objectIOException
Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.