|
CSP for Java (JCSP) 1.0-rc4 |
||||||||
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.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.Guard
events.Guard
array of events.
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.
|
CSP for Java (JCSP) 1.0-rc4 |
||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |