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

LscProcess(String name, int index, LscTemplate template, Translator translator)
LscProcess constructor

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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