CSP for Java
(JCSP) 1.1-rc4

org.jcsp.awt
Class ActiveButtonState

java.lang.Object
  extended by org.jcsp.awt.ActiveButtonState

public class ActiveButtonState
extends Object

A state of the ActiveButtonControl finite state machine.

Description

ActiveButtonState is one of the elements of the state table governing the behaviour of the finite state machine within an ActiveButtonControl. For each controlled button, it holds the index of the label to be displayed in this state, whether that button should be enabled or disabled and which state should be jumped to if that button is pressed. See the example documented in ActiveButtonControl.

Author:
P.H. Welch
See Also:
ActiveButton, ActiveButtonControl

Nested Class Summary
static class ActiveButtonState.BadArguments
          This gets thrown if a consistency check fails in the ActiveButtonState constructor.
 
Constructor Summary
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.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ActiveButtonState

public ActiveButtonState(int[] labelId,
                         boolean[] enable,
                         int[] next)
                  throws ActiveButtonState.BadArguments
Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments.

Parameters:
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.
Throws:
ActiveButtonState.BadArguments - if the consistency check fails. The exception contains details of the error.

ActiveButtonState

public ActiveButtonState(int[] labelId,
                         boolean[] enable,
                         int[] next,
                         boolean verbose)
                  throws ActiveButtonState.BadArguments
Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments, with a verbose reporting option.

Parameters:
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.
Throws:
ActiveButtonState.BadArguments - if the consistency check fails. The exception contains details of the error.

CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.