0000: ef bb bf 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f .../**.. * Autho
0010: 72 73 3a 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 rs: k.inaba.. *
0020: 4c 69 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e License: NYSL 0.
0030: 39 39 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 9982 http://www.
0040: 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f kmonos.net/nysl/
0050: 0d 0a 20 2a 0d 0a 20 2a 20 50 61 72 73 65 72 20 .. *.. * Parser
0060: 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 for Polemy progr
0070: 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 0d amming language.
0080: 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c . */..module pol
0090: 65 6d 79 2e 70 61 72 73 65 3b 0d 0a 69 6d 70 6f emy.parse;..impo
00a0: 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f rt polemy._commo
00b0: 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d n;..import polem
00c0: 79 2e 6c 65 78 3b 0d 0a 69 6d 70 6f 72 74 20 70 y.lex;..import p
00d0: 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d 70 6f olemy.ast;..impo
00e0: 72 74 20 73 74 64 2e 62 69 67 69 6e 74 3b 0d 0a rt std.bigint;..
00f0: 0d 0a 2f 2f 2f 20 50 61 72 73 69 6e 67 20 46 61 ../// Parsing Fa
0100: 69 6c 75 72 65 0d 0a 0d 0a 63 6c 61 73 73 20 50 ilure....class P
0110: 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 20 3a arserException :
0120: 20 45 78 63 65 70 74 69 6f 6e 0d 0a 7b 0d 0a 70 Exception..{..p
0130: 72 69 76 61 74 65 3a 0d 0a 09 74 68 69 73 28 73 rivate:...this(s
0140: 74 72 69 6e 67 20 6d 73 67 29 20 7b 20 73 75 70 tring msg) { sup
0150: 65 72 28 6d 73 67 29 3b 20 7d 0d 0a 09 73 74 61 er(msg); }...sta
0160: 74 69 63 20 50 61 72 73 65 72 45 78 63 65 70 74 tic ParserExcept
0170: 69 6f 6e 20 63 72 65 61 74 65 28 4c 65 78 65 72 ion create(Lexer
0180: 29 28 4c 65 78 65 72 20 6c 65 78 2c 20 73 74 72 )(Lexer lex, str
0190: 69 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 ing msg)...{....
01a0: 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 65 return new Parse
01b0: 72 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69 6e rException(sprin
01c0: 74 66 21 22 5b 25 73 5d 20 25 73 22 28 0d 0a 09 tf!"[%s] %s"(...
01d0: 09 09 6c 65 78 2e 65 6d 70 74 79 20 3f 20 22 45 ..lex.empty ? "E
01e0: 4f 46 22 20 3a 20 74 6f 21 73 74 72 69 6e 67 28 OF" : to!string(
01f0: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 2c 20 lex.front.pos),
0200: 6d 73 67 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d msg));...}..}...
0210: 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 ./// Named Const
0220: 72 75 63 74 6f 72 20 6f 66 20 50 61 72 73 65 72 ructor of Parser
0230: 0d 0a 0d 0a 61 75 74 6f 20 70 61 72 73 65 72 46 ....auto parserF
0240: 72 6f 6d 4c 65 78 65 72 28 4c 65 78 65 72 29 28 romLexer(Lexer)(
0250: 4c 65 78 65 72 20 6c 65 78 29 0d 0a 7b 0d 0a 09 Lexer lex)..{...
0260: 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 65 return new Parse
0270: 72 21 4c 65 78 65 72 28 6c 65 78 29 3b 0d 0a 7d r!Lexer(lex);..}
0280: 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f ..../// Named Co
0290: 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 50 61 72 nstructor of Par
02a0: 73 65 72 20 28 6a 75 73 74 20 66 77 64 20 74 6f ser (just fwd to
02b0: 20 6c 65 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 lexerFromString
02c0: 29 0d 0a 0d 0a 61 75 74 6f 20 70 61 72 73 65 72 )....auto parser
02d0: 46 72 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 FromString(T...)
02e0: 28 54 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 (T params)..{...
02f0: 72 65 74 75 72 6e 20 70 61 72 73 65 72 46 72 6f return parserFro
0300: 6d 4c 65 78 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 mLexer(polemy.le
0310: 78 2e 6c 65 78 65 72 46 72 6f 6d 53 74 72 69 6e x.lexerFromStrin
0320: 67 28 70 61 72 61 6d 73 29 29 3b 0d 0a 7d 0d 0a g(params));..}..
0330: 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 ../// Named Cons
0340: 74 72 75 63 74 6f 72 20 6f 66 20 50 61 72 73 65 tructor of Parse
0350: 72 20 28 6a 75 73 74 20 66 77 64 20 74 6f 20 6c r (just fwd to l
0360: 65 78 65 72 46 72 6f 6d 46 69 6c 65 29 0d 0a 0d exerFromFile)...
0370: 0a 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d .auto parserFrom
0380: 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 70 61 72 File(T...)(T par
0390: 61 6d 73 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e ams)..{...return
03a0: 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 parserFromLexer
03b0: 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 (polemy.lex.lexe
03c0: 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 rFromFile(params
03d0: 29 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 ));..}..../// Pa
03e0: 72 73 65 72 0d 0a 0d 0a 63 6c 61 73 73 20 50 61 rser....class Pa
03f0: 72 73 65 72 28 4c 65 78 65 72 29 0d 0a 7b 0d 0a rser(Lexer)..{..
0400: 09 74 68 69 73 28 4c 65 78 65 72 20 6c 65 78 29 .this(Lexer lex)
0410: 0d 0a 09 7b 0d 0a 09 09 74 68 69 73 2e 6c 65 78 ...{....this.lex
0420: 20 3d 20 6c 65 78 3b 0d 0a 09 7d 0d 0a 0d 0a 09 = lex;...}.....
0430: 50 72 6f 67 72 61 6d 20 70 61 72 73 65 50 72 6f Program parsePro
0440: 67 72 61 6d 28 29 0d 0a 09 7b 0d 0a 09 09 50 72 gram()...{....Pr
0450: 6f 67 72 61 6d 20 70 3b 0d 0a 09 09 77 68 69 6c ogram p;....whil
0460: 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d e( !lex.empty ).
0470: 0a 09 09 09 70 20 7e 3d 20 70 61 72 73 65 53 74 ....p ~= parseSt
0480: 61 74 65 6d 65 6e 74 28 29 3b 0d 0a 09 09 72 65 atement();....re
0490: 74 75 72 6e 20 70 3b 0d 0a 09 7d 0d 0a 09 0d 0a turn p;...}.....
04a0: 09 53 74 61 74 65 6d 65 6e 74 20 70 61 72 73 65 .Statement parse
04b0: 53 74 61 74 65 6d 65 6e 74 28 29 0d 0a 09 7b 0d Statement()...{.
04c0: 0a 09 09 61 75 74 6f 20 73 61 76 65 64 20 3d 20 ...auto saved =
04d0: 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 73 63 6f lex.save;....sco
04e0: 70 65 28 66 61 69 6c 75 72 65 29 20 6c 65 78 20 pe(failure) lex
04f0: 3d 20 73 61 76 65 64 3b 0d 0a 0d 0a 09 09 69 66 = saved;......if
0500: 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 ( lex.empty )...
0510: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 61 72 73 ..throw new Pars
0520: 65 72 45 78 63 65 70 74 69 6f 6e 28 22 45 4f 46 erException("EOF
0530: 20 64 75 72 69 6e 67 20 70 61 72 73 69 6e 67 20 during parsing
0540: 61 20 73 74 61 74 65 6d 65 6e 74 22 29 3b 0d 0a a statement");..
0550: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 ..auto pos = lex
0560: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 .front.pos;.....
0570: 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b .if( lex.front.k
0580: 69 6e 64 3d 3d 54 6f 6b 65 6e 2e 4b 69 6e 64 2e ind==Token.Kind.
0590: 69 64 65 6e 74 69 66 69 65 72 20 26 26 20 6c 65 identifier && le
05a0: 78 2e 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 76 61 x.front.str=="va
05b0: 72 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f r" )....{.....//
05c0: 20 22 76 61 72 22 20 56 61 72 20 22 3d 22 20 45 "var" Var "=" E
05d0: 78 70 72 65 73 73 69 6f 6e 20 22 3b 22 0d 0a 09 xpression ";"...
05e0: 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ..lex.popFront;.
05f0: 0a 09 09 09 73 74 72 69 6e 67 20 76 61 72 20 3d ....string var =
0600: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d lex.front.str;.
0610: 0a 09 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 ....lex.popFront
0620: 3b 0d 0a 09 09 09 65 61 74 28 22 3d 22 2c 20 22 ;.....eat("=", "
0630: 66 6f 72 20 76 61 72 69 61 62 6c 65 20 64 65 63 for variable dec
0640: 6c 61 72 61 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 laration");.....
0650: 61 75 74 6f 20 70 61 72 73 65 64 20 3d 20 6e 65 auto parsed = ne
0660: 77 20 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 w DeclStatement(
0670: 70 6f 73 2c 20 76 61 72 2c 20 70 61 72 73 65 45 pos, var, parseE
0680: 78 70 72 65 73 73 69 6f 6e 28 29 29 3b 0d 0a 09 xpression());...
0690: 09 09 65 61 74 28 22 3b 22 2c 20 22 61 66 74 65 ..eat(";", "afte
06a0: 72 20 76 61 72 69 61 62 6c 65 20 64 65 63 6c 61 r variable decla
06b0: 72 61 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 ration");.....re
06c0: 74 75 72 6e 20 70 61 72 73 65 64 3b 0d 0a 09 09 turn parsed;....
06d0: 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a }....else....{..
06e0: 09 09 09 2f 2f 20 45 78 70 72 65 73 73 69 6f 6e ...// Expression
06f0: 20 22 3b 22 0d 0a 09 09 09 61 75 74 6f 20 70 61 ";".....auto pa
0700: 72 73 65 64 20 3d 20 6e 65 77 20 45 78 70 72 53 rsed = new ExprS
0710: 74 61 74 65 6d 65 6e 74 28 70 6f 73 2c 20 70 61 tatement(pos, pa
0720: 72 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 29 rseExpression())
0730: 3b 0d 0a 09 09 09 65 61 74 28 22 3b 22 2c 20 22 ;.....eat(";", "
0740: 61 66 74 65 72 20 73 74 61 74 65 6d 65 6e 74 22 after statement"
0750: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 );.....return pa
0760: 72 73 65 64 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a rsed;....}...}..
0770: 0d 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 ...Expression pa
0780: 72 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0d rseExpression().
0790: 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 73 61 76 65 ..{....auto save
07a0: 64 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 d = lex.save;...
07b0: 09 73 63 6f 70 65 28 66 61 69 6c 75 72 65 29 20 .scope(failure)
07c0: 6c 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 09 09 lex = saved;....
07d0: 72 65 74 75 72 6e 20 70 61 72 73 65 45 28 30 29 return parseE(0)
07e0: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f ;...}.....// [TO
07f0: 44 4f 5d 20 6d 75 6c 74 69 2d 63 68 61 72 20 6f DO] multi-char o
0800: 70 65 72 61 74 6f 72 73 20 61 72 65 20 6e 6f 74 perators are not
0810: 20 73 75 70 70 6f 72 74 65 64 20 62 79 20 74 68 supported by th
0820: 65 20 6c 65 78 65 72 2e 2e 2e 0d 0a 09 73 74 61 e lexer......sta
0830: 74 69 63 20 69 6d 6d 75 74 61 62 6c 65 20 73 74 tic immutable st
0840: 72 69 6e 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f ring[][] operato
0850: 72 5f 70 65 72 66 65 72 65 6e 63 65 73 20 3d 20 r_perferences =
0860: 5b 0d 0a 09 09 5b 22 3d 22 5d 2c 0d 0a 09 09 5b [....["="],....[
0870: 22 6f 72 22 5d 2c 0d 0a 09 09 5b 22 61 6e 64 22 "or"],....["and"
0880: 5d 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 ],....["!="],...
0890: 09 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 .["=="],....["<"
08a0: 2c 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c ,"<=",">",">="],
08b0: 0d 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 ....["|"],....["
08c0: 5e 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a ^"],....["&"],..
08d0: 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d 2c 0d ..["<<", ">>"],.
08e0: 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 ...["+","-"],...
08f0: 09 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 0d 0a .["*","/","%"]..
0900: 09 5d 3b 0d 0a 0d 0a 09 45 78 70 72 65 73 73 69 .];.....Expressi
0910: 6f 6e 20 70 61 72 73 65 45 28 69 6e 74 20 6c 65 on parseE(int le
0920: 76 65 6c 20 3d 20 30 29 0d 0a 09 7b 0d 0a 09 09 vel = 0)...{....
0930: 69 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 if( operator_per
0940: 66 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 68 20 ferences.length
0950: 3c 3d 20 6c 65 76 65 6c 20 29 0d 0a 09 09 09 72 <= level ).....r
0960: 65 74 75 72 6e 20 70 61 72 73 65 42 61 73 65 45 eturn parseBaseE
0970: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 xpression();....
0980: 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 else....{.....au
0990: 74 6f 20 6f 70 73 20 3d 20 6f 70 65 72 61 74 6f to ops = operato
09a0: 72 5f 70 65 72 66 65 72 65 6e 63 65 73 5b 6c 65 r_perferences[le
09b0: 76 65 6c 5d 3b 0d 0a 09 09 09 61 75 74 6f 20 65 vel];.....auto e
09c0: 20 3d 20 70 61 72 73 65 45 28 6c 65 76 65 6c 2b = parseE(level+
09d0: 31 29 3b 0d 0a 09 09 73 65 71 3a 0d 0a 09 09 09 1);....seq:.....
09e0: 77 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 while( !lex.empt
09f0: 79 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 61 y ).....{......a
0a00: 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 uto pos = lex.fr
0a10: 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 09 66 6f ont.pos;......fo
0a20: 72 65 61 63 68 28 6f 70 3b 20 6f 70 73 29 0d 0a reach(op; ops)..
0a30: 09 09 09 09 09 69 66 28 20 74 72 79 45 61 74 28 .....if( tryEat(
0a40: 6f 70 29 20 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 op) ).......{...
0a50: 09 09 09 09 09 69 66 28 20 6f 70 20 3d 3d 20 22 .....if( op == "
0a60: 3d 22 20 29 20 2f 2f 20 72 69 67 68 74 20 61 73 =" ) // right as
0a70: 73 6f 63 0d 0a 09 09 09 09 09 09 09 72 65 74 75 soc.........retu
0a80: 72 6e 20 6e 65 77 20 41 73 73 69 67 6e 45 78 70 rn new AssignExp
0a90: 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 ression(e.pos, e
0aa0: 2c 20 70 61 72 73 65 45 28 6c 65 76 65 6c 29 29 , parseE(level))
0ab0: 3b 0d 0a 09 09 09 09 09 09 65 6c 73 65 0d 0a 09 ;........else...
0ac0: 09 09 09 09 09 09 65 20 3d 20 6e 65 77 20 46 75 ......e = new Fu
0ad0: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
0ae0: 65 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 45 78 e.pos, new VarEx
0af0: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6f 70 pression(pos, op
0b00: 29 2c 20 65 2c 20 70 61 72 73 65 45 28 6c 65 76 ), e, parseE(lev
0b10: 65 6c 2b 31 29 29 3b 0d 0a 09 09 09 09 09 09 63 el+1));........c
0b20: 6f 6e 74 69 6e 75 65 20 73 65 71 3b 0d 0a 09 09 ontinue seq;....
0b30: 09 09 09 7d 0d 0a 09 09 09 09 62 72 65 61 6b 3b ...}......break;
0b40: 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 72 .....}.....retur
0b50: 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d n e;....}...}...
0b60: 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 ..Expression par
0b70: 73 65 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e seBaseExpression
0b80: 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 ()...{....if( le
0b90: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
0ba0: 72 6f 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 row new ParserEx
0bb0: 63 65 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 ception("EOF dur
0bc0: 69 6e 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 ing parsing an e
0bd0: 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 xpression");....
0be0: 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 auto pos = lex.f
0bf0: 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 45 78 70 ront.pos;....Exp
0c00: 72 65 73 73 69 6f 6e 20 65 20 3d 20 70 61 72 73 ression e = pars
0c10: 65 42 61 73 65 42 61 73 65 45 78 70 72 65 73 73 eBaseBaseExpress
0c20: 69 6f 6e 28 29 3b 0d 0a 09 09 77 68 69 6c 65 28 ion();....while(
0c30: 20 74 72 79 45 61 74 28 22 28 22 29 20 29 20 2f tryEat("(") ) /
0c40: 2f 20 66 75 6e 63 61 6c 6c 0d 0a 09 09 7b 0d 0a / funcall....{..
0c50: 09 09 09 45 78 70 72 65 73 73 69 6f 6e 5b 5d 20 ...Expression[]
0c60: 61 72 67 73 3b 0d 0a 09 09 09 77 68 69 6c 65 28 args;.....while(
0c70: 20 21 74 72 79 45 61 74 28 22 29 22 29 20 29 20 !tryEat(")") )
0c80: 7b 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 {......if( lex.e
0c90: 6d 70 74 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 mpty ) {.......a
0ca0: 75 74 6f 20 65 78 20 3d 20 50 61 72 73 65 72 45 uto ex = ParserE
0cb0: 78 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 xception.create(
0cc0: 6c 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 lex,"Unexpected
0cd0: 45 4f 46 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 EOF");.......thr
0ce0: 6f 77 20 65 78 3b 0d 0a 09 09 09 09 7d 0d 0a 09 ow ex;......}...
0cf0: 09 09 09 61 72 67 73 20 7e 3d 20 70 61 72 73 65 ...args ~= parse
0d00: 45 28 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 74 E();......if( !t
0d10: 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a ryEat(",") ) {..
0d20: 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
0d30: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
0d40: 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 rameters");.....
0d50: 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 7d 0d ..break;......}.
0d60: 0a 09 09 09 7d 0d 0a 09 09 09 65 20 3d 20 6e 65 ....}.....e = ne
0d70: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
0d80: 69 6f 6e 28 70 6f 73 2c 20 65 2c 20 61 72 67 73 ion(pos, e, args
0d90: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 );....}....retur
0da0: 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 n e;...}.....Exp
0db0: 72 65 73 73 69 6f 6e 20 70 61 72 73 65 42 61 73 ression parseBas
0dc0: 65 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 eBaseExpression(
0dd0: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 )...{....if( lex
0de0: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 .empty ).....thr
0df0: 6f 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 ow new ParserExc
0e00: 65 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 eption("EOF duri
0e10: 6e 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 78 ng parsing an ex
0e20: 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 pression");....a
0e30: 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 uto pos = lex.fr
0e40: 6f 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 09 69 66 ont.pos;......if
0e50: 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 ( lex.front.kind
0e60: 20 3d 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 6e == Token.Kind.n
0e70: 75 6d 62 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 umber )....{....
0e80: 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 .scope(exit) lex
0e90: 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 .popFront;.....r
0ea0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
0eb0: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 eralExpression(p
0ec0: 6f 73 2c 20 42 69 67 49 6e 74 28 63 61 73 74 28 os, BigInt(cast(
0ed0: 73 74 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 string)lex.front
0ee0: 2e 73 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 .str));....}....
0ef0: 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 if( lex.front.ki
0f00: 6e 64 20 3d 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 nd == Token.Kind
0f10: 2e 73 74 72 69 6e 67 4c 69 74 65 72 61 6c 20 29 .stringLiteral )
0f20: 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f 70 65 28 ....{.....scope(
0f30: 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f exit) lex.popFro
0f40: 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e nt;.....return n
0f50: 65 77 20 53 74 72 4c 69 74 65 72 61 6c 45 78 70 ew StrLiteralExp
0f60: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 ression(pos, lex
0f70: 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 09 .front.str);....
0f80: 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 }....if( tryEat(
0f90: 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 "(") )....{.....
0fa0: 61 75 74 6f 20 65 20 3d 20 70 61 72 73 65 45 28 auto e = parseE(
0fb0: 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 );.....eat(")",
0fc0: 22 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 "after parenthes
0fd0: 69 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 ized expression"
0fe0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b );.....return e;
0ff0: 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 74 ....}......if( t
1000: 72 79 45 61 74 28 22 66 75 6e 22 29 20 29 0d 0a ryEat("fun") )..
1010: 09 09 7b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c ..{.....eat("(",
1020: 20 22 61 66 74 65 72 20 66 75 6e 22 29 3b 0d 0a "after fun");..
1030: 09 09 09 73 74 72 69 6e 67 5b 5d 20 70 61 72 61 ...string[] para
1040: 6d 73 3b 0d 0a 09 09 09 77 68 69 6c 65 28 21 74 ms;.....while(!t
1050: 72 79 45 61 74 28 22 29 22 29 29 0d 0a 09 09 09 ryEat(")")).....
1060: 7b 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 {......if( lex.e
1070: 6d 70 74 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 mpty ) {.......a
1080: 75 74 6f 20 65 20 3d 20 50 61 72 73 65 72 45 78 uto e = ParserEx
1090: 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c ception.create(l
10a0: 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 ex,"Unexpected E
10b0: 4f 46 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f OF");.......thro
10c0: 77 20 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 w e;......}.....
10d0: 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b .if( lex.front.k
10e0: 69 6e 64 20 21 3d 20 54 6f 6b 65 6e 2e 4b 69 6e ind != Token.Kin
10f0: 64 2e 69 64 65 6e 74 69 66 69 65 72 20 29 20 7b d.identifier ) {
1100: 0d 0a 09 09 09 09 09 61 75 74 6f 20 65 20 3d 20 .......auto e =
1110: 50 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e ParserException.
1120: 63 72 65 61 74 65 28 6c 65 78 2c 22 49 64 65 6e create(lex,"Iden
1130: 74 69 66 69 65 72 20 45 78 70 65 63 74 65 64 20 tifier Expected
1140: 66 6f 72 20 70 61 72 61 6d 65 74 65 72 73 22 29 for parameters")
1150: 3b 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 65 3b ;.......throw e;
1160: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 70 61 72 ......}......par
1170: 61 6d 73 20 7e 3d 20 6c 65 78 2e 66 72 6f 6e 74 ams ~= lex.front
1180: 2e 73 74 72 3b 0d 0a 09 09 09 09 6c 65 78 2e 70 .str;......lex.p
1190: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 09 69 66 opFront;......if
11a0: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
11b0: 20 7b 0d 0a 09 09 09 09 09 65 61 74 28 22 29 22 {.......eat(")"
11c0: 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f , "after functio
11d0: 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d n parameters");.
11e0: 0a 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 ......break;....
11f0: 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 61 ..}.....}.....ea
1200: 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 66 75 t("{", "after fu
1210: 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 nction parameter
1220: 73 22 29 3b 0d 0a 09 09 09 53 74 61 74 65 6d 65 s");.....Stateme
1230: 6e 74 5b 5d 20 66 75 6e 62 6f 64 79 3b 0d 0a 09 nt[] funbody;...
1240: 09 09 77 68 69 6c 65 28 21 74 72 79 45 61 74 28 ..while(!tryEat(
1250: 22 7d 22 29 29 20 7b 0d 0a 09 09 09 09 69 66 28 "}")) {......if(
1260: 20 6c 65 78 2e 65 6d 70 74 79 20 29 20 7b 0d 0a lex.empty ) {..
1270: 09 09 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61 .....auto e = Pa
1280: 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72 rserException.cr
1290: 65 61 74 65 28 6c 65 78 2c 22 55 6e 65 78 70 65 eate(lex,"Unexpe
12a0: 63 74 65 64 20 45 4f 46 22 29 3b 0d 0a 09 09 09 cted EOF");.....
12b0: 09 09 74 68 72 6f 77 20 65 3b 0d 0a 09 09 09 09 ..throw e;......
12c0: 7d 0d 0a 09 09 09 09 66 75 6e 62 6f 64 79 20 7e }......funbody ~
12d0: 3d 20 70 61 72 73 65 53 74 61 74 65 6d 65 6e 74 = parseStatement
12e0: 28 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 ();.....}.....re
12f0: 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 65 turn new FunLite
1300: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f ralExpression(po
1310: 73 2c 20 70 61 72 61 6d 73 2c 20 66 75 6e 62 6f s, params, funbo
1320: 64 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 6f dy);....}....sco
1330: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
1340: 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e Front;....return
1350: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
1360: 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e on(pos, lex.fron
1370: 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 t.str);...}....p
1380: 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 72 20 rivate:...Lexer
1390: 6c 65 78 3b 0d 0a 0d 0a 09 76 6f 69 64 20 65 61 lex;.....void ea
13a0: 74 28 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 t(string kwd, la
13b0: 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a zy string msg)..
13c0: 09 7b 0d 0a 09 09 69 66 28 20 21 74 72 79 45 61 .{....if( !tryEa
13d0: 74 28 6b 77 64 29 20 29 0d 0a 09 09 7b 0d 0a 09 t(kwd) )....{...
13e0: 09 09 61 75 74 6f 20 65 20 3d 20 50 61 72 73 65 ..auto e = Parse
13f0: 72 45 78 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 rException.creat
1400: 65 28 6c 65 78 2c 20 22 27 22 7e 6b 77 64 7e 22 e(lex, "'"~kwd~"
1410: 27 20 69 73 20 65 78 70 65 63 74 65 64 20 22 7e ' is expected "~
1420: 6d 73 67 7e 22 20 62 75 74 20 27 22 0d 0a 09 09 msg~" but '"....
1430: 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 ..~(lex.empty ?
1440: 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 6f 6e "EOF" : lex.fron
1450: 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 72 65 t.str)~"' occure
1460: 64 22 29 3b 0d 0a 09 09 09 74 68 72 6f 77 20 65 d");.....throw e
1470: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 62 ;....}...}.....b
1480: 6f 6f 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e ool tryEat(strin
1490: 67 20 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 g kwd)...{....if
14a0: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
14b0: 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 21 3d 54 ex.front.kind!=T
14c0: 6f 6b 65 6e 2e 4b 69 6e 64 2e 69 64 65 6e 74 69 oken.Kind.identi
14d0: 66 69 65 72 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e fier || lex.fron
14e0: 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a 09 09 t.str!=kwd )....
14f0: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a .return false;..
1500: 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ..lex.popFront;.
1510: 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d ...return true;.
1520: 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ..}..}....unitte
1530: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d st..{...auto p =
1540: 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e parserFromStrin
1550: 67 28 60 0d 0a 09 09 76 61 72 20 78 20 3d 20 31 g(`....var x = 1
1560: 30 30 3b 0d 0a 09 09 76 61 72 20 79 20 3d 20 32 00;....var y = 2
1570: 30 30 3b 0d 0a 09 60 29 3b 0d 0a 09 50 72 6f 67 00;...`);...Prog
1580: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 ram prog = p.par
1590: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 seProgram();...a
15a0: 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 ssert( prog.leng
15b0: 74 68 20 3d 3d 20 32 20 29 3b 0d 0a 09 61 75 74 th == 2 );...aut
15c0: 6f 20 70 30 20 3d 20 63 61 73 74 28 44 65 63 6c o p0 = cast(Decl
15d0: 53 74 61 74 65 6d 65 6e 74 29 70 72 6f 67 5b 30 Statement)prog[0
15e0: 5d 3b 0d 0a 09 61 75 74 6f 20 70 31 20 3d 20 63 ];...auto p1 = c
15f0: 61 73 74 28 44 65 63 6c 53 74 61 74 65 6d 65 6e ast(DeclStatemen
1600: 74 29 70 72 6f 67 5b 31 5d 3b 0d 0a 09 61 73 73 t)prog[1];...ass
1610: 65 72 74 28 20 70 30 2e 76 61 72 20 3d 3d 20 22 ert( p0.var == "
1620: 78 22 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 x" );...assert(
1630: 70 31 2e 76 61 72 20 3d 3d 20 22 79 22 20 29 3b p1.var == "y" );
1640: 0d 0a 09 61 73 73 65 72 74 28 20 28 63 61 73 74 ...assert( (cast
1650: 28 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 (IntLiteralExpre
1660: 73 73 69 6f 6e 29 70 30 2e 65 78 70 72 29 2e 64 ssion)p0.expr).d
1670: 61 74 61 20 3d 3d 20 31 30 30 20 29 3b 0d 0a 09 ata == 100 );...
1680: 61 73 73 65 72 74 28 20 28 63 61 73 74 28 49 6e assert( (cast(In
1690: 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 tLiteralExpressi
16a0: 6f 6e 29 70 31 2e 65 78 70 72 29 2e 64 61 74 61 on)p1.expr).data
16b0: 20 3d 3d 20 32 30 30 20 29 3b 0d 0a 7d 0d 0a 0d == 200 );..}...
16c0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
16d0: 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46 72 uto p = parserFr
16e0: 6f 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 omString(`....va
16f0: 72 20 7a 7a 7a 20 3d 20 31 30 30 3b 20 23 20 63 r zzz = 100; # c
1700: 6f 6d 6d 65 6e 74 0d 0a 09 09 7a 7a 7a 20 3d 20 omment....zzz =
1710: 7a 7a 7a 20 2b 20 7a 7a 7a 20 2a 20 22 66 6f 5c zzz + zzz * "fo\
1720: 6e 6f 22 3b 20 23 20 63 6f 6d 6d 65 6e 74 0d 0a no"; # comment..
1730: 09 09 09 34 32 3b 0d 0a 09 60 29 3b 0d 0a 09 0d ...42;...`);....
1740: 0a 09 61 75 74 6f 20 73 30 20 3d 20 6e 65 77 20 ..auto s0 = new
1750: 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 DeclStatement(nu
1760: 6c 6c 2c 20 22 7a 7a 7a 22 2c 20 6e 65 77 20 49 ll, "zzz", new I
1770: 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 ntLiteralExpress
1780: 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 ion(null, BigInt
1790: 28 31 30 30 29 29 29 3b 0d 0a 09 61 75 74 6f 20 (100)));...auto
17a0: 73 31 20 3d 20 6e 65 77 20 45 78 70 72 53 74 61 s1 = new ExprSta
17b0: 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 tement(null, new
17c0: 20 41 73 73 69 67 6e 45 78 70 72 65 73 73 69 6f AssignExpressio
17d0: 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 6e 65 77 20 56 n(null,....new V
17e0: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
17f0: 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 6e 65 l, "zzz"),....ne
1800: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
1810: 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 61 ion(null, new Va
1820: 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c rExpression(null
1830: 2c 22 2b 22 29 2c 0d 0a 09 09 09 6e 65 77 20 56 ,"+"),.....new V
1840: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
1850: 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 09 6e l, "zzz"),.....n
1860: 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 ew FuncallExpres
1870: 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 sion(null, new V
1880: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
1890: 6c 2c 22 2a 22 29 2c 0d 0a 09 09 09 09 6e 65 77 l,"*"),......new
18a0: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
18b0: 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 ull, "zzz"),....
18c0: 09 09 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c ..new StrLiteral
18d0: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
18e0: 20 22 66 6f 5c 5c 6e 6f 22 29 0d 0a 09 09 09 09 "fo\\no")......
18f0: 29 29 29 29 3b 0d 0a 09 61 75 74 6f 20 73 32 20 ))));...auto s2
1900: 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 65 6d = new ExprStatem
1910: 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 49 6e ent(null, new In
1920: 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 tLiteralExpressi
1930: 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 on(null, BigInt(
1940: 34 32 29 29 29 3b 0d 0a 09 0d 0a 09 50 72 6f 67 42)));......Prog
1950: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 ram prog = p.par
1960: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 seProgram();...a
1970: 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 ssert( prog.leng
1980: 74 68 20 3d 3d 20 33 20 29 3b 0d 0a 09 61 73 73 th == 3 );...ass
1990: 65 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 ert( prog[0] ==
19a0: 73 30 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 s0 );...assert(
19b0: 70 72 6f 67 5b 31 5d 20 3d 3d 20 73 31 20 29 3b prog[1] == s1 );
19c0: 0d 0a 09 61 73 73 65 72 74 28 20 70 72 6f 67 5b ...assert( prog[
19d0: 32 5d 20 3d 3d 20 73 32 20 29 3b 0d 0a 7d 0d 0a 2] == s2 );..}..
19e0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
19f0: 61 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46 auto p = parserF
1a00: 72 6f 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 romString(`....v
1a10: 61 72 20 66 20 3d 20 66 75 6e 28 78 2c 79 29 7b ar f = fun(x,y){
1a20: 78 2b 79 3b 7d 3b 0d 0a 09 09 66 28 31 2c 66 75 x+y;};....f(1,fu
1a30: 6e 28 61 62 63 29 7b 7d 28 34 29 29 3b 0d 0a 09 n(abc){}(4));...
1a40: 60 29 3b 0d 0a 09 50 72 6f 67 72 61 6d 20 70 72 `);...Program pr
1a50: 6f 67 20 3d 20 70 2e 70 61 72 73 65 50 72 6f 67 og = p.parseProg
1a60: 72 61 6d 28 29 3b 0d 0a 09 61 73 73 65 72 74 28 ram();...assert(
1a70: 20 70 72 6f 67 2e 6c 65 6e 67 74 68 20 3d 3d 20 prog.length ==
1a80: 32 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 2 );...assert( p
1a90: 72 6f 67 5b 30 5d 20 3d 3d 20 6e 65 77 20 44 65 rog[0] == new De
1aa0: 63 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c clStatement(null
1ab0: 2c 20 22 66 22 2c 20 6e 65 77 20 46 75 6e 4c 69 , "f", new FunLi
1ac0: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 teralExpression(
1ad0: 6e 75 6c 6c 2c 0d 0a 09 09 5b 22 78 22 2c 22 79 null,....["x","y
1ae0: 22 5d 2c 20 5b 6e 65 77 20 45 78 70 72 53 74 61 "], [new ExprSta
1af0: 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 0d 0a 09 09 tement(null,....
1b00: 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 .new FuncallExpr
1b10: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 ession(null, new
1b20: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
1b30: 75 6c 6c 2c 20 22 2b 22 29 2c 0d 0a 09 09 09 6e ull, "+"),.....n
1b40: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1b50: 28 6e 75 6c 6c 2c 20 22 78 22 29 2c 20 6e 65 77 (null, "x"), new
1b60: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
1b70: 75 6c 6c 2c 20 22 79 22 29 29 29 5d 0d 0a 09 09 ull, "y")))]....
1b80: 09 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 .)));...assert(
1b90: 70 72 6f 67 5b 31 5d 20 3d 3d 20 6e 65 77 20 45 prog[1] == new E
1ba0: 78 70 72 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c xprStatement(nul
1bb0: 6c 2c 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 l, new FuncallEx
1bc0: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a pression(null,..
1bd0: 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 ..new VarExpress
1be0: 69 6f 6e 28 6e 75 6c 6c 2c 20 22 66 22 29 2c 0d ion(null, "f"),.
1bf0: 0a 09 09 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 ...new IntLitera
1c00: 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c lExpression(null
1c10: 2c 20 42 69 67 49 6e 74 28 31 29 29 2c 0d 0a 09 , BigInt(1)),...
1c20: 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 .new FuncallExpr
1c30: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 ession(null,....
1c40: 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 .new FunLiteralE
1c50: 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 xpression(null,
1c60: 5b 22 61 62 63 22 5d 2c 20 5b 0d 0a 09 09 09 5d ["abc"], [.....]
1c70: 29 2c 0d 0a 09 09 09 6e 65 77 20 49 6e 74 4c 69 ),.....new IntLi
1c80: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 teralExpression(
1c90: 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 34 29 29 null, BigInt(4))
1ca0: 0d 0a 09 09 09 29 29 29 29 3b 0d 0a 7d 0d 0a 75 .....))));..}..u
1cb0: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 nittest..{...aut
1cc0: 6f 20 70 20 3d 20 70 61 72 73 65 72 46 72 6f 6d o p = parserFrom
1cd0: 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 String(`var x =
1ce0: 31 3b 20 76 61 72 20 66 20 3d 20 66 75 6e 28 29 1; var f = fun()
1cf0: 7b 78 3d 78 2b 31 3b 7d 3b 20 66 28 29 3b 20 66 {x=x+1;}; f(); f
1d00: 28 29 3b 20 78 3b 60 29 3b 0d 0a 09 50 72 6f 67 (); x;`);...Prog
1d10: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 ram prog = p.par
1d20: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 7d seProgram();..}