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 | Method and Description |
---|---|
(package private) void |
ActiveButtonState.check(int i,
int nButtons,
int nStates,
java.lang.String[][] label) |
Constructor and Description |
---|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments.
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState,
boolean verbose)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments, with a verbose reporting option.
|