Annotation of OpenXM/src/k097/simple.y, Revision 1.1
1.1 ! maekawa 1:
! 2: /* simple.y 1996, 1/1 --- 1/6 */
! 3: /* simple.y.ccc, 1996, 4/1 --- */
! 4: %{
! 5: #include <stdio.h>
! 6: #include "d.h"
! 7: %}
! 8:
! 9:
! 10: %token ID QUOTE SINGLEQUOTE NUMBER
! 11:
! 12: /* You have to change isReserved() [d.c], too */
! 13: %token CLASS SUPER OPERATOR FINAL EXTENDS INCETANCEVARIABLE
! 14: %token THIS NEW SIZEOFTHISCLASS STARTOFTHISCLASS
! 15: %token MODULE PRINT LOCAL DEF SM1 LOAD TEST SPECIAL
! 16: %token AUTO BREAK CASE CHAR CONST CONTINUE DEFAULT DO DOUBLE ELSE ENUM
! 17: %token EXTERN FLOAT FOR GOTO IF INT LONG REGISTER
! 18: %token RETURN SHORT SIGNED SIZEOF STATIC STRUCT SWITCH TYPEDEF UNION
! 19: %token UNSIGNED VOLATILE VOID WHILE PSFOR PROMPT
! 20:
! 21: %right '=' PUT MULTPUT NEGATEPUT RESIDUEPUT
! 22:
! 23: %left OR
! 24: %left AND
! 25: %left '|'
! 26: %left '&'
! 27: %left EQUAL NOTEQUAL
! 28: %left '<' '>' LESSEQUAL GREATEREQUAL
! 29: %left LEFTSHIFT RIGHTSHIFT
! 30: %left '+' '-'
! 31: %left '*' '/' '%'
! 32:
! 33: %left UNARYMINUS '!' INCREMENT DECREMENT '~'
! 34: %right '^'
! 35:
! 36: %left '.'
! 37: %left MEMBER
! 38: %%
! 39:
! 40: /* Mathematica-like parser */
! 41: program
! 42: : globalstatements
! 43: ;
! 44:
! 45: globalstatements
! 46: :
! 47: sentence globalstatements
! 48: | sentence
! 49: ;
! 50:
! 51: sentence /* { ... } {...} : ; does not need. */
! 52: :
! 53: for
! 54: | PSfor
! 55: | while
! 56: | if
! 57: | functionDefinition {sendKan(0); }
! 58: | exp ';' {sendKan(0); }
! 59: | exp ':' {pkkan(" [ ] {showln} sendmsg2 \n"); sendKan(0); }
! 60: | ';' {sendKan(0); }
! 61: | class_definition {sendKan(0); }
! 62: | error ';'
! 63: | PROMPT ';' {sendKan(10); }
! 64: ;
! 65:
! 66: statements
! 67: :
! 68: localsentence statements
! 69: | localsentence
! 70: ;
! 71:
! 72: localsentence
! 73: :
! 74: for
! 75: | PSfor
! 76: | while
! 77: | if
! 78: | exp ';'
! 79: | return ';'
! 80: | break ';'
! 81: | ';'
! 82: ;
! 83:
! 84: argList
! 85: : exp ',' argList
! 86: | exp /* It does not cause reduce-reduce conflict
! 87: between "program"! */
! 88: ;
! 89:
! 90: return :
! 91: RETURN exp { pkkan(" /FunctionValue set {/ExitPoint goto} exec %%return\n");}
! 92: | RETURN {pkkan(" {/ExitPoint goto} exec %%return void\n");}
! 93: ;
! 94:
! 95: break : BREAK { pkkan(" exit "); }
! 96:
! 97: list_prefix
! 98: :
! 99: '[' { pkkan("[ "); }
! 100: ;
! 101: list
! 102: : list_prefix ']' { pkkan(" ] "); }
! 103: | list_prefix argList ']' { pkkan(" ] "); }
! 104: ;
! 105:
! 106: curryBrace
! 107: : '{' '}'
! 108: | '{' statements '}'
! 109: ;
! 110:
! 111: if_prefix
! 112: : IF '(' exp ')' { pkkan(" %% if-condition\n { %%ifbody\n"); }
! 113: ;
! 114: if_body
! 115: : localsentence { pkkan(" }%%end if if body\n { %%if- else part\n"); }
! 116: | curryBrace { pkkan(" }%%end if if body\n { %%if- else part\n"); }
! 117: ;
! 118: if
! 119: : if_prefix if_body { pkkan(" } ifelse\n"); }
! 120: /* The line cause 1 shift/reduce conflict. Look up a book. */
! 121: | if_prefix if_body ELSE localsentence { pkkan(" } ifelse\n"); }
! 122: | if_prefix if_body ELSE curryBrace { pkkan(" } ifelse\n"); }
! 123: ;
! 124:
! 125:
! 126: for_prefix0
! 127: : FOR '(' exp ';' { pkkan("%%for init.\n%%for\n{ "); }
! 128: | FOR '(' ';' { pkkan("%%nothing for init.\n%%for\n{ "); }
! 129: ;
! 130: for_exit
! 131: : exp ';' { pkkan(" { } {exit} ifelse\n[ {%%increment\n"); }
! 132: | ';' { pkkan("%%no exit rule.\n[ {%%increment\n"); }
! 133: ;
! 134: for_inc
! 135: : exp { pkkan("} %%end of increment{A}\n"); }
! 136: ;
! 137: /* [{ A } { B } roll 2 1] {exec} map ---> B A */
! 138: for_prefix
! 139: : for_prefix0 for_exit for_inc ')'
! 140: { pkkan("{%%start of B part{B}\n"); }
! 141: | for_prefix0 for_exit ')'
! 142: { pkkan(" } %% dummy A\n{%%start of B part{B}\n"); }
! 143: ;
! 144: for
! 145: : for_prefix curryBrace
! 146: { pkkan("} %% end of B part. {B}\n");
! 147: pkkan(" 2 1 roll] {exec} map pop\n} loop %%end of for\n"); }
! 148:
! 149: PSfor_prefix
! 150: : PSFOR '(' ID '=' exp ';'
! 151: { pkkan("%%PSfor initvalue.\n (integer) data_conversion \n");
! 152: ips($3);
! 153: }
! 154: ID '<' exp ';' ID INCREMENT ')'
! 155: { ips($7); ips($10);
! 156: /* They must be equal id, but it is not checked. */
! 157: pkkan(" (1).. sub (integer) data_conversion 1 2 -1 roll \n");
! 158: pkkan("{ %% for body\n (universalNumber) data_conversion ");
! 159: pkkan("/"); printObjectSymbol($3); pkkan(" set \n");
! 160: }
! 161: ;
! 162: PSfor
! 163: : PSfor_prefix curryBrace
! 164: { pkkan(" } for \n"); }
! 165: ;
! 166:
! 167: while_prefix0
! 168: : WHILE '(' { pkkan("\n%%while\n{ "); }
! 169: ;
! 170:
! 171: while_prefix
! 172: : while_prefix0 exp ')' { pkkan(" { } {exit} ifelse\n "); }
! 173: | while_prefix0 ')' { pkkan("%%no exit condition.\n "); }
! 174: ;
! 175:
! 176: while
! 177: : while_prefix curryBrace { pkkan("} loop\n"); }
! 178: ;
! 179:
! 180:
! 181: print
! 182: : PRINT '(' exp ')' { pkkan(" print\n");}
! 183: ;
! 184:
! 185: sm1 :
! 186: SM1 '(' sm1ArgList ')'
! 187: ;
! 188:
! 189: load :
! 190: LOAD '(' QUOTE ')' { loadFile($3); }
! 191: | LOAD '(' ID ')' { loadFile($3); }
! 192: | LOAD ID { loadFile($2); }
! 193: | LOAD QUOTE { loadFile($2); }
! 194: | LOAD '[' QUOTE ']' { loadFileWithCpp($3); }
! 195:
! 196: sm1ArgList :
! 197: | sm1ArgList ',' QUOTE { pkkan(" "); printObjectSymbol($3); pkkan(" "); }
! 198: | QUOTE { pkkan(" "); printObjectSymbol($1); pkkan(" "); }
! 199: | sm1ArgList ',' ID { pkkan(" "); printObjectSymbol($3); pkkan(" "); }
! 200: | ID { pkkan(" "); printObjectSymbol($1); pkkan(" "); }
! 201: ;
! 202:
! 203: primitive
! 204: : ID
! 205: { int tmp0;
! 206: if ((tmp0 = K00getIncetanceVariable(objectSymbolToString($1))) != -1) {
! 207: pkkan(" this "); pkkanInteger(tmp0); pkkan(" get ");
! 208: } else {
! 209: printObjectSymbol($1); pkkan(" ");
! 210: }
! 211: }
! 212: | QUOTE { pkkan("("); printObjectSymbol($1); pkkan(") "); }
! 213: | SINGLEQUOTE
! 214: | NUMBER { pkkan("("); printObjectSymbol($1); pkkan(").. ");}
! 215: | THIS { pkkan(" this "); }
! 216: | '(' exp ')'
! 217: | functionCall
! 218: | list
! 219: | print
! 220: | sm1
! 221: | load
! 222: | test
! 223: | special
! 224: | set
! 225: | arrayValue
! 226: ;
! 227:
! 228: functionCall_prefix
! 229: :
! 230: ID '(' { pkkan("this [ %% function args \n"); $$ = $1 }
! 231: ;
! 232:
! 233: /* function call. cf. Schreiner 19p */
! 234: /* If you want to have a strong binding s.t.
! 235: ID[1,2], then you need to define a new non-terminal
! 236: such as primitive. ????*/
! 237: functionCall
! 238: :
! 239: functionCall_prefix argList ')'
! 240: {pkkan("] {");printObjectSymbol($1);pkkan("} sendmsg2 \n");}
! 241: | functionCall_prefix ')'
! 242: {pkkan("] {");printObjectSymbol($1);pkkan("} sendmsg2 \n");}
! 243:
! 244: ;
! 245: idList
! 246: : idList ',' ID { pkkan("/");printObjectSymbol($3); pkkan(" "); ips($3);}
! 247: | ID { pkkan("/");printObjectSymbol($1); pkkan(" "); ips($1);}
! 248: ;
! 249:
! 250: functionHead
! 251: : DEF ID
! 252: { pkkan("/"); printObjectSymbol($2); pkkan(" {\n"); ips($2);
! 253: pkdebug("In function : ", objectSymbolToString($2),
! 254: " of class ",K00getCurrentContextName());
! 255: pkkan(" /Arglist set /Argthis set /FunctionValue [ ] def\n [/this ");
! 256: $$ = $2;}
! 257: ;
! 258:
! 259: voidfunctionHead
! 260: : DEF VOID ID
! 261: { pkkan("/"); printObjectSymbol($3); pkkan(" {\n"); ips($3);
! 262: pkdebug("In function : ", objectSymbolToString($3),
! 263: " of class ",K00getCurrentContextName());
! 264: pkkan(" /Arglist set /Argthis set /FunctionValue [ ] def\n [/this ");
! 265: $$ = $2;}
! 266: ;
! 267:
! 268: functionArg
! 269: : '(' idList ')' '{'
! 270: {pkkan(" ] /ArgNames set ArgNames pushVariables [ %%function body\n");
! 271: pkkan(" [Argthis] Arglist join ArgNames mapset\n");}
! 272: | '(' ')' '{'
! 273: {pkkan(" ] /ArgNames set ArgNames pushVariables [ %%function body\n");
! 274: pkkan(" [Argthis] ArgNames mapset\n"); }
! 275: ;
! 276:
! 277: functionBody
! 278: :
! 279: declaration extern_declaration statements '}'
! 280: { pkkan("/ExitPoint ]pop popVariables %%pop the local variables\n"); }
! 281: | extern_declaration statements '}'
! 282: ;
! 283:
! 284:
! 285: functionDefinition
! 286: : functionHead functionArg functionBody
! 287: {pkkan("/ExitPoint ]pop popVariables %%pop argValues\n");
! 288: pkdebug2();
! 289: pkkan("FunctionValue } def\n%%end of function\n\n"); }
! 290: | operatorfunctionHead functionArg functionBody
! 291: {pkkan("/ExitPoint ]pop popVariables %%pop argValues\n");
! 292: pkdebug2();
! 293: pkkan("FunctionValue } def\n%%end of function\n\n"); }
! 294: | voidfunctionHead functionArg functionBody
! 295: {pkkan("/ExitPoint ]pop popVariables %%pop argValues\n");
! 296: pkdebug2();
! 297: pkkan("} def\n%%end of function\n\n"); }
! 298: ;
! 299:
! 300: declaration_prefix
! 301: : LOCAL { pkkan("[ %%start of local variables\n"); }
! 302: ;
! 303:
! 304: declaration
! 305: : declaration_prefix idList ';'
! 306: { pkkan("] pushVariables [ %%local variables\n"); }
! 307: ;
! 308:
! 309: extern_idList
! 310: : extern_idList ',' ID
! 311: { ;}
! 312: | ID { ;}
! 313: ;
! 314:
! 315: extern_declaration_prefix
! 316: : EXTERN { ; }
! 317: ;
! 318:
! 319: extern_declaration
! 320: : extern_declaration_prefix extern_idList ';'
! 321: { ; }
! 322: |
! 323: ;
! 324:
! 325: arrayValue :
! 326: array { pkkan(" Get\n"); }
! 327: ;
! 328: array :
! 329: array_prefix arrayIndex ']' {pkkan(" ] "); }
! 330: ;
! 331: arrayIndex :
! 332: exp ',' arrayIndex
! 333: | exp
! 334: ;
! 335: array_prefix :
! 336: ID '['
! 337: { int tmp0;
! 338: if ((tmp0 = K00getIncetanceVariable(objectSymbolToString($1))) != -1) {
! 339: pkkan(" this "); pkkanInteger(tmp0); pkkan(" get [");
! 340: } else {
! 341: printObjectSymbol($1); pkkan(" [");
! 342: }
! 343: }
! 344: ;
! 345:
! 346:
! 347: id_set
! 348: : ID { $$ = $1;}
! 349: ;
! 350: set
! 351: : id_set '=' exp
! 352: { int tmp0;
! 353: if ((tmp0 = K00getIncetanceVariable(objectSymbolToString($1))) != -1) {
! 354: pkkan(" this "); pkkanInteger(tmp0);
! 355: pkkan(" 3 -1 roll put\n");
! 356: }else {
! 357: pkkan("/"); printObjectSymbol($1); pkkan(" "); ips($1); pkkan(" set\n");
! 358: }
! 359: }
! 360: | array '=' exp { pkkan(" Put\n"); }
! 361: | THIS '=' exp { pkkan(" /this set \n"); }
! 362: ;
! 363:
! 364: exp
! 365: : primitive
! 366: | new
! 367: | '!' exp { pkkan(" not\n"); }
! 368: | '~' exp
! 369: | '-' exp { pkkan(" (0).. 2 1 roll {sub} sendmsg \n"); }
! 370: | exp '+' exp { pkkan(" {add} sendmsg2 \n"); }
! 371: | exp '-' exp { pkkan(" {sub} sendmsg2 \n"); }
! 372: | exp '*' exp { pkkan(" {mul} sendmsg2 \n"); }
! 373: | exp '/' exp { pkkan(" {div} sendmsg2 \n"); }
! 374: | exp '%' exp
! 375: | exp '^' exp { pkkan(" power\n"); }
! 376: | exp '&' exp
! 377: | exp '|' exp
! 378: | exp EQUAL exp { pkkan(" eq\n"); }
! 379: | exp '<' exp { pkkan(" lt\n"); }
! 380: | exp '>' exp { pkkan(" gt\n"); }
! 381: | exp LESSEQUAL exp { pkkan(" lessThanOrEqual\n"); }
! 382: | exp LEFTSHIFT exp
! 383: | exp GREATEREQUAL exp { pkkan(" greaterThanOrEqual\n"); }
! 384: | exp RIGHTSHIFT exp
! 385: | exp AND exp { pkkan(" and\n"); }
! 386: | exp OR exp { pkkan(" or\n"); }
! 387: | exp NOTEQUAL exp { pkkan(" eq not\n"); }
! 388: | exp PUT exp
! 389: | id_set INCREMENT { pkkan("/");
! 390: printObjectSymbol($1); ips($1);
! 391: pkkan(" "); printObjectSymbol($1);
! 392: pkkan(" (1).. {add} sendmsg2 "); pkkan("def\n"); }
! 393: | id_set DECREMENT { pkkan("/");
! 394: printObjectSymbol($1); ips($1);
! 395: pkkan(" "); printObjectSymbol($1);
! 396: pkkan(" (1).. {sub} sendmsg2 "); pkkan("def\n"); }
! 397: | exp MEMBER exp
! 398: | exp '.' member_functionCall { pkkan(" sendmsg2 \n"); }
! 399: | exp '.' ID { /* Not implemented yet. */ }
! 400: | super '.' member_functionCall { pkkan(" supmsg2 \n"); }
! 401: | NUMBER '.' NUMBER { pkkan("("); printObjectSymbol($1);
! 402: pkkan(").. (double) dc ");
! 403: pkkan("("); printObjectSymbol($3); pkkan(").. ");
! 404: pkkan("("); printTens($3); pkkan(").. ");
! 405: pkkan(" div (double) dc add\n"); }
! 406: | exp RESIDUEPUT exp
! 407: | exp NEGATEPUT exp
! 408: | exp MULTPUT exp
! 409: | SIZEOFTHISCLASS
! 410: {
! 411: int tmp0;
! 412: tmp0 = K00getIncetanceVariable("K00sizeof");
! 413: pkkan(" ("); pkkanInteger(tmp0); pkkan(").. ");
! 414: }
! 415:
! 416: | STARTOFTHISCLASS
! 417: {
! 418: int tmp0;
! 419: tmp0 = K00getIncetanceVariable("K00start");
! 420: pkkan(" ("); pkkanInteger(tmp0); pkkan(").. ");
! 421: }
! 422: ;
! 423:
! 424: test : TEST '(' exp ')'
! 425: { /* It is not used now. */
! 426: sendKan(1);
! 427: Sm1obj = KSpop();
! 428: if (Sm1obj.tag != Sdollar) {
! 429: fprintf(stderr," Argument of test must be a string.\n");
! 430: }
! 431: testNewFunction((struct Object *)&Sm1obj);
! 432: }
! 433: ;
! 434:
! 435: special : SPECIAL '(' list ')'
! 436: {
! 437: fprintf(stderr," special is used to extend the function. \n");
! 438: }
! 439: ;
! 440:
! 441:
! 442: member_functionCall
! 443: :
! 444: member_functionCall_prefix argList ')'
! 445: {pkkan("] {");printObjectSymbol($1);pkkan("} ");}
! 446: | member_functionCall_prefix ')'
! 447: {pkkan("] {");printObjectSymbol($1);pkkan("} ");}
! 448:
! 449: ;
! 450: member_functionCall_prefix
! 451: :
! 452: ID '(' { pkkan(" [ %% function args \n"); $$ = $1 }
! 453: ;
! 454:
! 455:
! 456: class_definition
! 457: :
! 458: class_definition_prefix incetance_variables globalstatements '}'
! 459: { pkkan(" PrimitiveContextp setcontext ");
! 460: /* debug */ K00foo1();
! 461: K00toPrimitiveClass();
! 462: }
! 463: |
! 464: class_definition_prefix globalstatements '}'
! 465: { pkkan(" PrimitiveContextp setcontext ");
! 466: K00putIncetanceVariable(IEXIT," ");
! 467: /* debug */ K00foo1();
! 468: K00toPrimitiveClass();
! 469: }
! 470: ;
! 471:
! 472: class_definition_prefix
! 473: :
! 474: CLASS ID EXTENDS ID '{'
! 475: { ips($2);
! 476: pkkan("[ $") ; printObjectSymbol($2); pkkan("$ ");
! 477: printObjectSymbol($4); pkkan(" 0 get newcontext ] /");
! 478: printObjectSymbol($2); pkkan(" set \n");
! 479: printObjectSymbol($2); pkkan(" 0 get setcontext \n");
! 480:
! 481: if (K00declareClass(objectSymbolToString($2),
! 482: objectSymbolToString($4)) == -1) {
! 483: /* error */
! 484: KCerror("Super class has not been defined or Invalid class name.");
! 485: }else{
! 486: K00putIncetanceVariable(IRESET," ");
! 487: }
! 488: }
! 489:
! 490: incetance_variables
! 491: : LOCAL incetance_variables_list ';'
! 492: {
! 493: K00putIncetanceVariable(IEXIT," ");
! 494: }
! 495: ;
! 496: incetance_variables_list
! 497: : incetance_variables_list ',' ID
! 498: {
! 499: K00putIncetanceVariable(IPUT,objectSymbolToString($3));
! 500: }
! 501: | ID
! 502: {
! 503: K00putIncetanceVariable(IPUT,objectSymbolToString($1));
! 504: }
! 505:
! 506: operatorfunctionHead
! 507: : DEF OPERATOR ID
! 508: { pkkan("/"); printObjectSymbol($3); pkkan(" {\n"); ips($3);
! 509: pkdebug("In function : ", objectSymbolToString($3),", of class ",
! 510: K00getCurrentContextName());
! 511: pkkan(" /Arglist set /Arglist [Arglist] def ");
! 512: pkkan(" /Argthis set /FunctionValue [ ] def\n [/this ");
! 513: $$ = $3;}
! 514: ;
! 515:
! 516: super
! 517: : SUPER { pkkan(" this "); }
! 518: ;
! 519:
! 520: new
! 521: : NEW '(' exp ')'
! 522: { int tmp;
! 523: tmp = K00getIncetanceVariable("K00sizeof")
! 524: +K00getIncetanceVariable("K00start");
! 525: pkkanInteger(tmp);
! 526: pkkan(" ");
! 527: pkkan(K00getCurrentContextName());
! 528: pkkan(" cclass \n");
! 529: }
! 530: | NEW '(' ')'
! 531: { int tmp;
! 532: pkkan(" PrimitiveObject ");
! 533: tmp = K00getIncetanceVariable("K00sizeof")
! 534: +K00getIncetanceVariable("K00start");
! 535: pkkanInteger(tmp);
! 536: pkkan(" ");
! 537: pkkan(K00getCurrentContextName());
! 538: pkkan(" cclass \n");
! 539: }
! 540: ;
! 541:
! 542:
! 543:
! 544:
! 545:
! 546:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to simple.y CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097