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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Edge
getEdge()
Get the edgeString
getFormatedName()
Get the formated name of the edgeint
getIndex()
Get the index of the edgeString
getName()
Get the name of the edgeProcess
getProcess()
Get the process of the edgeString
getProcessName()
Get the process name of the edgevoid
writeXTRFormat(Writer writer)
Convert the edge to format used in XTR files.
-
-
-
Method Detail
-
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
-
-