com.uppaal.model.lscsystem
Class SystemMessage

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

public class SystemMessage
extends Object

Constructor Summary

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

Method Summary

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