|
||||||||||
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 |