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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addProcess(String processName, String templateName, Translator map)
Add process dataSystemCondition
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
-
-
-
-
Constructor Detail
-
UppaalLscSystem
public UppaalLscSystem()
-
UppaalLscSystem
public UppaalLscSystem(Document aDocument)
-
-
Method Detail
-
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
-
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)
-
-