Package org.jcsp.awt
package org.jcsp.awt
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.
-
ClassDescription
java.applet.Appletwith a channel interface, specialising in the operation ofCSProcessnetworks as applets.This enables general configuration of this component.java.awt.Buttonwith a channel interface.This enables general configuration of this component.This is a user-programmable finite state machine for controlling an array ofActiveButtons.This gets thrown if a consistency check fails in theActiveButtonControlconstructor.A state of theActiveButtonControlfinite state machine.This gets thrown if a consistency check fails in theActiveButtonStateconstructor.java.awt.Canvaswith a channel interface.java.awt.Checkboxwith a channel interface.This enables general configuration of this component.java.awt.CheckboxMenuItemwith a channel interface.This enables general configuration of this component.java.awt.Choicewith a channel interface.This enables general configuration of this component.A specialisation ofActiveFramethat forces a System.exit upon a Window Closing event.java.awt.Componentwith a channel interface.This enables general configuration of this component.java.awt.Containerwith a channel interface.This enables general configuration of this component.java.awt.Dialogwith a channel interface.This enables general configuration of this component.java.awt.FileDialogwith a channel interface.This enables general configuration of this component.java.awt.Framewith a channel interface.This enables general configuration of this component.java.awt.Labelwith a channel interface.This enables general configuration of this component.java.awt.Listwith a channel interface.This enables general configuration of this component.java.awt.Menuwith a channel interface.This enables general configuration of this component.java.awt.MenuItemwith a channel interface.This enables general configuration of this component.java.awt.Panelwith a channel interface.This enables general configuration of this component.java.awt.Scrollbarwith a channel interface.This enables general configuration of this component.java.awt.ScrollPanewith a channel interface.This enables general configuration of this component.java.awt.TextAreawith a channel interface.This enables general configuration of this component.A specialisation ofActiveTextAreathat writes text to the event channel only when ESCAPE is pressed.A specialisation ofActiveTextFieldthat writes text to the event channel only when ENTER or ESCAPE is pressed.java.awt.TextFieldwith a channel interface.This enables general configuration of this component.java.awt.Windowwith a channel interface.This enables general configuration of this component.Objects implementing this interface provide graphics services to aCSProcess.This is the tagged protocol interpreted by objects (such asDisplayList) that implement theDisplayinterface.This is the (immutable) command object forjava.awt.Graphics.clearRect.This is the (immutable) command object forjava.awt.Graphics.clipRect.This is the (immutable) command object forjava.awt.Graphics.copyArea.This is the (immutable) command object forjava.awt.Graphics.draw3DRect.This is the (immutable) command object forjava.awt.Graphics.drawArc.This is the (immutable) command object forjava.awt.Graphics.drawBytes.This is the (immutable) command object forjava.awt.Graphics.drawChars.This is the (immutable) command object forjava.awt.Graphics.drawImage.This is the (immutable) command object forjava.awt.Graphics.drawLine.This is the (immutable) command object forjava.awt.Graphics.drawOval.This is the (immutable) command object forjava.awt.Graphics.drawPolygon.This is the (immutable) command object forjava.awt.Graphics.drawPolyline.This is the (immutable) command object forjava.awt.Graphics.drawRect.This is the (immutable) command object forjava.awt.Graphics.drawRoundRect.This is the (immutable) command object forjava.awt.Graphics.drawString.This is the (immutable) command object forjava.awt.Graphics.translate.This is the (immutable) command object forjava.awt.Graphics.fillArc.This is the (immutable) command object forjava.awt.Graphics.fillOval.This is the (immutable) command object forjava.awt.Graphics.fillPolygon.This is the (immutable) command object forjava.awt.Graphics.fillRect.This is the (immutable) command object forjava.awt.Graphics.fillRoundRect.This is the command object holding aGraphicsCommand.Graphicobject implementing an arbitrary set of graphics operations.This is the (immutable) command object forjava.awt.Graphics.setClip.This is the (immutable) command object forjava.awt.Graphics.setColor.This is the (immutable) command object forjava.awt.Graphics.setFont.This is the (immutable) command object forjava.awt.Graphics.setPaintMode.This is the (immutable) command object forjava.awt.Graphics.setXORMode.This is the (immutable) command object forjava.awt.Graphics.translate.This is the tagged protocol for use over the toGraphics configuration channel of an active graphics component.This is the interface for general configuration of the graphics component.This is a general configuration class for the graphics component.This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.This is a configuration class for setting the background java.awt.Color of the active graphics component.This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component.Active components may delegate their paint and update methods to objects implementing this interface.