Uses of Class
org.jcsp.awt.ActiveButtonState

Packages that use ActiveButtonState

Package	Description
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

Fields in org.jcsp.awt declared as ActiveButtonState

Modifier and Type	Field	Description
private ActiveButtonState[]	ActiveButtonControl.state

Constructors in org.jcsp.awt with parameters of type ActiveButtonState

Constructor	Description
ActiveButtonControl(AltingChannelInput[] event, ChannelOutput[] configure, ChannelOutput report, java.lang.String[][] label, ActiveButtonState[] state, int startState)	Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments.
ActiveButtonControl(AltingChannelInput[] event, ChannelOutput[] configure, ChannelOutput report, java.lang.String[][] label, ActiveButtonState[] state, int startState, boolean verbose)	Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments, with a verbose reporting option.