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 09 09 72 ex = saved;....r
07d0: 65 74 75 72 6e 20 70 61 72 73 65 45 28 30 29 3b eturn parseE(0);
07e0: 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 ...}.....// [TOD
07f0: 4f 5d 20 6d 75 6c 74 69 2d 63 68 61 72 20 6f 70 O] multi-char op
0800: 65 72 61 74 6f 72 73 20 61 72 65 20 6e 6f 74 20 erators are not
0810: 73 75 70 70 6f 72 74 65 64 20 62 79 20 74 68 65 supported by the
0820: 20 6c 65 78 65 72 2e 2e 2e 0d 0a 09 73 74 61 74 lexer......stat
0830: 69 63 20 69 6d 6d 75 74 61 62 6c 65 20 73 74 72 ic immutable str
0840: 69 6e 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 ing[][] operator
0850: 5f 70 65 72 66 65 72 65 6e 63 65 73 20 3d 20 5b _perferences = [
0860: 0d 0a 09 09 5b 22 3d 22 5d 2c 0d 0a 09 09 5b 22 ....["="],....["
0870: 6f 72 22 5d 2c 0d 0a 09 09 5b 22 61 6e 64 22 5d or"],....["and"]
0880: 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 09 ,....["!="],....
0890: 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 2c ["=="],....["<",
08a0: 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0d "<=",">",">="],.
08b0: 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 5e ...["|"],....["^
08c0: 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a 09 "],....["&"],...
08d0: 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d 2c 0d 0a .["<<", ">>"],..
08e0: 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 09 ..["+","-"],....
08f0: 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 0d 0a 09 ["*","/","%"]...
0900: 5d 3b 0d 0a 0d 0a 09 45 78 70 72 65 73 73 69 6f ];.....Expressio
0910: 6e 20 70 61 72 73 65 45 28 69 6e 74 20 6c 65 76 n parseE(int lev
0920: 65 6c 20 3d 20 30 29 0d 0a 09 7b 0d 0a 09 09 69 el = 0)...{....i
0930: 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 f( operator_perf
0940: 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c erences.length <
0950: 3d 20 6c 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 = level ).....re
0960: 74 75 72 6e 20 70 61 72 73 65 42 61 73 65 45 78 turn parseBaseEx
0970: 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 65 pression();....e
0980: 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 lse....{.....aut
0990: 6f 20 6f 70 73 20 3d 20 6f 70 65 72 61 74 6f 72 o ops = operator
09a0: 5f 70 65 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 _perferences[lev
09b0: 65 6c 5d 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 el];.....auto e
09c0: 3d 20 70 61 72 73 65 45 28 6c 65 76 65 6c 2b 31 = parseE(level+1
09d0: 29 3b 0d 0a 09 09 73 65 71 3a 0d 0a 09 09 09 77 );....seq:.....w
09e0: 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 hile( !lex.empty
09f0: 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 61 75 ).....{......au
0a00: 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f to pos = lex.fro
0a10: 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 09 66 6f 72 nt.pos;......for
0a20: 65 61 63 68 28 6f 70 3b 20 6f 70 73 29 0d 0a 09 each(op; ops)...
0a30: 09 09 09 09 69 66 28 20 74 72 79 45 61 74 28 6f ....if( tryEat(o
0a40: 70 29 20 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 09 p) ).......{....
0a50: 09 09 09 09 69 66 28 20 6f 70 20 3d 3d 20 22 3d ....if( op == "=
0a60: 22 20 29 20 2f 2f 20 72 69 67 68 74 20 61 73 73 " ) // right ass
0a70: 6f 63 0d 0a 09 09 09 09 09 09 09 72 65 74 75 72 oc.........retur
0a80: 6e 20 6e 65 77 20 41 73 73 69 67 6e 45 78 70 72 n new AssignExpr
0a90: 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 2c ession(e.pos, e,
0aa0: 20 70 61 72 73 65 45 28 6c 65 76 65 6c 29 29 3b parseE(level));
0ab0: 0d 0a 09 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 ........else....
0ac0: 09 09 09 09 09 65 20 3d 20 6e 65 77 20 46 75 6e .....e = new Fun
0ad0: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 callExpression(e
0ae0: 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 45 78 70 .pos, new VarExp
0af0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 ression(pos, op)
0b00: 2c 20 65 2c 20 70 61 72 73 65 45 28 6c 65 76 65 , e, parseE(leve
0b10: 6c 2b 31 29 29 3b 0d 0a 09 09 09 09 09 09 63 6f l+1));........co
0b20: 6e 74 69 6e 75 65 20 73 65 71 3b 0d 0a 09 09 09 ntinue seq;.....
0b30: 09 09 7d 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d ..}......break;.
0b40: 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e ....}.....return
0b50: 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a e;....}...}....
0b60: 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73 .Expression pars
0b70: 65 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 eBaseExpression(
0b80: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 )...{....if( lex
0b90: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 .empty ).....thr
0ba0: 6f 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 ow new ParserExc
0bb0: 65 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 eption("EOF duri
0bc0: 6e 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 78 ng parsing an ex
0bd0: 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 pression");....a
0be0: 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 uto pos = lex.fr
0bf0: 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 45 78 70 72 ont.pos;....Expr
0c00: 65 73 73 69 6f 6e 20 65 20 3d 20 70 61 72 73 65 ession e = parse
0c10: 42 61 73 65 42 61 73 65 45 78 70 72 65 73 73 69 BaseBaseExpressi
0c20: 6f 6e 28 29 3b 0d 0a 09 09 77 68 69 6c 65 28 20 on();....while(
0c30: 74 72 79 45 61 74 28 22 28 22 29 20 29 20 2f 2f tryEat("(") ) //
0c40: 20 66 75 6e 63 61 6c 6c 0d 0a 09 09 7b 0d 0a 09 funcall....{...
0c50: 09 09 45 78 70 72 65 73 73 69 6f 6e 5b 5d 20 61 ..Expression[] a
0c60: 72 67 73 3b 0d 0a 09 09 09 77 68 69 6c 65 28 20 rgs;.....while(
0c70: 21 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b !tryEat(")") ) {
0c80: 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ......if( lex.em
0c90: 70 74 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 pty ) {.......au
0ca0: 74 6f 20 65 78 20 3d 20 50 61 72 73 65 72 45 78 to ex = ParserEx
0cb0: 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c ception.create(l
0cc0: 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 ex,"Unexpected E
0cd0: 4f 46 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f OF");.......thro
0ce0: 77 20 65 78 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 w ex;......}....
0cf0: 09 09 61 72 67 73 20 7e 3d 20 70 61 72 73 65 45 ..args ~= parseE
0d00: 28 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 74 72 ();......if( !tr
0d10: 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 yEat(",") ) {...
0d20: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
0d30: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
0d40: 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 ameters");......
0d50: 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 7d 0d 0a .break;......}..
0d60: 09 09 09 7d 0d 0a 09 09 09 65 20 3d 20 6e 65 77 ...}.....e = new
0d70: 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 FuncallExpressi
0d80: 6f 6e 28 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 on(pos, e, args)
0d90: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
0da0: 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 72 e;...}.....Expr
0db0: 65 73 73 69 6f 6e 20 70 61 72 73 65 42 61 73 65 ession parseBase
0dc0: 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 BaseExpression()
0dd0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e ...{....if( lex.
0de0: 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f empty ).....thro
0df0: 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 65 w new ParserExce
0e00: 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 6e ption("EOF durin
0e10: 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 78 70 g parsing an exp
0e20: 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 75 ression");....au
0e30: 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f to pos = lex.fro
0e40: 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 09 69 66 28 nt.pos;......if(
0e50: 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 20 lex.front.kind
0e60: 3d 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 6e 75 == Token.Kind.nu
0e70: 6d 62 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 mber )....{.....
0e80: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
0e90: 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 popFront;.....re
0ea0: 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 turn new IntLite
0eb0: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f ralExpression(po
0ec0: 73 2c 20 42 69 67 49 6e 74 28 63 61 73 74 28 73 s, BigInt(cast(s
0ed0: 74 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e tring)lex.front.
0ee0: 73 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 str));....}....i
0ef0: 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e f( lex.front.kin
0f00: 64 20 3d 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 2e d == Token.Kind.
0f10: 73 74 72 69 6e 67 4c 69 74 65 72 61 6c 20 29 0d stringLiteral ).
0f20: 0a 09 09 7b 0d 0a 09 09 09 73 63 6f 70 65 28 65 ...{.....scope(e
0f30: 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e xit) lex.popFron
0f40: 74 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 t;.....return ne
0f50: 77 20 53 74 72 4c 69 74 65 72 61 6c 45 78 70 72 w StrLiteralExpr
0f60: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e ession(pos, lex.
0f70: 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 09 7d front.str);....}
0f80: 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 ....if( tryEat("
0f90: 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 (") )....{.....a
0fa0: 75 74 6f 20 65 20 3d 20 70 61 72 73 65 45 28 29 uto e = parseE()
0fb0: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 ;.....eat(")", "
0fc0: 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 after parenthesi
0fd0: 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 zed expression")
0fe0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d ;.....return e;.
0ff0: 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 74 72 ...}......if( tr
1000: 79 45 61 74 28 22 66 75 6e 22 29 20 29 0d 0a 09 yEat("fun") )...
1010: 09 7b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c 20 .{.....eat("(",
1020: 22 61 66 74 65 72 20 66 75 6e 22 29 3b 0d 0a 09 "after fun");...
1030: 09 09 73 74 72 69 6e 67 5b 5d 20 70 61 72 61 6d ..string[] param
1040: 73 3b 0d 0a 09 09 09 77 68 69 6c 65 28 21 74 72 s;.....while(!tr
1050: 79 45 61 74 28 22 29 22 29 29 0d 0a 09 09 09 7b yEat(")")).....{
1060: 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ......if( lex.em
1070: 70 74 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 pty ) {.......au
1080: 74 6f 20 65 20 3d 20 50 61 72 73 65 72 45 78 63 to e = ParserExc
1090: 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 eption.create(le
10a0: 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f x,"Unexpected EO
10b0: 46 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f 77 F");.......throw
10c0: 20 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 e;......}......
10d0: 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 if( lex.front.ki
10e0: 6e 64 20 21 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 nd != Token.Kind
10f0: 2e 69 64 65 6e 74 69 66 69 65 72 20 29 20 7b 0d .identifier ) {.
1100: 0a 09 09 09 09 09 61 75 74 6f 20 65 20 3d 20 50 ......auto e = P
1110: 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 arserException.c
1120: 72 65 61 74 65 28 6c 65 78 2c 22 49 64 65 6e 74 reate(lex,"Ident
1130: 69 66 69 65 72 20 45 78 70 65 63 74 65 64 20 66 ifier Expected f
1140: 6f 72 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b or parameters");
1150: 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 65 3b 0d .......throw e;.
1160: 0a 09 09 09 09 7d 0d 0a 09 09 09 09 70 61 72 61 .....}......para
1170: 6d 73 20 7e 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e ms ~= lex.front.
1180: 73 74 72 3b 0d 0a 09 09 09 09 6c 65 78 2e 70 6f str;......lex.po
1190: 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 09 69 66 28 pFront;......if(
11a0: 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 !tryEat(",") )
11b0: 7b 0d 0a 09 09 09 09 09 65 61 74 28 22 29 22 2c {.......eat(")",
11c0: 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e "after function
11d0: 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a parameters");..
11e0: 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 .....break;.....
11f0: 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 61 74 .}.....}.....eat
1200: 28 22 7b 22 2c 20 22 61 66 74 65 72 20 66 75 6e ("{", "after fun
1210: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 ction parameters
1220: 22 29 3b 0d 0a 09 09 09 53 74 61 74 65 6d 65 6e ");.....Statemen
1230: 74 5b 5d 20 66 75 6e 62 6f 64 79 3b 0d 0a 09 09 t[] funbody;....
1240: 09 77 68 69 6c 65 28 21 74 72 79 45 61 74 28 22 .while(!tryEat("
1250: 7d 22 29 29 20 7b 0d 0a 09 09 09 09 69 66 28 20 }")) {......if(
1260: 6c 65 78 2e 65 6d 70 74 79 20 29 20 7b 0d 0a 09 lex.empty ) {...
1270: 09 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61 72 ....auto e = Par
1280: 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72 65 serException.cre
1290: 61 74 65 28 6c 65 78 2c 22 55 6e 65 78 70 65 63 ate(lex,"Unexpec
12a0: 74 65 64 20 45 4f 46 22 29 3b 0d 0a 09 09 09 09 ted EOF");......
12b0: 09 74 68 72 6f 77 20 65 3b 0d 0a 09 09 09 09 7d .throw e;......}
12c0: 0d 0a 09 09 09 09 66 75 6e 62 6f 64 79 20 7e 3d ......funbody ~=
12d0: 20 70 61 72 73 65 53 74 61 74 65 6d 65 6e 74 28 parseStatement(
12e0: 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 );.....}.....ret
12f0: 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 65 72 urn new FunLiter
1300: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 alExpression(pos
1310: 2c 20 70 61 72 61 6d 73 2c 20 66 75 6e 62 6f 64 , params, funbod
1320: 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 6f 70 y);....}....scop
1330: 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 e(exit) lex.popF
1340: 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 ront;....return
1350: 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f new VarExpressio
1360: 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 n(pos, lex.front
1370: 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 .str);...}....pr
1380: 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 72 20 6c ivate:...Lexer l
1390: 65 78 3b 0d 0a 0d 0a 09 76 6f 69 64 20 65 61 74 ex;.....void eat
13a0: 28 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 7a (string kwd, laz
13b0: 79 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 y string msg)...
13c0: 7b 0d 0a 09 09 69 66 28 20 21 74 72 79 45 61 74 {....if( !tryEat
13d0: 28 6b 77 64 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 (kwd) )....{....
13e0: 09 61 75 74 6f 20 65 20 3d 20 50 61 72 73 65 72 .auto e = Parser
13f0: 45 78 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 Exception.create
1400: 28 6c 65 78 2c 20 22 27 22 7e 6b 77 64 7e 22 27 (lex, "'"~kwd~"'
1410: 20 69 73 20 65 78 70 65 63 74 65 64 20 22 7e 6d is expected "~m
1420: 73 67 7e 22 20 62 75 74 20 27 22 0d 0a 09 09 09 sg~" but '".....
1430: 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 22 .~(lex.empty ? "
1440: 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 EOF" : lex.front
1450: 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 72 65 64 .str)~"' occured
1460: 22 29 3b 0d 0a 09 09 09 74 68 72 6f 77 20 65 3b ");.....throw e;
1470: 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f ....}...}.....bo
1480: 6f 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 ol tryEat(string
1490: 20 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 kwd)...{....if(
14a0: 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 lex.empty || le
14b0: 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 21 3d 54 6f x.front.kind!=To
14c0: 6b 65 6e 2e 4b 69 6e 64 2e 69 64 65 6e 74 69 66 ken.Kind.identif
14d0: 69 65 72 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 ier || lex.front
14e0: 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a 09 09 09 .str!=kwd ).....
14f0: 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 return false;...
1500: 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a .lex.popFront;..
1510: 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a ..return true;..
1520: 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 .}..}....unittes
1530: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d 20 t..{...auto p =
1540: 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 parserFromString
1550: 28 60 0d 0a 09 09 76 61 72 20 78 20 3d 20 31 30 (`....var x = 10
1560: 30 3b 0d 0a 09 09 76 61 72 20 79 20 3d 20 32 30 0;....var y = 20
1570: 30 3b 0d 0a 09 60 29 3b 0d 0a 09 50 72 6f 67 72 0;...`);...Progr
1580: 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 am prog = p.pars
1590: 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 73 eProgram();...as
15a0: 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74 sert( prog.lengt
15b0: 68 20 3d 3d 20 32 20 29 3b 0d 0a 09 61 75 74 6f h == 2 );...auto
15c0: 20 70 30 20 3d 20 63 61 73 74 28 44 65 63 6c 53 p0 = cast(DeclS
15d0: 74 61 74 65 6d 65 6e 74 29 70 72 6f 67 5b 30 5d tatement)prog[0]
15e0: 3b 0d 0a 09 61 75 74 6f 20 70 31 20 3d 20 63 61 ;...auto p1 = ca
15f0: 73 74 28 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 st(DeclStatement
1600: 29 70 72 6f 67 5b 31 5d 3b 0d 0a 09 61 73 73 65 )prog[1];...asse
1610: 72 74 28 20 70 30 2e 76 61 72 20 3d 3d 20 22 78 rt( p0.var == "x
1620: 22 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 " );...assert( p
1630: 31 2e 76 61 72 20 3d 3d 20 22 79 22 20 29 3b 0d 1.var == "y" );.
1640: 0a 09 61 73 73 65 72 74 28 20 28 63 61 73 74 28 ..assert( (cast(
1650: 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 IntLiteralExpres
1660: 73 69 6f 6e 29 70 30 2e 65 78 70 72 29 2e 64 61 sion)p0.expr).da
1670: 74 61 20 3d 3d 20 31 30 30 20 29 3b 0d 0a 09 61 ta == 100 );...a
1680: 73 73 65 72 74 28 20 28 63 61 73 74 28 49 6e 74 ssert( (cast(Int
1690: 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f LiteralExpressio
16a0: 6e 29 70 31 2e 65 78 70 72 29 2e 64 61 74 61 20 n)p1.expr).data
16b0: 3d 3d 20 32 30 30 20 29 3b 0d 0a 7d 0d 0a 0d 0a == 200 );..}....
16c0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 unittest..{...au
16d0: 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46 72 6f to p = parserFro
16e0: 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 72 mString(`....var
16f0: 20 7a 7a 7a 20 3d 20 31 30 30 3b 20 23 20 63 6f zzz = 100; # co
1700: 6d 6d 65 6e 74 0d 0a 09 09 7a 7a 7a 20 3d 20 7a mment....zzz = z
1710: 7a 7a 20 2b 20 7a 7a 7a 20 2a 20 22 66 6f 5c 6e zz + zzz * "fo\n
1720: 6f 22 3b 20 23 20 63 6f 6d 6d 65 6e 74 0d 0a 09 o"; # comment...
1730: 09 09 34 32 3b 0d 0a 09 60 29 3b 0d 0a 09 0d 0a ..42;...`);.....
1740: 09 61 75 74 6f 20 73 30 20 3d 20 6e 65 77 20 44 .auto s0 = new D
1750: 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c eclStatement(nul
1760: 6c 2c 20 22 7a 7a 7a 22 2c 20 6e 65 77 20 49 6e l, "zzz", new In
1770: 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 tLiteralExpressi
1780: 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 on(null, BigInt(
1790: 31 30 30 29 29 29 3b 0d 0a 09 61 75 74 6f 20 73 100)));...auto s
17a0: 31 20 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 1 = new ExprStat
17b0: 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 ement(null, new
17c0: 41 73 73 69 67 6e 45 78 70 72 65 73 73 69 6f 6e AssignExpression
17d0: 28 6e 75 6c 6c 2c 0d 0a 09 09 6e 65 77 20 56 61 (null,....new Va
17e0: 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c rExpression(null
17f0: 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 6e 65 77 , "zzz"),....new
1800: 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 FuncallExpressi
1810: 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 61 72 on(null, new Var
1820: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
1830: 22 2b 22 29 2c 0d 0a 09 09 09 6e 65 77 20 56 61 "+"),.....new Va
1840: 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c rExpression(null
1850: 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 09 6e 65 , "zzz"),.....ne
1860: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
1870: 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 61 ion(null, new Va
1880: 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c rExpression(null
1890: 2c 22 2a 22 29 2c 0d 0a 09 09 09 09 6e 65 77 20 ,"*"),......new
18a0: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 VarExpression(nu
18b0: 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 09 ll, "zzz"),.....
18c0: 09 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c 45 .new StrLiteralE
18d0: 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 xpression(null,
18e0: 22 66 6f 5c 5c 6e 6f 22 29 0d 0a 09 09 09 09 29 "fo\\no")......)
18f0: 29 29 29 3b 0d 0a 09 61 75 74 6f 20 73 32 20 3d )));...auto s2 =
1900: 20 6e 65 77 20 45 78 70 72 53 74 61 74 65 6d 65 new ExprStateme
1910: 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 49 6e 74 nt(null, new Int
1920: 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f LiteralExpressio
1930: 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 34 n(null, BigInt(4
1940: 32 29 29 29 3b 0d 0a 09 0d 0a 09 50 72 6f 67 72 2)));......Progr
1950: 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 am prog = p.pars
1960: 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 73 eProgram();...as
1970: 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74 sert( prog.lengt
1980: 68 20 3d 3d 20 33 20 29 3b 0d 0a 09 61 73 73 65 h == 3 );...asse
1990: 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 73 rt( prog[0] == s
19a0: 30 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 0 );...assert( p
19b0: 72 6f 67 5b 31 5d 20 3d 3d 20 73 31 20 29 3b 0d rog[1] == s1 );.
19c0: 0a 09 61 73 73 65 72 74 28 20 70 72 6f 67 5b 32 ..assert( prog[2
19d0: 5d 20 3d 3d 20 73 32 20 29 3b 0d 0a 7d 0d 0a 0d ] == s2 );..}...
19e0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
19f0: 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46 72 uto p = parserFr
1a00: 6f 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 omString(`....va
1a10: 72 20 66 20 3d 20 66 75 6e 28 78 2c 79 29 7b 78 r f = fun(x,y){x
1a20: 2b 79 3b 7d 3b 0d 0a 09 09 66 28 31 2c 66 75 6e +y;};....f(1,fun
1a30: 28 61 62 63 29 7b 7d 28 34 29 29 3b 0d 0a 09 60 (abc){}(4));...`
1a40: 29 3b 0d 0a 09 50 72 6f 67 72 61 6d 20 70 72 6f );...Program pro
1a50: 67 20 3d 20 70 2e 70 61 72 73 65 50 72 6f 67 72 g = p.parseProgr
1a60: 61 6d 28 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 am();...assert(
1a70: 70 72 6f 67 2e 6c 65 6e 67 74 68 20 3d 3d 20 32 prog.length == 2
1a80: 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 72 );...assert( pr
1a90: 6f 67 5b 30 5d 20 3d 3d 20 6e 65 77 20 44 65 63 og[0] == new Dec
1aa0: 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c lStatement(null,
1ab0: 20 22 66 22 2c 20 6e 65 77 20 46 75 6e 4c 69 74 "f", new FunLit
1ac0: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e eralExpression(n
1ad0: 75 6c 6c 2c 0d 0a 09 09 5b 22 78 22 2c 22 79 22 ull,....["x","y"
1ae0: 5d 2c 20 5b 6e 65 77 20 45 78 70 72 53 74 61 74 ], [new ExprStat
1af0: 65 6d 65 6e 74 28 6e 75 6c 6c 2c 0d 0a 09 09 09 ement(null,.....
1b00: 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 new FuncallExpre
1b10: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 ssion(null, new
1b20: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 VarExpression(nu
1b30: 6c 6c 2c 20 22 2b 22 29 2c 0d 0a 09 09 09 6e 65 ll, "+"),.....ne
1b40: 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 w VarExpression(
1b50: 6e 75 6c 6c 2c 20 22 78 22 29 2c 20 6e 65 77 20 null, "x"), new
1b60: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 VarExpression(nu
1b70: 6c 6c 2c 20 22 79 22 29 29 29 5d 0d 0a 09 09 09 ll, "y")))].....
1b80: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 )));...assert( p
1b90: 72 6f 67 5b 31 5d 20 3d 3d 20 6e 65 77 20 45 78 rog[1] == new Ex
1ba0: 70 72 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c prStatement(null
1bb0: 2c 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 , new FuncallExp
1bc0: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a 09 ression(null,...
1bd0: 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 .new VarExpressi
1be0: 6f 6e 28 6e 75 6c 6c 2c 20 22 66 22 29 2c 0d 0a on(null, "f"),..
1bf0: 09 09 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c ..new IntLiteral
1c00: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
1c10: 20 42 69 67 49 6e 74 28 31 29 29 2c 0d 0a 09 09 BigInt(1)),....
1c20: 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 new FuncallExpre
1c30: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 09 ssion(null,.....
1c40: 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 78 new FunLiteralEx
1c50: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 5b pression(null, [
1c60: 22 61 62 63 22 5d 2c 20 5b 0d 0a 09 09 09 5d 29 "abc"], [.....])
1c70: 2c 0d 0a 09 09 09 6e 65 77 20 49 6e 74 4c 69 74 ,.....new IntLit
1c80: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e eralExpression(n
1c90: 75 6c 6c 2c 20 42 69 67 49 6e 74 28 34 29 29 0d ull, BigInt(4)).
1ca0: 0a 09 09 09 29 29 29 29 3b 0d 0a 7d 0d 0a 75 6e ....))));..}..un
1cb0: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
1cc0: 20 70 20 3d 20 70 61 72 73 65 72 46 72 6f 6d 53 p = parserFromS
1cd0: 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 31 tring(`var x = 1
1ce0: 3b 20 76 61 72 20 66 20 3d 20 66 75 6e 28 29 7b ; var f = fun(){
1cf0: 78 3d 78 2b 31 3b 7d 3b 20 66 28 29 3b 20 66 28 x=x+1;}; f(); f(
1d00: 29 3b 20 78 3b 60 29 3b 0d 0a 09 50 72 6f 67 72 ); x;`);...Progr
1d10: 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 am prog = p.pars
1d20: 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 7d eProgram();..}