Package org.jcsp.awt
Class GraphicsCommand.DrawLine
- java.lang.Object
-
- org.jcsp.lang.TaggedProtocol
-
- org.jcsp.awt.GraphicsCommand
-
- org.jcsp.awt.GraphicsCommand.DrawLine
-
- Enclosing class:
- GraphicsCommand
public static final class GraphicsCommand.DrawLine extends GraphicsCommand
This is the (immutable) command object forjava.awt.Graphics.drawLine
.
-
-
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) int
x1
(package private) int
x2
(package private) int
y1
(package private) int
y2
-
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 DrawLine(int x1, int y1, int x2, int y2)
-