Uses of Class
org.jcsp.awt.ActiveButtonControl.BadArguments
-
Packages that use ActiveButtonControl.BadArguments Package Description org.jcsp.awt This provides CSP extensions for all AWTComponent
components: GUI events and widget configurations map to channel communications. -
-
Uses of ActiveButtonControl.BadArguments in org.jcsp.awt
Methods in org.jcsp.awt that throw ActiveButtonControl.BadArguments Modifier and Type Method Description (package private) void
ActiveButtonState. check(int i, int nButtons, int nStates, java.lang.String[][] label)
Constructors in org.jcsp.awt that throw ActiveButtonControl.BadArguments Constructor 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.
-