org.jcsp.awt

Class GraphicsProtocol.MakeMISImage

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsProtocol

org.jcsp.awt.GraphicsProtocol.MakeMISImage

Enclosing class:

GraphicsProtocol

public static final class GraphicsProtocol.MakeMISImage
extends GraphicsProtocol

This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component. The component uses this to create a java.awt.Image, which is returned down the fromGraphics channel.

Nested Class Summary

Nested classes/interfaces inherited from class org.jcsp.awt.GraphicsProtocol

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

Field Summary

Fields inherited from class org.jcsp.awt.GraphicsProtocol

GET_BACKGROUND, GET_COMPONENT, GET_DIMENSION, REQUEST_FOCUS

Fields inherited from class org.jcsp.lang.TaggedProtocol

tag

Constructor Summary

Constructors

Constructor and Description
MakeMISImage(java.awt.image.MemoryImageSource mis)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

MakeMISImage

public MakeMISImage(java.awt.image.MemoryImageSource mis)

Parameters:

mis - the MemoryImageSource for the graphics component.