|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.jcsp.awt | |
---|---|
org.jcsp.awt | This provides CSP extensions for all AWT Component components:
GUI events and widget configurations map to channel communications. |
Classes in org.jcsp.awt used by org.jcsp.awt | |
---|---|
ActiveButtonControl.BadArguments
This gets thrown if a consistency check fails in the ActiveButtonControl
constructor. |
|
ActiveButtonState
A state of the ActiveButtonControl finite state machine. |
|
ActiveButtonState.BadArguments
This gets thrown if a consistency check fails in the ActiveButtonState
constructor. |
|
ActiveFrame
java.awt.Frame
with a channel interface. |
|
ActiveTextArea
java.awt.TextArea
with a channel interface. |
|
ActiveTextField
java.awt.TextField
with a channel interface. |
|
Display
Objects implementing this interface provide graphics services to a CSProcess . |
|
GraphicsCommand
This is the tagged protocol interpreted by objects (such as DisplayList ) that implement the Display interface. |
|
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
This is the tagged protocol for use over the toGraphics configuration channel of 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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |