|
||||||||||
| 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 | |||||||||