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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GraphicsProtocol.SetPaintable
public GraphicsProtocol.SetPaintable(Paintable paintable)
- Parameters:
paintable
- the Paintable object to which the graphics component
will delegate its paint/update methods.
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.