Uses of Class
org.jcsp.awt.ActiveButtonState.BadArguments

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.
 



Copyright © 1996-2012. All Rights Reserved.