com.uppaal.model.lscsystem
Class SystemUpdate

java.lang.Object
  com.uppaal.model.lscsystem.SystemUpdate

public class SystemUpdate
extends Object

Constructor Summary

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

Method Summary

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 Detail

SystemUpdate

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

Method Detail

getProcess

public LscProcess getProcess()

getProcessName

public String getProcessName()

getIndex

public int getIndex()

getName

public String getName()

getFormatedName

public String getFormatedName()

getUpdate

public Update getUpdate()