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

GraphicsProtocol.MakeMISImage(MemoryImageSource mis)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphicsProtocol.MakeMISImage

public GraphicsProtocol.MakeMISImage(MemoryImageSource mis)

Parameters:

mis - the MemoryImageSource for the graphics component.