Uses of Class
org.jcsp.awt.GraphicsProtocol
Packages that use GraphicsProtocol
Package
Description
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.awtModifier and TypeClassDescriptionstatic 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.Fields in org.jcsp.awt declared as GraphicsProtocolModifier and TypeFieldDescriptionstatic final GraphicsProtocol
GraphicsProtocol.GET_BACKGROUND
This is an enquiry object to find the background colour of the active graphics component.static final GraphicsProtocol
GraphicsProtocol.GET_COMPONENT
This is an enquiry object to obtain the active graphics component.static final GraphicsProtocol
GraphicsProtocol.GET_DIMENSION
This is an enquiry object to find the size of the active graphics component.static final GraphicsProtocol
GraphicsProtocol.REQUEST_FOCUS
This is a configuration object to request input focus on the graphics component for keyboard and mouse evnts.