BooleanVBT called a ChoiceVBT.
The main steps of a typical application are:
RadioButtons uses margin feedback with bullets in the margin.
NEW(ChoiceVBT.Group).
ChoiceVBT for each switch and override its callback method
with the action appropriate for the switch.
Initialize its radio group to be the group created in step 2.
The ChoiceVBT interface
provides routines
that get and set the current selection of the group of radio buttons.
The program RadioButtons.m3 illustrates the use of radio buttons. And the following images:
Radio 1
Radio 2
Radio 3