CSP for Java
(JCSP) 1.0-rc4

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.


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.SetBackground(Color color)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphicsProtocol.SetBackground

public GraphicsProtocol.SetBackground(Color color)
Parameters:
color - the new background colour for the graphics component.

CSP for Java
(JCSP) 1.0-rc4

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.