com.uppaal.model.system

Class UppaalSystem

java.lang.Object

com.uppaal.model.AbstractSystem

com.uppaal.model.system.UppaalSystem

public class UppaalSystem
extends AbstractSystem

Field Summary

Fields inherited from class com.uppaal.model.AbstractSystem

clocks, document, variables

Constructor Summary

Constructors

Constructor and Description
UppaalSystem(Document aDocument)

Method Summary

Methods

Modifier and Type	Method and Description
void	addProcess(String processName, String templateName, Translator map)
void	addProcess(String processName, String templateName, Translator parameterMap, List<Integer> edgeMap)
SystemEdgeSelect	createEdgeCon(int process, int edge, List<Integer> values)
SystemEdge	getEdge(int process, int edge)
GanttChart	getGanttChart()
SystemLocation	getLocation(int process, int loc)
int	getNoOfProcesses()
Process	getProcess(int process)
int	getProcessIndex(String id)
void	setGanttChart(GanttChart gc)
void	setLscProcess(String processName, String templateName, Translator map)

Methods inherited from class com.uppaal.model.AbstractSystem

getClockName, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, 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)

Method Detail

addProcess

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

Specified by:

addProcess in class AbstractSystem

addProcess

public void addProcess(String processName,
              String templateName,
              Translator parameterMap,
              List<Integer> edgeMap)

setLscProcess

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

getProcess

public Process getProcess(int process)

getEdge

public SystemEdge getEdge(int process,
                 int edge)

getLocation

public SystemLocation getLocation(int process,
                         int loc)

getNoOfProcesses

public int getNoOfProcesses()

getProcessIndex

public int getProcessIndex(String id)

createEdgeCon

public SystemEdgeSelect createEdgeCon(int process,
                             int edge,
                             List<Integer> values)

setGanttChart

public void setGanttChart(GanttChart gc)

getGanttChart

public GanttChart getGanttChart()