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 0d 0a 2f 2f olemy.ast;....//
00e0: 2f 20 50 61 72 73 69 6e 67 20 46 61 69 6c 75 72 / Parsing Failur
00f0: 65 0d 0a 0d 0a 63 6c 61 73 73 20 50 61 72 73 65 e....class Parse
0100: 72 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 78 63 rException : Exc
0110: 65 70 74 69 6f 6e 0d 0a 7b 0d 0a 70 72 69 76 61 eption..{..priva
0120: 74 65 3a 0d 0a 09 74 68 69 73 28 73 74 72 69 6e te:...this(strin
0130: 67 20 6d 73 67 29 20 7b 20 73 75 70 65 72 28 6d g msg) { super(m
0140: 73 67 29 3b 20 7d 0d 0a 09 73 74 61 74 69 63 20 sg); }...static
0150: 50 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 20 ParserException
0160: 63 72 65 61 74 65 28 4c 65 78 65 72 29 28 4c 65 create(Lexer)(Le
0170: 78 65 72 20 6c 65 78 2c 20 73 74 72 69 6e 67 20 xer lex, string
0180: 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 msg)...{....retu
0190: 72 6e 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 rn new ParserExc
01a0: 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 eption(sprintf!"
01b0: 5b 25 73 5d 20 25 73 22 28 0d 0a 09 09 09 6c 65 [%s] %s"(.....le
01c0: 78 2e 65 6d 70 74 79 20 3f 20 22 45 4f 46 22 20 x.empty ? "EOF"
01d0: 3a 20 74 6f 21 73 74 72 69 6e 67 28 6c 65 78 2e : to!string(lex.
01e0: 66 72 6f 6e 74 2e 70 6f 73 29 2c 20 6d 73 67 29 front.pos), msg)
01f0: 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f );...}..}....///
0200: 20 4e 61 6d 65 64 20 43 6f 6e 73 74 72 75 63 74 Named Construct
0210: 6f 72 20 6f 66 20 50 61 72 73 65 72 0d 0a 0d 0a or of Parser....
0220: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 4c auto parserFromL
0230: 65 78 65 72 28 4c 65 78 65 72 29 28 4c 65 78 65 exer(Lexer)(Lexe
0240: 72 20 6c 65 78 29 0d 0a 7b 0d 0a 09 72 65 74 75 r lex)..{...retu
0250: 72 6e 20 6e 65 77 20 50 61 72 73 65 72 21 4c 65 rn new Parser!Le
0260: 78 65 72 28 6c 65 78 29 3b 0d 0a 7d 0d 0a 0d 0a xer(lex);..}....
0270: 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 72 /// Named Constr
0280: 75 63 74 6f 72 20 6f 66 20 50 61 72 73 65 72 20 uctor of Parser
0290: 28 6a 75 73 74 20 66 77 64 20 74 6f 20 6c 65 78 (just fwd to lex
02a0: 65 72 46 72 6f 6d 53 74 72 69 6e 67 29 0d 0a 0d erFromString)...
02b0: 0a 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d .auto parserFrom
02c0: 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 20 70 String(T...)(T p
02d0: 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 72 65 74 75 arams)..{...retu
02e0: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 rn parserFromLex
02f0: 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 er(polemy.lex.le
0300: 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 xerFromString(pa
0310: 72 61 6d 73 29 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f rams));..}....//
0320: 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 72 75 63 / Named Construc
0330: 74 6f 72 20 6f 66 20 50 61 72 73 65 72 20 28 6a tor of Parser (j
0340: 75 73 74 20 66 77 64 20 74 6f 20 6c 65 78 65 72 ust fwd to lexer
0350: 46 72 6f 6d 46 69 6c 65 29 0d 0a 0d 0a 61 75 74 FromFile)....aut
0360: 6f 20 70 61 72 73 65 72 46 72 6f 6d 46 69 6c 65 o parserFromFile
0370: 28 54 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 (T...)(T params)
0380: 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 61 72 ..{...return par
0390: 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 70 6f 6c serFromLexer(pol
03a0: 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 72 46 72 6f emy.lex.lexerFro
03b0: 6d 46 69 6c 65 28 70 61 72 61 6d 73 29 29 3b 0d mFile(params));.
03c0: 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 72 73 65 72 .}..../// Parser
03d0: 0d 0a 0d 0a 63 6c 61 73 73 20 50 61 72 73 65 72 ....class Parser
03e0: 28 4c 65 78 65 72 29 0d 0a 7b 0d 0a 09 74 68 69 (Lexer)..{...thi
03f0: 73 28 4c 65 78 65 72 20 6c 65 78 29 0d 0a 09 7b s(Lexer lex)...{
0400: 0d 0a 09 09 74 68 69 73 2e 6c 65 78 20 3d 20 6c ....this.lex = l
0410: 65 78 3b 0d 0a 09 7d 0d 0a 0d 0a 09 50 72 6f 67 ex;...}.....Prog
0420: 72 61 6d 20 70 61 72 73 65 50 72 6f 67 72 61 6d ram parseProgram
0430: 28 29 0d 0a 09 7b 0d 0a 09 09 50 72 6f 67 72 61 ()...{....Progra
0440: 6d 20 70 20 3d 20 70 61 72 73 65 53 74 61 74 65 m p = parseState
0450: 6d 65 6e 74 73 28 29 3b 0d 0a 09 09 69 66 28 20 ments();....if(
0460: 21 6c 65 78 2e 65 6d 70 74 79 20 29 20 7b 0d 0a !lex.empty ) {..
0470: 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61 72 73 ...auto e = Pars
0480: 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72 65 61 erException.crea
0490: 74 65 28 6c 65 78 2c 20 22 63 61 6e 6e 6f 74 20 te(lex, "cannot
04a0: 72 65 61 63 68 20 65 6f 66 22 29 3b 0d 0a 09 09 reach eof");....
04b0: 09 74 68 72 6f 77 20 65 3b 0d 0a 09 09 7d 0d 0a .throw e;....}..
04c0: 09 09 72 65 74 75 72 6e 20 70 3b 0d 0a 09 7d 0d ..return p;...}.
04d0: 0a 0d 0a 09 50 72 6f 67 72 61 6d 20 70 61 72 73 ....Program pars
04e0: 65 53 74 61 74 65 6d 65 6e 74 73 28 29 0d 0a 09 eStatements()...
04f0: 7b 0d 0a 09 09 50 72 6f 67 72 61 6d 20 70 3b 0d {....Program p;.
0500: 0a 09 09 77 68 69 6c 65 28 20 21 6c 65 78 2e 65 ...while( !lex.e
0510: 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 6f mpty && (lex.fro
0520: 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 nt.quoted || lex
0530: 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 29 .front.str!="}")
0540: 20 29 0d 0a 09 09 09 70 20 7e 3d 20 70 61 72 73 ).....p ~= pars
0550: 65 53 74 61 74 65 6d 65 6e 74 28 29 3b 0d 0a 09 eStatement();...
0560: 09 72 65 74 75 72 6e 20 70 3b 0d 0a 09 7d 0d 0a .return p;...}..
0570: 09 0d 0a 09 53 74 61 74 65 6d 65 6e 74 20 70 61 ....Statement pa
0580: 72 73 65 53 74 61 74 65 6d 65 6e 74 28 29 0d 0a rseStatement()..
0590: 09 7b 0d 0a 09 09 61 75 74 6f 20 73 61 76 65 64 .{....auto saved
05a0: 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 = lex.save;....
05b0: 73 63 6f 70 65 28 66 61 69 6c 75 72 65 29 20 6c scope(failure) l
05c0: 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 0d 0a 09 ex = saved;.....
05d0: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 .if( lex.empty )
05e0: 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 .....throw new P
05f0: 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 28 22 arserException("
0600: 45 4f 46 20 64 75 72 69 6e 67 20 70 61 72 73 69 EOF during parsi
0610: 6e 67 20 61 20 73 74 61 74 65 6d 65 6e 74 22 29 ng a statement")
0620: 3b 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 ;....auto pos =
0630: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a lex.front.pos;..
0640: 0d 0a 09 09 69 66 28 20 21 6c 65 78 2e 66 72 6f ....if( !lex.fro
0650: 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 6c 65 78 nt.quoted && lex
0660: 2e 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 76 61 72 .front.str=="var
0670: 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 " )....{.....//
0680: 22 76 61 72 22 20 56 61 72 20 22 3d 22 20 45 78 "var" Var "=" Ex
0690: 70 72 65 73 73 69 6f 6e 20 22 3b 22 0d 0a 09 09 pression ";"....
06a0: 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a .lex.popFront;..
06b0: 09 09 09 73 74 72 69 6e 67 20 76 61 72 20 3d 20 ...string var =
06c0: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a lex.front.str;..
06d0: 09 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b ...lex.popFront;
06e0: 0d 0a 09 09 09 65 61 74 28 22 3d 22 2c 20 22 66 .....eat("=", "f
06f0: 6f 72 20 76 61 72 69 61 62 6c 65 20 64 65 63 6c or variable decl
0700: 61 72 61 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 aration");.....a
0710: 75 74 6f 20 70 61 72 73 65 64 20 3d 20 6e 65 77 uto parsed = new
0720: 20 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 70 DeclStatement(p
0730: 6f 73 2c 20 76 61 72 2c 20 70 61 72 73 65 45 78 os, var, parseEx
0740: 70 72 65 73 73 69 6f 6e 28 29 29 3b 0d 0a 09 09 pression());....
0750: 09 65 61 74 28 22 3b 22 2c 20 22 61 66 74 65 72 .eat(";", "after
0760: 20 76 61 72 69 61 62 6c 65 20 64 65 63 6c 61 72 variable declar
0770: 61 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 ation");.....ret
0780: 75 72 6e 20 70 61 72 73 65 64 3b 0d 0a 09 09 7d urn parsed;....}
0790: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 ....else....{...
07a0: 09 09 2f 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 ..// Expression
07b0: 22 3b 22 0d 0a 09 09 09 61 75 74 6f 20 70 61 72 ";".....auto par
07c0: 73 65 64 20 3d 20 6e 65 77 20 45 78 70 72 53 74 sed = new ExprSt
07d0: 61 74 65 6d 65 6e 74 28 70 6f 73 2c 20 70 61 72 atement(pos, par
07e0: 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 29 3b seExpression());
07f0: 0d 0a 09 09 09 65 61 74 28 22 3b 22 2c 20 22 61 .....eat(";", "a
0800: 66 74 65 72 20 73 74 61 74 65 6d 65 6e 74 22 29 fter statement")
0810: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 72 ;.....return par
0820: 73 65 64 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d sed;....}...}...
0830: 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 ..Expression par
0840: 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a seExpression()..
0850: 09 7b 0d 0a 09 09 61 75 74 6f 20 73 61 76 65 64 .{....auto saved
0860: 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 = lex.save;....
0870: 73 63 6f 70 65 28 66 61 69 6c 75 72 65 29 20 6c scope(failure) l
0880: 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 09 09 72 ex = saved;....r
0890: 65 74 75 72 6e 20 70 61 72 73 65 45 28 30 29 3b eturn parseE(0);
08a0: 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 ...}.....// [TOD
08b0: 4f 5d 20 6d 75 6c 74 69 2d 63 68 61 72 20 6f 70 O] multi-char op
08c0: 65 72 61 74 6f 72 73 20 61 72 65 20 6e 6f 74 20 erators are not
08d0: 73 75 70 70 6f 72 74 65 64 20 62 79 20 74 68 65 supported by the
08e0: 20 6c 65 78 65 72 2e 2e 2e 0d 0a 09 73 74 61 74 lexer......stat
08f0: 69 63 20 69 6d 6d 75 74 61 62 6c 65 20 73 74 72 ic immutable str
0900: 69 6e 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 ing[][] operator
0910: 5f 70 65 72 66 65 72 65 6e 63 65 73 20 3d 20 5b _perferences = [
0920: 0d 0a 09 09 5b 22 3d 22 5d 2c 0d 0a 09 09 5b 22 ....["="],....["
0930: 6f 72 22 5d 2c 0d 0a 09 09 5b 22 61 6e 64 22 5d or"],....["and"]
0940: 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 09 ,....["!="],....
0950: 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 2c ["=="],....["<",
0960: 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0d "<=",">",">="],.
0970: 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 5e ...["|"],....["^
0980: 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a 09 "],....["&"],...
0990: 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d 2c 0d 0a .["<<", ">>"],..
09a0: 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 09 ..["+","-"],....
09b0: 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 0d 0a 09 ["*","/","%"]...
09c0: 5d 3b 0d 0a 0d 0a 09 45 78 70 72 65 73 73 69 6f ];.....Expressio
09d0: 6e 20 70 61 72 73 65 45 28 69 6e 74 20 6c 65 76 n parseE(int lev
09e0: 65 6c 20 3d 20 30 29 0d 0a 09 7b 0d 0a 09 09 69 el = 0)...{....i
09f0: 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 f( operator_perf
0a00: 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c erences.length <
0a10: 3d 20 6c 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 = level ).....re
0a20: 74 75 72 6e 20 70 61 72 73 65 42 61 73 65 45 78 turn parseBaseEx
0a30: 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 65 pression();....e
0a40: 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 lse....{.....aut
0a50: 6f 20 6f 70 73 20 3d 20 6f 70 65 72 61 74 6f 72 o ops = operator
0a60: 5f 70 65 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 _perferences[lev
0a70: 65 6c 5d 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 el];.....auto e
0a80: 3d 20 70 61 72 73 65 45 28 6c 65 76 65 6c 2b 31 = parseE(level+1
0a90: 29 3b 0d 0a 09 09 73 65 71 3a 0d 0a 09 09 09 77 );....seq:.....w
0aa0: 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 hile( !lex.empty
0ab0: 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 61 75 ).....{......au
0ac0: 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f to pos = lex.fro
0ad0: 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 09 66 6f 72 nt.pos;......for
0ae0: 65 61 63 68 28 6f 70 3b 20 6f 70 73 29 0d 0a 09 each(op; ops)...
0af0: 09 09 09 09 69 66 28 20 74 72 79 45 61 74 28 6f ....if( tryEat(o
0b00: 70 29 20 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 09 p) ).......{....
0b10: 09 09 09 09 69 66 28 20 6f 70 20 3d 3d 20 22 3d ....if( op == "=
0b20: 22 20 29 20 2f 2f 20 72 69 67 68 74 20 61 73 73 " ) // right ass
0b30: 6f 63 0d 0a 09 09 09 09 09 09 09 72 65 74 75 72 oc.........retur
0b40: 6e 20 6e 65 77 20 41 73 73 69 67 6e 45 78 70 72 n new AssignExpr
0b50: 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 2c ession(e.pos, e,
0b60: 20 70 61 72 73 65 45 28 6c 65 76 65 6c 29 29 3b parseE(level));
0b70: 0d 0a 09 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 ........else....
0b80: 09 09 09 09 09 65 20 3d 20 6e 65 77 20 46 75 6e .....e = new Fun
0b90: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 callExpression(e
0ba0: 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 45 78 70 .pos, new VarExp
0bb0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 ression(pos, op)
0bc0: 2c 20 65 2c 20 70 61 72 73 65 45 28 6c 65 76 65 , e, parseE(leve
0bd0: 6c 2b 31 29 29 3b 0d 0a 09 09 09 09 09 09 63 6f l+1));........co
0be0: 6e 74 69 6e 75 65 20 73 65 71 3b 0d 0a 09 09 09 ntinue seq;.....
0bf0: 09 09 7d 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d ..}......break;.
0c00: 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e ....}.....return
0c10: 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a e;....}...}....
0c20: 09 45 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73 .Expression pars
0c30: 65 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 eBaseExpression(
0c40: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 )...{....if( lex
0c50: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 .empty ).....thr
0c60: 6f 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 ow new ParserExc
0c70: 65 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 eption("EOF duri
0c80: 6e 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 78 ng parsing an ex
0c90: 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 pression");....a
0ca0: 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 uto pos = lex.fr
0cb0: 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 45 78 70 72 ont.pos;....Expr
0cc0: 65 73 73 69 6f 6e 20 65 20 3d 20 70 61 72 73 65 ession e = parse
0cd0: 42 61 73 65 42 61 73 65 45 78 70 72 65 73 73 69 BaseBaseExpressi
0ce0: 6f 6e 28 29 3b 0d 0a 09 09 77 68 69 6c 65 28 20 on();....while(
0cf0: 74 72 79 45 61 74 28 22 28 22 29 20 29 20 2f 2f tryEat("(") ) //
0d00: 20 66 75 6e 63 61 6c 6c 0d 0a 09 09 7b 0d 0a 09 funcall....{...
0d10: 09 09 45 78 70 72 65 73 73 69 6f 6e 5b 5d 20 61 ..Expression[] a
0d20: 72 67 73 3b 0d 0a 09 09 09 77 68 69 6c 65 28 20 rgs;.....while(
0d30: 21 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b !tryEat(")") ) {
0d40: 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ......if( lex.em
0d50: 70 74 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 pty ) {.......au
0d60: 74 6f 20 65 78 20 3d 20 50 61 72 73 65 72 45 78 to ex = ParserEx
0d70: 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c ception.create(l
0d80: 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 ex,"Unexpected E
0d90: 4f 46 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f OF");.......thro
0da0: 77 20 65 78 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 w ex;......}....
0db0: 09 09 61 72 67 73 20 7e 3d 20 70 61 72 73 65 45 ..args ~= parseE
0dc0: 28 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 74 72 ();......if( !tr
0dd0: 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 yEat(",") ) {...
0de0: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
0df0: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
0e00: 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 ameters");......
0e10: 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 7d 0d 0a .break;......}..
0e20: 09 09 09 7d 0d 0a 09 09 09 65 20 3d 20 6e 65 77 ...}.....e = new
0e30: 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 FuncallExpressi
0e40: 6f 6e 28 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 on(pos, e, args)
0e50: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
0e60: 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 45 78 70 72 e;...}.....Expr
0e70: 65 73 73 69 6f 6e 20 70 61 72 73 65 42 61 73 65 ession parseBase
0e80: 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 BaseExpression()
0e90: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e ...{....if( lex.
0ea0: 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f empty ).....thro
0eb0: 77 20 6e 65 77 20 50 61 72 73 65 72 45 78 63 65 w new ParserExce
0ec0: 70 74 69 6f 6e 28 22 45 4f 46 20 64 75 72 69 6e ption("EOF durin
0ed0: 67 20 70 61 72 73 69 6e 67 20 61 6e 20 65 78 70 g parsing an exp
0ee0: 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 61 75 ression");....au
0ef0: 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f to pos = lex.fro
0f00: 6e 74 2e 70 6f 73 3b 0d 0a 0d 0a 09 09 69 66 28 nt.pos;......if(
0f10: 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 lex.front.quote
0f20: 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f d )....{.....sco
0f30: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
0f40: 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 Front;.....retur
0f50: 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c n new StrLiteral
0f60: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
0f70: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d lex.front.str);.
0f80: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 69 73 4e 75 ...}....if( isNu
0f90: 6d 62 65 72 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 mber(lex.front.s
0fa0: 74 72 29 20 29 20 2f 2f 20 69 73 5f 6e 75 6d 62 tr) ) // is_numb
0fb0: 65 72 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f 70 er....{.....scop
0fc0: 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 e(exit) lex.popF
0fd0: 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 6e ront;.....return
0fe0: 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 45 new IntLiteralE
0ff0: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 42 xpression(pos, B
1000: 69 67 49 6e 74 28 63 61 73 74 28 73 74 72 69 6e igInt(cast(strin
1010: 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 g)lex.front.str)
1020: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 );....}....if( t
1030: 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a 09 09 ryEat("(") )....
1040: 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 70 {.....auto e = p
1050: 61 72 73 65 45 28 29 3b 0d 0a 09 09 09 65 61 74 arseE();.....eat
1060: 28 22 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 (")", "after par
1070: 65 6e 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 enthesized expre
1080: 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 ssion");.....ret
1090: 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 urn e;....}....i
10a0: 66 28 20 74 72 79 45 61 74 28 22 69 66 22 29 20 f( tryEat("if")
10b0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74 28 22 )....{.....eat("
10c0: 28 22 2c 20 22 61 66 74 65 72 20 69 66 22 29 3b (", "after if");
10d0: 0d 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d .....auto cond =
10e0: 20 70 61 72 73 65 45 28 29 3b 0d 0a 09 09 09 65 parseE();.....e
10f0: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 69 at(")", "after i
1100: 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a f condition");..
1110: 09 09 09 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 ...auto thenPos
1120: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b = lex.front.pos;
1130: 0d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 .....eat("{", "a
1140: 66 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f fter if conditio
1150: 6e 22 29 3b 0d 0a 09 09 09 53 74 61 74 65 6d 65 n");.....Stateme
1160: 6e 74 5b 5d 20 74 68 20 3d 20 70 61 72 73 65 53 nt[] th = parseS
1170: 74 61 74 65 6d 65 6e 74 73 28 29 3b 0d 0a 09 09 tatements();....
1180: 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 .eat("}", "after
1190: 20 69 66 2d 74 68 65 6e 20 62 6f 64 79 22 29 3b if-then body");
11a0: 0d 0a 09 09 09 53 74 61 74 65 6d 65 6e 74 5b 5d .....Statement[]
11b0: 20 65 6c 3b 0d 0a 09 09 09 61 75 74 6f 20 65 6c el;.....auto el
11c0: 73 65 50 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e sePos = lex.fron
11d0: 74 2e 70 6f 73 3b 0d 0a 09 09 09 69 66 28 20 74 t.pos;.....if( t
11e0: 72 79 45 61 74 28 22 65 6c 73 65 22 29 20 29 20 ryEat("else") )
11f0: 7b 0d 0a 09 09 09 09 65 61 74 28 22 7b 22 2c 20 {......eat("{",
1200: 22 61 66 74 65 72 20 65 6c 73 65 22 29 3b 0d 0a "after else");..
1210: 09 09 09 09 65 6c 20 3d 20 70 61 72 73 65 53 74 ....el = parseSt
1220: 61 74 65 6d 65 6e 74 73 28 29 3b 0d 0a 09 09 09 atements();.....
1230: 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 .eat("}", "after
1240: 20 65 6c 73 65 20 62 6f 64 79 22 29 3b 0d 0a 09 else body");...
1250: 09 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e ..}.....return n
1260: 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 ew FuncallExpres
1270: 73 69 6f 6e 28 70 6f 73 2c 20 0d 0a 09 09 09 09 sion(pos, ......
1280: 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f new VarExpressio
1290: 6e 28 70 6f 73 2c 20 22 69 66 22 29 2c 0d 0a 09 n(pos, "if"),...
12a0: 09 09 09 63 6f 6e 64 2c 0d 0a 09 09 09 09 6e 65 ...cond,......ne
12b0: 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 78 70 72 w FunLiteralExpr
12c0: 65 73 73 69 6f 6e 28 74 68 65 6e 50 6f 73 2c 20 ession(thenPos,
12d0: 5b 5d 2c 20 74 68 29 2c 0d 0a 09 09 09 09 6e 65 [], th),......ne
12e0: 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 78 70 72 w FunLiteralExpr
12f0: 65 73 73 69 6f 6e 28 65 6c 73 65 50 6f 73 2c 20 ession(elsePos,
1300: 5b 5d 2c 20 65 6c 29 0d 0a 09 09 09 29 3b 0d 0a [], el).....);..
1310: 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 74 72 79 ..}......if( try
1320: 45 61 74 28 22 66 75 6e 22 29 20 29 0d 0a 09 09 Eat("fun") )....
1330: 7b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 {.....eat("(", "
1340: 61 66 74 65 72 20 66 75 6e 22 29 3b 0d 0a 09 09 after fun");....
1350: 09 73 74 72 69 6e 67 5b 5d 20 70 61 72 61 6d 73 .string[] params
1360: 3b 0d 0a 09 09 09 77 68 69 6c 65 28 21 74 72 79 ;.....while(!try
1370: 45 61 74 28 22 29 22 29 29 0d 0a 09 09 09 7b 0d Eat(")")).....{.
1380: 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 .....if( lex.emp
1390: 74 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 74 ty ) {.......aut
13a0: 6f 20 65 20 3d 20 50 61 72 73 65 72 45 78 63 65 o e = ParserExce
13b0: 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 78 ption.create(lex
13c0: 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46 ,"Unexpected EOF
13d0: 22 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 ");.......throw
13e0: 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 69 e;......}......i
13f0: 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f f( lex.front.quo
1400: 74 65 64 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 ted ) {.......au
1410: 74 6f 20 65 20 3d 20 50 61 72 73 65 72 45 78 63 to e = ParserExc
1420: 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 eption.create(le
1430: 78 2c 22 49 64 65 6e 74 69 66 69 65 72 20 45 78 x,"Identifier Ex
1440: 70 65 63 74 65 64 20 66 6f 72 20 70 61 72 61 6d pected for param
1450: 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 09 74 eters");.......t
1460: 68 72 6f 77 20 65 3b 0d 0a 09 09 09 09 7d 0d 0a hrow e;......}..
1470: 09 09 09 09 70 61 72 61 6d 73 20 7e 3d 20 6c 65 ....params ~= le
1480: 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 x.front.str;....
1490: 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ..lex.popFront;.
14a0: 0a 09 09 09 09 69 66 28 20 21 74 72 79 45 61 74 .....if( !tryEat
14b0: 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 (",") ) {.......
14c0: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 eat(")", "after
14d0: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
14e0: 65 72 73 22 29 3b 0d 0a 09 09 09 09 09 62 72 65 ers");.......bre
14f0: 61 6b 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d ak;......}.....}
1500: 0d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 .....eat("{", "a
1510: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
1520: 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 rameters");.....
1530: 53 74 61 74 65 6d 65 6e 74 5b 5d 20 66 75 6e 62 Statement[] funb
1540: 6f 64 79 3b 0d 0a 09 09 09 77 68 69 6c 65 28 21 ody;.....while(!
1550: 74 72 79 45 61 74 28 22 7d 22 29 29 20 7b 0d 0a tryEat("}")) {..
1560: 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
1570: 79 20 29 20 7b 0d 0a 09 09 09 09 09 61 75 74 6f y ) {.......auto
1580: 20 65 20 3d 20 50 61 72 73 65 72 45 78 63 65 70 e = ParserExcep
1590: 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 78 2c tion.create(lex,
15a0: 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46 22 "Unexpected EOF"
15b0: 29 3b 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 65 );.......throw e
15c0: 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 66 75 ;......}......fu
15d0: 6e 62 6f 64 79 20 7e 3d 20 70 61 72 73 65 53 74 nbody ~= parseSt
15e0: 61 74 65 6d 65 6e 74 28 29 3b 0d 0a 09 09 09 7d atement();.....}
15f0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
1600: 46 75 6e 4c 69 74 65 72 61 6c 45 78 70 72 65 73 FunLiteralExpres
1610: 73 69 6f 6e 28 70 6f 73 2c 20 70 61 72 61 6d 73 sion(pos, params
1620: 2c 20 66 75 6e 62 6f 64 79 29 3b 0d 0a 09 09 7d , funbody);....}
1630: 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 ....scope(exit)
1640: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
1650: 09 72 65 74 75 72 6e 20 6e 65 77 20 56 61 72 45 .return new VarE
1660: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c xpression(pos, l
1670: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a ex.front.str);..
1680: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
1690: 09 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 0d 0a 09 .Lexer lex;.....
16a0: 76 6f 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 void eat(string
16b0: 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 kwd, lazy string
16c0: 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 msg)...{....if(
16d0: 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 29 0d !tryEat(kwd) ).
16e0: 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 ...{.....auto e
16f0: 3d 20 50 61 72 73 65 72 45 78 63 65 70 74 69 6f = ParserExceptio
1700: 6e 2e 63 72 65 61 74 65 28 6c 65 78 2c 20 22 27 n.create(lex, "'
1710: 22 7e 6b 77 64 7e 22 27 20 69 73 20 65 78 70 65 "~kwd~"' is expe
1720: 63 74 65 64 20 22 7e 6d 73 67 7e 22 20 62 75 74 cted "~msg~" but
1730: 20 27 22 0d 0a 09 09 09 09 7e 28 6c 65 78 2e 65 '"......~(lex.e
1740: 6d 70 74 79 20 3f 20 22 45 4f 46 22 20 3a 20 6c mpty ? "EOF" : l
1750: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 7e 22 27 ex.front.str)~"'
1760: 20 6f 63 63 75 72 65 64 22 29 3b 0d 0a 09 09 09 occured");.....
1770: 74 68 72 6f 77 20 65 3b 0d 0a 09 09 7d 0d 0a 09 throw e;....}...
1780: 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 45 61 }.....bool tryEa
1790: 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0d 0a 09 t(string kwd)...
17a0: 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 {....if( lex.emp
17b0: 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e ty || lex.front.
17c0: 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 quoted || lex.fr
17d0: 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a ont.str!=kwd )..
17e0: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
17f0: 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 ....lex.popFront
1800: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 ;....return true
1810: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 69 ;...}.....bool i
1820: 73 4e 75 6d 62 65 72 28 73 74 72 69 6e 67 20 73 sNumber(string s
1830: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
1840: 66 69 6e 64 21 28 60 61 3c 27 30 27 7c 7c 27 39 find!(`a<'0'||'9
1850: 27 3c 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0d '<a`)(s).empty;.
1860: 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ..}..}....unitte
1870: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d st..{...auto p =
1880: 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e parserFromStrin
1890: 67 28 60 0d 0a 09 09 76 61 72 20 78 20 3d 20 31 g(`....var x = 1
18a0: 30 30 3b 0d 0a 09 09 76 61 72 20 79 20 3d 20 32 00;....var y = 2
18b0: 30 30 3b 0d 0a 09 60 29 3b 0d 0a 09 50 72 6f 67 00;...`);...Prog
18c0: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 ram prog = p.par
18d0: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 seProgram();...a
18e0: 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 ssert( prog.leng
18f0: 74 68 20 3d 3d 20 32 20 29 3b 0d 0a 09 61 75 74 th == 2 );...aut
1900: 6f 20 70 30 20 3d 20 63 61 73 74 28 44 65 63 6c o p0 = cast(Decl
1910: 53 74 61 74 65 6d 65 6e 74 29 70 72 6f 67 5b 30 Statement)prog[0
1920: 5d 3b 0d 0a 09 61 75 74 6f 20 70 31 20 3d 20 63 ];...auto p1 = c
1930: 61 73 74 28 44 65 63 6c 53 74 61 74 65 6d 65 6e ast(DeclStatemen
1940: 74 29 70 72 6f 67 5b 31 5d 3b 0d 0a 09 61 73 73 t)prog[1];...ass
1950: 65 72 74 28 20 70 30 2e 76 61 72 20 3d 3d 20 22 ert( p0.var == "
1960: 78 22 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 x" );...assert(
1970: 70 31 2e 76 61 72 20 3d 3d 20 22 79 22 20 29 3b p1.var == "y" );
1980: 0d 0a 09 61 73 73 65 72 74 28 20 28 63 61 73 74 ...assert( (cast
1990: 28 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 (IntLiteralExpre
19a0: 73 73 69 6f 6e 29 70 30 2e 65 78 70 72 29 2e 64 ssion)p0.expr).d
19b0: 61 74 61 20 3d 3d 20 31 30 30 20 29 3b 0d 0a 09 ata == 100 );...
19c0: 61 73 73 65 72 74 28 20 28 63 61 73 74 28 49 6e assert( (cast(In
19d0: 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 tLiteralExpressi
19e0: 6f 6e 29 70 31 2e 65 78 70 72 29 2e 64 61 74 61 on)p1.expr).data
19f0: 20 3d 3d 20 32 30 30 20 29 3b 0d 0a 7d 0d 0a 0d == 200 );..}...
1a00: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
1a10: 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46 72 uto p = parserFr
1a20: 6f 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 omString(`....va
1a30: 72 20 7a 7a 7a 20 3d 20 31 30 30 3b 20 23 20 63 r zzz = 100; # c
1a40: 6f 6d 6d 65 6e 74 0d 0a 09 09 7a 7a 7a 20 3d 20 omment....zzz =
1a50: 7a 7a 7a 20 2b 20 7a 7a 7a 20 2a 20 22 66 6f 5c zzz + zzz * "fo\
1a60: 6e 6f 22 3b 20 23 20 63 6f 6d 6d 65 6e 74 0d 0a no"; # comment..
1a70: 09 09 09 34 32 3b 0d 0a 09 60 29 3b 0d 0a 09 0d ...42;...`);....
1a80: 0a 09 61 75 74 6f 20 73 30 20 3d 20 6e 65 77 20 ..auto s0 = new
1a90: 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 DeclStatement(nu
1aa0: 6c 6c 2c 20 22 7a 7a 7a 22 2c 20 6e 65 77 20 49 ll, "zzz", new I
1ab0: 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 ntLiteralExpress
1ac0: 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 ion(null, BigInt
1ad0: 28 31 30 30 29 29 29 3b 0d 0a 09 61 75 74 6f 20 (100)));...auto
1ae0: 73 31 20 3d 20 6e 65 77 20 45 78 70 72 53 74 61 s1 = new ExprSta
1af0: 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 tement(null, new
1b00: 20 41 73 73 69 67 6e 45 78 70 72 65 73 73 69 6f AssignExpressio
1b10: 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 6e 65 77 20 56 n(null,....new V
1b20: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
1b30: 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 6e 65 l, "zzz"),....ne
1b40: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
1b50: 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 61 ion(null, new Va
1b60: 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c rExpression(null
1b70: 2c 22 2b 22 29 2c 0d 0a 09 09 09 6e 65 77 20 56 ,"+"),.....new V
1b80: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
1b90: 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 09 6e l, "zzz"),.....n
1ba0: 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 ew FuncallExpres
1bb0: 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 sion(null, new V
1bc0: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c arExpression(nul
1bd0: 6c 2c 22 2a 22 29 2c 0d 0a 09 09 09 09 6e 65 77 l,"*"),......new
1be0: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
1bf0: 75 6c 6c 2c 20 22 7a 7a 7a 22 29 2c 0d 0a 09 09 ull, "zzz"),....
1c00: 09 09 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c ..new StrLiteral
1c10: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
1c20: 20 22 66 6f 5c 5c 6e 6f 22 29 0d 0a 09 09 09 09 "fo\\no")......
1c30: 29 29 29 29 3b 0d 0a 09 61 75 74 6f 20 73 32 20 ))));...auto s2
1c40: 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 65 6d = new ExprStatem
1c50: 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 49 6e ent(null, new In
1c60: 74 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 tLiteralExpressi
1c70: 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 on(null, BigInt(
1c80: 34 32 29 29 29 3b 0d 0a 09 0d 0a 09 50 72 6f 67 42)));......Prog
1c90: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 ram prog = p.par
1ca0: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 seProgram();...a
1cb0: 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 ssert( prog.leng
1cc0: 74 68 20 3d 3d 20 33 20 29 3b 0d 0a 09 61 73 73 th == 3 );...ass
1cd0: 65 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 ert( prog[0] ==
1ce0: 73 30 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 s0 );...assert(
1cf0: 70 72 6f 67 5b 31 5d 20 3d 3d 20 73 31 20 29 3b prog[1] == s1 );
1d00: 0d 0a 09 61 73 73 65 72 74 28 20 70 72 6f 67 5b ...assert( prog[
1d10: 32 5d 20 3d 3d 20 73 32 20 29 3b 0d 0a 7d 0d 0a 2] == s2 );..}..
1d20: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
1d30: 61 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46 auto p = parserF
1d40: 72 6f 6d 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 romString(`....v
1d50: 61 72 20 66 20 3d 20 66 75 6e 28 78 2c 79 29 7b ar f = fun(x,y){
1d60: 78 2b 79 3b 7d 3b 0d 0a 09 09 66 28 31 2c 66 75 x+y;};....f(1,fu
1d70: 6e 28 61 62 63 29 7b 7d 28 34 29 29 3b 0d 0a 09 n(abc){}(4));...
1d80: 60 29 3b 0d 0a 09 50 72 6f 67 72 61 6d 20 70 72 `);...Program pr
1d90: 6f 67 20 3d 20 70 2e 70 61 72 73 65 50 72 6f 67 og = p.parseProg
1da0: 72 61 6d 28 29 3b 0d 0a 09 61 73 73 65 72 74 28 ram();...assert(
1db0: 20 70 72 6f 67 2e 6c 65 6e 67 74 68 20 3d 3d 20 prog.length ==
1dc0: 32 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 70 2 );...assert( p
1dd0: 72 6f 67 5b 30 5d 20 3d 3d 20 6e 65 77 20 44 65 rog[0] == new De
1de0: 63 6c 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c clStatement(null
1df0: 2c 20 22 66 22 2c 20 6e 65 77 20 46 75 6e 4c 69 , "f", new FunLi
1e00: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 teralExpression(
1e10: 6e 75 6c 6c 2c 0d 0a 09 09 5b 22 78 22 2c 22 79 null,....["x","y
1e20: 22 5d 2c 20 5b 6e 65 77 20 45 78 70 72 53 74 61 "], [new ExprSta
1e30: 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 0d 0a 09 09 tement(null,....
1e40: 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 .new FuncallExpr
1e50: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 6e 65 77 ession(null, new
1e60: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
1e70: 75 6c 6c 2c 20 22 2b 22 29 2c 0d 0a 09 09 09 6e ull, "+"),.....n
1e80: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1e90: 28 6e 75 6c 6c 2c 20 22 78 22 29 2c 20 6e 65 77 (null, "x"), new
1ea0: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
1eb0: 75 6c 6c 2c 20 22 79 22 29 29 29 5d 0d 0a 09 09 ull, "y")))]....
1ec0: 09 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 .)));...assert(
1ed0: 70 72 6f 67 5b 31 5d 20 3d 3d 20 6e 65 77 20 45 prog[1] == new E
1ee0: 78 70 72 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c xprStatement(nul
1ef0: 6c 2c 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 l, new FuncallEx
1f00: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a pression(null,..
1f10: 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 ..new VarExpress
1f20: 69 6f 6e 28 6e 75 6c 6c 2c 20 22 66 22 29 2c 0d ion(null, "f"),.
1f30: 0a 09 09 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 ...new IntLitera
1f40: 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c lExpression(null
1f50: 2c 20 42 69 67 49 6e 74 28 31 29 29 2c 0d 0a 09 , BigInt(1)),...
1f60: 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 .new FuncallExpr
1f70: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 0d 0a 09 09 ession(null,....
1f80: 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 .new FunLiteralE
1f90: 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 xpression(null,
1fa0: 5b 22 61 62 63 22 5d 2c 20 5b 0d 0a 09 09 09 5d ["abc"], [.....]
1fb0: 29 2c 0d 0a 09 09 09 6e 65 77 20 49 6e 74 4c 69 ),.....new IntLi
1fc0: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 teralExpression(
1fd0: 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 34 29 29 null, BigInt(4))
1fe0: 0d 0a 09 09 09 29 29 29 29 3b 0d 0a 7d 0d 0a 0d .....))));..}...
1ff0: 0a 2f 2a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ./*..unittest..{
2000: 0d 0a 09 61 75 74 6f 20 70 20 3d 20 70 61 72 73 ...auto p = pars
2010: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 60 76 61 erFromString(`va
2020: 72 20 78 20 3d 20 31 3b 20 76 61 72 20 66 20 3d r x = 1; var f =
2030: 20 66 75 6e 28 29 7b 78 3d 78 2b 31 3b 7d 3b 20 fun(){x=x+1;};
2040: 66 28 29 3b 20 66 28 29 3b 20 78 3b 60 29 3b 0d f(); f(); x;`);.
2050: 0a 09 50 72 6f 67 72 61 6d 20 70 72 6f 67 20 3d ..Program prog =
2060: 20 70 2e 70 61 72 73 65 50 72 6f 67 72 61 6d 28 p.parseProgram(
2070: 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 );..}....unittes
2080: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d 20 t..{...auto p =
2090: 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 parserFromString
20a0: 28 60 69 66 28 78 3c 32 29 7b 31 3b 7d 65 6c 73 (`if(x<2){1;}els
20b0: 65 7b 78 3b 7d 3b 60 29 3b 0d 0a 09 50 72 6f 67 e{x;};`);...Prog
20c0: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 ram prog = p.par
20d0: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0d 0a 09 61 seProgram();...a
20e0: 73 73 65 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d ssert( prog[0] =
20f0: 3d 20 6e 65 77 20 45 78 70 72 53 74 61 74 65 6d = new ExprStatem
2100: 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 20 46 75 ent(null, new Fu
2110: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
2120: 6e 75 6c 6c 2c 0d 0a 09 09 6e 65 77 20 56 61 72 null,....new Var
2130: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c Expression(null,
2140: 20 22 69 66 22 29 2c 0d 0a 09 09 6e 65 77 20 46 "if"),....new F
2150: 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e uncallExpression
2160: 28 6e 75 6c 6c 2c 20 6e 65 77 20 56 61 72 45 78 (null, new VarEx
2170: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 22 3c pression(null,"<
2180: 22 29 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 "), new VarExpre
2190: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 22 78 22 29 2c ssion(null,"x"),
21a0: 0d 0a 09 09 09 6e 65 77 20 49 6e 74 4c 69 74 65 .....new IntLite
21b0: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 ralExpression(nu
21c0: 6c 6c 2c 20 42 69 67 49 6e 74 28 32 29 29 29 2c ll, BigInt(2))),
21d0: 0d 0a 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 ....new FunLiter
21e0: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c alExpression(nul
21f0: 6c 2c 20 5b 5d 2c 20 5b 6e 65 77 20 45 78 70 72 l, [], [new Expr
2200: 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 Statement(null,
2210: 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 new IntLiteralEx
2220: 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 pression(null, B
2230: 69 67 49 6e 74 28 31 29 29 29 5d 29 2c 0d 0a 09 igInt(1)))]),...
2240: 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 .new FunLiteralE
2250: 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 xpression(null,
2260: 5b 5d 2c 20 5b 6e 65 77 20 45 78 70 72 53 74 61 [], [new ExprSta
2270: 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65 77 tement(null, new
2280: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e VarExpression(n
2290: 75 6c 6c 2c 20 22 78 22 29 29 5d 29 0d 0a 09 09 ull, "x"))])....
22a0: 29 29 29 3b 09 09 0d 0a 7d 0d 0a 2a 2f )));....}..*/