SystemMessage (UPPAAL model library)

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

Modifier and Type Method 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 Details
- SystemMessage
  
  public SystemMessage(LscProcess process, int index, String name, Message message)
  
  Parameters:
  
  process -
  
  index -
  
  name -
  
  message -
Method Details
- 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