Uses of Class
org.jcsp.awt.GraphicsCommand

Packages that use GraphicsCommand
org.jcsp.awt This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications. 
 

Uses of GraphicsCommand in org.jcsp.awt
 

Subclasses of GraphicsCommand in org.jcsp.awt
static class GraphicsCommand.ClearRect
          This is the (immutable) command object for java.awt.Graphics.clearRect.
static class GraphicsCommand.ClipRect
          This is the (immutable) command object for java.awt.Graphics.clipRect.
static class GraphicsCommand.CopyArea
          This is the (immutable) command object for java.awt.Graphics.copyArea.
static class GraphicsCommand.Draw3DRect
          This is the (immutable) command object for java.awt.Graphics.draw3DRect.
static class GraphicsCommand.DrawArc
          This is the (immutable) command object for java.awt.Graphics.drawArc.
static class GraphicsCommand.DrawBytes
          This is the (immutable) command object for java.awt.Graphics.drawBytes.
static class GraphicsCommand.DrawChars
          This is the (immutable) command object for java.awt.Graphics.drawChars.
static class GraphicsCommand.DrawImage
          This is the (immutable) command object for java.awt.Graphics.drawImage.
static class GraphicsCommand.DrawLine
          This is the (immutable) command object for java.awt.Graphics.drawLine.
static class GraphicsCommand.DrawOval
          This is the (immutable) command object for java.awt.Graphics.drawOval.
static class GraphicsCommand.DrawPolygon
          This is the (immutable) command object for java.awt.Graphics.drawPolygon.
static class GraphicsCommand.DrawPolyline
          This is the (immutable) command object for java.awt.Graphics.drawPolyline.
static class GraphicsCommand.DrawRect
          This is the (immutable) command object for java.awt.Graphics.drawRect.
static class GraphicsCommand.DrawRoundRect
          This is the (immutable) command object for java.awt.Graphics.drawRoundRect.
static class GraphicsCommand.DrawString
          This is the (immutable) command object for java.awt.Graphics.drawString.
static class GraphicsCommand.Fill3DRect
          This is the (immutable) command object for java.awt.Graphics.translate.
static class GraphicsCommand.FillArc
          This is the (immutable) command object for java.awt.Graphics.fillArc.
static class GraphicsCommand.FillOval
          This is the (immutable) command object for java.awt.Graphics.fillOval.
static class GraphicsCommand.FillPolygon
          This is the (immutable) command object for java.awt.Graphics.fillPolygon.
static class GraphicsCommand.FillRect
          This is the (immutable) command object for java.awt.Graphics.fillRect.
static class GraphicsCommand.FillRoundRect
          This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
static class GraphicsCommand.General
          This is the command object holding a GraphicsCommand.Graphic object implementing an arbitrary set of graphics operations.
static class GraphicsCommand.SetClip
          This is the (immutable) command object for java.awt.Graphics.setClip.
static class GraphicsCommand.SetColor
          This is the (immutable) command object for java.awt.Graphics.setColor.
static class GraphicsCommand.SetFont
          This is the (immutable) command object for java.awt.Graphics.setFont.
static class GraphicsCommand.SetXORMode
          This is the (immutable) command object for java.awt.Graphics.setXORMode.
static class GraphicsCommand.Translate
          This is the (immutable) command object for java.awt.Graphics.translate.
 

Fields in org.jcsp.awt declared as GraphicsCommand
static GraphicsCommand GraphicsCommand.NULL
          This is the null command whose interpretation is a no-op.
static GraphicsCommand GraphicsCommand.SET_PAINT_MODE
          This is the (immutable) command object for java.awt.Graphics.setPaintMode.
 

Methods in org.jcsp.awt that return GraphicsCommand
 GraphicsCommand[] Display.get()
          Returns a copy of the array of GraphicsCommands currently held.
 GraphicsCommand[] DisplayList.get()
          Returns a copy of the array of GraphicsCommands currently held.
 

Methods in org.jcsp.awt with parameters of type GraphicsCommand
 boolean Display.change(GraphicsCommand[] c, int i)
          Changes the array of GraphicsCommands to be interpreted by replacing elements i onwards with the new ones.
 boolean DisplayList.change(GraphicsCommand[] c, int i)
          Changes the array of GraphicsCommands to be executed by replacing elements i onwards with the new ones.
 boolean Display.change(GraphicsCommand c, int i)
          Changes the array of GraphicsCommands to be executed by replacing element i with the new one.
 boolean DisplayList.change(GraphicsCommand c, int i)
          Changes the array of GraphicsCommands to be executed by replacing element i with the new one.
 int Display.extend(GraphicsCommand c)
          Extends the array of GraphicsCommands to be executed by one command.
 int DisplayList.extend(GraphicsCommand c)
          Extends the array of GraphicsCommands to be executed by one command.
 int Display.extend(GraphicsCommand[] c)
          Extends the array of GraphicsCommands to be interpreted.
 int DisplayList.extend(GraphicsCommand[] c)
          Extends the array of GraphicsCommands to be executed.
 void Display.set(GraphicsCommand c)
          Sets the GraphicsCommand to be interpreted.
 void DisplayList.set(GraphicsCommand c)
          Sets the GraphicsCommand to be executed.
 void Display.set(GraphicsCommand[] c)
          Sets the array of GraphicsCommands to be interpreted.
 void DisplayList.set(GraphicsCommand[] c)
          Sets the array of GraphicsCommands to be executed.
 



Copyright © 1996-2012. All Rights Reserved.