MCPcopy Create free account
hub / github.com/Singular/Singular / showOption

Function showOption

Singular/misc_ip.cc:709–753  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

707}
708
709char * showOption()
710{
711 int i;
712 BITSET tmp;
713
714 StringSetS("//options:");
715 if ((si_opt_1!=0)||(si_opt_2!=0))
716 {
717 tmp=si_opt_1;
718 if(tmp)
719 {
720 for (i=0; optionStruct[i].setval!=0; i++)
721 {
722 if (optionStruct[i].setval & tmp)
723 {
724 StringAppend(" %s",optionStruct[i].name);
725 tmp &=optionStruct[i].resetval;
726 }
727 }
728 for (i=0; i<32; i++)
729 {
730 if (tmp & Sy_bit(i)) StringAppend(" %d",i);
731 }
732 }
733 tmp=si_opt_2;
734 if (tmp)
735 {
736 for (i=0; verboseStruct[i].setval!=0; i++)
737 {
738 if (verboseStruct[i].setval & tmp)
739 {
740 StringAppend(" %s",verboseStruct[i].name);
741 tmp &=verboseStruct[i].resetval;
742 }
743 }
744 for (i=1; i<32; i++)
745 {
746 if (tmp & Sy_bit(i)) StringAppend(" %d",i+32);
747 }
748 }
749 return StringEndS();
750 }
751 StringAppendS(" none");
752 return StringEndS();
753}
754
755/* version strings */
756#ifdef HAVE_FLINT

Callers 2

jjOPTION_PLFunction · 0.85
kDebugPrintFunction · 0.85

Calls 4

StringSetSFunction · 0.85
StringAppendFunction · 0.85
StringEndSFunction · 0.85
StringAppendSFunction · 0.85

Tested by

no test coverage detected