Artifact 6a76d51cc68a610b014d1ec92d583c65ff948177:
0000: ef bb bf 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 ...module polemy
0010: 2e 70 61 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 .parse;..import
0020: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0d polemy._common;.
0030: 0a 2f 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 3a 20 ./*.. * Author:
0040: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0050: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0060: 32 20 28 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 2 (http://www.km
0070: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a onos.net/nysl/..
0080: 20 2a 20 20 20 50 61 72 73 65 72 20 66 6f 72 20 * Parser for
0090: 74 68 65 20 70 6f 6c 65 6d 79 20 70 72 6f 67 72 the polemy progr
00a0: 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 0d amming language.
00b0: 0a 20 2a 2f 0d 0a 0d 0a 69 6d 70 6f 72 74 20 70 . */....import p
00c0: 6f 6c 65 6d 79 2e 6c 65 78 3b 0d 0a 69 6d 70 6f olemy.lex;..impo
00d0: 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a rt polemy.ast;..
00e0: 69 6d 70 6f 72 74 20 73 74 64 2e 62 69 67 69 6e import std.bigin
00f0: 74 3b 0d 0a 0d 0a 2f 2f 2f 20 50 61 72 73 69 6e t;..../// Parsin
0100: 67 20 46 61 69 6c 75 72 65 0d 0a 0d 0a 63 6c 61 g Failure....cla
0110: 73 73 20 50 61 72 73 65 72 45 78 63 65 70 74 69 ss ParserExcepti
0120: 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f 6e 0d 0a on : Exception..
0130: 7b 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 74 68 {..private:...th
0140: 69 73 28 73 74 72 69 6e 67 20 6d 73 67 29 20 7b is(string msg) {
0150: 20 73 75 70 65 72 28 6d 73 67 29 3b 20 7d 0d 0a super(msg); }..
0160: 09 73 74 61 74 69 63 20 50 61 72 73 65 72 45 78 .static ParserEx
0170: 63 65 70 74 69 6f 6e 20 63 72 65 61 74 65 28 4c ception create(L
0180: 65 78 65 72 29 28 4c 65 78 65 72 20 6c 65 78 2c exer)(Lexer lex,
0190: 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 7b string msg)...{
01a0: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 50 ....return new P
01b0: 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 28 73 arserException(s
01c0: 70 72 69 6e 74 66 21 22 5b 25 73 5d 20 25 73 22 printf!"[%s] %s"
01d0: 28 0d 0a 09 09 09 6c 65 78 2e 65 6d 70 74 79 20 (.....lex.empty
01e0: 3f 20 22 45 4f 46 22 20 3a 20 74 6f 21 73 74 72 ? "EOF" : to!str
01f0: 69 6e 67 28 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f ing(lex.front.po
0200: 73 29 2c 20 6d 73 67 29 29 3b 0d 0a 09 7d 0d 0a s), msg));...}..
0210: 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 }..../// Named C
0220: 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 50 61 onstructor of Pa
0230: 72 73 65 72 0d 0a 0d 0a 61 75 74 6f 20 70 61 72 rser....auto par
0240: 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 4c 65 78 serFromLexer(Lex
0250: 65 72 29 28 4c 65 78 65 72 20 6c 65 78 29 0d 0a er)(Lexer lex)..
0260: 7b 0d 0a 09 72 65 74 75 72 6e 20 6e 65 77 20 50 {...return new P
0270: 61 72 73 65 72 21 4c 65 78 65 72 28 6c 65 78 29 arser!Lexer(lex)
0280: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 ;..}..../// Name
0290: 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 d Constructor of
02a0: 20 50 61 72 73 65 72 20 28 6a 75 73 74 20 66 77 Parser (just fw
02b0: 64 20 74 6f 20 6c 65 78 65 72 46 72 6f 6d 53 74 d to lexerFromSt
02c0: 72 69 6e 67 29 0d 0a 0d 0a 61 75 74 6f 20 70 61 ring)....auto pa
02d0: 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 54 rserFromString(T
02e0: 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0d 0a ...)(T params)..
02f0: 7b 0d 0a 09 72 65 74 75 72 6e 20 70 61 72 73 65 {...return parse
0300: 72 46 72 6f 6d 4c 65 78 65 72 28 70 6f 6c 65 6d rFromLexer(polem
0310: 79 2e 6c 65 78 2e 6c 65 78 65 72 46 72 6f 6d 53 y.lex.lexerFromS
0320: 74 72 69 6e 67 28 70 61 72 61 6d 73 29 29 3b 0d tring(params));.
0330: 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 .}..../// Named
0340: 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 50 Constructor of P
0350: 61 72 73 65 72 20 28 6a 75 73 74 20 66 77 64 20 arser (just fwd
0360: 74 6f 20 6c 65 78 65 72 46 72 6f 6d 46 69 6c 65 to lexerFromFile
0370: 29 0d 0a 0d 0a 61 75 74 6f 20 70 61 72 73 65 72 )....auto parser
0380: 46 72 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 FromFile(T...)(T
0390: 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 72 65 params)..{...re
03a0: 74 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c turn parserFromL
03b0: 65 78 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e exer(polemy.lex.
03c0: 6c 65 78 65 72 46 72 6f 6d 46 69 6c 65 28 70 61 lexerFromFile(pa
03d0: 72 61 6d 73 29 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f rams));..}....//
03e0: 2f 20 50 61 72 73 65 72 0d 0a 0d 0a 63 6c 61 73 / Parser....clas
03f0: 73 20 50 61 72 73 65 72 28 4c 65 78 65 72 29 0d s Parser(Lexer).
0400: 0a 7b 0d 0a 09 74 68 69 73 28 4c 65 78 65 72 20 .{...this(Lexer
0410: 6c 65 78 29 0d 0a 09 7b 0d 0a 09 09 74 68 69 73 lex)...{....this
0420: 2e 6c 65 78 20 3d 20 6c 65 78 3b 0d 0a 09 7d 0d .lex = lex;...}.
0430: 0a 0d 0a 09 50 72 6f 67 72 61 6d 20 70 61 72 73 ....Program pars
0440: 65 50 72 6f 67 72 61 6d 28 29 0d 0a 09 7b 0d 0a eProgram()...{..
0450: 09 09 50 72 6f 67 72 61 6d 20 70 3b 0d 0a 09 09 ..Program p;....
0460: 77 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 while( !lex.empt
0470: 79 20 29 0d 0a 09 09 09 70 20 7e 3d 20 70 61 72 y ).....p ~= par
0480: 73 65 53 74 61 74 65 6d 65 6e 74 28 29 3b 0d 0a seStatement();..
0490: 09 09 72 65 74 75 72 6e 20 70 3b 0d 0a 09 7d 0d ..return p;...}.
04a0: 0a 09 0d 0a 09 53 74 61 74 65 6d 65 6e 74 20 70 .....Statement p
04b0: 61 72 73 65 53 74 61 74 65 6d 65 6e 74 28 29 0d arseStatement().
04c0: 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 73 61 76 65 ..{....auto save
04d0: 64 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 d = lex.save;...
04e0: 09 73 63 6f 70 65 28 66 61 69 6c 75 72 65 29 20 .scope(failure)
04f0: 6c 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 0d 0a lex = saved;....
0500: 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 ..if( lex.empty
0510: 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 ).....throw new
0520: 50 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 28 ParserException(
0530: 22 45 4f 46 20 64 75 72 69 6e 67 20 70 61 72 73 "EOF during pars
0540: 69 6e 67 20 61 20 73 74 61 74 65 6d 65 6e 74 22 ing a statement"
0550: 29 3b 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d );....auto pos =
0560: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d lex.front.pos;.
0570: 0a 0d 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f .....if( lex.fro
0580: 6e 74 2e 6b 69 6e 64 3d 3d 54 6f 6b 65 6e 2e 4b nt.kind==Token.K
0590: 69 6e 64 2e 69 64 65 6e 74 69 66 69 65 72 20 26 ind.identifier &
05a0: 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3d & lex.front.str=
05b0: 3d 22 76 61 72 22 20 29 0d 0a 09 09 7b 0d 0a 09 ="var" )....{...
05c0: 09 09 2f 2f 20 22 76 61 72 22 20 56 61 72 20 22 ..// "var" Var "
05d0: 3d 22 20 45 78 70 72 65 73 73 69 6f 6e 20 22 3b =" Expression ";
05e0: 22 0d 0a 09 09 09 6c 65 78 2e 70 6f 70 46 72 6f ".....lex.popFro
05f0: 6e 74 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 76 nt;.....string v
0600: 61 72 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 ar = lex.front.s
0610: 74 72 3b 0d 0a 09 09 09 6c 65 78 2e 70 6f 70 46 tr;.....lex.popF
0620: 72 6f 6e 74 3b 0d 0a 09 09 09 65 61 74 28 22 3d ront;.....eat("=
0630: 22 2c 20 22 66 6f 72 20 76 61 72 69 61 62 6c 65 ", "for variable
0640: 20 64 65 63 6c 61 72 61 74 69 6f 6e 22 29 3b 0d declaration");.
0650: 0a 09 09 09 61 75 74 6f 20 70 61 72 73 65 64 20 ....auto parsed
0660: 3d 20 6e 65 77 20 44 65 63 6c 53 74 61 74 65 6d = new DeclStatem
0670: 65 6e 74 28 70 6f 73 2c 20 76 61 72 2c 20 70 61 ent(pos, var, pa
0680: 72 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 29 rseExpression())
0690: 3b 0d 0a 09 09 09 65 61 74 28 22 3b 22 2c 20 22 ;.....eat(";", "
06a0: 61 66 74 65 72 20 76 61 72 69 61 62 6c 65 20 64 after variable d
06b0: 65 63 6c 61 72 61 74 69 6f 6e 22 29 3b 0d 0a 09 eclaration");...
06c0: 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 64 3b ..return parsed;
06d0: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
06e0: 09 7b 0d 0a 09 09 09 2f 2f 20 45 78 70 72 65 73 .{.....// Expres
06f0: 73 69 6f 6e 20 22 3b 22 0d 0a 09 09 09 61 75 74 sion ";".....aut
0700: 6f 20 70 61 72 73 65 64 20 3d 20 6e 65 77 20 45 o parsed = new E
0710: 78 70 72 53 74 61 74 65 6d 65 6e 74 28 70 6f 73 xprStatement(pos
0720: 2c 20 70 61 72 73 65 45 78 70 72 65 73 73 69 6f , parseExpressio
0730: 6e 28 29 29 3b 0d 0a 09 09 09 65 61 74 28 22 3b n());.....eat(";
0740: 22 2c 20 22 61 66 74 65 72 20 73 74 61 74 65 6d ", "after statem
0750: 65 6e 74 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 ent");.....retur
0760: 6e 20 70 61 72 73 65 64 3b 0d 0a 09 09 7d 0d 0a n parsed;....}..
0770: 09 7d 0d 0a 0d 0a 09 45 78 70 72 65 73 73 69 6f .}.....Expressio
0780: 6e 20 70 61 72 73 65 45 78 70 72 65 73 73 69 6f n parseExpressio
0790: 6e 28 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 n()...{....auto
07a0: 73 61 76 65 64 20 3d 20 6c 65 78 2e 73 61 76 65 saved = lex.save
07b0: 3b 0d 0a 09 09 73 63 6f 70 65 28 66 61 69 6c 75 ;....scope(failu
07c0: 72 65 29 20 6c 65 78 20 3d 20 73 61 76 65 64 3b re) lex = saved;
07d0: 0d 0a 0d 0a 09 09 2f 2f 20 45 78 70 72 20 3a 3a ......// Expr ::
07e0: 3d 20 45 30 0d 0a 09 09 2f 2f 20 45 30 20 3a 3a = E0....// E0 ::
07f0: 3d 20 28 45 31 20 22 3d 22 29 2a 20 45 31 0d 0a = (E1 "=")* E1..
0800: 09 09 2f 2f 20 45 31 20 3a 3a 3d 20 28 45 32 20 ..// E1 ::= (E2
0810: 22 2b 22 7c 22 2d 22 29 2a 20 45 32 0d 0a 09 09 "+"|"-")* E2....
0820: 2f 2f 20 45 32 20 3a 3a 3d 20 28 45 33 20 22 2a // E2 ::= (E3 "*
0830: 22 7c 22 2f 22 29 2a 20 45 33 0d 0a 09 09 2f 2f "|"/")* E3....//
0840: 20 45 33 20 3a 3a 3d 20 69 6e 74 20 7c 20 73 74 E3 ::= int | st
0850: 72 20 7c 20 69 64 20 7c 20 22 28 22 20 45 78 70 r | id | "(" Exp
0860: 72 20 22 29 22 0d 0a 0d 0a 09 09 72 65 74 75 72 r ")"......retur
0870: 6e 20 70 61 72 73 65 45 30 28 29 3b 0d 0a 09 7d n parseE0();...}
0880: 0d 0a 0d 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 .....Expression
0890: 70 61 72 73 65 45 30 28 29 0d 0a 09 7b 0d 0a 09 parseE0()...{...
08a0: 09 61 75 74 6f 20 6c 68 73 20 3d 20 70 61 72 73 .auto lhs = pars
08b0: 65 45 31 28 29 3b 0d 0a 09 09 69 66 28 20 74 72 eE1();....if( tr
08c0: 79 45 61 74 28 22 3d 22 29 20 29 0d 0a 09 09 09 yEat("=") ).....
08d0: 6c 68 73 20 3d 20 6e 65 77 20 42 69 6e 4f 70 45 lhs = new BinOpE
08e0: 78 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e 70 6f xpression(lhs.po
08f0: 73 2c 20 22 3d 22 2c 20 6c 68 73 2c 20 70 61 72 s, "=", lhs, par
0900: 73 65 45 30 28 29 29 3b 0d 0a 09 09 72 65 74 75 seE0());....retu
0910: 72 6e 20 6c 68 73 3b 0d 0a 09 7d 0d 0a 0d 0a 09 rn lhs;...}.....
0920: 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73 65 Expression parse
0930: 45 31 28 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 28 E1()...{....for(
0940: 61 75 74 6f 20 6c 68 73 20 3d 20 70 61 72 73 65 auto lhs = parse
0950: 45 32 28 29 3b 3b 29 0d 0a 09 09 7b 0d 0a 09 09 E2();;)....{....
0960: 09 69 66 28 20 74 72 79 45 61 74 28 22 2b 22 29 .if( tryEat("+")
0970: 20 29 0d 0a 09 09 09 09 6c 68 73 20 3d 20 6e 65 )......lhs = ne
0980: 77 20 42 69 6e 4f 70 45 78 70 72 65 73 73 69 6f w BinOpExpressio
0990: 6e 28 6c 68 73 2e 70 6f 73 2c 20 22 2b 22 2c 20 n(lhs.pos, "+",
09a0: 6c 68 73 2c 20 70 61 72 73 65 45 32 28 29 29 3b lhs, parseE2());
09b0: 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 20 74 72 .....else if( tr
09c0: 79 45 61 74 28 22 2d 22 29 20 29 0d 0a 09 09 09 yEat("-") ).....
09d0: 09 6c 68 73 20 3d 20 6e 65 77 20 42 69 6e 4f 70 .lhs = new BinOp
09e0: 45 78 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e 70 Expression(lhs.p
09f0: 6f 73 2c 20 22 2d 22 2c 20 6c 68 73 2c 20 70 61 os, "-", lhs, pa
0a00: 72 73 65 45 32 28 29 29 3b 0d 0a 09 09 09 65 6c rseE2());.....el
0a10: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6c se......return l
0a20: 68 73 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a hs;....}...}....
0a30: 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73 .Expression pars
0a40: 65 45 32 28 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 eE2()...{....for
0a50: 28 61 75 74 6f 20 6c 68 73 20 3d 20 70 61 72 73 (auto lhs = pars
0a60: 65 45 33 28 29 3b 3b 29 0d 0a 09 09 7b 0d 0a 09 eE3();;)....{...
0a70: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 2a 22 ..if( tryEat("*"
0a80: 29 20 29 0d 0a 09 09 09 09 6c 68 73 20 3d 20 6e ) )......lhs = n
0a90: 65 77 20 42 69 6e 4f 70 45 78 70 72 65 73 73 69 ew BinOpExpressi
0aa0: 6f 6e 28 6c 68 73 2e 70 6f 73 2c 20 22 2a 22 2c on(lhs.pos, "*",
0ab0: 20 6c 68 73 2c 20 70 61 72 73 65 45 33 28 29 29 lhs, parseE3())
0ac0: 3b 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 20 74 ;.....else if( t
0ad0: 72 79 45 61 74 28 22 2f 22 29 20 29 0d 0a 09 09 ryEat("/") )....
0ae0: 09 09 6c 68 73 20 3d 20 6e 65 77 20 42 69 6e 4f ..lhs = new BinO
0af0: 70 45 78 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e pExpression(lhs.
0b00: 70 6f 73 2c 20 22 2f 22 2c 20 6c 68 73 2c 20 70 pos, "/", lhs, p
0b10: 61 72 73 65 45 33 28 29 29 3b 0d 0a 09 09 09 65 arseE3());.....e
0b20: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
0b30: 6c 68 73 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d lhs;....}...}...
0b40: 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 ..Expression par
0b50: 73 65 45 33 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 seE3()...{....if
0b60: 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 ( lex.empty )...
0b70: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 61 72 73 ..throw new Pars
0b80: 65 72 45 78 63 65 70 74 69 6f 6e 28 22 45 4f 46 erException("EOF
0b90: 20 64 75 72 69 6e 67 20 70 61 72 73 69 6e 67 20 during parsing
0ba0: 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b an expression");
0bb0: 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c ....auto pos = l
0bc0: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 0d ex.front.pos;...
0bd0: 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 ...if( lex.front
0be0: 2e 6b 69 6e 64 20 3d 3d 20 54 6f 6b 65 6e 2e 4b .kind == Token.K
0bf0: 69 6e 64 2e 6e 75 6d 62 65 72 20 29 0d 0a 09 09 ind.number )....
0c00: 7b 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 {.....scope(exit
0c10: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ) lex.popFront;.
0c20: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
0c30: 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 ntLiteralExpress
0c40: 69 6f 6e 28 70 6f 73 2c 20 42 69 67 49 6e 74 28 ion(pos, BigInt(
0c50: 63 61 73 74 28 73 74 72 69 6e 67 29 6c 65 78 2e cast(string)lex.
0c60: 66 72 6f 6e 74 2e 73 74 72 29 29 3b 0d 0a 09 09 front.str));....
0c70: 7d 0d 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f }....if( lex.fro
0c80: 6e 74 2e 6b 69 6e 64 20 3d 3d 20 54 6f 6b 65 6e nt.kind == Token
0c90: 2e 4b 69 6e 64 2e 73 74 72 69 6e 67 4c 69 74 65 .Kind.stringLite
0ca0: 72 61 6c 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 ral )....{.....s
0cb0: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
0cc0: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 opFront;.....ret
0cd0: 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 urn new StrLiter
0ce0: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 alExpression(pos
0cf0: 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 , lex.front.str)
0d00: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 ;....}....if( tr
0d10: 79 45 61 74 28 22 28 22 29 20 29 0d 0a 09 09 7b yEat("(") )....{
0d20: 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 70 61 .....auto e = pa
0d30: 72 73 65 45 30 28 29 3b 0d 0a 09 09 09 65 61 74 rseE0();.....eat
0d40: 28 22 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 (")", "after par
0d50: 65 6e 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 enthesized expre
0d60: 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 ssion");.....ret
0d70: 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 73 urn e;....}....s
0d80: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
0d90: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 opFront;....retu
0da0: 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 rn new VarExpres
0db0: 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 sion(pos, lex.fr
0dc0: 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d ont.str);...}...
0dd0: 0a 70 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 .private:...Lexe
0de0: 72 20 6c 65 78 3b 0d 0a 0d 0a 09 76 6f 69 64 20 r lex;.....void
0df0: 65 61 74 28 73 74 72 69 6e 67 20 6b 77 64 2c 20 eat(string kwd,
0e00: 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 29 lazy string msg)
0e10: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 21 74 72 79 ...{....if( !try
0e20: 45 61 74 28 6b 77 64 29 20 29 0d 0a 09 09 7b 0d Eat(kwd) )....{.
0e30: 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61 72 ....auto e = Par
0e40: 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72 65 serException.cre
0e50: 61 74 65 28 6c 65 78 2c 20 22 27 22 7e 6b 77 64 ate(lex, "'"~kwd
0e60: 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 64 20 ~"' is expected
0e70: 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 0d 0a "~msg~" but '"..
0e80: 09 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 ....~(lex.empty
0e90: 3f 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 ? "EOF" : lex.fr
0ea0: 6f 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 ont.str)~"' occu
0eb0: 72 65 64 22 29 3b 0d 0a 09 09 09 74 68 72 6f 77 red");.....throw
0ec0: 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a e;....}...}....
0ed0: 09 62 6f 6f 6c 20 74 72 79 45 61 74 28 73 74 72 .bool tryEat(str
0ee0: 69 6e 67 20 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 ing kwd)...{....
0ef0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c if( lex.empty ||
0f00: 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 21 lex.front.kind!
0f10: 3d 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 69 64 65 6e =Token.Kind.iden
0f20: 74 69 66 69 65 72 20 7c 7c 20 6c 65 78 2e 66 72 tifier || lex.fr
0f30: 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a ont.str!=kwd )..
0f40: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
0f50: 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 ....lex.popFront
0f60: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 ;....return true
0f70: 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 ;...}..}....unit
0f80: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 70 test..{...auto p
0f90: 20 3d 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 = parserFromStr
0fa0: 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 78 20 3d ing(`....var x =
0fb0: 20 31 30 30 3b 0d 0a 09 09 76 61 72 20 79 20 3d 100;....var y =
0fc0: 20 32 30 30 3b 0d 0a 09 60 29 3b 0d 0a 09 50 72 200;...`);...Pr
0fd0: 6f 67 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 ogram prog = p.p
0fe0: 61 72 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a arseProgram();..
0ff0: 09 61 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 .assert( prog.le
1000: 6e 67 74 68 20 3d 3d 20 32 20 29 3b 0d 0a 09 61 ngth == 2 );...a
1010: 75 74 6f 20 70 30 20 3d 20 63 61 73 74 28 44 65 uto p0 = cast(De
1020: 63 6c 53 74 61 74 65 6d 65 6e 74 29 70 72 6f 67 clStatement)prog
1030: 5b 30 5d 3b 0d 0a 09 61 75 74 6f 20 70 31 20 3d [0];...auto p1 =
1040: 20 63 61 73 74 28 44 65 63 6c 53 74 61 74 65 6d cast(DeclStatem
1050: 65 6e 74 29 70 72 6f 67 5b 31 5d 3b 0d 0a 09 61 ent)prog[1];...a
1060: 73 73 65 72 74 28 20 70 30 2e 76 61 72 20 3d 3d ssert( p0.var ==
1070: 20 22 78 22 20 29 3b 0d 0a 09 61 73 73 65 72 74 "x" );...assert
1080: 28 20 70 31 2e 76 61 72 20 3d 3d 20 22 79 22 20 ( p1.var == "y"
1090: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 28 63 61 );...assert( (ca
10a0: 73 74 28 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 st(IntLiteralExp
10b0: 72 65 73 73 69 6f 6e 29 70 30 2e 65 78 70 72 29 ression)p0.expr)
10c0: 2e 64 61 74 61 20 3d 3d 20 31 30 30 20 29 3b 0d .data == 100 );.
10d0: 0a 09 61 73 73 65 72 74 28 20 28 63 61 73 74 28 ..assert( (cast(
10e0: 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 IntLiteralExpres
10f0: 73 69 6f 6e 29 70 31 2e 65 78 70 72 29 2e 64 61 sion)p1.expr).da
1100: 74 61 20 3d 3d 20 32 30 30 20 29 3b 0d 0a 7d 0d ta == 200 );..}.
1110: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
1120: 09 61 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 .auto p = parser
1130: 46 72 6f 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 FromString(`....
1140: 76 61 72 20 7a 7a 7a 20 3d 20 31 30 30 3b 20 23 var zzz = 100; #
1150: 20 63 6f 6d 6d 65 6e 74 0d 0a 09 09 7a 7a 7a 20 comment....zzz
1160: 3d 20 7a 7a 7a 20 2b 20 7a 7a 7a 20 2a 20 22 66 = zzz + zzz * "f
1170: 6f 5c 6e 6f 22 3b 20 23 20 63 6f 6d 6d 65 6e 74 o\no"; # comment
1180: 0d 0a 09 09 09 34 32 3b 0d 0a 09 60 29 3b 0d 0a .....42;...`);..
1190: 09 0d 0a 09 61 75 74 6f 20 73 30 20 3d 20 6e 65 ....auto s0 = ne
11a0: 77 20 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 w DeclStatement(
11b0: 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 2c 20 6e 65 77 null, "zzz", new
11c0: 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 IntLiteralExpre
11d0: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 ssion(null, BigI
11e0: 6e 74 28 31 30 30 29 29 29 3b 0d 0a 09 61 75 74 nt(100)));...aut
11f0: 6f 20 73 31 20 3d 20 6e 65 77 20 45 78 70 72 53 o s1 = new ExprS
1200: 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e tatement(null, n
1210: 65 77 20 42 69 6e 4f 70 45 78 70 72 65 73 73 69 ew BinOpExpressi
1220: 6f 6e 28 6e 75 6c 6c 2c 20 22 3d 22 2c 0d 0a 09 on(null, "=",...
1230: 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 .new VarExpressi
1240: 6f 6e 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c on(null, "zzz"),
1250: 0d 0a 09 09 6e 65 77 20 42 69 6e 4f 70 45 78 70 ....new BinOpExp
1260: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 2b ression(null, "+
1270: 22 2c 0d 0a 09 09 09 6e 65 77 20 56 61 72 45 78 ",.....new VarEx
1280: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 pression(null, "
1290: 7a 7a 7a 22 29 2c 0d 0a 09 09 09 6e 65 77 20 42 zzz"),.....new B
12a0: 69 6e 4f 70 45 78 70 72 65 73 73 69 6f 6e 28 6e inOpExpression(n
12b0: 75 6c 6c 2c 20 22 2a 22 2c 0d 0a 09 09 09 09 6e ull, "*",......n
12c0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
12d0: 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a (null, "zzz"),..
12e0: 09 09 09 09 6e 65 77 20 53 74 72 4c 69 74 65 72 ....new StrLiter
12f0: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c alExpression(nul
1300: 6c 2c 20 22 66 6f 5c 5c 6e 6f 22 29 0d 0a 09 09 l, "fo\\no")....
1310: 09 09 29 29 29 29 3b 0d 0a 09 61 75 74 6f 20 73 ..))));...auto s
1320: 32 20 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 2 = new ExprStat
1330: 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 ement(null, new
1340: 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 IntLiteralExpres
1350: 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e sion(null, BigIn
1360: 74 28 34 32 29 29 29 3b 0d 0a 09 0d 0a 09 50 72 t(42)));......Pr
1370: 6f 67 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 ogram prog = p.p
1380: 61 72 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a arseProgram();..
1390: 09 61 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 .assert( prog.le
13a0: 6e 67 74 68 20 3d 3d 20 33 20 29 3b 0d 0a 09 61 ngth == 3 );...a
13b0: 73 73 65 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d ssert( prog[0] =
13c0: 3d 20 73 30 20 29 3b 0d 0a 09 61 73 73 65 72 74 = s0 );...assert
13d0: 28 20 70 72 6f 67 5b 31 5d 20 3d 3d 20 73 31 20 ( prog[1] == s1
13e0: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 72 6f );...assert( pro
13f0: 67 5b 32 5d 20 3d 3d 20 73 32 20 29 3b 0d 0a 7d g[2] == s2 );..}
1400: 0d 0a ..