org.jcsp.awt

Class GraphicsProtocol.GetComponent

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsProtocol

org.jcsp.awt.GraphicsProtocol.GetComponent

Enclosing class:

GraphicsProtocol

private static final class GraphicsProtocol.GetComponent
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 and Description
GetComponent()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GetComponent

public GetComponent()