|
CSP for Java (JCSP) 1.0-rc7 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||
java.applet.Applet
with a channel interface, specialising in the operation
of CSProcess networks as applets.java.awt.Button
with a channel interface.ActiveButtons.ActiveButtonControl
constructor.ActiveButtonControl finite state machine.ActiveButtonState
constructor.java.awt.Canvas
with a channel interface.java.awt.Checkbox
with a channel interface.java.awt.CheckboxMenuItem
with a channel interface.java.awt.Choice
with a channel interface.ActiveFrame that forces a System.exit
upon a Window Closing event.java.awt.Component
with a channel interface.java.awt.Container
with a channel interface.java.awt.Dialog
with a channel interface.java.awt.FileDialog
with a channel interface.java.awt.Frame
with a channel interface.java.awt.Label
with a channel interface.java.awt.List
with a channel interface.java.awt.Menu
with a channel interface.java.awt.MenuItem
with a channel interface.java.awt.Panel
with a channel interface.java.awt.Scrollbar
with a channel interface.java.awt.ScrollPane
with a channel interface.java.awt.TextArea
with a channel interface.ActiveTextArea that writes text to
the event channel only when ESCAPE is pressed.ActiveTextField that writes text to
the event channel only when ENTER or ESCAPE is pressed.java.awt.TextField
with a channel interface.java.awt.Window
with a channel interface.Guard events.Alternative object operating on the Guard
array of events.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
Guard in an Alternative.SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
AltingBarrier.AltingChannelInput and
implement ChannelInput / ChannelOutput directly.Guard and ChannelAccept
to enable a process to choose between many CALL channel (and other) events.Guard and ChannelInput
to enable a process to choose between many object input (and other) events.Guard and ChannelInputInt
to enable a process
to choose between many integer input (and other) events.AltingChannelInputInt and
implement ChannelInputInt / ChannelOutputInt directly.SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
SpuriousLog.report()),
indicating the class and operation that suffered.
|
CSP for Java (JCSP) 1.0-rc7 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||