Package | Description |
---|---|
org.jcsp.awt |
This provides CSP extensions for all AWT
Component components:
GUI events and widget configurations map to channel communications. |
Modifier and Type | Class and 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.
|
Modifier and Type | Field and 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.
|
Copyright © 1996–2024. All rights reserved.