Uses of Class
org.jcsp.lang.TaggedProtocol

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.
 



Copyright © 1996-2012. All Rights Reserved.