Package com.uppaal.model.system
Class UppaalSystem
- java.lang.Object
-
- com.uppaal.model.AbstractSystem
-
- com.uppaal.model.system.UppaalSystem
-
public class UppaalSystem extends AbstractSystem
An UppaalSystem consists of: A number of indexed processes consisting of a name, a template, and a translation map. A number of indexed variable names. (AbstractSystem) A number of indexed clock names. (AbstractSystem) Etc...
-
-
Field Summary
-
Fields inherited from class com.uppaal.model.AbstractSystem
clocks, document, variables
-
-
Constructor Summary
Constructors Constructor Description UppaalSystem(Document aDocument)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addProcess(String processName, String templateName, Translator map)
Add process datavoid
addProcess(String processName, String templateName, Translator parameterMap, List<Integer> edgeMap)
Added for concrete simulation - edge map as extra argumentSystemEdgeSelect
createEdgeCon(int process, int edge, List<Integer> values)
Find the edge of the process and select the valueprotected LscTemplate
findLscTemplate(String name, boolean guarantee)
protected Node
findNode(String name)
Finds a child node from the document root node.protected Template
findTemplate(String name, boolean guarantee)
SystemEdge
getEdge(int process, int edge)
Get the edge with the process and edge indexGanttChart
getGanttChart()
Get ganttchartSystemLocation
getLocation(int process, int loc)
Get the location with the process and location indexint
getNoOfProcesses()
Get the number of the processes of the uppaal systemProcess
getProcess(int process)
Get the process with the process indexArrayList<Process>
getProcesses()
int
getProcessIndex(String id)
Get the process index using the process namevoid
setGanttChart(GanttChart gc)
Set the ganttchartvoid
setLscProcess(String processName, String templateName, Translator map)
Set the lsc process-
Methods inherited from class com.uppaal.model.AbstractSystem
getClockName, getClockNames, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, getVariables, setClocks, setVariables
-
-
-
-
Constructor Detail
-
UppaalSystem
public UppaalSystem(Document aDocument)
Constructor- Parameters:
aDocument
- - The document
-
-
Method Detail
-
findNode
protected Node findNode(String name)
Finds a child node from the document root node.- Parameters:
name
-- Returns:
-
findLscTemplate
protected LscTemplate findLscTemplate(String name, boolean guarantee)
-
addProcess
public void addProcess(String processName, String templateName, Translator map)
Description copied from class:AbstractSystem
Add process data- Specified by:
addProcess
in classAbstractSystem
- Parameters:
processName
- - The process nametemplateName
- - The template namemap
- - The translator
-
addProcess
public void addProcess(String processName, String templateName, Translator parameterMap, List<Integer> edgeMap)
Added for concrete simulation - edge map as extra argument- Parameters:
processName
- - The process nametemplateName
- - The template nameparameterMap
- - The parameter mapedgeMap
- - the edge map
-
setLscProcess
public void setLscProcess(String processName, String templateName, Translator map)
Set the lsc process- Parameters:
processName
- - The process nametemplateName
- - The template namemap
- - The translator
-
getProcess
public Process getProcess(int process)
Get the process with the process index- Parameters:
process
- - The process index- Returns:
- the process object.
-
getEdge
public SystemEdge getEdge(int process, int edge)
Get the edge with the process and edge index- Parameters:
process
- - The process indexedge
- - The edge index- Returns:
- The system edge
-
getLocation
public SystemLocation getLocation(int process, int loc)
Get the location with the process and location index- Parameters:
process
- - The process indexloc
- - The location index- Returns:
- The system location
-
getNoOfProcesses
public int getNoOfProcesses()
Get the number of the processes of the uppaal system- Returns:
- The number of the processes
-
getProcessIndex
public int getProcessIndex(String id)
Get the process index using the process name- Parameters:
id
- - The process name- Returns:
- the process index.
-
createEdgeCon
public SystemEdgeSelect createEdgeCon(int process, int edge, List<Integer> values)
Find the edge of the process and select the value- Parameters:
process
- - The process has the edgeedge
- - Using the index to get the edgevalues
- - The selected value list- Returns:
- The selected system edge
-
setGanttChart
public void setGanttChart(GanttChart gc)
Set the ganttchart- Parameters:
gc
- - The new ganttchart
-
getGanttChart
public GanttChart getGanttChart()
Get ganttchart- Returns:
- The ganttchart
-
-