Package org.jcsp.awt
Class GraphicsProtocol.RequestFocus
- java.lang.Object
-
- org.jcsp.lang.TaggedProtocol
-
- org.jcsp.awt.GraphicsProtocol
-
- org.jcsp.awt.GraphicsProtocol.RequestFocus
-
- Enclosing class:
- GraphicsProtocol
private static final class GraphicsProtocol.RequestFocus extends GraphicsProtocol
-
-
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 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 RequestFocus()
-