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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getFormatedName()
int
getIndex()
String
getName()
LscProcess
getProcess()
String
getProcessName()
Update
getUpdate()
-
-
-
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()
-
-