|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||
AbstractID objects.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.read method of the
channel end.
read method of the
channel end at a specific index.
String name, value setting to this object.
write method of
the channel end.
write method of the
channel end at a specific index.
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.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.Guard and ChannelOutput
to enable a process
to choose between many integer output (and other) events.Guard and ChannelOutputInt
to enable a process
to choose between many integer output (and other) events.ConnectionClient objects which can
have their receive() method alted over.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.
Any2OneChannelInt
objects.
Any2OneChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer.
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.1-rc4 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||