| Interface | Description |
|---|---|
| NodeExporter |
This class exports local protocol objects into a session type
to be monitored.
|
| Class | Description |
|---|---|
| ExportState |
This class represents state information associated with the exported
protocols.
|
| ExportState.StateInformation |
This class represents the state information on the stack.
|
| LBlockNodeExporter |
This class exports a block into a session type
to be monitored.
|
| LChoiceNodeExporter |
This class exports a choice into a session type
to be monitored.
|
| LContinueNodeExporter |
This class exports a receive into a session type
to be monitored.
|
| LDoNodeExporter |
This class exports a Do into a session type
to be monitored.
|
| LInterruptibleNodeExporter |
This class exports an Interruptible into a session type
to be monitored.
|
| LParallelNodeExporter |
This class exports a parallel into a session type
to be monitored.
|
| LReceiveNodeExporter |
This class exports a receive into a session type
to be monitored.
|
| LRecursionNodeExporter |
This class exports a Recursion into a session type
to be monitored.
|
| LSendNodeExporter |
This class exports a send into a session type
to be monitored.
|
| NodeExporterFactory |
This class provides a factory for node exporters related to
local protocol objects.
|
Copyright © 2014. All Rights Reserved.