Package org.jcsp.awt
Class GraphicsCommand.SetClip
java.lang.Object
org.jcsp.lang.TaggedProtocol
org.jcsp.awt.GraphicsCommand
org.jcsp.awt.GraphicsCommand.SetClip
- Enclosing class:
- GraphicsCommand
This is the (immutable) command object for
java.awt.Graphics.setClip
.-
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
FieldsModifier and TypeFieldDescription(package private) final int
(package private) final int
(package private) final Shape
(package private) final int
(package private) final int
(package private) final int
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 -
Method Summary
-
Field Details
-
cliptag
final int cliptag -
x
final int x -
y
final int y -
width
final int width -
height
final int height -
s
-
-
Constructor Details
-
SetClip
public SetClip(int x, int y, int width, int height) -
SetClip
-