org.jcsp.awt

Class GraphicsProtocol.SetPaintable

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsProtocol

org.jcsp.awt.GraphicsProtocol.SetPaintable

Enclosing class:

GraphicsProtocol

public static final class GraphicsProtocol.SetPaintable
extends GraphicsProtocol

This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component. A Boolean.TRUE will be returned 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 and Description
(package private) Paintable	paintable

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
SetPaintable(Paintable paintable)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

paintable

final Paintable paintable

Constructor Detail

SetPaintable

public SetPaintable(Paintable paintable)

Parameters:

paintable - the Paintable object to which the graphics component will delegate its paint/update methods.