SystemEdge (UPPAAL model library)

java.lang.Object
- com.uppaal.model.system.SystemEdge

Direct Known Subclasses:

SystemEdgeSelect
```
public class SystemEdge
extends java.lang.Object
```
The class of the system edge

Constructor Summary

Constructors
Constructor Description

SystemEdge(Process process, int index, java.lang.String name, Edge edge)
Constructor

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Edge`	`getEdge()`	Get the edge
`java.lang.String`	`getFormatedName()`	Get the formated name of the edge
`int`	`getIndex()`	Get the index of the edge
`java.lang.String`	`getName()`	Get the name of the edge
`Process`	`getProcess()`	Get the process of the edge
`java.lang.String`	`getProcessName()`	Get the process name of the edge
`void`	`writeXTRFormat(java.io.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,
                  java.lang.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 java.lang.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 java.lang.String getName()
```
    Get the name of the edge
    
    Returns:
    
    name - The name
  - getFormatedName
```
public java.lang.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(java.io.Writer writer)
                    throws java.io.IOException
```
    Convert the edge to format used in XTR files.
    
    Parameters:
    
    writer - - The java writer object
    
    Throws:
    
    java.io.IOException