Package com.uppaal.model.lscsystem
Class SystemMessage
- java.lang.Object
-
- com.uppaal.model.lscsystem.SystemMessage
-
public class SystemMessage extends Object
-
-
Constructor Summary
Constructors Constructor Description SystemMessage(LscProcess process, int index, String name, Message message)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getFormatedName()
int
getIndex()
Message
getMessage()
String
getName()
LscProcess
getProcess()
String
getProcessName()
-
-
-
Constructor Detail
-
SystemMessage
public SystemMessage(LscProcess process, int index, String name, Message message)
- Parameters:
process
-index
-name
-message
-
-
-
Method Detail
-
getProcess
public LscProcess getProcess()
-
getProcessName
public String getProcessName()
-
getIndex
public int getIndex()
-
getName
public String getName()
-
getFormatedName
public String getFormatedName()
-
getMessage
public Message getMessage()
- Returns:
- the message
-
-