Artifact fe545db0fb7a24286b2374bf3d562b46a1986088:
0000: ef bb bf 2f 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 .../*.. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c s: k.inaba.. * L
0020: 69 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 icense: NYSL 0.9
0030: 39 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 982 http://www.k
0040: 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d monos.net/nysl/.
0050: 0a 20 2a 0d 0a 20 2a 20 50 61 72 73 65 72 20 66 . *.. * Parser f
0060: 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 or Polemy progra
0070: 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 0d 0a mming language..
0080: 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 */..module pole
0090: 6d 79 2e 70 61 72 73 65 3b 0d 0a 69 6d 70 6f 72 my.parse;..impor
00a0: 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e t polemy._common
00b0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00c0: 2e 6c 65 78 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f .lex;..import po
00d0: 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d 70 6f 72 lemy.ast;..impor
00e0: 74 20 73 74 64 2e 62 69 67 69 6e 74 3b 0d 0a 0d t std.bigint;...
00f0: 0a 2f 2f 2f 20 50 61 72 73 69 6e 67 20 46 61 69 ./// Parsing Fai
0100: 6c 75 72 65 0d 0a 0d 0a 63 6c 61 73 73 20 50 61 lure....class Pa
0110: 72 73 65 72 45 78 63 65 70 74 69 6f 6e 20 3a 20 rserException :
0120: 45 78 63 65 70 74 69 6f 6e 0d 0a 7b 0d 0a 70 72 Exception..{..pr
0130: 69 76 61 74 65 3a 0d 0a 09 74 68 69 73 28 73 74 ivate:...this(st
0140: 72 69 6e 67 20 6d 73 67 29 20 7b 20 73 75 70 65 ring msg) { supe
0150: 72 28 6d 73 67 29 3b 20 7d 0d 0a 09 73 74 61 74 r(msg); }...stat
0160: 69 63 20 50 61 72 73 65 72 45 78 63 65 70 74 69 ic ParserExcepti
0170: 6f 6e 20 63 72 65 61 74 65 28 4c 65 78 65 72 29 on create(Lexer)
0180: 28 4c 65 78 65 72 20 6c 65 78 2c 20 73 74 72 69 (Lexer lex, stri
0190: 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 72 ng msg)...{....r
01a0: 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 65 72 eturn new Parser
01b0: 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 Exception(sprint
01c0: 66 21 22 5b 25 73 5d 20 25 73 22 28 0d 0a 09 09 f!"[%s] %s"(....
01d0: 09 6c 65 78 2e 65 6d 70 74 79 20 3f 20 22 45 4f .lex.empty ? "EO
01e0: 46 22 20 3a 20 74 6f 21 73 74 72 69 6e 67 28 6c F" : to!string(l
01f0: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 2c 20 6d ex.front.pos), m
0200: 73 67 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a sg));...}..}....
0210: 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 72 /// Named Constr
0220: 75 63 74 6f 72 20 6f 66 20 50 61 72 73 65 72 0d uctor of Parser.
0230: 0a 0d 0a 61 75 74 6f 20 70 61 72 73 65 72 46 72 ...auto parserFr
0240: 6f 6d 4c 65 78 65 72 28 4c 65 78 65 72 29 28 4c omLexer(Lexer)(L
0250: 65 78 65 72 20 6c 65 78 29 0d 0a 7b 0d 0a 09 72 exer lex)..{...r
0260: 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 65 72 eturn new Parser
0270: 21 4c 65 78 65 72 28 6c 65 78 29 3b 0d 0a 7d 0d !Lexer(lex);..}.
0280: 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e .../// Named Con
0290: 73 74 72 75 63 74 6f 72 20 6f 66 20 50 61 72 73 structor of Pars
02a0: 65 72 20 28 6a 75 73 74 20 66 77 64 20 74 6f 20 er (just fwd to
02b0: 6c 65 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 29 lexerFromString)
02c0: 0d 0a 0d 0a 61 75 74 6f 20 70 61 72 73 65 72 46 ....auto parserF
02d0: 72 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 romString(T...)(
02e0: 54 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 72 T params)..{...r
02f0: 65 74 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d eturn parserFrom
0300: 4c 65 78 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 Lexer(polemy.lex
0310: 2e 6c 65 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 .lexerFromString
0320: 28 70 61 72 61 6d 73 29 29 3b 0d 0a 7d 0d 0a 0d (params));..}...
0330: 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 ./// Named Const
0340: 72 75 63 74 6f 72 20 6f 66 20 50 61 72 73 65 72 ructor of Parser
0350: 20 28 6a 75 73 74 20 66 77 64 20 74 6f 20 6c 65 (just fwd to le
0360: 78 65 72 46 72 6f 6d 46 69 6c 65 29 0d 0a 0d 0a xerFromFile)....
0370: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 46 auto parserFromF
0380: 69 6c 65 28 54 2e 2e 2e 29 28 54 20 70 61 72 61 ile(T...)(T para
0390: 6d 73 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 ms)..{...return
03a0: 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 parserFromLexer(
03b0: 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 72 polemy.lex.lexer
03c0: 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 29 FromFile(params)
03d0: 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 72 );..}..../// Par
03e0: 73 65 72 0d 0a 0d 0a 63 6c 61 73 73 20 50 61 72 ser....class Par
03f0: 73 65 72 28 4c 65 78 65 72 29 0d 0a 7b 0d 0a 09 ser(Lexer)..{...
0400: 74 68 69 73 28 4c 65 78 65 72 20 6c 65 78 29 0d this(Lexer lex).
0410: 0a 09 7b 0d 0a 09 09 74 68 69 73 2e 6c 65 78 20 ..{....this.lex
0420: 3d 20 6c 65 78 3b 0d 0a 09 7d 0d 0a 0d 0a 09 50 = lex;...}.....P
0430: 72 6f 67 72 61 6d 20 70 61 72 73 65 50 72 6f 67 rogram parseProg
0440: 72 61 6d 28 29 0d 0a 09 7b 0d 0a 09 09 50 72 6f ram()...{....Pro
0450: 67 72 61 6d 20 70 3b 0d 0a 09 09 77 68 69 6c 65 gram p;....while
0460: 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a ( !lex.empty )..
0470: 09 09 09 70 20 7e 3d 20 70 61 72 73 65 53 74 61 ...p ~= parseSta
0480: 74 65 6d 65 6e 74 28 29 3b 0d 0a 09 09 72 65 74 tement();....ret
0490: 75 72 6e 20 70 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 urn p;...}......
04a0: 53 74 61 74 65 6d 65 6e 74 20 70 61 72 73 65 53 Statement parseS
04b0: 74 61 74 65 6d 65 6e 74 28 29 0d 0a 09 7b 0d 0a tatement()...{..
04c0: 09 09 61 75 74 6f 20 73 61 76 65 64 20 3d 20 6c ..auto saved = l
04d0: 65 78 2e 73 61 76 65 3b 0d 0a 09 09 73 63 6f 70 ex.save;....scop
04e0: 65 28 66 61 69 6c 75 72 65 29 20 6c 65 78 20 3d e(failure) lex =
04f0: 20 73 61 76 65 64 3b 0d 0a 0d 0a 09 09 69 66 28 saved;......if(
0500: 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 lex.empty )....
0510: 09 74 68 72 6f 77 20 6e 65 77 20 50 61 72 73 65 .throw new Parse
0520: 72 45 78 63 65 70 74 69 6f 6e 28 22 45 4f 46 20 rException("EOF
0530: 64 75 72 69 6e 67 20 70 61 72 73 69 6e 67 20 61 during parsing a
0540: 20 73 74 61 74 65 6d 65 6e 74 22 29 3b 0d 0a 09 statement");...
0550: 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e .auto pos = lex.
0560: 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 09 front.pos;......
0570: 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 if( lex.front.ki
0580: 6e 64 3d 3d 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 69 nd==Token.Kind.i
0590: 64 65 6e 74 69 66 69 65 72 20 26 26 20 6c 65 78 dentifier && lex
05a0: 2e 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 76 61 72 .front.str=="var
05b0: 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 " )....{.....//
05c0: 22 76 61 72 22 20 56 61 72 20 22 3d 22 20 45 78 "var" Var "=" Ex
05d0: 70 72 65 73 73 69 6f 6e 20 22 3b 22 0d 0a 09 09 pression ";"....
05e0: 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a .lex.popFront;..
05f0: 09 09 09 73 74 72 69 6e 67 20 76 61 72 20 3d 20 ...string var =
0600: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a lex.front.str;..
0610: 09 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b ...lex.popFront;
0620: 0d 0a 09 09 09 65 61 74 28 22 3d 22 2c 20 22 66 .....eat("=", "f
0630: 6f 72 20 76 61 72 69 61 62 6c 65 20 64 65 63 6c or variable decl
0640: 61 72 61 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 aration");.....a
0650: 75 74 6f 20 70 61 72 73 65 64 20 3d 20 6e 65 77 uto parsed = new
0660: 20 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 70 DeclStatement(p
0670: 6f 73 2c 20 76 61 72 2c 20 70 61 72 73 65 45 78 os, var, parseEx
0680: 70 72 65 73 73 69 6f 6e 28 29 29 3b 0d 0a 09 09 pression());....
0690: 09 65 61 74 28 22 3b 22 2c 20 22 61 66 74 65 72 .eat(";", "after
06a0: 20 76 61 72 69 61 62 6c 65 20 64 65 63 6c 61 72 variable declar
06b0: 61 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 ation");.....ret
06c0: 75 72 6e 20 70 61 72 73 65 64 3b 0d 0a 09 09 7d urn parsed;....}
06d0: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 ....else....{...
06e0: 09 09 2f 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 ..// Expression
06f0: 22 3b 22 0d 0a 09 09 09 61 75 74 6f 20 70 61 72 ";".....auto par
0700: 73 65 64 20 3d 20 6e 65 77 20 45 78 70 72 53 74 sed = new ExprSt
0710: 61 74 65 6d 65 6e 74 28 70 6f 73 2c 20 70 61 72 atement(pos, par
0720: 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 29 3b seExpression());
0730: 0d 0a 09 09 09 65 61 74 28 22 3b 22 2c 20 22 61 .....eat(";", "a
0740: 66 74 65 72 20 73 74 61 74 65 6d 65 6e 74 22 29 fter statement")
0750: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 72 ;.....return par
0760: 73 65 64 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d sed;....}...}...
0770: 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 ..Expression par
0780: 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a seExpression()..
0790: 09 7b 0d 0a 09 09 61 75 74 6f 20 73 61 76 65 64 .{....auto saved
07a0: 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 = lex.save;....
07b0: 73 63 6f 70 65 28 66 61 69 6c 75 72 65 29 20 6c scope(failure) l
07c0: 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 0d 0a 09 ex = saved;.....
07d0: 09 2f 2f 20 45 78 70 72 20 3a 3a 3d 20 45 30 0d .// Expr ::= E0.
07e0: 0a 09 09 2f 2f 20 45 30 20 3a 3a 3d 20 28 45 31 ...// E0 ::= (E1
07f0: 20 22 3d 22 29 2a 20 45 31 0d 0a 09 09 2f 2f 20 "=")* E1....//
0800: 45 31 20 3a 3a 3d 20 28 45 32 20 22 2b 22 7c 22 E1 ::= (E2 "+"|"
0810: 2d 22 29 2a 20 45 32 0d 0a 09 09 2f 2f 20 45 32 -")* E2....// E2
0820: 20 3a 3a 3d 20 28 45 33 20 22 2a 22 7c 22 2f 22 ::= (E3 "*"|"/"
0830: 29 2a 20 45 33 0d 0a 09 09 2f 2f 20 45 33 20 3a )* E3....// E3 :
0840: 3a 3d 20 69 6e 74 20 7c 20 73 74 72 20 7c 20 69 := int | str | i
0850: 64 20 7c 20 22 28 22 20 45 78 70 72 20 22 29 22 d | "(" Expr ")"
0860: 0d 0a 0d 0a 09 09 72 65 74 75 72 6e 20 70 61 72 ......return par
0870: 73 65 45 30 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 seE0();...}.....
0880: 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73 65 Expression parse
0890: 45 30 28 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f E0()...{....auto
08a0: 20 6c 68 73 20 3d 20 70 61 72 73 65 45 31 28 29 lhs = parseE1()
08b0: 3b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 ;....if( tryEat(
08c0: 22 3d 22 29 20 29 0d 0a 09 09 09 6c 68 73 20 3d "=") ).....lhs =
08d0: 20 6e 65 77 20 42 69 6e 4f 70 45 78 70 72 65 73 new BinOpExpres
08e0: 73 69 6f 6e 28 6c 68 73 2e 70 6f 73 2c 20 22 3d sion(lhs.pos, "=
08f0: 22 2c 20 6c 68 73 2c 20 70 61 72 73 65 45 30 28 ", lhs, parseE0(
0900: 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 68 ));....return lh
0910: 73 3b 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 72 65 s;...}.....Expre
0920: 73 73 69 6f 6e 20 70 61 72 73 65 45 31 28 29 0d ssion parseE1().
0930: 0a 09 7b 0d 0a 09 09 66 6f 72 28 61 75 74 6f 20 ..{....for(auto
0940: 6c 68 73 20 3d 20 70 61 72 73 65 45 32 28 29 3b lhs = parseE2();
0950: 3b 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 ;)....{.....if(
0960: 74 72 79 45 61 74 28 22 2b 22 29 20 29 0d 0a 09 tryEat("+") )...
0970: 09 09 09 6c 68 73 20 3d 20 6e 65 77 20 42 69 6e ...lhs = new Bin
0980: 4f 70 45 78 70 72 65 73 73 69 6f 6e 28 6c 68 73 OpExpression(lhs
0990: 2e 70 6f 73 2c 20 22 2b 22 2c 20 6c 68 73 2c 20 .pos, "+", lhs,
09a0: 70 61 72 73 65 45 32 28 29 29 3b 0d 0a 09 09 09 parseE2());.....
09b0: 65 6c 73 65 20 69 66 28 20 74 72 79 45 61 74 28 else if( tryEat(
09c0: 22 2d 22 29 20 29 0d 0a 09 09 09 09 6c 68 73 20 "-") )......lhs
09d0: 3d 20 6e 65 77 20 42 69 6e 4f 70 45 78 70 72 65 = new BinOpExpre
09e0: 73 73 69 6f 6e 28 6c 68 73 2e 70 6f 73 2c 20 22 ssion(lhs.pos, "
09f0: 2d 22 2c 20 6c 68 73 2c 20 70 61 72 73 65 45 32 -", lhs, parseE2
0a00: 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 ());.....else...
0a10: 09 09 09 72 65 74 75 72 6e 20 6c 68 73 3b 0d 0a ...return lhs;..
0a20: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 72 ..}...}.....Expr
0a30: 65 73 73 69 6f 6e 20 70 61 72 73 65 45 32 28 29 ession parseE2()
0a40: 0d 0a 09 7b 0d 0a 09 09 66 6f 72 28 61 75 74 6f ...{....for(auto
0a50: 20 6c 68 73 20 3d 20 70 61 72 73 65 45 33 28 29 lhs = parseE3()
0a60: 3b 3b 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 ;;)....{.....if(
0a70: 20 74 72 79 45 61 74 28 22 2a 22 29 20 29 0d 0a tryEat("*") )..
0a80: 09 09 09 09 6c 68 73 20 3d 20 6e 65 77 20 42 69 ....lhs = new Bi
0a90: 6e 4f 70 45 78 70 72 65 73 73 69 6f 6e 28 6c 68 nOpExpression(lh
0aa0: 73 2e 70 6f 73 2c 20 22 2a 22 2c 20 6c 68 73 2c s.pos, "*", lhs,
0ab0: 20 70 61 72 73 65 45 33 28 29 29 3b 0d 0a 09 09 parseE3());....
0ac0: 09 65 6c 73 65 20 69 66 28 20 74 72 79 45 61 74 .else if( tryEat
0ad0: 28 22 2f 22 29 20 29 0d 0a 09 09 09 09 6c 68 73 ("/") )......lhs
0ae0: 20 3d 20 6e 65 77 20 42 69 6e 4f 70 45 78 70 72 = new BinOpExpr
0af0: 65 73 73 69 6f 6e 28 6c 68 73 2e 70 6f 73 2c 20 ession(lhs.pos,
0b00: 22 2f 22 2c 20 6c 68 73 2c 20 70 61 72 73 65 45 "/", lhs, parseE
0b10: 33 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 3());.....else..
0b20: 09 09 09 09 72 65 74 75 72 6e 20 6c 68 73 3b 0d ....return lhs;.
0b30: 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 ...}...}.....Exp
0b40: 72 65 73 73 69 6f 6e 20 70 61 72 73 65 45 33 28 ression parseE3(
0b50: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 )...{....if( lex
0b60: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 .empty ).....thr
0b70: 6f 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 ow new ParserExc
0b80: 65 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 eption("EOF duri
0b90: 6e 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 78 ng parsing an ex
0ba0: 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 pression");....a
0bb0: 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 uto pos = lex.fr
0bc0: 6f 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 09 69 66 ont.pos;......if
0bd0: 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 ( lex.front.kind
0be0: 20 3d 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 6e == Token.Kind.n
0bf0: 75 6d 62 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 umber )....{....
0c00: 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 .scope(exit) lex
0c10: 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 .popFront;.....r
0c20: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
0c30: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 eralExpression(p
0c40: 6f 73 2c 20 42 69 67 49 6e 74 28 63 61 73 74 28 os, BigInt(cast(
0c50: 73 74 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 string)lex.front
0c60: 2e 73 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 .str));....}....
0c70: 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 if( lex.front.ki
0c80: 6e 64 20 3d 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 nd == Token.Kind
0c90: 2e 73 74 72 69 6e 67 4c 69 74 65 72 61 6c 20 29 .stringLiteral )
0ca0: 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f 70 65 28 ....{.....scope(
0cb0: 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f exit) lex.popFro
0cc0: 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e nt;.....return n
0cd0: 65 77 20 53 74 72 4c 69 74 65 72 61 6c 45 78 70 ew StrLiteralExp
0ce0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 ression(pos, lex
0cf0: 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 09 .front.str);....
0d00: 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 }....if( tryEat(
0d10: 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 "(") )....{.....
0d20: 61 75 74 6f 20 65 20 3d 20 70 61 72 73 65 45 30 auto e = parseE0
0d30: 28 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c ();.....eat(")",
0d40: 20 22 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 "after parenthe
0d50: 73 69 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e sized expression
0d60: 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 ");.....return e
0d70: 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 6f 70 65 28 ;....}....scope(
0d80: 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f exit) lex.popFro
0d90: 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 nt;....return ne
0da0: 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 w VarExpression(
0db0: 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 pos, lex.front.s
0dc0: 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 tr);...}....priv
0dd0: 61 74 65 3a 0d 0a 09 4c 65 78 65 72 20 6c 65 78 ate:...Lexer lex
0de0: 3b 0d 0a 0d 0a 09 76 6f 69 64 20 65 61 74 28 73 ;.....void eat(s
0df0: 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 20 tring kwd, lazy
0e00: 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d string msg)...{.
0e10: 0a 09 09 69 66 28 20 21 74 72 79 45 61 74 28 6b ...if( !tryEat(k
0e20: 77 64 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 wd) )....{.....a
0e30: 75 74 6f 20 65 20 3d 20 50 61 72 73 65 72 45 78 uto e = ParserEx
0e40: 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c ception.create(l
0e50: 65 78 2c 20 22 27 22 7e 6b 77 64 7e 22 27 20 69 ex, "'"~kwd~"' i
0e60: 73 20 65 78 70 65 63 74 65 64 20 22 7e 6d 73 67 s expected "~msg
0e70: 7e 22 20 62 75 74 20 27 22 0d 0a 09 09 09 09 7e ~" but '"......~
0e80: 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 22 45 4f (lex.empty ? "EO
0e90: 46 22 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 F" : lex.front.s
0ea0: 74 72 29 7e 22 27 20 6f 63 63 75 72 65 64 22 29 tr)~"' occured")
0eb0: 3b 0d 0a 09 09 09 74 68 72 6f 77 20 65 3b 0d 0a ;.....throw e;..
0ec0: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c ..}...}.....bool
0ed0: 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b tryEat(string k
0ee0: 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c wd)...{....if( l
0ef0: 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e ex.empty || lex.
0f00: 66 72 6f 6e 74 2e 6b 69 6e 64 21 3d 54 6f 6b 65 front.kind!=Toke
0f10: 6e 2e 4b 69 6e 64 2e 69 64 65 6e 74 69 66 69 65 n.Kind.identifie
0f20: 72 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 r || lex.front.s
0f30: 74 72 21 3d 6b 77 64 20 29 0d 0a 09 09 09 72 65 tr!=kwd ).....re
0f40: 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 6c turn false;....l
0f50: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 ex.popFront;....
0f60: 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d return true;...}
0f70: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
0f80: 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d 20 70 61 .{...auto p = pa
0f90: 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 60 rserFromString(`
0fa0: 0d 0a 09 09 76 61 72 20 78 20 3d 20 31 30 30 3b ....var x = 100;
0fb0: 0d 0a 09 09 76 61 72 20 79 20 3d 20 32 30 30 3b ....var y = 200;
0fc0: 0d 0a 09 60 29 3b 0d 0a 09 50 72 6f 67 72 61 6d ...`);...Program
0fd0: 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 65 50 prog = p.parseP
0fe0: 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 73 73 65 rogram();...asse
0ff0: 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74 68 20 rt( prog.length
1000: 3d 3d 20 32 20 29 3b 0d 0a 09 61 75 74 6f 20 70 == 2 );...auto p
1010: 30 20 3d 20 63 61 73 74 28 44 65 63 6c 53 74 61 0 = cast(DeclSta
1020: 74 65 6d 65 6e 74 29 70 72 6f 67 5b 30 5d 3b 0d tement)prog[0];.
1030: 0a 09 61 75 74 6f 20 70 31 20 3d 20 63 61 73 74 ..auto p1 = cast
1040: 28 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 29 70 (DeclStatement)p
1050: 72 6f 67 5b 31 5d 3b 0d 0a 09 61 73 73 65 72 74 rog[1];...assert
1060: 28 20 70 30 2e 76 61 72 20 3d 3d 20 22 78 22 20 ( p0.var == "x"
1070: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 31 2e );...assert( p1.
1080: 76 61 72 20 3d 3d 20 22 79 22 20 29 3b 0d 0a 09 var == "y" );...
1090: 61 73 73 65 72 74 28 20 28 63 61 73 74 28 49 6e assert( (cast(In
10a0: 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 tLiteralExpressi
10b0: 6f 6e 29 70 30 2e 65 78 70 72 29 2e 64 61 74 61 on)p0.expr).data
10c0: 20 3d 3d 20 31 30 30 20 29 3b 0d 0a 09 61 73 73 == 100 );...ass
10d0: 65 72 74 28 20 28 63 61 73 74 28 49 6e 74 4c 69 ert( (cast(IntLi
10e0: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 teralExpression)
10f0: 70 31 2e 65 78 70 72 29 2e 64 61 74 61 20 3d 3d p1.expr).data ==
1100: 20 32 30 30 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 200 );..}....un
1110: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
1120: 20 70 20 3d 20 70 61 72 73 65 72 46 72 6f 6d 53 p = parserFromS
1130: 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 7a tring(`....var z
1140: 7a 7a 20 3d 20 31 30 30 3b 20 23 20 63 6f 6d 6d zz = 100; # comm
1150: 65 6e 74 0d 0a 09 09 7a 7a 7a 20 3d 20 7a 7a 7a ent....zzz = zzz
1160: 20 2b 20 7a 7a 7a 20 2a 20 22 66 6f 5c 6e 6f 22 + zzz * "fo\no"
1170: 3b 20 23 20 63 6f 6d 6d 65 6e 74 0d 0a 09 09 09 ; # comment.....
1180: 34 32 3b 0d 0a 09 60 29 3b 0d 0a 09 0d 0a 09 61 42;...`);......a
1190: 75 74 6f 20 73 30 20 3d 20 6e 65 77 20 44 65 63 uto s0 = new Dec
11a0: 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c lStatement(null,
11b0: 20 22 7a 7a 7a 22 2c 20 6e 65 77 20 49 6e 74 4c "zzz", new IntL
11c0: 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e iteralExpression
11d0: 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 31 30 (null, BigInt(10
11e0: 30 29 29 29 3b 0d 0a 09 61 75 74 6f 20 73 31 20 0)));...auto s1
11f0: 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 65 6d = new ExprStatem
1200: 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 42 69 ent(null, new Bi
1210: 6e 4f 70 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 nOpExpression(nu
1220: 6c 6c 2c 20 22 3d 22 2c 0d 0a 09 09 6e 65 77 20 ll, "=",....new
1230: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 VarExpression(nu
1240: 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 6e ll, "zzz"),....n
1250: 65 77 20 42 69 6e 4f 70 45 78 70 72 65 73 73 69 ew BinOpExpressi
1260: 6f 6e 28 6e 75 6c 6c 2c 20 22 2b 22 2c 0d 0a 09 on(null, "+",...
1270: 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 ..new VarExpress
1280: 69 6f 6e 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 29 ion(null, "zzz")
1290: 2c 0d 0a 09 09 09 6e 65 77 20 42 69 6e 4f 70 45 ,.....new BinOpE
12a0: 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 xpression(null,
12b0: 22 2a 22 2c 0d 0a 09 09 09 09 6e 65 77 20 56 61 "*",......new Va
12c0: 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c rExpression(null
12d0: 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 09 09 6e , "zzz"),......n
12e0: 65 77 20 53 74 72 4c 69 74 65 72 61 6c 45 78 70 ew StrLiteralExp
12f0: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 66 ression(null, "f
1300: 6f 5c 5c 6e 6f 22 29 0d 0a 09 09 09 09 29 29 29 o\\no")......)))
1310: 29 3b 0d 0a 09 61 75 74 6f 20 73 32 20 3d 20 6e );...auto s2 = n
1320: 65 77 20 45 78 70 72 53 74 61 74 65 6d 65 6e 74 ew ExprStatement
1330: 28 6e 75 6c 6c 2c 20 6e 65 77 20 49 6e 74 4c 69 (null, new IntLi
1340: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 teralExpression(
1350: 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 34 32 29 null, BigInt(42)
1360: 29 29 3b 0d 0a 09 0d 0a 09 50 72 6f 67 72 61 6d ));......Program
1370: 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 65 50 prog = p.parseP
1380: 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 73 73 65 rogram();...asse
1390: 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74 68 20 rt( prog.length
13a0: 3d 3d 20 33 20 29 3b 0d 0a 09 61 73 73 65 72 74 == 3 );...assert
13b0: 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 73 30 20 ( prog[0] == s0
13c0: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 72 6f );...assert( pro
13d0: 67 5b 31 5d 20 3d 3d 20 73 31 20 29 3b 0d 0a 09 g[1] == s1 );...
13e0: 61 73 73 65 72 74 28 20 70 72 6f 67 5b 32 5d 20 assert( prog[2]
13f0: 3d 3d 20 73 32 20 29 3b 0d 0a 7d 0d 0a == s2 );..}..