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 inherited from class org.jcsp.awt.GraphicsProtocol

GET_BACKGROUND, GET_COMPONENT, GET_DIMENSION, REQUEST_FOCUS

Fields inherited from class org.jcsp.lang.TaggedProtocol

tag

Constructor Summary

Constructors

Constructor and Description
GraphicsProtocol.SetPaintable(Paintable paintable)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphicsProtocol.SetPaintable

public GraphicsProtocol.SetPaintable(Paintable paintable)

Parameters:

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