Package com.uppaal.model.lscsystem

Class UppaalLscSystem

java.lang.Object

com.uppaal.model.AbstractSystem

com.uppaal.model.lscsystem.UppaalLscSystem

public class UppaalLscSystem
extends AbstractSystem

Field Summary

Fields inherited from class com.uppaal.model.AbstractSystem

clocks, document, variables

Constructor Summary

Constructors

Constructor	Description
UppaalLscSystem()
UppaalLscSystem(Document aDocument)

Method Summary

Modifier and Type	Method	Description
void	addProcess(String processName, String templateName, Translator map)	Add process data
SystemCondition	getCondition(int process, int i)
SystemInstanceLine	getInstance(int process, int i)
SystemMessage	getMessage(int process, int i)
int	getNoOfProcesses()
LscProcess	getProcess(int process)
int	getProcessIndex(String id)
SystemUpdate	getUpdate(int process, int i)

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 Details

UppaalLscSystem

public UppaalLscSystem()

UppaalLscSystem

public UppaalLscSystem(Document aDocument)

Method Details

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

getProcess

public LscProcess getProcess(int process)

getInstance

public SystemInstanceLine getInstance(int process, int i)

getMessage

public SystemMessage getMessage(int process, int i)

getCondition

public SystemCondition getCondition(int process, int i)

getUpdate

public SystemUpdate getUpdate(int process, int i)

getNoOfProcesses

public int getNoOfProcesses()

getProcessIndex

public int getProcessIndex(String id)