Class GraphicsProtocol.SetBackground

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsProtocol

org.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.

Nested Class Summary

Nested classes/interfaces inherited from class GraphicsProtocol

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

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Color	color

Fields inherited from class GraphicsProtocol

GENERAL_TAG, GET_BACKGROUND, GET_BACKGROUND_TAG, GET_COMPONENT, GET_COMPONENT_TAG, GET_DIMENSION, GET_DIMENSION_TAG, MAKE_MIS_IMAGE_TAG, REQUEST_FOCUS, REQUEST_FOCUS_TAG, SET_BACKGROUND_TAG, SET_PAINTABLE_TAG

Fields inherited from class TaggedProtocol

tag

Constructor Summary

Constructors

Constructor	Description
SetBackground(Color color)

Method Summary

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

color

final Color color

Constructor Details

SetBackground

public SetBackground(Color color)

Parameters:

color - the new background colour for the graphics component.