Uses of Class
org.jcsp.awt.ActiveButtonState.BadArguments
-
Packages that use ActiveButtonState.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 ActiveButtonState.BadArguments in org.jcsp.awt
Constructors in org.jcsp.awt that throw ActiveButtonState.BadArguments Constructor Description ActiveButtonState(int[] labelId, boolean[] enable, int[] next)
Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments.ActiveButtonState(int[] labelId, boolean[] enable, int[] next, boolean verbose)
Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments, with a verbose reporting option.
-