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