Process (UPPAAL model library)

java.lang.Object
- com.uppaal.model.AbstractProcess
- - com.uppaal.model.system.Process

public class Process
extends AbstractProcess

The class process

Field Summary
- Fields inherited from class com.uppaal.model.AbstractProcess
  translator

Constructor Summary

Constructors
Constructor Description

Process(String name, int index, Template template, Translator translator)
Constructor

Method Summary

Modifier and Type	Method	Description
`SystemEdge`	`getEdge(int edge)`	Get the edge with the index
`ArrayList<SystemEdge>`	`getEdges()`	Get the array list of the system edge
`SystemLocation`	`getLocation(int loc)`	Get the location with the location index
`ArrayList<SystemLocation>`	`getLocations()`	Get the array list of the system location

Methods inherited from class com.uppaal.model.AbstractProcess
getIndex, getName, getTemplate, getTranslator

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

- Constructor Detail
  - Process
```
public Process(String name,
               int index,
               Template template,
               Translator translator)
```
    Constructor
    
    Parameters:
    
    name - - The process name
    
    index - - The index
    
    template - - The template
    
    translator - - The translator
- Method Detail
  - getEdge
```
public SystemEdge getEdge(int edge)
```
    Get the edge with the index
    
    Parameters:
    
    edge - - The edge index
    
    Returns:
    
    The system edge
  - getEdges
```
public final ArrayList<SystemEdge> getEdges()
```
    Get the array list of the system edge
    
    Returns:
    
    The array list of the edge
  - getLocation
```
public SystemLocation getLocation(int loc)
```
    Get the location with the location index
    
    Parameters:
    
    loc - - The location index
    
    Returns:
    
    The system location
  - getLocations
```
public ArrayList<SystemLocation> getLocations()
```
    Get the array list of the system location
    
    Returns:
    
    The array list of the location