|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |