Uses of Class
org.jcsp.awt.ActiveButtonControl.BadArguments
Packages that use ActiveButtonControl.BadArguments
Package
Description
This provides CSP extensions for all AWT
Component
components:
GUI events and widget configurations map to channel communications.-
Uses of ActiveButtonControl.BadArguments in org.jcsp.awt
Methods in org.jcsp.awt that throw ActiveButtonControl.BadArgumentsModifier and TypeMethodDescription(package private) void
Constructors in org.jcsp.awt that throw ActiveButtonControl.BadArgumentsModifierConstructorDescriptionActiveButtonControl
(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.