Uses of Class
org.jcsp.lang.TaggedProtocol

Packages that use TaggedProtocol

Package	Description
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

Modifier and Type	Class	Description
class	GraphicsCommand	This is the tagged protocol interpreted by objects (such as DisplayList) that implement the Display interface.
static final class	GraphicsCommand.ClearRect	This is the (immutable) command object for java.awt.Graphics.clearRect.
static final class	GraphicsCommand.ClipRect	This is the (immutable) command object for java.awt.Graphics.clipRect.
static final class	GraphicsCommand.CopyArea	This is the (immutable) command object for java.awt.Graphics.copyArea.
static final class	GraphicsCommand.Draw3DRect	This is the (immutable) command object for java.awt.Graphics.draw3DRect.
static final class	GraphicsCommand.DrawArc	This is the (immutable) command object for java.awt.Graphics.drawArc.
static final class	GraphicsCommand.DrawBytes	This is the (immutable) command object for java.awt.Graphics.drawBytes.
static final class	GraphicsCommand.DrawChars	This is the (immutable) command object for java.awt.Graphics.drawChars.
static final class	GraphicsCommand.DrawImage	This is the (immutable) command object for java.awt.Graphics.drawImage.
static final class	GraphicsCommand.DrawLine	This is the (immutable) command object for java.awt.Graphics.drawLine.
static final class	GraphicsCommand.DrawOval	This is the (immutable) command object for java.awt.Graphics.drawOval.
static final class	GraphicsCommand.DrawPolygon	This is the (immutable) command object for java.awt.Graphics.drawPolygon.
static final class	GraphicsCommand.DrawPolyline	This is the (immutable) command object for java.awt.Graphics.drawPolyline.
static final class	GraphicsCommand.DrawRect	This is the (immutable) command object for java.awt.Graphics.drawRect.
static final class	GraphicsCommand.DrawRoundRect	This is the (immutable) command object for java.awt.Graphics.drawRoundRect.
static final class	GraphicsCommand.DrawString	This is the (immutable) command object for java.awt.Graphics.drawString.
static final class	GraphicsCommand.Fill3DRect	This is the (immutable) command object for java.awt.Graphics.translate.
static final class	GraphicsCommand.FillArc	This is the (immutable) command object for java.awt.Graphics.fillArc.
static final class	GraphicsCommand.FillOval	This is the (immutable) command object for java.awt.Graphics.fillOval.
static final class	GraphicsCommand.FillPolygon	This is the (immutable) command object for java.awt.Graphics.fillPolygon.
static final class	GraphicsCommand.FillRect	This is the (immutable) command object for java.awt.Graphics.fillRect.
static final class	GraphicsCommand.FillRoundRect	This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
static final class	GraphicsCommand.General	This is the command object holding a GraphicsCommand.Graphic object implementing an arbitrary set of graphics operations.
private static final class	GraphicsCommand.Null
static final class	GraphicsCommand.SetClip	This is the (immutable) command object for java.awt.Graphics.setClip.
static final class	GraphicsCommand.SetColor	This is the (immutable) command object for java.awt.Graphics.setColor.
static final class	GraphicsCommand.SetFont	This is the (immutable) command object for java.awt.Graphics.setFont.
private static final class	GraphicsCommand.SetPaintMode	This is the (immutable) command object for java.awt.Graphics.setPaintMode.
static final class	GraphicsCommand.SetXORMode	This is the (immutable) command object for java.awt.Graphics.setXORMode.
static final 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 final class	GraphicsProtocol.General	This is a general configuration class for the graphics component.
private static final class	GraphicsProtocol.GetBackground
private static final class	GraphicsProtocol.GetComponent
private static final class	GraphicsProtocol.GetDimension
static final class	GraphicsProtocol.MakeMISImage	This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.
private static final class	GraphicsProtocol.RequestFocus
static final class	GraphicsProtocol.SetBackground	This is a configuration class for setting the background java.awt.Color of the active graphics component.
static final class	GraphicsProtocol.SetPaintable	This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component.