|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ActiveButtonControl.BadArguments | |
|---|---|
| org.jcsp.awt | This provides CSP extensions for all AWT Component components:
GUI events and widget configurations map to channel communications. |
| Uses of ActiveButtonControl.BadArguments in org.jcsp.awt |
|---|
| Constructors in org.jcsp.awt that throw ActiveButtonControl.BadArguments | |
|---|---|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
String[][] label,
ActiveButtonState[] state,
int startState)
Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments. |
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
String[][] label,
ActiveButtonState[] state,
int startState,
boolean verbose)
Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments, with a verbose reporting option. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||