Package | Description |
---|---|
org.jcsp.awt |
This provides CSP extensions for all AWT
Component components:
GUI events and widget configurations map to channel communications. |
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.
|