SystemEdge (UPPAAL model library)

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

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SystemEdge
```
public SystemEdge(Process process,
                  int index,
                  String name,
                  Edge edge)
```
    Constructor
    
    Parameters:
    
    process - - The process
    
    index - - The index of the edge
    
    name - - The name of the edge
    
    edge - - The edge
- 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