jcsp.awt
Class GraphicsProtocol.SetBackground
java.lang.Object
|
+--jcsp.lang.TaggedProtocol
|
+--jcsp.awt.GraphicsProtocol
|
+--jcsp.awt.GraphicsProtocol.SetBackground
- Enclosing class:
- GraphicsProtocol
- public static final class GraphicsProtocol.SetBackground
- extends GraphicsProtocol
This is a configuration class for setting the background java.awt.Color
of the active 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.SetBackground
public GraphicsProtocol.SetBackground(Color color)
- Parameters:
color
- the new background colour for the graphics component.
Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 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.