org.jcsp.awt
Class GraphicsCommand.DrawImage
java.lang.Object
org.jcsp.lang.TaggedProtocol
org.jcsp.awt.GraphicsCommand
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 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 |
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)
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.