Uses of Class
org.jcsp.lang.TaggedProtocol
Packages that use TaggedProtocol
Package
Description
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.awtModifier and TypeClassDescriptionclass
This is the tagged protocol interpreted by objects (such asDisplayList
) that implement theDisplay
interface.static final class
This is the (immutable) command object forjava.awt.Graphics.clearRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.clipRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.copyArea
.static final class
This is the (immutable) command object forjava.awt.Graphics.draw3DRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawArc
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawBytes
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawChars
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawImage
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawLine
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawOval
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawPolygon
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawPolyline
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawRoundRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawString
.static final class
This is the (immutable) command object forjava.awt.Graphics.translate
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillArc
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillOval
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillPolygon
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillRoundRect
.static final class
This is the command object holding aGraphicsCommand.Graphic
object implementing an arbitrary set of graphics operations.private static final class
static final class
This is the (immutable) command object forjava.awt.Graphics.setClip
.static final class
This is the (immutable) command object forjava.awt.Graphics.setColor
.static final class
This is the (immutable) command object forjava.awt.Graphics.setFont
.private static final class
This is the (immutable) command object forjava.awt.Graphics.setPaintMode
.static final class
This is the (immutable) command object forjava.awt.Graphics.setXORMode
.static final class
This is the (immutable) command object forjava.awt.Graphics.translate
.class
This is the tagged protocol for use over the toGraphics configuration channel of an active graphics component.static final class
This is a general configuration class for the graphics component.private static final class
private static final class
private static final class
static final class
This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.private static final class
static final class
This is a configuration class for setting the background java.awt.Color of the active graphics component.static final class
This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component.