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.
-
Interface Summary Interface Description 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 aCSProcess
.GraphicsCommand.Graphic 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 Class Description ActiveApplet java.applet.Applet
with a channel interface, specialising in the operation ofCSProcess
networks as applets.ActiveButton java.awt.Button
with a channel interface.ActiveButtonControl This is a user-programmable finite state machine for controlling an array ofActiveButton
s.ActiveButtonState A state of theActiveButtonControl
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 ofActiveFrame
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 ofActiveTextArea
that writes text to the event channel only when ESCAPE is pressed.ActiveTextEnterField A specialisation ofActiveTextField
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 GraphicsCommand This is the tagged protocol interpreted by objects (such asDisplayList
) that implement theDisplay
interface.GraphicsCommand.ClearRect This is the (immutable) command object forjava.awt.Graphics.clearRect
.GraphicsCommand.ClipRect This is the (immutable) command object forjava.awt.Graphics.clipRect
.GraphicsCommand.CopyArea This is the (immutable) command object forjava.awt.Graphics.copyArea
.GraphicsCommand.Draw3DRect This is the (immutable) command object forjava.awt.Graphics.draw3DRect
.GraphicsCommand.DrawArc This is the (immutable) command object forjava.awt.Graphics.drawArc
.GraphicsCommand.DrawBytes This is the (immutable) command object forjava.awt.Graphics.drawBytes
.GraphicsCommand.DrawChars This is the (immutable) command object forjava.awt.Graphics.drawChars
.GraphicsCommand.DrawImage This is the (immutable) command object forjava.awt.Graphics.drawImage
.GraphicsCommand.DrawLine This is the (immutable) command object forjava.awt.Graphics.drawLine
.GraphicsCommand.DrawOval This is the (immutable) command object forjava.awt.Graphics.drawOval
.GraphicsCommand.DrawPolygon This is the (immutable) command object forjava.awt.Graphics.drawPolygon
.GraphicsCommand.DrawPolyline This is the (immutable) command object forjava.awt.Graphics.drawPolyline
.GraphicsCommand.DrawRect This is the (immutable) command object forjava.awt.Graphics.drawRect
.GraphicsCommand.DrawRoundRect This is the (immutable) command object forjava.awt.Graphics.drawRoundRect
.GraphicsCommand.DrawString This is the (immutable) command object forjava.awt.Graphics.drawString
.GraphicsCommand.Fill3DRect This is the (immutable) command object forjava.awt.Graphics.translate
.GraphicsCommand.FillArc This is the (immutable) command object forjava.awt.Graphics.fillArc
.GraphicsCommand.FillOval This is the (immutable) command object forjava.awt.Graphics.fillOval
.GraphicsCommand.FillPolygon This is the (immutable) command object forjava.awt.Graphics.fillPolygon
.GraphicsCommand.FillRect This is the (immutable) command object forjava.awt.Graphics.fillRect
.GraphicsCommand.FillRoundRect This is the (immutable) command object forjava.awt.Graphics.fillRoundRect
.GraphicsCommand.General This is the command object holding aGraphicsCommand.Graphic
object implementing an arbitrary set of graphics operations.GraphicsCommand.SetClip This is the (immutable) command object forjava.awt.Graphics.setClip
.GraphicsCommand.SetColor This is the (immutable) command object forjava.awt.Graphics.setColor
.GraphicsCommand.SetFont This is the (immutable) command object forjava.awt.Graphics.setFont
.GraphicsCommand.SetXORMode This is the (immutable) command object forjava.awt.Graphics.setXORMode
.GraphicsCommand.Translate This is the (immutable) command object forjava.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 Exception Description ActiveButtonControl.BadArguments This gets thrown if a consistency check fails in theActiveButtonControl
constructor.ActiveButtonState.BadArguments This gets thrown if a consistency check fails in theActiveButtonState
constructor.