Package 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 Description Process(String name, int index, Template template, Translator translator)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SystemEdge
getEdge(int edge)
Get the edge with the indexArrayList<SystemEdge>
getEdges()
Get the array list of the system edgeSystemLocation
getLocation(int loc)
Get the location with the location indexArrayList<SystemLocation>
getLocations()
Get the array list of the system location-
Methods inherited from class com.uppaal.model.AbstractProcess
getIndex, getName, getTemplate, getTranslator
-
-
-
-
Constructor Detail
-
Process
public Process(String name, int index, Template template, Translator translator)
Constructor- Parameters:
name
- - The process nameindex
- - The indextemplate
- - The templatetranslator
- - 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
-
-