Package com.uppaal.model.lscsystem

Class SystemUpdate

java.lang.Object

com.uppaal.model.lscsystem.SystemUpdate

public class SystemUpdate
extends Object

Constructor Summary

Constructors

Constructor	Description
SystemUpdate(LscProcess process, int index, String name, Update update)

Method Summary

Modifier and Type	Method	Description
String	getFormatedName()
int	getIndex()
String	getName()
LscProcess	getProcess()
String	getProcessName()
Update	getUpdate()

Methods inherited from class java.lang.Object

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

Constructor Details

SystemUpdate

public SystemUpdate(LscProcess process, int index, String name, Update update)

Method Details

getProcess

public LscProcess getProcess()

getProcessName

public String getProcessName()

getIndex

public int getIndex()

getName

public String getName()

getFormatedName

public String getFormatedName()

getUpdate

public Update getUpdate()