CSP for Java
(JCSP) 1.1-rc4

Package org.jcsp.awt

This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications.

See:
          Description

Interface Summary
ActiveApplet.Configure This enables general configuration of this component.
ActiveButton.Configure This enables general configuration of this component.
ActiveCheckbox.Configure This enables general configuration of this component.
ActiveCheckboxMenuItem.Configure This enables general configuration of this component.
ActiveChoice.Configure This enables general configuration of this component.
ActiveComponent.Configure This enables general configuration of this component.
ActiveContainer.Configure This enables general configuration of this component.
ActiveDialog.Configure This enables general configuration of this component.
ActiveFileDialog.Configure This enables general configuration of this component.
ActiveFrame.Configure This enables general configuration of this component.
ActiveLabel.Configure This enables general configuration of this component.
ActiveList.Configure This enables general configuration of this component.
ActiveMenu.Configure This enables general configuration of this component.
ActiveMenuItem.Configure This enables general configuration of this component.
ActivePanel.Configure This enables general configuration of this component.
ActiveScrollbar.Configure This enables general configuration of this component.
ActiveScrollPane.Configure This enables general configuration of this component.
ActiveTextArea.Configure This enables general configuration of this component.
ActiveTextField.Configure This enables general configuration of this component.
ActiveWindow.Configure This enables general configuration of this component.
Display Objects implementing this interface provide graphics services to a CSProcess.
GraphicsCommand.Graphic This is the interface allowing any set of Graphics operations to be wrapped up in an object and sent down a Display channel to an Active graphics component.
GraphicsProtocol.Configure This is the interface for general configuration of the graphics component.
Paintable Active components may delegate their paint and update methods to objects implementing this interface.
 

Class Summary
ActiveApplet java.applet.Applet with a channel interface, specialising in the operation of CSProcess networks as applets.
ActiveButton java.awt.Button with a channel interface.
ActiveButtonControl This is a user-programmable finite state machine for controlling an array of ActiveButtons.
ActiveButtonState A state of the ActiveButtonControl finite state machine.
ActiveCanvas java.awt.Canvas with a channel interface.
ActiveCheckbox java.awt.Checkbox with a channel interface.
ActiveCheckboxMenuItem java.awt.CheckboxMenuItem with a channel interface.
ActiveChoice java.awt.Choice with a channel interface.
ActiveClosingFrame A specialisation of ActiveFrame that forces a System.exit upon a Window Closing event.
ActiveComponent java.awt.Component with a channel interface.
ActiveContainer java.awt.Container with a channel interface.
ActiveDialog java.awt.Dialog with a channel interface.
ActiveFileDialog java.awt.FileDialog with a channel interface.
ActiveFrame java.awt.Frame with a channel interface.
ActiveLabel java.awt.Label with a channel interface.
ActiveList java.awt.List with a channel interface.
ActiveMenu java.awt.Menu with a channel interface.
ActiveMenuItem java.awt.MenuItem with a channel interface.
ActivePanel java.awt.Panel with a channel interface.
ActiveScrollbar java.awt.Scrollbar with a channel interface.
ActiveScrollPane java.awt.ScrollPane with a channel interface.
ActiveTextArea java.awt.TextArea with a channel interface.
ActiveTextEnterArea A specialisation of ActiveTextArea that writes text to the event channel only when ESCAPE is pressed.
ActiveTextEnterField A specialisation of ActiveTextField that writes text to the event channel only when ENTER or ESCAPE is pressed.
ActiveTextField java.awt.TextField with a channel interface.
ActiveWindow java.awt.Window with a channel interface.
DisplayList This implements the Display and Paintable interfaces and provides a channel-like connection between user processes and an active graphics component.
GraphicsCommand This is the tagged protocol interpreted by objects (such as DisplayList) that implement the Display interface.
GraphicsCommand.ClearRect This is the (immutable) command object for java.awt.Graphics.clearRect.
GraphicsCommand.ClipRect This is the (immutable) command object for java.awt.Graphics.clipRect.
GraphicsCommand.CopyArea This is the (immutable) command object for java.awt.Graphics.copyArea.
GraphicsCommand.Draw3DRect This is the (immutable) command object for java.awt.Graphics.draw3DRect.
GraphicsCommand.DrawArc This is the (immutable) command object for java.awt.Graphics.drawArc.
GraphicsCommand.DrawBytes This is the (immutable) command object for java.awt.Graphics.drawBytes.
GraphicsCommand.DrawChars This is the (immutable) command object for java.awt.Graphics.drawChars.
GraphicsCommand.DrawImage This is the (immutable) command object for java.awt.Graphics.drawImage.
GraphicsCommand.DrawLine This is the (immutable) command object for java.awt.Graphics.drawLine.
GraphicsCommand.DrawOval This is the (immutable) command object for java.awt.Graphics.drawOval.
GraphicsCommand.DrawPolygon This is the (immutable) command object for java.awt.Graphics.drawPolygon.
GraphicsCommand.DrawPolyline This is the (immutable) command object for java.awt.Graphics.drawPolyline.
GraphicsCommand.DrawRect This is the (immutable) command object for java.awt.Graphics.drawRect.
GraphicsCommand.DrawRoundRect This is the (immutable) command object for java.awt.Graphics.drawRoundRect.
GraphicsCommand.DrawString This is the (immutable) command object for java.awt.Graphics.drawString.
GraphicsCommand.Fill3DRect This is the (immutable) command object for java.awt.Graphics.translate.
GraphicsCommand.FillArc This is the (immutable) command object for java.awt.Graphics.fillArc.
GraphicsCommand.FillOval This is the (immutable) command object for java.awt.Graphics.fillOval.
GraphicsCommand.FillPolygon This is the (immutable) command object for java.awt.Graphics.fillPolygon.
GraphicsCommand.FillRect This is the (immutable) command object for java.awt.Graphics.fillRect.
GraphicsCommand.FillRoundRect This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
GraphicsCommand.General This is the command object holding a GraphicsCommand.Graphic object implementing an arbitrary set of graphics operations.
GraphicsCommand.SetClip This is the (immutable) command object for java.awt.Graphics.setClip.
GraphicsCommand.SetColor This is the (immutable) command object for java.awt.Graphics.setColor.
GraphicsCommand.SetFont This is the (immutable) command object for java.awt.Graphics.setFont.
GraphicsCommand.SetXORMode This is the (immutable) command object for java.awt.Graphics.setXORMode.
GraphicsCommand.Translate This is the (immutable) command object for java.awt.Graphics.translate.
GraphicsProtocol This is the tagged protocol for use over the toGraphics configuration channel of an active graphics component.
GraphicsProtocol.General This is a general configuration class for the graphics component.
GraphicsProtocol.MakeMISImage This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.
GraphicsProtocol.SetBackground This is a configuration class for setting the background java.awt.Color of the active graphics component.
GraphicsProtocol.SetPaintable This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component.
 

Exception Summary
ActiveButtonControl.BadArguments This gets thrown if a consistency check fails in the ActiveButtonControl constructor.
ActiveButtonState.BadArguments This gets thrown if a consistency check fails in the ActiveButtonState constructor.
 

Package org.jcsp.awt Description

This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications.

Each AWT component (e.g. Button) is mirrored by an active process (e.g. ActiveButton) that works to a channel interface. GUI events are signalled as output messages sent on channels coming from the CSP component. Each component may be dynamically configured by sending it a message on its configuration channel.

The JCSP-AWT components may be wired up to any (JCSP) application network. This allows a safe and natural approach to GUI building as a (multi-threaded) network of communicating processes.


CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.