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 and Description
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.