|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jcsp.lang.TaggedProtocol
org.jcsp.awt.GraphicsProtocol
org.jcsp.awt.GraphicsProtocol.General
public static final class GraphicsProtocol.General
This is a general configuration class for the graphics component.
The user constructs an instance of this class, supplying an object
implementing the Configure
interface, and writes it down the toGraphics channel.
The graphics component invokes the configure method
of the enclosed Configure object and
returns the Object result down the fromGraphics channel.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.jcsp.awt.GraphicsProtocol |
---|
GraphicsProtocol.Configure, GraphicsProtocol.General, GraphicsProtocol.MakeMISImage, GraphicsProtocol.SetBackground, GraphicsProtocol.SetPaintable |
Field Summary |
---|
Fields inherited from class org.jcsp.awt.GraphicsProtocol |
---|
GET_BACKGROUND, GET_COMPONENT, GET_DIMENSION, REQUEST_FOCUS |
Fields inherited from class org.jcsp.lang.TaggedProtocol |
---|
tag |
Constructor Summary | |
---|---|
GraphicsProtocol.General(GraphicsProtocol.Configure c)
|
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public GraphicsProtocol.General(GraphicsProtocol.Configure c)
c
- the object implementing the user's configuration requirements
for the graphics component.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |