CSP for Java
(JCSP) 1.1-rc4

org.jcsp.awt
Class GraphicsCommand.DrawImage

java.lang.Object
  extended by org.jcsp.lang.TaggedProtocol
      extended by org.jcsp.awt.GraphicsCommand
          extended by org.jcsp.awt.GraphicsCommand.DrawImage
Enclosing class:
GraphicsCommand

public static final class GraphicsCommand.DrawImage
extends GraphicsCommand

This is the (immutable) command object for java.awt.Graphics.drawImage.


Nested Class Summary
 
Nested classes/interfaces inherited from class org.jcsp.awt.GraphicsCommand
GraphicsCommand.ClearRect, GraphicsCommand.ClipRect, GraphicsCommand.CopyArea, GraphicsCommand.Draw3DRect, GraphicsCommand.DrawArc, GraphicsCommand.DrawBytes, GraphicsCommand.DrawChars, GraphicsCommand.DrawImage, GraphicsCommand.DrawLine, GraphicsCommand.DrawOval, GraphicsCommand.DrawPolygon, GraphicsCommand.DrawPolyline, GraphicsCommand.DrawRect, GraphicsCommand.DrawRoundRect, GraphicsCommand.DrawString, GraphicsCommand.Fill3DRect, GraphicsCommand.FillArc, GraphicsCommand.FillOval, GraphicsCommand.FillPolygon, GraphicsCommand.FillRect, GraphicsCommand.FillRoundRect, GraphicsCommand.General, GraphicsCommand.Graphic, GraphicsCommand.SetClip, GraphicsCommand.SetColor, GraphicsCommand.SetFont, GraphicsCommand.SetXORMode, GraphicsCommand.Translate
 
Field Summary
 
Fields inherited from class org.jcsp.awt.GraphicsCommand
NULL, SET_PAINT_MODE
 
Fields inherited from class org.jcsp.lang.TaggedProtocol
tag
 
Constructor Summary
GraphicsCommand.DrawImage(Image image, int x, int y)
           
GraphicsCommand.DrawImage(Image image, int x, int y, Color bgcolor)
           
GraphicsCommand.DrawImage(Image image, int x, int y, int width, int height)
           
GraphicsCommand.DrawImage(Image image, int x, int y, int width, int height, Color bgcolor)
           
GraphicsCommand.DrawImage(Image image, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2)
           
GraphicsCommand.DrawImage(Image image, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2, Color bgcolor)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphicsCommand.DrawImage

public GraphicsCommand.DrawImage(Image image,
                                 int x,
                                 int y)

GraphicsCommand.DrawImage

public GraphicsCommand.DrawImage(Image image,
                                 int x,
                                 int y,
                                 int width,
                                 int height)

GraphicsCommand.DrawImage

public GraphicsCommand.DrawImage(Image image,
                                 int x,
                                 int y,
                                 Color bgcolor)

GraphicsCommand.DrawImage

public GraphicsCommand.DrawImage(Image image,
                                 int x,
                                 int y,
                                 int width,
                                 int height,
                                 Color bgcolor)

GraphicsCommand.DrawImage

public GraphicsCommand.DrawImage(Image image,
                                 int dx1,
                                 int dy1,
                                 int dx2,
                                 int dy2,
                                 int sx1,
                                 int sy1,
                                 int sx2,
                                 int sy2)

GraphicsCommand.DrawImage

public GraphicsCommand.DrawImage(Image image,
                                 int dx1,
                                 int dy1,
                                 int dx2,
                                 int dy2,
                                 int sx1,
                                 int sy1,
                                 int sx2,
                                 int sy2,
                                 Color bgcolor)

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.