Uses of Class
org.jcsp.awt.GraphicsProtocol

Packages that use GraphicsProtocol

org.jcsp.awt

This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications.

Uses of GraphicsProtocol in org.jcsp.awt

Subclasses of GraphicsProtocol in org.jcsp.awt

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.

Fields in org.jcsp.awt declared as GraphicsProtocol

static GraphicsProtocol	GraphicsProtocol.GET_BACKGROUND This is an enquiry object to find the background colour of the active graphics component.
static GraphicsProtocol	GraphicsProtocol.GET_COMPONENT This is an enquiry object to obtain the active graphics component.
static GraphicsProtocol	GraphicsProtocol.GET_DIMENSION This is an enquiry object to find the size of the active graphics component.
static GraphicsProtocol	GraphicsProtocol.REQUEST_FOCUS This is a configuration object to request input focus on the graphics component for keyboard and mouse evnts.