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 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