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.Applet
with a channel interface, specialising in the operation ofCSProcess
networks as applets.This enables general configuration of this component.java.awt.Button
with a channel interface.This enables general configuration of this component.This is a user-programmable finite state machine for controlling an array ofActiveButton
s.This gets thrown if a consistency check fails in theActiveButtonControl
constructor.A state of theActiveButtonControl
finite state machine.This gets thrown if a consistency check fails in theActiveButtonState
constructor.java.awt.Canvas
with a channel interface.java.awt.Checkbox
with a channel interface.This enables general configuration of this component.java.awt.CheckboxMenuItem
with a channel interface.This enables general configuration of this component.java.awt.Choice
with a channel interface.This enables general configuration of this component.A specialisation ofActiveFrame
that forces a System.exit upon a Window Closing event.java.awt.Component
with a channel interface.This enables general configuration of this component.java.awt.Container
with a channel interface.This enables general configuration of this component.java.awt.Dialog
with a channel interface.This enables general configuration of this component.java.awt.FileDialog
with a channel interface.This enables general configuration of this component.java.awt.Frame
with a channel interface.This enables general configuration of this component.java.awt.Label
with a channel interface.This enables general configuration of this component.java.awt.List
with a channel interface.This enables general configuration of this component.java.awt.Menu
with a channel interface.This enables general configuration of this component.java.awt.MenuItem
with a channel interface.This enables general configuration of this component.java.awt.Panel
with a channel interface.This enables general configuration of this component.java.awt.Scrollbar
with a channel interface.This enables general configuration of this component.java.awt.ScrollPane
with a channel interface.This enables general configuration of this component.java.awt.TextArea
with a channel interface.This enables general configuration of this component.A specialisation ofActiveTextArea
that writes text to the event channel only when ESCAPE is pressed.A specialisation ofActiveTextField
that writes text to the event channel only when ENTER or ESCAPE is pressed.java.awt.TextField
with a channel interface.This enables general configuration of this component.java.awt.Window
with 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 theDisplay
interface.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.Graphic
object 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.