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

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.