A state of the ActiveButtonControl finite state machine.
Modifiers | Name | Description |
---|---|---|
static class |
ActiveButtonState.BadArguments |
This gets thrown if a consistency check fails in the ActiveButtonState constructor. |
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. |
Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments.
labelId
- the button labels for this state.enable
- the enable/disable status of each button for this state
(true <==> enabled).next
- the next state after each button is pushed.Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments, with a verbose reporting option.
labelId
- the button labels for this state.enable
- the enable/disable status of each button for this state
(true <==> enabled).next
- the next state after each button is pushed.verbose
- if true, a running commentary is printed on the consistency checks.JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk