|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TaggedProtocol | |
---|---|
org.jcsp.awt | This provides CSP extensions for all AWT Component components:
GUI events and widget configurations map to channel communications. |
Uses of TaggedProtocol in org.jcsp.awt |
---|
Subclasses of TaggedProtocol in org.jcsp.awt | |
---|---|
class |
GraphicsCommand
This is the tagged protocol interpreted by objects (such as DisplayList ) that implement the Display interface. |
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 . |
class |
GraphicsProtocol
This is the tagged protocol for use over the toGraphics configuration channel of an active graphics component. |
static class |
GraphicsProtocol.General
This is a general configuration class for the graphics component. |
static class |
GraphicsProtocol.MakeMISImage
This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component. |
static class |
GraphicsProtocol.SetBackground
This is a configuration class for setting the background java.awt.Color of the active graphics component. |
static class |
GraphicsProtocol.SetPaintable
This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |