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

UppaalSystem()

UppaalSystem(Document aDocument)

Method Summary

void	addProcess(String processName, String templateName, Translator map)
SystemEdge	getEdge(int process, int edge)
SystemLocation	getLocation(int process, int edge)
int	getNoOfProcesses()
Process	getProcess(int process)
int	getProcessIndex(String id)
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()

UppaalSystem

public UppaalSystem(Document aDocument)

Method Detail

addProcess

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

Specified by:

addProcess in class AbstractSystem

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

getNoOfProcesses

public int getNoOfProcesses()

getProcessIndex

public int getProcessIndex(String id)