| Interface | Description |
|---|---|
| Monitor |
| Class | Description |
|---|---|
| DefaultMonitor |
This class represents the monitorable version of a local protocol.
|
| Message |
This class represents a message being sent or received by the
role being monitored.
|
| MonitorUtil |
This class provides model utility functions.
|
| SessionInstance |
This class represents the state associated with an instance of
a session type.
|
| SessionScope |
This class represents the state information associated with a scope.
|
Copyright © 2014. All Rights Reserved.