Uses of Class
org.jcsp.awt.GraphicsProtocol
-
Packages that use GraphicsProtocol Package Description org.jcsp.awt This provides CSP extensions for all AWTComponent
components: GUI events and widget configurations map to channel communications. -
-
Uses of GraphicsProtocol in org.jcsp.awt
Subclasses of GraphicsProtocol in org.jcsp.awt Modifier and Type Class Description 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 Modifier and Type Field Description 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.
-