| ExecEvent |
An event that indicates that an actor is in a particular state.
|
| ExecEvent.ExecEventType |
|
| ListenClock |
A ListenClock is a clock source that can notify an ExecEventListener
of ExecEvents.
|
| ListenFeedBackDelay |
An FeedBackDelay actor that can notify an ExecEventListener of ExecEvents.
|
| ListenFork |
A DoubleFork actor that can notify an ExecEventListener of ExecEvents.
|
| ListenSink |
A DDESink actor that can notify an ExecEventListener of ExecEvents.
|
| ListenWire |
A Wire actor that can notify an ExecEventListener of ExecEvents.
|
| LocalZenoApplet |
A DDE application illustrating localized Zeno conditions.
|
| LocalZenoApplet.LocalEdgeRenderer |
LocalEdgeRenderer draws arrowheads on both ends of the connector
|
| LocalZenoApplet.LocalZenoGraphController |
|
| LocalZenoApplet.ThreadRenderer |
ThreadRenderer draws the nodes to represent running threads.
|
| LocalZenoUtilities |
Utilities for DDE LocalZeno demonstration.
|
| ZenoDelay |
ZenoDelay is an extension of ListenFeedBackDelay with an overridden
getDelay() method that approximates a Zeno condition.
|