|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ActiveButtonState.BadArguments | |
---|---|
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 | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |