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 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.
private static class	GraphicsCommand.Null
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.
private static class	GraphicsCommand.SetPaintMode	This is the (immutable) command object for java.awt.Graphics.setPaintMode.
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.
private static class	GraphicsProtocol.GetBackground
private static class	GraphicsProtocol.GetComponent
private static class	GraphicsProtocol.GetDimension
static class	GraphicsProtocol.MakeMISImage	This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.
private static class	GraphicsProtocol.RequestFocus
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.