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 20 3d 20 70 61 72 73 65 53 ogram p = parseS
0460: 74 61 74 65 6d 65 6e 74 73 28 29 3b 0d 0a 09 09 tatements();....
0470: 69 66 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 if( !lex.empty )
0480: 20 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 {.....auto e =
0490: 50 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e ParserException.
04a0: 63 72 65 61 74 65 28 6c 65 78 2c 20 22 63 61 6e create(lex, "can
04b0: 6e 6f 74 20 72 65 61 63 68 20 65 6f 66 22 29 3b not reach eof");
04c0: 0d 0a 09 09 09 74 68 72 6f 77 20 65 3b 0d 0a 09 .....throw e;...
04d0: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 70 3b 0d .}....return p;.
04e0: 0a 09 7d 0d 0a 0d 0a 09 50 72 6f 67 72 61 6d 20 ..}.....Program
04f0: 70 61 72 73 65 53 74 61 74 65 6d 65 6e 74 73 28 parseStatements(
0500: 29 0d 0a 09 7b 0d 0a 09 09 50 72 6f 67 72 61 6d )...{....Program
0510: 20 70 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 6c p;....while( !l
0520: 65 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 ex.empty && (lex
0530: 2e 66 72 6f 6e 74 2e 6b 69 6e 64 21 3d 54 6f 6b .front.kind!=Tok
0540: 65 6e 2e 4b 69 6e 64 2e 69 64 65 6e 74 69 66 69 en.Kind.identifi
0550: 65 72 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e er || lex.front.
0560: 73 74 72 21 3d 22 7d 22 29 20 29 0d 0a 09 09 09 str!="}") ).....
0570: 70 20 7e 3d 20 70 61 72 73 65 53 74 61 74 65 6d p ~= parseStatem
0580: 65 6e 74 28 29 3b 0d 0a 09 09 72 65 74 75 72 6e ent();....return
0590: 20 70 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 53 74 61 p;...}......Sta
05a0: 74 65 6d 65 6e 74 20 70 61 72 73 65 53 74 61 74 tement parseStat
05b0: 65 6d 65 6e 74 28 29 0d 0a 09 7b 0d 0a 09 09 61 ement()...{....a
05c0: 75 74 6f 20 73 61 76 65 64 20 3d 20 6c 65 78 2e uto saved = lex.
05d0: 73 61 76 65 3b 0d 0a 09 09 73 63 6f 70 65 28 66 save;....scope(f
05e0: 61 69 6c 75 72 65 29 20 6c 65 78 20 3d 20 73 61 ailure) lex = sa
05f0: 76 65 64 3b 0d 0a 0d 0a 09 09 69 66 28 20 6c 65 ved;......if( le
0600: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
0610: 72 6f 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 row new ParserEx
0620: 63 65 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 ception("EOF dur
0630: 69 6e 67 20 70 61 72 73 69 6e 67 20 61 20 73 74 ing parsing a st
0640: 61 74 65 6d 65 6e 74 22 29 3b 0d 0a 09 09 61 75 atement");....au
0650: 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f to pos = lex.fro
0660: 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 09 69 66 28 nt.pos;......if(
0670: 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 3d lex.front.kind=
0680: 3d 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 69 64 65 6e =Token.Kind.iden
0690: 74 69 66 69 65 72 20 26 26 20 6c 65 78 2e 66 72 tifier && lex.fr
06a0: 6f 6e 74 2e 73 74 72 3d 3d 22 76 61 72 22 20 29 ont.str=="var" )
06b0: 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 22 76 61 ....{.....// "va
06c0: 72 22 20 56 61 72 20 22 3d 22 20 45 78 70 72 65 r" Var "=" Expre
06d0: 73 73 69 6f 6e 20 22 3b 22 0d 0a 09 09 09 6c 65 ssion ";".....le
06e0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 x.popFront;.....
06f0: 73 74 72 69 6e 67 20 76 61 72 20 3d 20 6c 65 78 string var = lex
0700: 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 09 .front.str;.....
0710: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
0720: 09 09 65 61 74 28 22 3d 22 2c 20 22 66 6f 72 20 ..eat("=", "for
0730: 76 61 72 69 61 62 6c 65 20 64 65 63 6c 61 72 61 variable declara
0740: 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f tion");.....auto
0750: 20 70 61 72 73 65 64 20 3d 20 6e 65 77 20 44 65 parsed = new De
0760: 63 6c 53 74 61 74 65 6d 65 6e 74 28 70 6f 73 2c clStatement(pos,
0770: 20 76 61 72 2c 20 70 61 72 73 65 45 78 70 72 65 var, parseExpre
0780: 73 73 69 6f 6e 28 29 29 3b 0d 0a 09 09 09 65 61 ssion());.....ea
0790: 74 28 22 3b 22 2c 20 22 61 66 74 65 72 20 76 61 t(";", "after va
07a0: 72 69 61 62 6c 65 20 64 65 63 6c 61 72 61 74 69 riable declarati
07b0: 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e on");.....return
07c0: 20 70 61 72 73 65 64 3b 0d 0a 09 09 7d 0d 0a 09 parsed;....}...
07d0: 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 2f .else....{...../
07e0: 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 22 3b 22 / Expression ";"
07f0: 0d 0a 09 09 09 61 75 74 6f 20 70 61 72 73 65 64 .....auto parsed
0800: 20 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 65 = new ExprState
0810: 6d 65 6e 74 28 70 6f 73 2c 20 70 61 72 73 65 45 ment(pos, parseE
0820: 78 70 72 65 73 73 69 6f 6e 28 29 29 3b 0d 0a 09 xpression());...
0830: 09 09 65 61 74 28 22 3b 22 2c 20 22 61 66 74 65 ..eat(";", "afte
0840: 72 20 73 74 61 74 65 6d 65 6e 74 22 29 3b 0d 0a r statement");..
0850: 09 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 64 ...return parsed
0860: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 45 ;....}...}.....E
0870: 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73 65 45 xpression parseE
0880: 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d xpression()...{.
0890: 0a 09 09 61 75 74 6f 20 73 61 76 65 64 20 3d 20 ...auto saved =
08a0: 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 73 63 6f lex.save;....sco
08b0: 70 65 28 66 61 69 6c 75 72 65 29 20 6c 65 78 20 pe(failure) lex
08c0: 3d 20 73 61 76 65 64 3b 0d 0a 09 09 72 65 74 75 = saved;....retu
08d0: 72 6e 20 70 61 72 73 65 45 28 30 29 3b 0d 0a 09 rn parseE(0);...
08e0: 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d 20 }.....// [TODO]
08f0: 6d 75 6c 74 69 2d 63 68 61 72 20 6f 70 65 72 61 multi-char opera
0900: 74 6f 72 73 20 61 72 65 20 6e 6f 74 20 73 75 70 tors are not sup
0910: 70 6f 72 74 65 64 20 62 79 20 74 68 65 20 6c 65 ported by the le
0920: 78 65 72 2e 2e 2e 0d 0a 09 73 74 61 74 69 63 20 xer......static
0930: 69 6d 6d 75 74 61 62 6c 65 20 73 74 72 69 6e 67 immutable string
0940: 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 65 [][] operator_pe
0950: 72 66 65 72 65 6e 63 65 73 20 3d 20 5b 0d 0a 09 rferences = [...
0960: 09 5b 22 3d 22 5d 2c 0d 0a 09 09 5b 22 6f 72 22 .["="],....["or"
0970: 5d 2c 0d 0a 09 09 5b 22 61 6e 64 22 5d 2c 0d 0a ],....["and"],..
0980: 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 09 5b 22 3d ..["!="],....["=
0990: 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 2c 22 3c 3d ="],....["<","<=
09a0: 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0d 0a 09 09 ",">",">="],....
09b0: 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 5e 22 5d 2c ["|"],....["^"],
09c0: 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a 09 09 5b 22 ....["&"],....["
09d0: 3c 3c 22 2c 20 22 3e 3e 22 5d 2c 0d 0a 09 09 5b <<", ">>"],....[
09e0: 22 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 09 5b 22 2a "+","-"],....["*
09f0: 22 2c 22 2f 22 2c 22 25 22 5d 0d 0a 09 5d 3b 0d ","/","%"]...];.
0a00: 0a 0d 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 70 ....Expression p
0a10: 61 72 73 65 45 28 69 6e 74 20 6c 65 76 65 6c 20 arseE(int level
0a20: 3d 20 30 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 = 0)...{....if(
0a30: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
0a40: 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c 3d 20 6c nces.length <= l
0a50: 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 evel ).....retur
0a60: 6e 20 70 61 72 73 65 42 61 73 65 45 78 70 72 65 n parseBaseExpre
0a70: 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 65 6c 73 65 ssion();....else
0a80: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6f ....{.....auto o
0a90: 70 73 20 3d 20 6f 70 65 72 61 74 6f 72 5f 70 65 ps = operator_pe
0aa0: 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 65 6c 5d rferences[level]
0ab0: 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 70 ;.....auto e = p
0ac0: 61 72 73 65 45 28 6c 65 76 65 6c 2b 31 29 3b 0d arseE(level+1);.
0ad0: 0a 09 09 73 65 71 3a 0d 0a 09 09 09 77 68 69 6c ...seq:.....whil
0ae0: 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d e( !lex.empty ).
0af0: 0a 09 09 09 7b 0d 0a 09 09 09 09 61 75 74 6f 20 ....{......auto
0b00: 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e pos = lex.front.
0b10: 70 6f 73 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 pos;......foreac
0b20: 68 28 6f 70 3b 20 6f 70 73 29 0d 0a 09 09 09 09 h(op; ops)......
0b30: 09 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 .if( tryEat(op)
0b40: 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 09 09 09 09 ).......{.......
0b50: 09 69 66 28 20 6f 70 20 3d 3d 20 22 3d 22 20 29 .if( op == "=" )
0b60: 20 2f 2f 20 72 69 67 68 74 20 61 73 73 6f 63 0d // right assoc.
0b70: 0a 09 09 09 09 09 09 09 72 65 74 75 72 6e 20 6e ........return n
0b80: 65 77 20 41 73 73 69 67 6e 45 78 70 72 65 73 73 ew AssignExpress
0b90: 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 2c 20 70 61 ion(e.pos, e, pa
0ba0: 72 73 65 45 28 6c 65 76 65 6c 29 29 3b 0d 0a 09 rseE(level));...
0bb0: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
0bc0: 09 09 65 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c ..e = new Funcal
0bd0: 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 2e 70 6f lExpression(e.po
0be0: 73 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 s, new VarExpres
0bf0: 73 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 2c 20 65 sion(pos, op), e
0c00: 2c 20 70 61 72 73 65 45 28 6c 65 76 65 6c 2b 31 , parseE(level+1
0c10: 29 29 3b 0d 0a 09 09 09 09 09 09 63 6f 6e 74 69 ));........conti
0c20: 6e 75 65 20 73 65 71 3b 0d 0a 09 09 09 09 09 7d nue seq;.......}
0c30: 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 ......break;....
0c40: 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b .}.....return e;
0c50: 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 ....}...}.....Ex
0c60: 70 72 65 73 73 69 6f 6e 20 70 61 72 73 65 42 61 pression parseBa
0c70: 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a seExpression()..
0c80: 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d .{....if( lex.em
0c90: 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 pty ).....throw
0ca0: 6e 65 77 20 50 61 72 73 65 72 45 78 63 65 70 74 new ParserExcept
0cb0: 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 6e 67 20 ion("EOF during
0cc0: 70 61 72 73 69 6e 67 20 61 6e 20 65 78 70 72 65 parsing an expre
0cd0: 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 75 74 6f ssion");....auto
0ce0: 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 pos = lex.front
0cf0: 2e 70 6f 73 3b 0d 0a 09 09 45 78 70 72 65 73 73 .pos;....Express
0d00: 69 6f 6e 20 65 20 3d 20 70 61 72 73 65 42 61 73 ion e = parseBas
0d10: 65 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 eBaseExpression(
0d20: 29 3b 0d 0a 09 09 77 68 69 6c 65 28 20 74 72 79 );....while( try
0d30: 45 61 74 28 22 28 22 29 20 29 20 2f 2f 20 66 75 Eat("(") ) // fu
0d40: 6e 63 61 6c 6c 0d 0a 09 09 7b 0d 0a 09 09 09 45 ncall....{.....E
0d50: 78 70 72 65 73 73 69 6f 6e 5b 5d 20 61 72 67 73 xpression[] args
0d60: 3b 0d 0a 09 09 09 77 68 69 6c 65 28 20 21 74 72 ;.....while( !tr
0d70: 79 45 61 74 28 22 29 22 29 20 29 20 7b 0d 0a 09 yEat(")") ) {...
0d80: 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
0d90: 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 74 6f 20 ) {.......auto
0da0: 65 78 20 3d 20 50 61 72 73 65 72 45 78 63 65 70 ex = ParserExcep
0db0: 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 78 2c tion.create(lex,
0dc0: 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46 22 "Unexpected EOF"
0dd0: 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 65 );.......throw e
0de0: 78 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 61 x;......}......a
0df0: 72 67 73 20 7e 3d 20 70 61 72 73 65 45 28 29 3b rgs ~= parseE();
0e00: 0d 0a 09 09 09 09 69 66 28 20 21 74 72 79 45 61 ......if( !tryEa
0e10: 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09 t(",") ) {......
0e20: 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 .eat(")", "after
0e30: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 function parame
0e40: 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 09 62 72 ters");.......br
0e50: 65 61 6b 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 eak;......}.....
0e60: 7d 0d 0a 09 09 09 65 20 3d 20 6e 65 77 20 46 75 }.....e = new Fu
0e70: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
0e80: 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b 0d 0a pos, e, args);..
0e90: 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b ..}....return e;
0ea0: 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 72 65 73 73 ...}.....Express
0eb0: 69 6f 6e 20 70 61 72 73 65 42 61 73 65 42 61 73 ion parseBaseBas
0ec0: 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 eExpression()...
0ed0: 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 {....if( lex.emp
0ee0: 74 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e ty ).....throw n
0ef0: 65 77 20 50 61 72 73 65 72 45 78 63 65 70 74 69 ew ParserExcepti
0f00: 6f 6e 28 22 45 4f 46 20 64 75 72 69 6e 67 20 70 on("EOF during p
0f10: 61 72 73 69 6e 67 20 61 6e 20 65 78 70 72 65 73 arsing an expres
0f20: 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 75 74 6f 20 sion");....auto
0f30: 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e pos = lex.front.
0f40: 70 6f 73 3b 0d 0a 0d 0a 09 09 69 66 28 20 6c 65 pos;......if( le
0f50: 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 20 3d 3d 20 x.front.kind ==
0f60: 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 6e 75 6d 62 65 Token.Kind.numbe
0f70: 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f r )....{.....sco
0f80: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
0f90: 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 Front;.....retur
0fa0: 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c n new IntLiteral
0fb0: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
0fc0: 42 69 67 49 6e 74 28 63 61 73 74 28 73 74 72 69 BigInt(cast(stri
0fd0: 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 ng)lex.front.str
0fe0: 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 ));....}....if(
0ff0: 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e 64 20 3d lex.front.kind =
1000: 3d 20 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 73 74 72 = Token.Kind.str
1010: 69 6e 67 4c 69 74 65 72 61 6c 20 29 0d 0a 09 09 ingLiteral )....
1020: 7b 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 {.....scope(exit
1030: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ) lex.popFront;.
1040: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 ....return new S
1050: 74 72 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 trLiteralExpress
1060: 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f ion(pos, lex.fro
1070: 6e 74 2e 73 74 72 29 3b 0d 0a 09 09 7d 0d 0a 09 nt.str);....}...
1080: 09 69 66 28 20 74 72 79 45 61 74 28 22 28 22 29 .if( tryEat("(")
1090: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f )....{.....auto
10a0: 20 65 20 3d 20 70 61 72 73 65 45 28 29 3b 0d 0a e = parseE();..
10b0: 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 ...eat(")", "aft
10c0: 65 72 20 70 61 72 65 6e 74 68 65 73 69 7a 65 64 er parenthesized
10d0: 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a expression");..
10e0: 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 ...return e;....
10f0: 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 }....if( tryEat(
1100: 22 69 66 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 "if") )....{....
1110: 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 65 72 .eat("(", "after
1120: 20 69 66 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 if");.....auto
1130: 63 6f 6e 64 20 3d 20 70 61 72 73 65 45 28 29 3b cond = parseE();
1140: 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
1150: 66 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f fter if conditio
1160: 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 74 68 n");.....auto th
1170: 65 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e enPos = lex.fron
1180: 74 2e 70 6f 73 3b 0d 0a 09 09 09 65 61 74 28 22 t.pos;.....eat("
1190: 7b 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f {", "after if co
11a0: 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 53 ndition");.....S
11b0: 74 61 74 65 6d 65 6e 74 5b 5d 20 74 68 20 3d 20 tatement[] th =
11c0: 70 61 72 73 65 53 74 61 74 65 6d 65 6e 74 73 28 parseStatements(
11d0: 29 3b 0d 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 );.....eat("}",
11e0: 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 62 "after if-then b
11f0: 6f 64 79 22 29 3b 0d 0a 09 09 09 53 74 61 74 65 ody");.....State
1200: 6d 65 6e 74 5b 5d 20 65 6c 3b 0d 0a 09 09 09 61 ment[] el;.....a
1210: 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 6c 65 uto elsePos = le
1220: 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 x.front.pos;....
1230: 09 69 66 28 20 74 72 79 45 61 74 28 22 65 6c 73 .if( tryEat("els
1240: 65 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 61 74 e") ) {......eat
1250: 28 22 7b 22 2c 20 22 61 66 74 65 72 20 65 6c 73 ("{", "after els
1260: 65 22 29 3b 0d 0a 09 09 09 09 65 6c 20 3d 20 70 e");......el = p
1270: 61 72 73 65 53 74 61 74 65 6d 65 6e 74 73 28 29 arseStatements()
1280: 3b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 ;......eat("}",
1290: 22 61 66 74 65 72 20 65 6c 73 65 20 62 6f 64 79 "after else body
12a0: 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 ");.....}.....re
12b0: 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c turn new Funcall
12c0: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
12d0: 0d 0a 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 ......new VarExp
12e0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 ression(pos, "if
12f0: 22 29 2c 0d 0a 09 09 09 09 63 6f 6e 64 2c 0d 0a "),......cond,..
1300: 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 ....new FunLiter
1310: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 74 68 65 alExpression(the
1320: 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0d 0a nPos, [], th),..
1330: 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 ....new FunLiter
1340: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 6c 73 alExpression(els
1350: 65 50 6f 73 2c 20 5b 5d 2c 20 65 6c 29 0d 0a 09 ePos, [], el)...
1360: 09 09 29 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 ..);....}......i
1370: 66 28 20 74 72 79 45 61 74 28 22 66 75 6e 22 29 f( tryEat("fun")
1380: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74 28 )....{.....eat(
1390: 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 6e 22 "(", "after fun"
13a0: 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 5b 5d 20 );.....string[]
13b0: 70 61 72 61 6d 73 3b 0d 0a 09 09 09 77 68 69 6c params;.....whil
13c0: 65 28 21 74 72 79 45 61 74 28 22 29 22 29 29 0d e(!tryEat(")")).
13d0: 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 6c ....{......if( l
13e0: 65 78 2e 65 6d 70 74 79 20 29 20 7b 0d 0a 09 09 ex.empty ) {....
13f0: 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61 72 73 ...auto e = Pars
1400: 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72 65 61 erException.crea
1410: 74 65 28 6c 65 78 2c 22 55 6e 65 78 70 65 63 74 te(lex,"Unexpect
1420: 65 64 20 45 4f 46 22 29 3b 0d 0a 09 09 09 09 09 ed EOF");.......
1430: 74 68 72 6f 77 20 65 3b 0d 0a 09 09 09 09 7d 0d throw e;......}.
1440: 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 66 72 6f .....if( lex.fro
1450: 6e 74 2e 6b 69 6e 64 20 21 3d 20 54 6f 6b 65 6e nt.kind != Token
1460: 2e 4b 69 6e 64 2e 69 64 65 6e 74 69 66 69 65 72 .Kind.identifier
1470: 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 74 6f 20 ) {.......auto
1480: 65 20 3d 20 50 61 72 73 65 72 45 78 63 65 70 74 e = ParserExcept
1490: 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 78 2c 22 ion.create(lex,"
14a0: 49 64 65 6e 74 69 66 69 65 72 20 45 78 70 65 63 Identifier Expec
14b0: 74 65 64 20 66 6f 72 20 70 61 72 61 6d 65 74 65 ted for paramete
14c0: 72 73 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f rs");.......thro
14d0: 77 20 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 w e;......}.....
14e0: 09 70 61 72 61 6d 73 20 7e 3d 20 6c 65 78 2e 66 .params ~= lex.f
14f0: 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 09 09 6c ront.str;......l
1500: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 ex.popFront;....
1510: 09 09 69 66 28 20 21 74 72 79 45 61 74 28 22 2c ..if( !tryEat(",
1520: 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 65 61 74 ") ) {.......eat
1530: 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 75 6e (")", "after fun
1540: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 ction parameters
1550: 22 29 3b 0d 0a 09 09 09 09 09 62 72 65 61 6b 3b ");.......break;
1560: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 ......}.....}...
1570: 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 ..eat("{", "afte
1580: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d r function param
1590: 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 53 74 61 eters");.....Sta
15a0: 74 65 6d 65 6e 74 5b 5d 20 66 75 6e 62 6f 64 79 tement[] funbody
15b0: 3b 0d 0a 09 09 09 77 68 69 6c 65 28 21 74 72 79 ;.....while(!try
15c0: 45 61 74 28 22 7d 22 29 29 20 7b 0d 0a 09 09 09 Eat("}")) {.....
15d0: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 .if( lex.empty )
15e0: 20 7b 0d 0a 09 09 09 09 09 61 75 74 6f 20 65 20 {.......auto e
15f0: 3d 20 50 61 72 73 65 72 45 78 63 65 70 74 69 6f = ParserExceptio
1600: 6e 2e 63 72 65 61 74 65 28 6c 65 78 2c 22 55 6e n.create(lex,"Un
1610: 65 78 70 65 63 74 65 64 20 45 4f 46 22 29 3b 0d expected EOF");.
1620: 0a 09 09 09 09 09 74 68 72 6f 77 20 65 3b 0d 0a ......throw e;..
1630: 09 09 09 09 7d 0d 0a 09 09 09 09 66 75 6e 62 6f ....}......funbo
1640: 64 79 20 7e 3d 20 70 61 72 73 65 53 74 61 74 65 dy ~= parseState
1650: 6d 65 6e 74 28 29 3b 0d 0a 09 09 09 7d 0d 0a 09 ment();.....}...
1660: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e ..return new Fun
1670: 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f LiteralExpressio
1680: 6e 28 70 6f 73 2c 20 70 61 72 61 6d 73 2c 20 66 n(pos, params, f
1690: 75 6e 62 6f 64 79 29 3b 0d 0a 09 09 7d 0d 0a 09 unbody);....}...
16a0: 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 .scope(exit) lex
16b0: 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 .popFront;....re
16c0: 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 turn new VarExpr
16d0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e ession(pos, lex.
16e0: 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d front.str);...}.
16f0: 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 4c 65 ...private:...Le
1700: 78 65 72 20 6c 65 78 3b 0d 0a 0d 0a 09 76 6f 69 xer lex;.....voi
1710: 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b 77 64 d eat(string kwd
1720: 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 , lazy string ms
1730: 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 21 74 g)...{....if( !t
1740: 72 79 45 61 74 28 6b 77 64 29 20 29 0d 0a 09 09 ryEat(kwd) )....
1750: 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 50 {.....auto e = P
1760: 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 arserException.c
1770: 72 65 61 74 65 28 6c 65 78 2c 20 22 27 22 7e 6b reate(lex, "'"~k
1780: 77 64 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 wd~"' is expecte
1790: 64 20 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 d "~msg~" but '"
17a0: 0d 0a 09 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 ......~(lex.empt
17b0: 79 20 3f 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e y ? "EOF" : lex.
17c0: 66 72 6f 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 front.str)~"' oc
17d0: 63 75 72 65 64 22 29 3b 0d 0a 09 09 09 74 68 72 cured");.....thr
17e0: 6f 77 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a ow e;....}...}..
17f0: 0d 0a 09 62 6f 6f 6c 20 74 72 79 45 61 74 28 73 ...bool tryEat(s
1800: 74 72 69 6e 67 20 6b 77 64 29 0d 0a 09 7b 0d 0a tring kwd)...{..
1810: 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 ..if( lex.empty
1820: 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 6b 69 6e || lex.front.kin
1830: 64 21 3d 54 6f 6b 65 6e 2e 4b 69 6e 64 2e 69 64 d!=Token.Kind.id
1840: 65 6e 74 69 66 69 65 72 20 7c 7c 20 6c 65 78 2e entifier || lex.
1850: 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 front.str!=kwd )
1860: 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 .....return fals
1870: 65 3b 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f e;....lex.popFro
1880: 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 nt;....return tr
1890: 75 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e ue;...}..}....un
18a0: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
18b0: 20 70 20 3d 20 70 61 72 73 65 72 46 72 6f 6d 53 p = parserFromS
18c0: 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 78 tring(`....var x
18d0: 20 3d 20 31 30 30 3b 0d 0a 09 09 76 61 72 20 79 = 100;....var y
18e0: 20 3d 20 32 30 30 3b 0d 0a 09 60 29 3b 0d 0a 09 = 200;...`);...
18f0: 50 72 6f 67 72 61 6d 20 70 72 6f 67 20 3d 20 70 Program prog = p
1900: 2e 70 61 72 73 65 50 72 6f 67 72 61 6d 28 29 3b .parseProgram();
1910: 0d 0a 09 61 73 73 65 72 74 28 20 70 72 6f 67 2e ...assert( prog.
1920: 6c 65 6e 67 74 68 20 3d 3d 20 32 20 29 3b 0d 0a length == 2 );..
1930: 09 61 75 74 6f 20 70 30 20 3d 20 63 61 73 74 28 .auto p0 = cast(
1940: 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 29 70 72 DeclStatement)pr
1950: 6f 67 5b 30 5d 3b 0d 0a 09 61 75 74 6f 20 70 31 og[0];...auto p1
1960: 20 3d 20 63 61 73 74 28 44 65 63 6c 53 74 61 74 = cast(DeclStat
1970: 65 6d 65 6e 74 29 70 72 6f 67 5b 31 5d 3b 0d 0a ement)prog[1];..
1980: 09 61 73 73 65 72 74 28 20 70 30 2e 76 61 72 20 .assert( p0.var
1990: 3d 3d 20 22 78 22 20 29 3b 0d 0a 09 61 73 73 65 == "x" );...asse
19a0: 72 74 28 20 70 31 2e 76 61 72 20 3d 3d 20 22 79 rt( p1.var == "y
19b0: 22 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 28 " );...assert( (
19c0: 63 61 73 74 28 49 6e 74 4c 69 74 65 72 61 6c 45 cast(IntLiteralE
19d0: 78 70 72 65 73 73 69 6f 6e 29 70 30 2e 65 78 70 xpression)p0.exp
19e0: 72 29 2e 64 61 74 61 20 3d 3d 20 31 30 30 20 29 r).data == 100 )
19f0: 3b 0d 0a 09 61 73 73 65 72 74 28 20 28 63 61 73 ;...assert( (cas
1a00: 74 28 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 t(IntLiteralExpr
1a10: 65 73 73 69 6f 6e 29 70 31 2e 65 78 70 72 29 2e ession)p1.expr).
1a20: 64 61 74 61 20 3d 3d 20 32 30 30 20 29 3b 0d 0a data == 200 );..
1a30: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
1a40: 0d 0a 09 61 75 74 6f 20 70 20 3d 20 70 61 72 73 ...auto p = pars
1a50: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 60 0d 0a erFromString(`..
1a60: 09 09 76 61 72 20 7a 7a 7a 20 3d 20 31 30 30 3b ..var zzz = 100;
1a70: 20 23 20 63 6f 6d 6d 65 6e 74 0d 0a 09 09 7a 7a # comment....zz
1a80: 7a 20 3d 20 7a 7a 7a 20 2b 20 7a 7a 7a 20 2a 20 z = zzz + zzz *
1a90: 22 66 6f 5c 6e 6f 22 3b 20 23 20 63 6f 6d 6d 65 "fo\no"; # comme
1aa0: 6e 74 0d 0a 09 09 09 34 32 3b 0d 0a 09 60 29 3b nt.....42;...`);
1ab0: 0d 0a 09 0d 0a 09 61 75 74 6f 20 73 30 20 3d 20 ......auto s0 =
1ac0: 6e 65 77 20 44 65 63 6c 53 74 61 74 65 6d 65 6e new DeclStatemen
1ad0: 74 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 2c 20 6e t(null, "zzz", n
1ae0: 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 ew IntLiteralExp
1af0: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 ression(null, Bi
1b00: 67 49 6e 74 28 31 30 30 29 29 29 3b 0d 0a 09 61 gInt(100)));...a
1b10: 75 74 6f 20 73 31 20 3d 20 6e 65 77 20 45 78 70 uto s1 = new Exp
1b20: 72 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c rStatement(null,
1b30: 20 6e 65 77 20 41 73 73 69 67 6e 45 78 70 72 65 new AssignExpre
1b40: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 6e ssion(null,....n
1b50: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1b60: 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a (null, "zzz"),..
1b70: 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 ..new FuncallExp
1b80: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 ression(null, ne
1b90: 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 w VarExpression(
1ba0: 6e 75 6c 6c 2c 22 2b 22 29 2c 0d 0a 09 09 09 6e null,"+"),.....n
1bb0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1bc0: 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a (null, "zzz"),..
1bd0: 09 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 ...new FuncallEx
1be0: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e pression(null, n
1bf0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1c00: 28 6e 75 6c 6c 2c 22 2a 22 29 2c 0d 0a 09 09 09 (null,"*"),.....
1c10: 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 .new VarExpressi
1c20: 6f 6e 28 6e 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c on(null, "zzz"),
1c30: 0d 0a 09 09 09 09 6e 65 77 20 53 74 72 4c 69 74 ......new StrLit
1c40: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e eralExpression(n
1c50: 75 6c 6c 2c 20 22 66 6f 5c 5c 6e 6f 22 29 0d 0a ull, "fo\\no")..
1c60: 09 09 09 09 29 29 29 29 3b 0d 0a 09 61 75 74 6f ....))));...auto
1c70: 20 73 32 20 3d 20 6e 65 77 20 45 78 70 72 53 74 s2 = new ExprSt
1c80: 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 atement(null, ne
1c90: 77 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 w IntLiteralExpr
1ca0: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 ession(null, Big
1cb0: 49 6e 74 28 34 32 29 29 29 3b 0d 0a 09 0d 0a 09 Int(42)));......
1cc0: 50 72 6f 67 72 61 6d 20 70 72 6f 67 20 3d 20 70 Program prog = p
1cd0: 2e 70 61 72 73 65 50 72 6f 67 72 61 6d 28 29 3b .parseProgram();
1ce0: 0d 0a 09 61 73 73 65 72 74 28 20 70 72 6f 67 2e ...assert( prog.
1cf0: 6c 65 6e 67 74 68 20 3d 3d 20 33 20 29 3b 0d 0a length == 3 );..
1d00: 09 61 73 73 65 72 74 28 20 70 72 6f 67 5b 30 5d .assert( prog[0]
1d10: 20 3d 3d 20 73 30 20 29 3b 0d 0a 09 61 73 73 65 == s0 );...asse
1d20: 72 74 28 20 70 72 6f 67 5b 31 5d 20 3d 3d 20 73 rt( prog[1] == s
1d30: 31 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 1 );...assert( p
1d40: 72 6f 67 5b 32 5d 20 3d 3d 20 73 32 20 29 3b 0d rog[2] == s2 );.
1d50: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
1d60: 7b 0d 0a 09 61 75 74 6f 20 70 20 3d 20 70 61 72 {...auto p = par
1d70: 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 60 0d serFromString(`.
1d80: 0a 09 09 76 61 72 20 66 20 3d 20 66 75 6e 28 78 ...var f = fun(x
1d90: 2c 79 29 7b 78 2b 79 3b 7d 3b 0d 0a 09 09 66 28 ,y){x+y;};....f(
1da0: 31 2c 66 75 6e 28 61 62 63 29 7b 7d 28 34 29 29 1,fun(abc){}(4))
1db0: 3b 0d 0a 09 60 29 3b 0d 0a 09 50 72 6f 67 72 61 ;...`);...Progra
1dc0: 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 65 m prog = p.parse
1dd0: 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 73 73 Program();...ass
1de0: 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74 68 ert( prog.length
1df0: 20 3d 3d 20 32 20 29 3b 0d 0a 09 61 73 73 65 72 == 2 );...asser
1e00: 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 6e 65 t( prog[0] == ne
1e10: 77 20 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 w DeclStatement(
1e20: 6e 75 6c 6c 2c 20 22 66 22 2c 20 6e 65 77 20 46 null, "f", new F
1e30: 75 6e 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 unLiteralExpress
1e40: 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 5b 22 78 ion(null,....["x
1e50: 22 2c 22 79 22 5d 2c 20 5b 6e 65 77 20 45 78 70 ","y"], [new Exp
1e60: 72 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c rStatement(null,
1e70: 0d 0a 09 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c .....new Funcall
1e80: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
1e90: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
1ea0: 6f 6e 28 6e 75 6c 6c 2c 20 22 2b 22 29 2c 0d 0a on(null, "+"),..
1eb0: 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 ...new VarExpres
1ec0: 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 78 22 29 2c sion(null, "x"),
1ed0: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
1ee0: 6f 6e 28 6e 75 6c 6c 2c 20 22 79 22 29 29 29 5d on(null, "y")))]
1ef0: 0d 0a 09 09 09 29 29 29 3b 0d 0a 09 61 73 73 65 .....)));...asse
1f00: 72 74 28 20 70 72 6f 67 5b 31 5d 20 3d 3d 20 6e rt( prog[1] == n
1f10: 65 77 20 45 78 70 72 53 74 61 74 65 6d 65 6e 74 ew ExprStatement
1f20: 28 6e 75 6c 6c 2c 20 6e 65 77 20 46 75 6e 63 61 (null, new Funca
1f30: 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c llExpression(nul
1f40: 6c 2c 0d 0a 09 09 6e 65 77 20 56 61 72 45 78 70 l,....new VarExp
1f50: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 66 ression(null, "f
1f60: 22 29 2c 0d 0a 09 09 6e 65 77 20 49 6e 74 4c 69 "),....new IntLi
1f70: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 teralExpression(
1f80: 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 31 29 29 null, BigInt(1))
1f90: 2c 0d 0a 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c ,....new Funcall
1fa0: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
1fb0: 0d 0a 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 .....new FunLite
1fc0: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 ralExpression(nu
1fd0: 6c 6c 2c 20 5b 22 61 62 63 22 5d 2c 20 5b 0d 0a ll, ["abc"], [..
1fe0: 09 09 09 5d 29 2c 0d 0a 09 09 09 6e 65 77 20 49 ...]),.....new I
1ff0: 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 ntLiteralExpress
2000: 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 ion(null, BigInt
2010: 28 34 29 29 0d 0a 09 09 09 29 29 29 29 3b 0d 0a (4)).....))));..
2020: 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a }..unittest..{..
2030: 09 61 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 .auto p = parser
2040: 46 72 6f 6d 53 74 72 69 6e 67 28 60 76 61 72 20 FromString(`var
2050: 78 20 3d 20 31 3b 20 76 61 72 20 66 20 3d 20 66 x = 1; var f = f
2060: 75 6e 28 29 7b 78 3d 78 2b 31 3b 7d 3b 20 66 28 un(){x=x+1;}; f(
2070: 29 3b 20 66 28 29 3b 20 78 3b 60 29 3b 0d 0a 09 ); f(); x;`);...
2080: 50 72 6f 67 72 61 6d 20 70 72 6f 67 20 3d 20 70 Program prog = p
2090: 2e 70 61 72 73 65 50 72 6f 67 72 61 6d 28 29 3b .parseProgram();
20a0: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
20b0: 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d 20 70 61 .{...auto p = pa
20c0: 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 60 rserFromString(`
20d0: 69 66 28 78 3c 32 29 7b 31 3b 7d 65 6c 73 65 7b if(x<2){1;}else{
20e0: 78 3b 7d 3b 60 29 3b 0d 0a 09 50 72 6f 67 72 61 x;};`);...Progra
20f0: 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 65 m prog = p.parse
2100: 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 73 73 Program();...ass
2110: 65 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 ert( prog[0] ==
2120: 6e 65 77 20 45 78 70 72 53 74 61 74 65 6d 65 6e new ExprStatemen
2130: 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 46 75 6e 63 t(null, new Func
2140: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 allExpression(nu
2150: 6c 6c 2c 0d 0a 09 09 6e 65 77 20 56 61 72 45 78 ll,....new VarEx
2160: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 pression(null, "
2170: 69 66 22 29 2c 0d 0a 09 09 6e 65 77 20 46 75 6e if"),....new Fun
2180: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e callExpression(n
2190: 75 6c 6c 2c 20 6e 65 77 20 56 61 72 45 78 70 72 ull, new VarExpr
21a0: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 22 3c 22 29 ession(null,"<")
21b0: 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 , new VarExpress
21c0: 69 6f 6e 28 6e 75 6c 6c 2c 22 78 22 29 2c 0d 0a ion(null,"x"),..
21d0: 09 09 09 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 ...new IntLitera
21e0: 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c lExpression(null
21f0: 2c 20 42 69 67 49 6e 74 28 32 29 29 29 2c 0d 0a , BigInt(2))),..
2200: 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c ..new FunLiteral
2210: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
2220: 20 5b 5d 2c 20 5b 6e 65 77 20 45 78 70 72 53 74 [], [new ExprSt
2230: 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 atement(null, ne
2240: 77 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 w IntLiteralExpr
2250: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 ession(null, Big
2260: 49 6e 74 28 31 29 29 29 5d 29 2c 0d 0a 09 09 6e Int(1)))]),....n
2270: 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 78 70 ew FunLiteralExp
2280: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 5b 5d ression(null, []
2290: 2c 20 5b 6e 65 77 20 45 78 70 72 53 74 61 74 65 , [new ExprState
22a0: 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 ment(null, new V
22b0: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
22c0: 6c 2c 20 22 78 22 29 29 5d 29 0d 0a 09 09 29 29 l, "x"))])....))
22d0: 29 3b 09 09 0d 0a 7d );....}