Uses of Class
org.jcsp.awt.ActiveButtonState.BadArguments
Packages that use ActiveButtonState.BadArguments
Package
Description
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.BadArgumentsModifierConstructorDescriptionActiveButtonState
(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.