org.jcsp.awt
Class GraphicsProtocol.General
java.lang.Object
org.jcsp.lang.TaggedProtocol
org.jcsp.awt.GraphicsProtocol
org.jcsp.awt.GraphicsProtocol.General
- Enclosing class:
- GraphicsProtocol
public static final class GraphicsProtocol.General
- extends GraphicsProtocol
This is a general configuration class for the graphics component.
The user constructs an instance of this class, supplying an object
implementing the Configure
interface, and writes it down the toGraphics channel.
The graphics component invokes the configure method
of the enclosed Configure object and
returns the Object result down the fromGraphics channel.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GraphicsProtocol.General
public GraphicsProtocol.General(GraphicsProtocol.Configure c)
- Parameters:
c
- the object implementing the user's configuration requirements
for the graphics component.
Copyright © 1996-2012. All Rights Reserved.