jcsp.awt
Class GraphicsProtocol.SetPaintable

java.lang.Object
  |
  +--jcsp.lang.TaggedProtocol
        |
        +--jcsp.awt.GraphicsProtocol
              |
              +--jcsp.awt.GraphicsProtocol.SetPaintable

Enclosing class:

GraphicsProtocol

public static final class GraphicsProtocol.SetPaintable

extends GraphicsProtocol

This is a configuration class to register a jcsp.awt.Paintable object with the graphics component. A Boolean.TRUE will be returned down the fromGraphics channel.

Inner classes inherited from class jcsp.awt.GraphicsProtocol

GraphicsProtocol.Configure, GraphicsProtocol.General, GraphicsProtocol.MakeMISImage, GraphicsProtocol.SetBackground, GraphicsProtocol.SetPaintable

Fields inherited from class jcsp.awt.GraphicsProtocol

GET_BACKGROUND, GET_COMPONENT, GET_DIMENSION, REQUEST_FOCUS

Fields inherited from class jcsp.lang.TaggedProtocol

tag

Constructor Summary

GraphicsProtocol.SetPaintable(Paintable paintable)

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.