com.uppaal.model.system

Class Process

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 and Description
Process(String name, int index, Template template, Translator translator) Constructor

Method Summary

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