Package org.jcsp.awt

Class GraphicsCommand.DrawImage

Enclosing class:
GraphicsCommand

public static final class GraphicsCommand.DrawImage extends GraphicsCommand
This is the (immutable) command object for java.awt.Graphics.drawImage.
  • Constructor Details

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