CSP for Java
(JCSP) 1.1-rc4

org.jcsp.awt
Class GraphicsProtocol.MakeMISImage

java.lang.Object
  extended by org.jcsp.lang.TaggedProtocol
      extended by org.jcsp.awt.GraphicsProtocol
          extended by 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.

CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 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.