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