public class UppaalSystem extends AbstractSystem
clocks, document, variables
Constructor and Description |
---|
UppaalSystem(Document aDocument)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addProcess(String processName,
String templateName,
Translator map)
Add process data
|
void |
addProcess(String processName,
String templateName,
Translator parameterMap,
List<Integer> edgeMap)
Added for concrete simulation - edge map as extra argument
|
SystemEdgeSelect |
createEdgeCon(int process,
int edge,
List<Integer> values)
Find the edge of the process and select the value
|
SystemEdge |
getEdge(int process,
int edge)
Get the edge with the process and edge index
|
GanttChart |
getGanttChart()
Get ganttchart
|
SystemLocation |
getLocation(int process,
int loc)
Get the location with the process and location index
|
int |
getNoOfProcesses()
Get the number of the processes of the uppaal system
|
Process |
getProcess(int process)
Get the process with the process index
|
ArrayList<Process> |
getProcesses() |
int |
getProcessIndex(String id)
Get the process index using the process name
|
void |
setGanttChart(GanttChart gc)
Set the ganttchart
|
void |
setLscProcess(String processName,
String templateName,
Translator map)
Set the lsc process
|
getClockName, getClockNames, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, getVariables, setClocks, setVariables
public UppaalSystem(Document aDocument)
aDocument
- - The documentpublic void addProcess(String processName, String templateName, Translator map)
AbstractSystem
addProcess
in class AbstractSystem
processName
- - The process nametemplateName
- - The template namemap
- - The translatorpublic void addProcess(String processName, String templateName, Translator parameterMap, List<Integer> edgeMap)
processName
- - The process nametemplateName
- - The template nameparameterMap
- - The parameter mapedgeMap
- - the edge mappublic void setLscProcess(String processName, String templateName, Translator map)
processName
- - The process nametemplateName
- - The template namemap
- - The translatorpublic Process getProcess(int process)
process
- - The process indexpublic SystemEdge getEdge(int process, int edge)
process
- - The process indexedge
- - The edge indexpublic SystemLocation getLocation(int process, int loc)
process
- - The process indexloc
- - The location indexpublic int getNoOfProcesses()
public int getProcessIndex(String id)
id
- - The process namepublic SystemEdgeSelect createEdgeCon(int process, int edge, List<Integer> values)
process
- - The process has the edgeedge
- - Using the index to get the edgevalues
- - The selected value listpublic void setGanttChart(GanttChart gc)
gc
- - The new ganttchartpublic GanttChart getGanttChart()
Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.