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