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

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

Methods inherited from class com.uppaal.model.AbstractSystem

getClockName, getClockNames, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, getVariables, setClocks, setVariables

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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:

findTemplate

protected Template findTemplate(String name,
                                boolean guarantee)

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 class AbstractSystem

Parameters:

processName - - The process name

templateName - - The template name

map - - 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 name

templateName - - The template name

parameterMap - - The parameter map

edgeMap - - the edge map

setLscProcess

public void setLscProcess(String processName,
                          String templateName,
                          Translator map)

Set the lsc process

Parameters:

processName - - The process name

templateName - - The template name

map - - 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 index

edge - - The edge index

Returns:

The system edge

getProcesses

public ArrayList<Process> getProcesses()

getLocation

public SystemLocation getLocation(int process,
                                  int loc)

Get the location with the process and location index

Parameters:

process - - The process index

loc - - 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 edge

edge - - Using the index to get the edge

values - - 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