Package 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 forjava.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 Modifier and Type Field Description (package private) java.awt.Color
bgcolor
(package private) int
drawtag
(package private) int
dx1
(package private) int
dx2
(package private) int
dy1
(package private) int
dy2
(package private) int
height
(package private) java.awt.Image
image
(package private) int
sx1
(package private) int
sx2
(package private) int
sy1
(package private) int
sy2
(package private) int
width
(package private) int
x
(package private) int
y
-
Fields inherited from class org.jcsp.awt.GraphicsCommand
CLEAR_RECT, CLIP_RECT, COPY_AREA, DRAW_3D_RECT, DRAW_ARC, DRAW_BYTES, DRAW_CHARS, DRAW_IMAGE, DRAW_LINE, DRAW_OVAL, DRAW_POLYGON, DRAW_POLYLINE, DRAW_RECT, DRAW_ROUND_RECT, DRAW_STRING, FILL_3D_RECT, FILL_ARC, FILL_OVAL, FILL_POLYGON, FILL_RECT, FILL_ROUND_RECT, GENERAL, NULL, NULL_TAG, SET_CLIP, SET_COLOR, SET_FONT, SET_PAINT_MODE, SET_PAINT_MODE_TAG, SET_XOR_MODE, TRANSLATE
-
Fields inherited from class org.jcsp.lang.TaggedProtocol
tag
-
-
Constructor Summary
Constructors Constructor Description DrawImage(java.awt.Image image, int x, int y)
DrawImage(java.awt.Image image, int x, int y, int width, int height)
DrawImage(java.awt.Image image, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2)
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)
DrawImage(java.awt.Image image, int x, int y, int width, int height, java.awt.Color bgcolor)
DrawImage(java.awt.Image image, int x, int y, java.awt.Color bgcolor)
-
-
-
Field Detail
-
drawtag
final int drawtag
-
image
final java.awt.Image image
-
x
final int x
-
y
final int y
-
width
final int width
-
height
final int height
-
bgcolor
final java.awt.Color bgcolor
-
dx1
final int dx1
-
dy1
final int dy1
-
dx2
final int dx2
-
dy2
final int dy2
-
sx1
final int sx1
-
sy1
final int sy1
-
sx2
final int sx2
-
sy2
final int sy2
-
-
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)
-
-