Uses of Class
org.jcsp.awt.ActiveButtonState.BadArguments

Packages that use ActiveButtonState.BadArguments

Package	Description
org.jcsp.awt	This provides CSP extensions for all AWT Component 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 and 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.