Uses of Class
org.jcsp.lang.TaggedProtocol
-
Packages that use TaggedProtocol Package Description org.jcsp.awt This provides CSP extensions for all AWTComponent
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 asDisplayList
) that implement theDisplay
interface.static class
GraphicsCommand.ClearRect
This is the (immutable) command object forjava.awt.Graphics.clearRect
.static class
GraphicsCommand.ClipRect
This is the (immutable) command object forjava.awt.Graphics.clipRect
.static class
GraphicsCommand.CopyArea
This is the (immutable) command object forjava.awt.Graphics.copyArea
.static class
GraphicsCommand.Draw3DRect
This is the (immutable) command object forjava.awt.Graphics.draw3DRect
.static class
GraphicsCommand.DrawArc
This is the (immutable) command object forjava.awt.Graphics.drawArc
.static class
GraphicsCommand.DrawBytes
This is the (immutable) command object forjava.awt.Graphics.drawBytes
.static class
GraphicsCommand.DrawChars
This is the (immutable) command object forjava.awt.Graphics.drawChars
.static class
GraphicsCommand.DrawImage
This is the (immutable) command object forjava.awt.Graphics.drawImage
.static class
GraphicsCommand.DrawLine
This is the (immutable) command object forjava.awt.Graphics.drawLine
.static class
GraphicsCommand.DrawOval
This is the (immutable) command object forjava.awt.Graphics.drawOval
.static class
GraphicsCommand.DrawPolygon
This is the (immutable) command object forjava.awt.Graphics.drawPolygon
.static class
GraphicsCommand.DrawPolyline
This is the (immutable) command object forjava.awt.Graphics.drawPolyline
.static class
GraphicsCommand.DrawRect
This is the (immutable) command object forjava.awt.Graphics.drawRect
.static class
GraphicsCommand.DrawRoundRect
This is the (immutable) command object forjava.awt.Graphics.drawRoundRect
.static class
GraphicsCommand.DrawString
This is the (immutable) command object forjava.awt.Graphics.drawString
.static class
GraphicsCommand.Fill3DRect
This is the (immutable) command object forjava.awt.Graphics.translate
.static class
GraphicsCommand.FillArc
This is the (immutable) command object forjava.awt.Graphics.fillArc
.static class
GraphicsCommand.FillOval
This is the (immutable) command object forjava.awt.Graphics.fillOval
.static class
GraphicsCommand.FillPolygon
This is the (immutable) command object forjava.awt.Graphics.fillPolygon
.static class
GraphicsCommand.FillRect
This is the (immutable) command object forjava.awt.Graphics.fillRect
.static class
GraphicsCommand.FillRoundRect
This is the (immutable) command object forjava.awt.Graphics.fillRoundRect
.static class
GraphicsCommand.General
This is the command object holding aGraphicsCommand.Graphic
object implementing an arbitrary set of graphics operations.static class
GraphicsCommand.SetClip
This is the (immutable) command object forjava.awt.Graphics.setClip
.static class
GraphicsCommand.SetColor
This is the (immutable) command object forjava.awt.Graphics.setColor
.static class
GraphicsCommand.SetFont
This is the (immutable) command object forjava.awt.Graphics.setFont
.static class
GraphicsCommand.SetXORMode
This is the (immutable) command object forjava.awt.Graphics.setXORMode
.static class
GraphicsCommand.Translate
This is the (immutable) command object forjava.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.
-