[BACK]Return to option.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Annotation of OpenXM/src/kan96xx/Kan/option.c, Revision 1.16

1.16    ! takayama    1: /* $OpenXM: OpenXM/src/kan96xx/Kan/option.c,v 1.15 2004/09/17 02:42:57 takayama Exp $ */
1.1       maekawa     2: #include <stdio.h>
                      3: #include "datatype.h"
                      4: #include "stackm.h"
                      5: #include "extern.h"
                      6: #include "gradedset.h"
                      7: #include "kclass.h"
                      8: #include "lookup.h"
                      9: #include <signal.h>
                     10:
                     11: extern void ctrlC();
                     12:
                     13:
                     14: struct object KsystemVariable(ob)
1.5       takayama   15:      struct object ob; /* Sarray */
1.1       maekawa    16: {
                     17:   /* Don't forget to write the keys in usage.c */
                     18:   extern int PrintDollar;
                     19:   extern int Wrap;
                     20:   extern struct ring *CurrentRingp;
                     21:   extern int Verbose;
                     22:   extern int UseCriterion1;
                     23:   extern int UseCriterion2B;
                     24:   extern int ReduceLowerTerms;
                     25:   extern int CheckHomogenization;
                     26:   extern int Homogenize;
                     27:   extern int Statistics;
1.3       takayama   28:   extern int AutoReduce;
1.1       maekawa    29:   extern int Osp;
                     30:   extern struct operandStack StandardStack;
                     31:   extern struct operandStack ErrorStack;
                     32:   extern int ErrorMessageMode;
                     33:   extern int WarningMessageMode;
                     34:   extern int CatchCtrlC;
                     35:   extern int Strict;
                     36:   extern struct context *CurrentContextp;
                     37:   extern struct context *PrimitiveContextp;
                     38:   extern int Strict2;
                     39:   extern int SigIgn;
                     40:   extern int KSPushEnvMode;
                     41:   extern int KanGBmessage;
                     42:   extern int TimerOn;
                     43:   extern int OutputStyle;
                     44:   extern int Sugar;
                     45:   extern int Homogenize_vec;
                     46:   extern int CmoDMSOutputOption;
                     47:   extern int DebugReductionRed; /* hidden option */
1.9       takayama   48:   extern int DebugReductionEcart;
1.1       maekawa    49:   extern char *VersionString;
                     50:   extern int AvoidTheSameRing;
1.2       takayama   51:   extern char *LeftBracket;
                     52:   extern char *RightBracket;
1.4       takayama   53:   extern int SecureMode;
1.7       takayama   54:   extern int Ecart;
1.8       takayama   55:   extern int EcartAutomaticHomogenization;
1.11      takayama   56:   extern int TraceLift;
1.12      takayama   57:   extern int DoCancel;
1.13      takayama   58:   extern int DebugContentReduction;
1.14      takayama   59:   extern int QuoteMode;
1.15      takayama   60:   extern int RestrictedMode, RestrictedMode_saved;
1.1       maekawa    61:
                     62:   int n,i;
1.16    ! takayama   63:   struct object ob1 = OINIT;
        !            64:   struct object ob2 = OINIT;
        !            65:   struct object ob3 = OINIT;
        !            66:   struct object ob4 = OINIT;
1.1       maekawa    67:   struct object rob = NullObject;
                     68:   switch (getoaSize(ob)) {
                     69:   case 1:   /* get the value */
                     70:     ob1 = getoa(ob,0);
                     71:     switch(ob1.tag) {
                     72:     case Sdollar:
                     73:       if (strcmp(ob1.lc.str,"PrintDollar") == 0) {
1.5       takayama   74:         rob = KpoInteger(PrintDollar);
1.1       maekawa    75:       }else if (strcmp(ob1.lc.str,"Wrap") == 0) {
1.5       takayama   76:         rob = KpoInteger(Wrap);
1.1       maekawa    77:       }else if (strcmp(ob1.lc.str,"P") == 0) {
1.5       takayama   78:         rob = KpoInteger(CurrentRingp->p);
1.1       maekawa    79:       }else if (strcmp(ob1.lc.str,"N") == 0) {
1.5       takayama   80:         rob = KpoInteger(CurrentRingp->n);
1.1       maekawa    81:       }else if (strcmp(ob1.lc.str,"NN") == 0) {
1.5       takayama   82:         rob = KpoInteger(CurrentRingp->nn);
1.1       maekawa    83:       }else if (strcmp(ob1.lc.str,"M") == 0) {
1.5       takayama   84:         rob = KpoInteger(CurrentRingp->m);
1.1       maekawa    85:       }else if (strcmp(ob1.lc.str,"MM") == 0) {
1.5       takayama   86:         rob = KpoInteger(CurrentRingp->mm);
1.1       maekawa    87:       }else if (strcmp(ob1.lc.str,"L") == 0) {
1.5       takayama   88:         rob = KpoInteger(CurrentRingp->l);
1.1       maekawa    89:       }else if (strcmp(ob1.lc.str,"LL") == 0) {
1.5       takayama   90:         rob = KpoInteger(CurrentRingp->ll);
1.1       maekawa    91:       }else if (strcmp(ob1.lc.str,"C") == 0) {
1.5       takayama   92:         rob = KpoInteger(CurrentRingp->c);
1.1       maekawa    93:       }else if (strcmp(ob1.lc.str,"CC") == 0) {
1.5       takayama   94:         rob = KpoInteger(CurrentRingp->cc);
1.1       maekawa    95:       }else if (strcmp(ob1.lc.str,"CurrentRingp") == 0) {
1.5       takayama   96:         rob = KpoRingp(CurrentRingp);
1.1       maekawa    97:       }else if (strcmp(ob1.lc.str,"Verbose") == 0) {
1.5       takayama   98:         rob = KpoInteger(Verbose);
1.1       maekawa    99:       }else if (strcmp(ob1.lc.str,"UseCriterion1") == 0) {
1.5       takayama  100:         rob = KpoInteger(UseCriterion1);
1.1       maekawa   101:       }else if (strcmp(ob1.lc.str,"UseCriterion2B") == 0) {
1.5       takayama  102:         rob = KpoInteger(UseCriterion2B);
1.1       maekawa   103:       }else if (strcmp(ob1.lc.str,"ReduceLowerTerms") == 0) {
1.5       takayama  104:         rob = KpoInteger(ReduceLowerTerms);
1.1       maekawa   105:       }else if (strcmp(ob1.lc.str,"CheckHomogenization") == 0) {
1.5       takayama  106:         rob = KpoInteger(CheckHomogenization);
1.1       maekawa   107:       }else if (strcmp(ob1.lc.str,"Homogenize") == 0) {
1.5       takayama  108:         rob = KpoInteger(Homogenize);
1.1       maekawa   109:       }else if (strcmp(ob1.lc.str,"Statistics") == 0) {
1.5       takayama  110:         rob = KpoInteger(Statistics);
1.3       takayama  111:       }else if (strcmp(ob1.lc.str,"AutoReduce") == 0) {
1.5       takayama  112:         rob = KpoInteger(AutoReduce);
1.1       maekawa   113:       }else if (strcmp(ob1.lc.str,"StackPointer") == 0) {
1.5       takayama  114:         rob = KpoInteger(Osp);
1.1       maekawa   115:       }else if (strcmp(ob1.lc.str,"StandardOperandStack") == 0) {
1.5       takayama  116:         rob.tag = Sclass;
                    117:         rob.lc.ival = CLASSNAME_OPERANDSTACK;
                    118:         rob.rc.voidp = &StandardStack;
1.1       maekawa   119:       }else if (strcmp(ob1.lc.str,"ErrorStack") == 0) {
1.5       takayama  120:         rob.tag = Sclass;
                    121:         rob.lc.ival = CLASSNAME_OPERANDSTACK;
                    122:         rob.rc.voidp = &ErrorStack;
1.1       maekawa   123:       }else if (strcmp(ob1.lc.str,"ErrorMessageMode") == 0) {
1.5       takayama  124:         rob = KpoInteger(ErrorMessageMode);
1.1       maekawa   125:       }else if (strcmp(ob1.lc.str,"WarningMessageMode") == 0) {
1.5       takayama  126:         rob = KpoInteger(WarningMessageMode);
1.1       maekawa   127:       }else if (strcmp(ob1.lc.str,"CatchCtrlC") == 0) {
1.5       takayama  128:         rob = KpoInteger(CatchCtrlC);
                    129:         /* If you catch ctrlc in KSexecuteString. */
1.1       maekawa   130:       }else if (strcmp(ob1.lc.str,"Strict") == 0) {
1.5       takayama  131:         rob = KpoInteger(Strict);
1.1       maekawa   132:       }else if (strcmp(ob1.lc.str,"CurrentContextp") == 0) {
1.5       takayama  133:         rob.tag = Sclass;
                    134:         rob.lc.ival = CLASSNAME_CONTEXT;
                    135:         rob.rc.voidp = CurrentContextp;
1.1       maekawa   136:       }else if (strcmp(ob1.lc.str,"PrimitiveContextp") == 0) {
1.5       takayama  137:         rob.tag = Sclass;
                    138:         rob.lc.ival = CLASSNAME_CONTEXT;
                    139:         rob.rc.voidp = PrimitiveContextp;
1.1       maekawa   140:       }else if (strcmp(ob1.lc.str,"NullContextp") == 0) {
1.5       takayama  141:         rob.tag = Sclass;
                    142:         rob.lc.ival = CLASSNAME_CONTEXT;
                    143:         rob.rc.voidp = (struct context *)NULL;
1.1       maekawa   144:       }else if (strcmp(ob1.lc.str,"Strict2") == 0) {
1.5       takayama  145:         rob = KpoInteger(Strict2);
1.1       maekawa   146:       }else if (strcmp(ob1.lc.str,"SigIgn") == 0) {
1.5       takayama  147:         rob = KpoInteger(SigIgn);
1.1       maekawa   148:       }else if (strcmp(ob1.lc.str,"KSPushEnvMode") == 0) {
1.5       takayama  149:         rob = KpoInteger(KSPushEnvMode);
1.1       maekawa   150:       }else if (strcmp(ob1.lc.str,"KanGBmessage") == 0) {
1.5       takayama  151:         rob = KpoInteger(KanGBmessage);
1.1       maekawa   152:       }else if (strcmp(ob1.lc.str,"TimerOn") == 0) {
1.5       takayama  153:         rob = KpoInteger(TimerOn);
1.1       maekawa   154:       }else if (strcmp(ob1.lc.str,"orderMatrix") == 0) {
1.5       takayama  155:         rob = KgetOrderMatrixOfCurrentRing();
1.1       maekawa   156:       }else if (strcmp(ob1.lc.str,"gbListTower") == 0) {
1.5       takayama  157:         if (CurrentRingp->gbListTower == NULL) rob = NullObject;
                    158:         else rob = *((struct object *)(CurrentRingp->gbListTower));
1.1       maekawa   159:       }else if (strcmp(ob1.lc.str,"outputOrder") == 0) {
1.5       takayama  160:         n = CurrentRingp->n;
                    161:         ob1 = newObjectArray(n*2);
                    162:         for (i=0; i<2*n; i++) {
                    163:           putoa(ob1,i,KpoInteger(CurrentRingp->outputOrder[i]));
                    164:         }
                    165:         rob = ob1;
1.1       maekawa   166:       }else if (strcmp(ob1.lc.str,"multSymbol") == 0) {
1.5       takayama  167:         rob = KpoInteger(OutputStyle);
1.1       maekawa   168:       }else if (strcmp(ob1.lc.str,"Sugar") == 0) {
1.5       takayama  169:         rob = KpoInteger(Sugar);
1.1       maekawa   170:       }else if (strcmp(ob1.lc.str,"Homogenize_vec") == 0) {
1.5       takayama  171:         rob = KpoInteger(Homogenize_vec);
1.1       maekawa   172:       }else if (strcmp(ob1.lc.str,"Schreyer")==0) {
1.5       takayama  173:         rob = KpoInteger( CurrentRingp->schreyer );
1.1       maekawa   174:       }else if (strcmp(ob1.lc.str,"ringName")==0) {
1.5       takayama  175:         rob = KpoString( CurrentRingp->name );
1.1       maekawa   176:       }else if (strcmp(ob1.lc.str,"CmoDMSOutputOption")==0) {
1.5       takayama  177:         rob = KpoInteger( CmoDMSOutputOption );
1.1       maekawa   178:       }else if (strcmp(ob1.lc.str,"Version")==0) {
1.5       takayama  179:         rob = KpoString(VersionString);
1.1       maekawa   180:       }else if (strcmp(ob1.lc.str,"RingStack")==0) {
1.5       takayama  181:         KsetUpRing(NullObject,NullObject,NullObject,NullObject,NullObject);
                    182:         rob = KSpop(); /* This is exceptional style */
1.1       maekawa   183:       }else if (strcmp(ob1.lc.str,"AvoidTheSameRing")==0) {
1.5       takayama  184:         rob = KpoInteger(AvoidTheSameRing);
1.2       takayama  185:       }else if (strcmp(ob1.lc.str,"LeftBracket")==0) {
1.5       takayama  186:         rob = KpoString(LeftBracket);
1.2       takayama  187:       }else if (strcmp(ob1.lc.str,"RightBracket")==0) {
1.5       takayama  188:         rob = KpoString(RightBracket);
1.4       takayama  189:       }else if (strcmp(ob1.lc.str,"SecureMode")==0) {
1.5       takayama  190:         rob = KpoInteger(SecureMode);
1.15      takayama  191:       }else if (strcmp(ob1.lc.str,"RestrictedMode")==0) {
                    192:         rob = KpoInteger(RestrictedMode);
1.7       takayama  193:       }else if (strcmp(ob1.lc.str,"Ecart")==0) {
                    194:         rob = KpoInteger(Ecart);
1.8       takayama  195:       }else if (strcmp(ob1.lc.str,"EcartAutomaticHomogenization")==0) {
                    196:         rob = KpoInteger(EcartAutomaticHomogenization);
1.11      takayama  197:       }else if (strcmp(ob1.lc.str,"TraceLift")==0) {
                    198:         rob = KpoInteger(TraceLift);
1.12      takayama  199:       }else if (strcmp(ob1.lc.str,"DoCancel")==0) {
                    200:         rob = KpoInteger(DoCancel);
1.13      takayama  201:       }else if (strcmp(ob1.lc.str,"DebugContentReduction")==0) {
                    202:         rob = KpoInteger(DebugContentReduction);
1.14      takayama  203:       }else if (strcmp(ob1.lc.str,"QuoteMode")==0) {
                    204:         rob = KpoInteger(QuoteMode);
1.1       maekawa   205:       }else{
1.5       takayama  206:         warningKan("KsystemVariable():Unknown key word.\n");
1.1       maekawa   207:       }
                    208:       break;
                    209:     default:
                    210:       warningKan("KsystemVariable():Invalid argument\n");
                    211:       break;
                    212:     }
                    213:     break;
                    214:   case 2: /* set value */
                    215:     ob1 = getoa(ob,0);
                    216:     ob2 = getoa(ob,1);
                    217:     switch (Lookup[ob1.tag][ob2.tag]) {
                    218:     case SdollarSinteger:
                    219:       if (strcmp(ob1.lc.str,"PrintDollar") == 0) {
1.5       takayama  220:         PrintDollar = ob2.lc.ival;
                    221:         rob = KpoInteger(PrintDollar);
1.1       maekawa   222:       }else if (strcmp(ob1.lc.str,"Wrap") == 0) {
1.5       takayama  223:         Wrap = ob2.lc.ival;
                    224:         rob = KpoInteger(Wrap);
                    225:         /*}else if (strcmp(ob1.lc.str,"P") == 0) {
                    226:           P = ob2.lc.ival;  Q should be set here too.
                    227:           CurrentRingp->p = P;
                    228:           rob = KpoInteger(P); */
1.1       maekawa   229:       }else if (strcmp(ob1.lc.str,"NN") == 0) {
1.5       takayama  230:         if (ob2.lc.ival <= CurrentRingp->n && ob2.lc.ival >= CurrentRingp->m) {
                    231:           CurrentRingp->nn = ob2.lc.ival;
                    232:         }else{
                    233:           warningKan("New value of NN is out of bound.");
                    234:         }
                    235:         rob = KpoInteger(ob1.lc.ival);
1.1       maekawa   236:       }else if (strcmp(ob1.lc.str,"Verbose") == 0) {
1.5       takayama  237:         Verbose = ob2.lc.ival;
                    238:         rob = KpoInteger(Verbose);
1.1       maekawa   239:       }else if (strcmp(ob1.lc.str,"UseCriterion1") == 0) {
1.5       takayama  240:         UseCriterion1 = ob2.lc.ival;
                    241:         rob = KpoInteger(UseCriterion1);
1.1       maekawa   242:       }else if (strcmp(ob1.lc.str,"UseCriterion2B") == 0) {
1.5       takayama  243:         UseCriterion2B = ob2.lc.ival;
                    244:         rob = KpoInteger(UseCriterion2B);
1.1       maekawa   245:       }else if (strcmp(ob1.lc.str,"ReduceLowerTerms") == 0) {
1.5       takayama  246:         ReduceLowerTerms = ob2.lc.ival;
                    247:         rob = KpoInteger(ReduceLowerTerms);
1.1       maekawa   248:       }else if (strcmp(ob1.lc.str,"CheckHomogenization") == 0) {
1.5       takayama  249:         CheckHomogenization = ob2.lc.ival;
                    250:         rob = KpoInteger(CheckHomogenization);
1.1       maekawa   251:       }else if (strcmp(ob1.lc.str,"Homogenize") == 0) {
1.5       takayama  252:         Homogenize = ob2.lc.ival;
                    253:         rob = KpoInteger(Homogenize);
1.1       maekawa   254:       }else if (strcmp(ob1.lc.str,"Statistics") == 0) {
1.5       takayama  255:         Statistics = ob2.lc.ival;
                    256:         rob = KpoInteger(Statistics);
1.3       takayama  257:       }else if (strcmp(ob1.lc.str,"AutoReduce") == 0) {
1.5       takayama  258:         AutoReduce = ob2.lc.ival;
                    259:         rob = KpoInteger(AutoReduce);
1.1       maekawa   260:       }else if (strcmp(ob1.lc.str,"ErrorMessageMode") == 0) {
1.5       takayama  261:         ErrorMessageMode = ob2.lc.ival;
                    262:         rob = KpoInteger(ErrorMessageMode);
1.1       maekawa   263:       }else if (strcmp(ob1.lc.str,"WarningMessageMode") == 0) {
1.5       takayama  264:         WarningMessageMode = ob2.lc.ival;
                    265:         rob = KpoInteger(WarningMessageMode);
1.1       maekawa   266:       }else if (strcmp(ob1.lc.str,"CatchCtrlC") == 0) {
1.5       takayama  267:         CatchCtrlC = ob2.lc.ival;
                    268:         rob = KpoInteger(CatchCtrlC);
1.1       maekawa   269:       }else if (strcmp(ob1.lc.str,"Strict") == 0) {
1.5       takayama  270:         Strict = ob2.lc.ival;
                    271:         rob = KpoInteger(Strict);
1.1       maekawa   272:       }else if (strcmp(ob1.lc.str,"Strict2") == 0) {
1.5       takayama  273:         Strict2 = ob2.lc.ival;
                    274:         rob = KpoInteger(Strict2);
1.1       maekawa   275:       }else if (strcmp(ob1.lc.str,"SigIgn") == 0) {
1.5       takayama  276:         SigIgn = ob2.lc.ival;
                    277:         if (SigIgn) signal(SIGINT,SIG_IGN);
                    278:         else signal(SIGINT,ctrlC);
                    279:         rob = KpoInteger(SigIgn);
1.1       maekawa   280:       }else if (strcmp(ob1.lc.str,"KSPushEnvMode") == 0) {
1.5       takayama  281:         KSPushEnvMode = ob2.lc.ival;
                    282:         rob = KpoInteger(KSPushEnvMode);
1.1       maekawa   283:       }else if (strcmp(ob1.lc.str,"KanGBmessage") == 0) {
1.5       takayama  284:         KanGBmessage = ob2.lc.ival;
                    285:         rob = KpoInteger(KanGBmessage);
1.1       maekawa   286:       }else if (strcmp(ob1.lc.str,"TimerOn") == 0) {
1.5       takayama  287:         TimerOn = ob2.lc.ival;
                    288:         rob = KpoInteger(TimerOn);
1.1       maekawa   289:       }else if (strcmp(ob1.lc.str,"multSymbol") == 0) {
1.5       takayama  290:         OutputStyle = KopInteger(ob2);
                    291:         rob = KpoInteger(OutputStyle);
1.1       maekawa   292:       }else if (strcmp(ob1.lc.str,"Sugar") == 0) {
1.5       takayama  293:         Sugar = KopInteger(ob2);
                    294:         if (Sugar && ReduceLowerTerms) {
                    295:           ReduceLowerTerms = 0;
                    296:           warningKan("ReduceLowerTerms is automatically set to 0, because Sugar = 1.");
                    297:           /* You cannot use both ReduceLowerTerms and sugar.
                    298:              See gb.c, reduction_sugar. */
                    299:         }
                    300:         rob = KpoInteger(Sugar);
1.1       maekawa   301:       }else if (strcmp(ob1.lc.str,"Homogenize_vec") == 0) {
1.5       takayama  302:         Homogenize_vec = KopInteger(ob2);
                    303:         rob = KpoInteger(Homogenize_vec);
1.1       maekawa   304:       }else if (strcmp(ob1.lc.str,"CmoDMSOutputOption") == 0) {
1.5       takayama  305:         CmoDMSOutputOption = KopInteger(ob2);
                    306:         rob = KpoInteger(CmoDMSOutputOption);
1.1       maekawa   307:       }else if (strcmp(ob1.lc.str,"DebugReductionRed") == 0) {
1.5       takayama  308:         DebugReductionRed = KopInteger(ob2);
                    309:         rob = KpoInteger(DebugReductionRed);
1.9       takayama  310:       }else if (strcmp(ob1.lc.str,"DebugReductionEcart") == 0) {
                    311:         DebugReductionEcart = KopInteger(ob2);
                    312:         rob = KpoInteger(DebugReductionEcart);
1.1       maekawa   313:       }else if (strcmp(ob1.lc.str,"AvoidTheSameRing") == 0) {
1.5       takayama  314:         AvoidTheSameRing = KopInteger(ob2);
                    315:         rob = KpoInteger(AvoidTheSameRing);
1.4       takayama  316:       }else if (strcmp(ob1.lc.str,"SecureMode") == 0) {
1.5       takayama  317:         if (KopInteger(ob2) >= SecureMode) {
                    318:           SecureMode = KopInteger(ob2);
                    319:         }else{
                    320:           errorKan1("%s\n","You cannot weaken the security level.");
                    321:         }
                    322:         rob = KpoInteger(SecureMode);
1.15      takayama  323:       }else if (strcmp(ob1.lc.str,"RestrictedMode") == 0) {
                    324:         if (KopInteger(ob2) >= RestrictedMode) {
                    325:           RestrictedMode = KopInteger(ob2);
                    326:           RestrictedMode_saved = RestrictedMode;
                    327:         }else{
                    328:           errorKan1("%s\n","You cannot weaken the RestrictedMode level.");
                    329:         }
                    330:         rob = KpoInteger(RestrictedMode);
1.7       takayama  331:       }else if (strcmp(ob1.lc.str,"Ecart") == 0) {
                    332:         Ecart = KopInteger(ob2);
                    333:         rob = KpoInteger(Ecart);
1.8       takayama  334:       }else if (strcmp(ob1.lc.str,"EcartAutomaticHomogenization") == 0) {
1.10      takayama  335:         EcartAutomaticHomogenization = KopInteger(ob2);
1.8       takayama  336:         rob = KpoInteger(EcartAutomaticHomogenization);
1.11      takayama  337:       }else if (strcmp(ob1.lc.str,"TraceLift") == 0) {
                    338:         TraceLift = KopInteger(ob2);
                    339:         rob = KpoInteger(TraceLift);
1.12      takayama  340:       }else if (strcmp(ob1.lc.str,"DoCancel") == 0) {
                    341:         DoCancel = KopInteger(ob2);
                    342:         rob = KpoInteger(DoCancel);
1.13      takayama  343:       }else if (strcmp(ob1.lc.str,"DebugContentReduction") == 0) {
                    344:         DebugContentReduction = KopInteger(ob2);
                    345:         rob = KpoInteger(DebugContentReduction);
1.14      takayama  346:       }else if (strcmp(ob1.lc.str,"QuoteMode") == 0) {
                    347:         QuoteMode = KopInteger(ob2);
                    348:         rob = KpoInteger(QuoteMode);
1.1       maekawa   349:       }else{
1.5       takayama  350:         warningKan("KsystemVariable():Unknown key word.\n");
1.1       maekawa   351:       }
                    352:       break;
                    353:     case SdollarSdollar:
                    354:       if (strcmp(ob1.lc.str,"ringName") == 0) {
1.5       takayama  355:         CurrentRingp->name = KopString(ob2);
                    356:         rob = KpoString(CurrentRingp->name);
1.2       takayama  357:       }else if (strcmp(ob1.lc.str,"LeftBracket") == 0) {
1.5       takayama  358:         LeftBracket = KopString(ob2);
                    359:         rob = KpoString(LeftBracket);
1.2       takayama  360:       }else if (strcmp(ob1.lc.str,"RightBracket") == 0) {
1.5       takayama  361:         RightBracket = KopString(ob2);
                    362:         rob = KpoString(RightBracket);
1.1       maekawa   363:       }else{
1.5       takayama  364:         warningKan("KsystemVariable():Unknown key word.\n");
1.1       maekawa   365:       }
                    366:       break;
                    367:     case SdollarSring:
                    368:       if (strcmp(ob1.lc.str,"CurrentRingp") == 0) {
1.5       takayama  369:         CurrentRingp = ob2.lc.ringp;
                    370:         rob = KpoRingp(CurrentRingp);
1.1       maekawa   371:       }else{
1.5       takayama  372:         warningKan("KsystemVariable():Unknown key word.\n");
1.1       maekawa   373:       }
                    374:       break;
                    375:     case SdollarSclass:
                    376:       if (strcmp(ob1.lc.str,"PrimitiveContextp") == 0) {
1.5       takayama  377:         if (ectag(ob2) == CLASSNAME_CONTEXT) {
                    378:           PrimitiveContextp = (struct context *)ob2.rc.voidp;
                    379:           rob = ob2;
                    380:         }else{
                    381:           warningKan("The second argument must be class.context.\n");
                    382:           rob = NullObject;
                    383:         }
1.1       maekawa   384:       }else {
1.5       takayama  385:         warningKan("KsystemVariable():Unknown key word.\n");
1.1       maekawa   386:       }
                    387:       break;
                    388:     case SdollarSlist:
                    389:       if (strcmp(ob1.lc.str,"gbListTower") == 0) {
1.5       takayama  390:         if (AvoidTheSameRing)
                    391:           warningKan("Changing gbListTower may cause a trouble under AvoidTheSameRing == 1.");
                    392:         CurrentRingp->gbListTower = newObject();
                    393:         *((struct object *)(CurrentRingp->gbListTower)) = ob2;
                    394:         rob = *((struct object *)(CurrentRingp->gbListTower));
1.1       maekawa   395:       }else {
1.5       takayama  396:         warningKan("KsystemVariable(): Unknown key word to set value.\n");
1.1       maekawa   397:       }
                    398:       break;
                    399:     case SdollarSarray:
                    400:       if (strcmp(ob1.lc.str,"outputOrder") == 0) {
1.5       takayama  401:         rob = KsetOutputOrder(ob2,CurrentRingp);
1.1       maekawa   402:       }else if (strcmp(ob1.lc.str,"variableNames") == 0) {
1.5       takayama  403:         rob = KsetVariableNames(ob2,CurrentRingp);
1.1       maekawa   404:       }else {
1.5       takayama  405:         warningKan("KsystemVariable(): Unknown key word to set value.\n");
1.1       maekawa   406:       }
                    407:       break;
                    408:     default:
                    409:       warningKan("KsystemVariable():Invalid argument.\n");
                    410:     }
                    411:     break;
                    412:   case 3:
                    413:     ob1 = getoa(ob,0); ob2 = getoa(ob,1); ob3 = getoa(ob,2);
                    414:     switch(Lookup[ob1.tag][ob2.tag]) {
                    415:     case SdollarSdollar:
                    416:       if (strcmp(ob2.lc.str,"var") == 0) {
1.5       takayama  417:         if (strcmp(ob1.lc.str,"x")==0) {
                    418:           if (ob3.tag != Sinteger) {
                    419:             warningKan("[$x$ $var$ ? ] The 3rd argument must be integer.");
                    420:             break;
                    421:           }
                    422:           if (ob3.lc.ival >= 0 && ob3.lc.ival < CurrentRingp->n) {
                    423:             rob = KpoString(CurrentRingp->x[ob3.lc.ival]);
                    424:           }else{
                    425:             warningKan("[$x$ $var$ ? ] The 3rd argument is out of range.");
                    426:             break;
                    427:           }
                    428:         }else if (strcmp(ob1.lc.str,"D")==0) {
                    429:           if (ob3.tag != Sinteger) {
                    430:             warningKan("[$D$ $var$ ? ] The 3rd argument must be integer.");
                    431:             break;
                    432:           }
                    433:           if (ob3.lc.ival >= 0 && ob3.lc.ival < CurrentRingp->n) {
                    434:             rob = KpoString(CurrentRingp->D[ob3.lc.ival]);
                    435:           }else{
                    436:             warningKan("[$D$ $var$ ? ] The 3rd argument is out of range.");
                    437:             break;
                    438:           }
                    439:         }
1.1       maekawa   440:       }else{
1.5       takayama  441:         warningKan("KsystemVariable(): Invalid argument.\n");
1.1       maekawa   442:       }
                    443:       break;
                    444:     default:
                    445:       warningKan("KsystemVariable(): Invalid argument.\n");
                    446:       break;
                    447:     }
                    448:     break;
                    449:   default:
                    450:     warningKan("KsystemVariable():Invalid argument.\n");
                    451:     break;
                    452:   }
                    453:   return(rob);
                    454: }
                    455:
                    456: warningOption(str)
1.5       takayama  457:      char *str;
1.1       maekawa   458: {
                    459:   fprintf(stderr,"Warning(option.c): %s\n",str);
                    460: }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>