Uses of Package
org.jcsp.awt
Packages that use org.jcsp.awt
Package
Description
This provides CSP extensions for all AWT
Component
components:
GUI events and widget configurations map to channel communications.This provides an assortment of plug-and-play CSP components to wire together
(with Object-carrying wires) and reuse.
-
Classes in org.jcsp.awt used by org.jcsp.awtClassDescriptionThis gets thrown if a consistency check fails in the
ActiveButtonControl
constructor.A state of theActiveButtonControl
finite state machine.This gets thrown if a consistency check fails in theActiveButtonState
constructor.java.awt.Frame
with a channel interface.java.awt.TextArea
with a channel interface.java.awt.TextField
with a channel interface.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 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.Active components may delegate their paint and update methods to objects implementing this interface. -
Classes in org.jcsp.awt used by org.jcsp.plugNplayClassDescription
java.awt.Button
with a channel interface.A specialisation ofActiveFrame
that forces a System.exit upon a Window Closing event.java.awt.Scrollbar
with a channel interface.