Package org.jcsp.awt
Class GraphicsProtocol.General
- java.lang.Object
-
- org.jcsp.lang.TaggedProtocol
-
- org.jcsp.awt.GraphicsProtocol
-
- org.jcsp.awt.GraphicsProtocol.General
-
- Enclosing class:
- GraphicsProtocol
public static final class GraphicsProtocol.General extends GraphicsProtocol
This is a general configuration class for the graphics component. The user constructs an instance of this class, supplying an object implementing theConfigure
interface, and writes it down the toGraphics channel. The graphics component invokes the configure method of the enclosed Configure object and returns the Object result down the fromGraphics channel.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.jcsp.awt.GraphicsProtocol
GraphicsProtocol.Configure, GraphicsProtocol.General, GraphicsProtocol.MakeMISImage, GraphicsProtocol.SetBackground, GraphicsProtocol.SetPaintable
-
-
Field Summary
Fields Modifier and Type Field Description (package private) GraphicsProtocol.Configure
c
-
Fields inherited from class org.jcsp.awt.GraphicsProtocol
GENERAL_TAG, GET_BACKGROUND, GET_BACKGROUND_TAG, GET_COMPONENT, GET_COMPONENT_TAG, GET_DIMENSION, GET_DIMENSION_TAG, MAKE_MIS_IMAGE_TAG, REQUEST_FOCUS, REQUEST_FOCUS_TAG, SET_BACKGROUND_TAG, SET_PAINTABLE_TAG
-
Fields inherited from class org.jcsp.lang.TaggedProtocol
tag
-
-
Constructor Summary
Constructors Constructor Description General(GraphicsProtocol.Configure c)
-
-
-
Field Detail
-
c
final GraphicsProtocol.Configure c
-
-
Constructor Detail
-
General
public General(GraphicsProtocol.Configure c)
- Parameters:
c
- the object implementing the user's configuration requirements for the graphics component.
-
-