com.uppaal.model.lscsystem

Class SystemMessage

java.lang.Object

com.uppaal.model.lscsystem.SystemMessage

public class SystemMessage
extends Object

Constructor Summary

Constructors

Constructor and Description
SystemMessage(LscProcess process, int index, String name, Message message)

Method Summary

Methods

Modifier and Type	Method and Description
String	getFormatedName()
int	getIndex()
Message	getMessage()
String	getName()
LscProcess	getProcess()
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,
             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