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

Constructors

Constructor and Description
DrawImage(Image image, int x, int y)
DrawImage(Image image, int x, int y, Color bgcolor)
DrawImage(Image image, int x, int y, int width, int height)
DrawImage(Image image, int x, int y, int width, int height, Color bgcolor)
DrawImage(Image image, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2)
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

DrawImage

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

DrawImage

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

DrawImage

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

DrawImage

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

DrawImage

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

DrawImage

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