Package com.uppaal.model.lscsystem
Class LscProcess
- java.lang.Object
-
- com.uppaal.model.AbstractProcess
-
- com.uppaal.model.lscsystem.LscProcess
-
public class LscProcess extends AbstractProcess
-
-
Field Summary
-
Fields inherited from class com.uppaal.model.AbstractProcess
translator
-
-
Constructor Summary
Constructors Constructor Description LscProcess(String name, int index, LscTemplate template, Translator translator)
LscProcess constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addCondition(Condition condition)
void
addInstanceLine(InstanceLine instanceLine)
void
addMessage(Message message)
void
addUpdate(Update update)
SystemCondition
getCondition(int i)
ArrayList<SystemCondition>
getConditions()
SystemInstanceLine
getInstanceLine(int i)
ArrayList<SystemInstanceLine>
getInstanceLines()
SystemMessage
getMessage(int message)
ArrayList<SystemMessage>
getMessages()
SystemPrechart
getPrechart()
SystemUpdate
getUpdate(int i)
ArrayList<SystemUpdate>
getUpdates()
void
setPrechart(Prechart prechart)
-
Methods inherited from class com.uppaal.model.AbstractProcess
getIndex, getName, getTemplate, getTranslator
-
-
-
-
Constructor Detail
-
LscProcess
public LscProcess(String name, int index, LscTemplate template, Translator translator)
LscProcess constructor- Parameters:
name
-index
-template
-translator
-
-
-
Method Detail
-
addMessage
public void addMessage(Message message)
-
addInstanceLine
public void addInstanceLine(InstanceLine instanceLine)
-
addCondition
public void addCondition(Condition condition)
-
addUpdate
public void addUpdate(Update update)
-
setPrechart
public void setPrechart(Prechart prechart)
-
getMessage
public SystemMessage getMessage(int message)
-
getMessages
public final ArrayList<SystemMessage> getMessages()
-
getInstanceLine
public SystemInstanceLine getInstanceLine(int i)
-
getInstanceLines
public ArrayList<SystemInstanceLine> getInstanceLines()
-
getCondition
public SystemCondition getCondition(int i)
-
getConditions
public ArrayList<SystemCondition> getConditions()
-
getUpdate
public SystemUpdate getUpdate(int i)
-
getUpdates
public ArrayList<SystemUpdate> getUpdates()
-
getPrechart
public SystemPrechart getPrechart()
- Returns:
- the prechart
-
-