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 Detail

      • DrawImage

        public DrawImage​(java.awt.Image image,
                         int x,
                         int y)
      • DrawImage

        public DrawImage​(java.awt.Image image,
                         int x,
                         int y,
                         int width,
                         int height)
      • DrawImage

        public DrawImage​(java.awt.Image image,
                         int x,
                         int y,
                         java.awt.Color bgcolor)
      • DrawImage

        public DrawImage​(java.awt.Image image,
                         int x,
                         int y,
                         int width,
                         int height,
                         java.awt.Color bgcolor)
      • DrawImage

        public DrawImage​(java.awt.Image image,
                         int dx1,
                         int dy1,
                         int dx2,
                         int dy2,
                         int sx1,
                         int sy1,
                         int sx2,
                         int sy2)
      • DrawImage

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