org.jcsp.awt
Class GraphicsCommand.CopyArea

java.lang.Object
  extended by org.jcsp.lang.TaggedProtocol
      extended by org.jcsp.awt.GraphicsCommand
          extended by org.jcsp.awt.GraphicsCommand.CopyArea
Enclosing class:
GraphicsCommand

public static final class GraphicsCommand.CopyArea
extends GraphicsCommand

This is the (immutable) command object for java.awt.Graphics.copyArea.


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 inherited from class org.jcsp.awt.GraphicsCommand
NULL, SET_PAINT_MODE
 
Fields inherited from class org.jcsp.lang.TaggedProtocol
tag
 
Constructor Summary
GraphicsCommand.CopyArea(int x, int y, int width, int height, int dx, int dy)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphicsCommand.CopyArea

public GraphicsCommand.CopyArea(int x,
                                int y,
                                int width,
                                int height,
                                int dx,
                                int dy)


Copyright © 1996-2012. All Rights Reserved.