Package com.uppaal.model.lscsystem

Class SystemMessage

java.lang.Object

com.uppaal.model.lscsystem.SystemMessage

public class SystemMessage
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
SystemMessage(LscProcess process, int index, java.lang.String name, Message message)

Method Summary

Modifier and Type	Method	Description
java.lang.String	getFormatedName()
int	getIndex()
Message	getMessage()
java.lang.String	getName()
LscProcess	getProcess()
java.lang.String	getProcessName()

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemMessage

public SystemMessage(LscProcess process,
                     int index,
                     java.lang.String name,
                     Message message)

Parameters:

process -

index -

name -

message -

Method Detail

getProcess

public LscProcess getProcess()

getProcessName

public java.lang.String getProcessName()

getIndex

public int getIndex()

getName

public java.lang.String getName()

getFormatedName

public java.lang.String getFormatedName()

getMessage

public Message getMessage()

Returns:

the message