void MemoizationOK()
{
Cardinal n = 0;
Arg args[12];
XtPointer radiodataOn, radiodataOff;
n = 0;
XtSetArg(args[n], XtNradioData, &radiodataOn); n++;
XtGetValues(memoOn, args, n);
n = 0;
XtSetArg(args[n], XtNradioData, &radiodataOff); n++;
XtGetValues(memoOff, args, n);
if (radiodataOn == XawToggleGetCurrent(memoOn))
{
memoFlag = True;
SendToSimilix("(standard-memoization-on)");
}
else if (radiodataOff == XawToggleGetCurrent(memoOff))
{
memoFlag = False;
SendToSimilix("(standard-memoization-off)");
}
MemoizationCancel();
}
void PostUnfoldingOK()
{
Cardinal n = 0;
Arg args[12];
XtPointer radiodataOn, radiodataOff;
n = 0;
XtSetArg(args[n], XtNradioData, &radiodataOn); n++;
XtGetValues(punfdOn, args, n);
n = 0;
XtSetArg(args[n], XtNradioData, &radiodataOff); n++;
XtGetValues(punfdOff, args, n);
if (radiodataOn == XawToggleGetCurrent(punfdOn))
{
punfdFlag = True;
SendToSimilix("(postunfold-on)");
}
else if (radiodataOff == XawToggleGetCurrent(punfdOff))
{
punfdFlag = False;
SendToSimilix("(postunfold-off)");
}
PostUnfoldingCancel();
}
void VerboseSpecializationOK()
{
Cardinal n = 0;
Arg args[12];
XtPointer radiodata0, radiodata1, radiodata2;
n = 0;
XtSetArg(args[n], XtNradioData, &radiodata0); n++;
XtGetValues(vspec0, args, n);
n = 0;
XtSetArg(args[n], XtNradioData, &radiodata1); n++;
XtGetValues(vspec1, args, n);
n = 0;
XtSetArg(args[n], XtNradioData, &radiodata2); n++;
XtGetValues(vspec2, args, n);
if (radiodata0 == XawToggleGetCurrent(vspec0))
{
vspecFlag = SIMUZERO;
SendToSimilix("(verbose-spec 0)");
}
else if (radiodata1 == XawToggleGetCurrent(vspec1))
{
vspecFlag = SIMUONE;
SendToSimilix("(verbose-spec 1)");
}
else if (radiodata2 == XawToggleGetCurrent(vspec2))
{
vspecFlag = SIMUTWO;
SendToSimilix("(verbose-spec 2)");
}
VerboseSpecializationCancel();
}
static XtCallbackProc
switch_print_layers(Widget w, XtPointer closure, XtPointer call_data)
{
Boolean state;
int which;
/* check state of the toggle and set/remove checkmark */
FirstArg(XtNstate, &state);
GetValues(w);
if (state ) {
FirstArg(XtNbitmap, sm_check_pm);
} else {
FirstArg(XtNbitmap, sm_null_check_pm);
}
SetValues(w);
/* set the sensitivity of the toggle button to the opposite of its state
so that the user must press the other one now */
XtSetSensitive(w, !state);
/* and make the *other* button the opposite state */
if (w == printalltoggle) {
XtSetSensitive(printactivetoggle, state);
} else {
XtSetSensitive(printalltoggle, state);
}
/* which button */
which = (int) XawToggleGetCurrent(w);
if (which == 0) /* no buttons on, in transition so return now */
return;
if (which == 2) /* "blank" button, invert state */
state = !state;
/* set global state */
print_all_layers = state;
update_figure_size();
return;
}
