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(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

GraphicsProtocol.MakeMISImage

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

Parameters:

mis - the MemoryImageSource for the graphics component.