|
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.ActiveButton
s.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 |