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