Uses of Class
org.jcsp.awt.ActiveButtonState

Packages that use ActiveButtonState
org.jcsp.awt This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications. 
 

Uses of ActiveButtonState in org.jcsp.awt
 

Constructors in org.jcsp.awt with parameters of type ActiveButtonState
ActiveButtonControl(AltingChannelInput[] event, ChannelOutput[] configure, ChannelOutput report, String[][] label, ActiveButtonState[] state, int startState)
          Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments.
ActiveButtonControl(AltingChannelInput[] event, ChannelOutput[] configure, ChannelOutput report, String[][] label, ActiveButtonState[] state, int startState, boolean verbose)
          Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments, with a verbose reporting option.
 



Copyright © 1996-2012. All Rights Reserved.