Hex Artifact Content
Not logged in

Artifact 51dd3bd106fd9ecb5b03a6a71dcdcf671569a0ca:


0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72  .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69  s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39  cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d  82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20  onos.net/nysl/. 
0050: 2a 0a 20 2a 20 50 61 72 73 65 72 20 66 6f 72 20  *. * Parser for 
0060: 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69  Polemy programmi
0070: 6e 67 20 6c 61 6e 67 75 61 67 65 0a 20 2a 2f 0a  ng language. */.
0080: 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 70 61  module polemy.pa
0090: 72 73 65 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65  rse;.import pole
00a0: 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f  my._common;.impo
00b0: 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0a 69  rt polemy.lex;.i
00c0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74  mport polemy.ast
00d0: 3b 0a 0a 2f 2f 2f 20 50 61 72 73 69 6e 67 20 46  ;../// Parsing F
00e0: 61 69 6c 75 72 65 0a 0a 63 6c 61 73 73 20 50 61  ailure..class Pa
00f0: 72 73 65 72 45 78 63 65 70 74 69 6f 6e 20 3a 20  rserException : 
0100: 45 78 63 65 70 74 69 6f 6e 0a 7b 0a 70 72 69 76  Exception.{.priv
0110: 61 74 65 3a 0a 09 74 68 69 73 28 73 74 72 69 6e  ate:..this(strin
0120: 67 20 6d 73 67 29 20 7b 20 73 75 70 65 72 28 6d  g msg) { super(m
0130: 73 67 29 3b 20 7d 0a 09 73 74 61 74 69 63 20 50  sg); }..static P
0140: 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e 20 63  arserException c
0150: 72 65 61 74 65 28 4c 65 78 65 72 29 28 4c 65 78  reate(Lexer)(Lex
0160: 65 72 20 6c 65 78 2c 20 73 74 72 69 6e 67 20 6d  er lex, string m
0170: 73 67 29 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20  sg)..{...return 
0180: 6e 65 77 20 50 61 72 73 65 72 45 78 63 65 70 74  new ParserExcept
0190: 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 5b 25 73  ion(sprintf!"[%s
01a0: 5d 20 25 73 22 28 0a 09 09 09 6c 65 78 2e 65 6d  ] %s"(....lex.em
01b0: 70 74 79 20 3f 20 22 45 4f 46 22 20 3a 20 74 6f  pty ? "EOF" : to
01c0: 21 73 74 72 69 6e 67 28 6c 65 78 2e 66 72 6f 6e  !string(lex.fron
01d0: 74 2e 70 6f 73 29 2c 20 6d 73 67 29 29 3b 0a 09  t.pos), msg));..
01e0: 7d 0a 7d 0a 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43  }.}../// Named C
01f0: 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 50 61  onstructor of Pa
0200: 72 73 65 72 0a 0a 61 75 74 6f 20 70 61 72 73 65  rser..auto parse
0210: 72 46 72 6f 6d 4c 65 78 65 72 28 4c 65 78 65 72  rFromLexer(Lexer
0220: 29 28 4c 65 78 65 72 20 6c 65 78 29 0a 7b 0a 09  )(Lexer lex).{..
0230: 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 65  return new Parse
0240: 72 21 4c 65 78 65 72 28 6c 65 78 29 3b 0a 7d 0a  r!Lexer(lex);.}.
0250: 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74  ./// Named Const
0260: 72 75 63 74 6f 72 20 6f 66 20 50 61 72 73 65 72  ructor of Parser
0270: 20 28 6a 75 73 74 20 66 77 64 20 74 6f 20 6c 65   (just fwd to le
0280: 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 29 0a 0a  xerFromString)..
0290: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 53  auto parserFromS
02a0: 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 20 70 61  tring(T...)(T pa
02b0: 72 61 6d 73 29 0a 7b 0a 09 72 65 74 75 72 6e 20  rams).{..return 
02c0: 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 28  parserFromLexer(
02d0: 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 72  polemy.lex.lexer
02e0: 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 72 61 6d  FromString(param
02f0: 73 29 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4e 61 6d 65  s));.}../// Name
0300: 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66  d Constructor of
0310: 20 50 61 72 73 65 72 20 28 6a 75 73 74 20 66 77   Parser (just fw
0320: 64 20 74 6f 20 6c 65 78 65 72 46 72 6f 6d 46 69  d to lexerFromFi
0330: 6c 65 29 0a 0a 61 75 74 6f 20 70 61 72 73 65 72  le)..auto parser
0340: 46 72 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54  FromFile(T...)(T
0350: 20 70 61 72 61 6d 73 29 0a 7b 0a 09 72 65 74 75   params).{..retu
0360: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78  rn parserFromLex
0370: 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65  er(polemy.lex.le
0380: 78 65 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61  xerFromFile(para
0390: 6d 73 29 29 3b 0a 7d 0a 0a 2f 2f 2f 20 50 61 72  ms));.}../// Par
03a0: 73 65 72 0a 0a 63 6c 61 73 73 20 50 61 72 73 65  ser..class Parse
03b0: 72 28 4c 65 78 65 72 29 0a 7b 0a 09 74 68 69 73  r(Lexer).{..this
03c0: 28 4c 65 78 65 72 20 6c 65 78 29 0a 09 7b 0a 09  (Lexer lex)..{..
03d0: 09 74 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 3b  .this.lex = lex;
03e0: 0a 09 7d 0a 0a 09 50 72 6f 67 72 61 6d 20 70 61  ..}...Program pa
03f0: 72 73 65 50 72 6f 67 72 61 6d 28 29 0a 09 7b 0a  rseProgram()..{.
0400: 09 09 50 72 6f 67 72 61 6d 20 70 20 3d 20 70 61  ..Program p = pa
0410: 72 73 65 53 74 61 74 65 6d 65 6e 74 73 28 29 3b  rseStatements();
0420: 0a 09 09 69 66 28 20 21 6c 65 78 2e 65 6d 70 74  ...if( !lex.empt
0430: 79 20 29 20 7b 0a 09 09 09 61 75 74 6f 20 65 20  y ) {....auto e 
0440: 3d 20 50 61 72 73 65 72 45 78 63 65 70 74 69 6f  = ParserExceptio
0450: 6e 2e 63 72 65 61 74 65 28 6c 65 78 2c 20 22 63  n.create(lex, "c
0460: 61 6e 6e 6f 74 20 72 65 61 63 68 20 65 6f 66 22  annot reach eof"
0470: 29 3b 0a 09 09 09 74 68 72 6f 77 20 65 3b 0a 09  );....throw e;..
0480: 09 7d 0a 09 09 72 65 74 75 72 6e 20 70 3b 0a 09  .}...return p;..
0490: 7d 0a 0a 09 50 72 6f 67 72 61 6d 20 70 61 72 73  }...Program pars
04a0: 65 53 74 61 74 65 6d 65 6e 74 73 28 29 0a 09 7b  eStatements()..{
04b0: 0a 09 09 50 72 6f 67 72 61 6d 20 70 3b 0a 09 09  ...Program p;...
04c0: 77 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74  while( !lex.empt
04d0: 79 20 26 26 20 28 6c 65 78 2e 66 72 6f 6e 74 2e  y && (lex.front.
04e0: 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72  quoted || lex.fr
04f0: 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 29 20 29 0a  ont.str!="}") ).
0500: 09 09 09 70 20 7e 3d 20 70 61 72 73 65 53 74 61  ...p ~= parseSta
0510: 74 65 6d 65 6e 74 28 29 3b 0a 09 09 72 65 74 75  tement();...retu
0520: 72 6e 20 70 3b 0a 09 7d 0a 09 0a 09 53 74 61 74  rn p;..}....Stat
0530: 65 6d 65 6e 74 20 70 61 72 73 65 53 74 61 74 65  ement parseState
0540: 6d 65 6e 74 28 29 0a 09 7b 0a 09 09 61 75 74 6f  ment()..{...auto
0550: 20 73 61 76 65 64 20 3d 20 6c 65 78 2e 73 61 76   saved = lex.sav
0560: 65 3b 0a 09 09 73 63 6f 70 65 28 66 61 69 6c 75  e;...scope(failu
0570: 72 65 29 20 6c 65 78 20 3d 20 73 61 76 65 64 3b  re) lex = saved;
0580: 0a 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74  ....if( lex.empt
0590: 79 20 29 0a 09 09 09 74 68 72 6f 77 20 6e 65 77  y )....throw new
05a0: 20 50 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e   ParserException
05b0: 28 22 45 4f 46 20 64 75 72 69 6e 67 20 70 61 72  ("EOF during par
05c0: 73 69 6e 67 20 61 20 73 74 61 74 65 6d 65 6e 74  sing a statement
05d0: 22 29 3b 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d  ");...auto pos =
05e0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a   lex.front.pos;.
05f0: 0a 09 09 69 66 28 20 21 6c 65 78 2e 66 72 6f 6e  ...if( !lex.fron
0600: 74 2e 71 75 6f 74 65 64 20 26 26 20 6c 65 78 2e  t.quoted && lex.
0610: 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 76 61 72 22  front.str=="var"
0620: 20 29 0a 09 09 7b 0a 09 09 09 2f 2f 20 22 76 61   )...{....// "va
0630: 72 22 20 56 61 72 20 22 3d 22 20 45 78 70 72 65  r" Var "=" Expre
0640: 73 73 69 6f 6e 20 22 3b 22 0a 09 09 09 6c 65 78  ssion ";"....lex
0650: 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 73 74  .popFront;....st
0660: 72 69 6e 67 20 76 61 72 20 3d 20 6c 65 78 2e 66  ring var = lex.f
0670: 72 6f 6e 74 2e 73 74 72 3b 0a 09 09 09 6c 65 78  ront.str;....lex
0680: 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 65 61  .popFront;....ea
0690: 74 28 22 3d 22 2c 20 22 66 6f 72 20 76 61 72 69  t("=", "for vari
06a0: 61 62 6c 65 20 64 65 63 6c 61 72 61 74 69 6f 6e  able declaration
06b0: 22 29 3b 0a 09 09 09 61 75 74 6f 20 70 61 72 73  ");....auto pars
06c0: 65 64 20 3d 20 6e 65 77 20 44 65 63 6c 53 74 61  ed = new DeclSta
06d0: 74 65 6d 65 6e 74 28 70 6f 73 2c 20 76 61 72 2c  tement(pos, var,
06e0: 20 70 61 72 73 65 45 78 70 72 65 73 73 69 6f 6e   parseExpression
06f0: 28 29 29 3b 0a 09 09 09 65 61 74 28 22 3b 22 2c  ());....eat(";",
0700: 20 22 61 66 74 65 72 20 76 61 72 69 61 62 6c 65   "after variable
0710: 20 64 65 63 6c 61 72 61 74 69 6f 6e 22 29 3b 0a   declaration");.
0720: 09 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 64  ...return parsed
0730: 3b 0a 09 09 7d 0a 09 09 65 6c 73 65 0a 09 09 7b  ;...}...else...{
0740: 0a 09 09 09 2f 2f 20 45 78 70 72 65 73 73 69 6f  ....// Expressio
0750: 6e 20 22 3b 22 0a 09 09 09 61 75 74 6f 20 70 61  n ";"....auto pa
0760: 72 73 65 64 20 3d 20 6e 65 77 20 45 78 70 72 53  rsed = new ExprS
0770: 74 61 74 65 6d 65 6e 74 28 70 6f 73 2c 20 70 61  tatement(pos, pa
0780: 72 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 29  rseExpression())
0790: 3b 0a 09 09 09 65 61 74 28 22 3b 22 2c 20 22 61  ;....eat(";", "a
07a0: 66 74 65 72 20 73 74 61 74 65 6d 65 6e 74 22 29  fter statement")
07b0: 3b 0a 09 09 09 72 65 74 75 72 6e 20 70 61 72 73  ;....return pars
07c0: 65 64 3b 0a 09 09 7d 0a 09 7d 0a 0a 09 45 78 70  ed;...}..}...Exp
07d0: 72 65 73 73 69 6f 6e 20 70 61 72 73 65 45 78 70  ression parseExp
07e0: 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a 09 09 61  ression()..{...a
07f0: 75 74 6f 20 73 61 76 65 64 20 3d 20 6c 65 78 2e  uto saved = lex.
0800: 73 61 76 65 3b 0a 09 09 73 63 6f 70 65 28 66 61  save;...scope(fa
0810: 69 6c 75 72 65 29 20 6c 65 78 20 3d 20 73 61 76  ilure) lex = sav
0820: 65 64 3b 0a 09 09 72 65 74 75 72 6e 20 70 61 72  ed;...return par
0830: 73 65 45 28 30 29 3b 0a 09 7d 0a 0a 09 2f 2f 20  seE(0);..}...// 
0840: 5b 54 4f 44 4f 5d 20 6d 75 6c 74 69 2d 63 68 61  [TODO] multi-cha
0850: 72 20 6f 70 65 72 61 74 6f 72 73 20 61 72 65 20  r operators are 
0860: 6e 6f 74 20 73 75 70 70 6f 72 74 65 64 20 62 79  not supported by
0870: 20 74 68 65 20 6c 65 78 65 72 2e 2e 2e 0a 09 73   the lexer.....s
0880: 74 61 74 69 63 20 69 6d 6d 75 74 61 62 6c 65 20  tatic immutable 
0890: 73 74 72 69 6e 67 5b 5d 5b 5d 20 6f 70 65 72 61  string[][] opera
08a0: 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 20  tor_perferences 
08b0: 3d 20 5b 0a 09 09 5b 22 3d 22 5d 2c 0a 09 09 5b  = [...["="],...[
08c0: 22 6f 72 22 5d 2c 0a 09 09 5b 22 61 6e 64 22 5d  "or"],...["and"]
08d0: 2c 0a 09 09 5b 22 21 3d 22 5d 2c 0a 09 09 5b 22  ,...["!="],...["
08e0: 3d 3d 22 5d 2c 0a 09 09 5b 22 3c 22 2c 22 3c 3d  =="],...["<","<=
08f0: 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0a 09 09 5b  ",">",">="],...[
0900: 22 7c 22 5d 2c 0a 09 09 5b 22 5e 22 5d 2c 0a 09  "|"],...["^"],..
0910: 09 5b 22 26 22 5d 2c 0a 09 09 5b 22 3c 3c 22 2c  .["&"],...["<<",
0920: 20 22 3e 3e 22 5d 2c 0a 09 09 5b 22 2b 22 2c 22   ">>"],...["+","
0930: 2d 22 5d 2c 0a 09 09 5b 22 2a 22 2c 22 2f 22 2c  -"],...["*","/",
0940: 22 25 22 5d 0a 09 5d 3b 0a 0a 09 45 78 70 72 65  "%"]..];...Expre
0950: 73 73 69 6f 6e 20 70 61 72 73 65 45 28 69 6e 74  ssion parseE(int
0960: 20 6c 65 76 65 6c 20 3d 20 30 29 0a 09 7b 0a 09   level = 0)..{..
0970: 09 69 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 65  .if( operator_pe
0980: 72 66 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 68  rferences.length
0990: 20 3c 3d 20 6c 65 76 65 6c 20 29 0a 09 09 09 72   <= level )....r
09a0: 65 74 75 72 6e 20 70 61 72 73 65 42 61 73 65 45  eturn parseBaseE
09b0: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0a 09 09 65  xpression();...e
09c0: 6c 73 65 0a 09 09 7b 0a 09 09 09 61 75 74 6f 20  lse...{....auto 
09d0: 6f 70 73 20 3d 20 6f 70 65 72 61 74 6f 72 5f 70  ops = operator_p
09e0: 65 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 65 6c  erferences[level
09f0: 5d 3b 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 70  ];....auto e = p
0a00: 61 72 73 65 45 28 6c 65 76 65 6c 2b 31 29 3b 0a  arseE(level+1);.
0a10: 09 09 73 65 71 3a 0a 09 09 09 77 68 69 6c 65 28  ..seq:....while(
0a20: 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0a 09 09   !lex.empty )...
0a30: 09 7b 0a 09 09 09 09 61 75 74 6f 20 70 6f 73 20  .{.....auto pos 
0a40: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b  = lex.front.pos;
0a50: 0a 09 09 09 09 66 6f 72 65 61 63 68 28 6f 70 3b  .....foreach(op;
0a60: 20 6f 70 73 29 0a 09 09 09 09 09 69 66 28 20 74   ops)......if( t
0a70: 72 79 45 61 74 28 6f 70 29 20 29 0a 09 09 09 09  ryEat(op) ).....
0a80: 09 7b 0a 09 09 09 09 09 09 69 66 28 20 6f 70 20  .{.......if( op 
0a90: 3d 3d 20 22 3d 22 20 29 20 2f 2f 20 72 69 67 68  == "=" ) // righ
0aa0: 74 20 61 73 73 6f 63 0a 09 09 09 09 09 09 09 72  t assoc........r
0ab0: 65 74 75 72 6e 20 6e 65 77 20 41 73 73 69 67 6e  eturn new Assign
0ac0: 45 78 70 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73  Expression(e.pos
0ad0: 2c 20 65 2c 20 70 61 72 73 65 45 28 6c 65 76 65  , e, parseE(leve
0ae0: 6c 29 29 3b 0a 09 09 09 09 09 09 65 6c 73 65 0a  l));.......else.
0af0: 09 09 09 09 09 09 09 65 20 3d 20 6e 65 77 20 46  .......e = new F
0b00: 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e  uncallExpression
0b10: 28 65 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 45  (e.pos, new VarE
0b20: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6f  xpression(pos, o
0b30: 70 29 2c 20 65 2c 20 70 61 72 73 65 45 28 6c 65  p), e, parseE(le
0b40: 76 65 6c 2b 31 29 29 3b 0a 09 09 09 09 09 09 63  vel+1));.......c
0b50: 6f 6e 74 69 6e 75 65 20 73 65 71 3b 0a 09 09 09  ontinue seq;....
0b60: 09 09 7d 0a 09 09 09 09 62 72 65 61 6b 3b 0a 09  ..}.....break;..
0b70: 09 09 7d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b  ..}....return e;
0b80: 0a 09 09 7d 0a 09 7d 0a 0a 09 45 78 70 72 65 73  ...}..}...Expres
0b90: 73 69 6f 6e 20 70 61 72 73 65 42 61 73 65 45 78  sion parseBaseEx
0ba0: 70 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a 09 09  pression()..{...
0bb0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0a  if( lex.empty ).
0bc0: 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 61 72  ...throw new Par
0bd0: 73 65 72 45 78 63 65 70 74 69 6f 6e 28 22 45 4f  serException("EO
0be0: 46 20 64 75 72 69 6e 67 20 70 61 72 73 69 6e 67  F during parsing
0bf0: 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29   an expression")
0c00: 3b 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c  ;...auto pos = l
0c10: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09  ex.front.pos;...
0c20: 45 78 70 72 65 73 73 69 6f 6e 20 65 20 3d 20 70  Expression e = p
0c30: 61 72 73 65 42 61 73 65 42 61 73 65 45 78 70 72  arseBaseBaseExpr
0c40: 65 73 73 69 6f 6e 28 29 3b 0a 09 09 77 68 69 6c  ession();...whil
0c50: 65 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29  e( tryEat("(") )
0c60: 20 2f 2f 20 66 75 6e 63 61 6c 6c 0a 09 09 7b 0a   // funcall...{.
0c70: 09 09 09 45 78 70 72 65 73 73 69 6f 6e 5b 5d 20  ...Expression[] 
0c80: 61 72 67 73 3b 0a 09 09 09 77 68 69 6c 65 28 20  args;....while( 
0c90: 21 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b  !tryEat(")") ) {
0ca0: 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70  .....if( lex.emp
0cb0: 74 79 20 29 20 7b 0a 09 09 09 09 09 61 75 74 6f  ty ) {......auto
0cc0: 20 65 78 20 3d 20 50 61 72 73 65 72 45 78 63 65   ex = ParserExce
0cd0: 70 74 69 6f 6e 2e 63 72 65 61 74 65 28 6c 65 78  ption.create(lex
0ce0: 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46  ,"Unexpected EOF
0cf0: 22 29 3b 0a 09 09 09 09 09 74 68 72 6f 77 20 65  ");......throw e
0d00: 78 3b 0a 09 09 09 09 7d 0a 09 09 09 09 61 72 67  x;.....}.....arg
0d10: 73 20 7e 3d 20 70 61 72 73 65 45 28 29 3b 0a 09  s ~= parseE();..
0d20: 09 09 09 69 66 28 20 21 74 72 79 45 61 74 28 22  ...if( !tryEat("
0d30: 2c 22 29 20 29 20 7b 0a 09 09 09 09 09 65 61 74  ,") ) {......eat
0d40: 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 75 6e  (")", "after fun
0d50: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73  ction parameters
0d60: 22 29 3b 0a 09 09 09 09 09 62 72 65 61 6b 3b 0a  ");......break;.
0d70: 09 09 09 09 7d 0a 09 09 09 7d 0a 09 09 09 65 20  ....}....}....e 
0d80: 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70  = new FuncallExp
0d90: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 65 2c 20  ression(pos, e, 
0da0: 61 72 67 73 29 3b 0a 09 09 7d 0a 09 09 72 65 74  args);...}...ret
0db0: 75 72 6e 20 65 3b 0a 09 7d 0a 0a 09 45 78 70 72  urn e;..}...Expr
0dc0: 65 73 73 69 6f 6e 20 70 61 72 73 65 42 61 73 65  ession parseBase
0dd0: 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29  BaseExpression()
0de0: 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d  ..{...if( lex.em
0df0: 70 74 79 20 29 0a 09 09 09 74 68 72 6f 77 20 6e  pty )....throw n
0e00: 65 77 20 50 61 72 73 65 72 45 78 63 65 70 74 69  ew ParserExcepti
0e10: 6f 6e 28 22 45 4f 46 20 64 75 72 69 6e 67 20 70  on("EOF during p
0e20: 61 72 73 69 6e 67 20 61 6e 20 65 78 70 72 65 73  arsing an expres
0e30: 73 69 6f 6e 22 29 3b 0a 09 09 61 75 74 6f 20 70  sion");...auto p
0e40: 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70  os = lex.front.p
0e50: 6f 73 3b 0a 0a 09 09 69 66 28 20 6c 65 78 2e 66  os;....if( lex.f
0e60: 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0a 09 09  ront.quoted )...
0e70: 7b 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29  {....scope(exit)
0e80: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09   lex.popFront;..
0e90: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72  ..return new Str
0ea0: 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f  LiteralExpressio
0eb0: 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74  n(pos, lex.front
0ec0: 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 09 69 66 28  .str);...}...if(
0ed0: 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e 66 72   isNumber(lex.fr
0ee0: 6f 6e 74 2e 73 74 72 29 20 29 20 2f 2f 20 69 73  ont.str) ) // is
0ef0: 5f 6e 75 6d 62 65 72 0a 09 09 7b 0a 09 09 09 73  _number...{....s
0f00: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70  cope(exit) lex.p
0f10: 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 65 74 75  opFront;....retu
0f20: 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61  rn new IntLitera
0f30: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c  lExpression(pos,
0f40: 20 42 69 67 49 6e 74 28 63 61 73 74 28 73 74 72   BigInt(cast(str
0f50: 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74  ing)lex.front.st
0f60: 72 29 29 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74  r));...}...if( t
0f70: 72 79 45 61 74 28 22 28 22 29 20 29 0a 09 09 7b  ryEat("(") )...{
0f80: 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 70 61 72  ....auto e = par
0f90: 73 65 45 28 29 3b 0a 09 09 09 65 61 74 28 22 29  seE();....eat(")
0fa0: 22 2c 20 22 61 66 74 65 72 20 70 61 72 65 6e 74  ", "after parent
0fb0: 68 65 73 69 7a 65 64 20 65 78 70 72 65 73 73 69  hesized expressi
0fc0: 6f 6e 22 29 3b 0a 09 09 09 72 65 74 75 72 6e 20  on");....return 
0fd0: 65 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79  e;...}...if( try
0fe0: 45 61 74 28 22 69 66 22 29 20 29 0a 09 09 7b 0a  Eat("if") )...{.
0ff0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74  ...eat("(", "aft
1000: 65 72 20 69 66 22 29 3b 0a 09 09 09 61 75 74 6f  er if");....auto
1010: 20 63 6f 6e 64 20 3d 20 70 61 72 73 65 45 28 29   cond = parseE()
1020: 3b 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61  ;....eat(")", "a
1030: 66 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f  fter if conditio
1040: 6e 22 29 3b 0a 09 09 09 61 75 74 6f 20 74 68 65  n");....auto the
1050: 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74  nPos = lex.front
1060: 2e 70 6f 73 3b 0a 09 09 09 65 61 74 28 22 7b 22  .pos;....eat("{"
1070: 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e 64  , "after if cond
1080: 69 74 69 6f 6e 22 29 3b 0a 09 09 09 53 74 61 74  ition");....Stat
1090: 65 6d 65 6e 74 5b 5d 20 74 68 20 3d 20 70 61 72  ement[] th = par
10a0: 73 65 53 74 61 74 65 6d 65 6e 74 73 28 29 3b 0a  seStatements();.
10b0: 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74  ...eat("}", "aft
10c0: 65 72 20 69 66 2d 74 68 65 6e 20 62 6f 64 79 22  er if-then body"
10d0: 29 3b 0a 09 09 09 53 74 61 74 65 6d 65 6e 74 5b  );....Statement[
10e0: 5d 20 65 6c 3b 0a 09 09 09 61 75 74 6f 20 65 6c  ] el;....auto el
10f0: 73 65 50 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e  sePos = lex.fron
1100: 74 2e 70 6f 73 3b 0a 09 09 09 69 66 28 20 74 72  t.pos;....if( tr
1110: 79 45 61 74 28 22 65 6c 73 65 22 29 20 29 20 7b  yEat("else") ) {
1120: 0a 09 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61  .....eat("{", "a
1130: 66 74 65 72 20 65 6c 73 65 22 29 3b 0a 09 09 09  fter else");....
1140: 09 65 6c 20 3d 20 70 61 72 73 65 53 74 61 74 65  .el = parseState
1150: 6d 65 6e 74 73 28 29 3b 0a 09 09 09 09 65 61 74  ments();.....eat
1160: 28 22 7d 22 2c 20 22 61 66 74 65 72 20 65 6c 73  ("}", "after els
1170: 65 20 62 6f 64 79 22 29 3b 0a 09 09 09 7d 0a 09  e body");....}..
1180: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e  ..return new Fun
1190: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 70  callExpression(p
11a0: 6f 73 2c 20 0a 09 09 09 09 6e 65 77 20 56 61 72  os, .....new Var
11b0: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20  Expression(pos, 
11c0: 22 69 66 22 29 2c 0a 09 09 09 09 63 6f 6e 64 2c  "if"),.....cond,
11d0: 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65  .....new FunLite
11e0: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 74 68  ralExpression(th
11f0: 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0a  enPos, [], th),.
1200: 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72  ....new FunLiter
1210: 61 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 6c 73  alExpression(els
1220: 65 50 6f 73 2c 20 5b 5d 2c 20 65 6c 29 0a 09 09  ePos, [], el)...
1230: 09 29 3b 0a 09 09 7d 0a 0a 09 09 69 66 28 20 74  .);...}....if( t
1240: 72 79 45 61 74 28 22 66 75 6e 22 29 20 29 0a 09  ryEat("fun") )..
1250: 09 7b 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22  .{....eat("(", "
1260: 61 66 74 65 72 20 66 75 6e 22 29 3b 0a 09 09 09  after fun");....
1270: 73 74 72 69 6e 67 5b 5d 20 70 61 72 61 6d 73 3b  string[] params;
1280: 0a 09 09 09 77 68 69 6c 65 28 21 74 72 79 45 61  ....while(!tryEa
1290: 74 28 22 29 22 29 29 0a 09 09 09 7b 0a 09 09 09  t(")"))....{....
12a0: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29  .if( lex.empty )
12b0: 20 7b 0a 09 09 09 09 09 61 75 74 6f 20 65 20 3d   {......auto e =
12c0: 20 50 61 72 73 65 72 45 78 63 65 70 74 69 6f 6e   ParserException
12d0: 2e 63 72 65 61 74 65 28 6c 65 78 2c 22 55 6e 65  .create(lex,"Une
12e0: 78 70 65 63 74 65 64 20 45 4f 46 22 29 3b 0a 09  xpected EOF");..
12f0: 09 09 09 09 74 68 72 6f 77 20 65 3b 0a 09 09 09  ....throw e;....
1300: 09 7d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 66  .}.....if( lex.f
1310: 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 20 7b 0a  ront.quoted ) {.
1320: 09 09 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61  .....auto e = Pa
1330: 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72  rserException.cr
1340: 65 61 74 65 28 6c 65 78 2c 22 49 64 65 6e 74 69  eate(lex,"Identi
1350: 66 69 65 72 20 45 78 70 65 63 74 65 64 20 66 6f  fier Expected fo
1360: 72 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0a  r parameters");.
1370: 09 09 09 09 09 74 68 72 6f 77 20 65 3b 0a 09 09  .....throw e;...
1380: 09 09 7d 0a 09 09 09 09 70 61 72 61 6d 73 20 7e  ..}.....params ~
1390: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b  = lex.front.str;
13a0: 0a 09 09 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e  .....lex.popFron
13b0: 74 3b 0a 09 09 09 09 69 66 28 20 21 74 72 79 45  t;.....if( !tryE
13c0: 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 09 09 09  at(",") ) {.....
13d0: 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72  .eat(")", "after
13e0: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65   function parame
13f0: 74 65 72 73 22 29 3b 0a 09 09 09 09 09 62 72 65  ters");......bre
1400: 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 7d 0a 09  ak;.....}....}..
1410: 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65  ..eat("{", "afte
1420: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d  r function param
1430: 65 74 65 72 73 22 29 3b 0a 09 09 09 53 74 61 74  eters");....Stat
1440: 65 6d 65 6e 74 5b 5d 20 66 75 6e 62 6f 64 79 3b  ement[] funbody;
1450: 0a 09 09 09 77 68 69 6c 65 28 21 74 72 79 45 61  ....while(!tryEa
1460: 74 28 22 7d 22 29 29 20 7b 0a 09 09 09 09 69 66  t("}")) {.....if
1470: 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 20 7b 0a  ( lex.empty ) {.
1480: 09 09 09 09 09 61 75 74 6f 20 65 20 3d 20 50 61  .....auto e = Pa
1490: 72 73 65 72 45 78 63 65 70 74 69 6f 6e 2e 63 72  rserException.cr
14a0: 65 61 74 65 28 6c 65 78 2c 22 55 6e 65 78 70 65  eate(lex,"Unexpe
14b0: 63 74 65 64 20 45 4f 46 22 29 3b 0a 09 09 09 09  cted EOF");.....
14c0: 09 74 68 72 6f 77 20 65 3b 0a 09 09 09 09 7d 0a  .throw e;.....}.
14d0: 09 09 09 09 66 75 6e 62 6f 64 79 20 7e 3d 20 70  ....funbody ~= p
14e0: 61 72 73 65 53 74 61 74 65 6d 65 6e 74 28 29 3b  arseStatement();
14f0: 0a 09 09 09 7d 0a 09 09 09 72 65 74 75 72 6e 20  ....}....return 
1500: 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 45 78  new FunLiteralEx
1510: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 70 61  pression(pos, pa
1520: 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0a  rams, funbody);.
1530: 09 09 7d 0a 09 09 73 63 6f 70 65 28 65 78 69 74  ..}...scope(exit
1540: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a  ) lex.popFront;.
1550: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 56 61 72  ..return new Var
1560: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20  Expression(pos, 
1570: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0a  lex.front.str);.
1580: 09 7d 0a 0a 70 72 69 76 61 74 65 3a 0a 09 4c 65  .}..private:..Le
1590: 78 65 72 20 6c 65 78 3b 0a 0a 09 76 6f 69 64 20  xer lex;...void 
15a0: 65 61 74 28 73 74 72 69 6e 67 20 6b 77 64 2c 20  eat(string kwd, 
15b0: 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 29  lazy string msg)
15c0: 0a 09 7b 0a 09 09 69 66 28 20 21 74 72 79 45 61  ..{...if( !tryEa
15d0: 74 28 6b 77 64 29 20 29 0a 09 09 7b 0a 09 09 09  t(kwd) )...{....
15e0: 61 75 74 6f 20 65 20 3d 20 50 61 72 73 65 72 45  auto e = ParserE
15f0: 78 63 65 70 74 69 6f 6e 2e 63 72 65 61 74 65 28  xception.create(
1600: 6c 65 78 2c 20 22 27 22 7e 6b 77 64 7e 22 27 20  lex, "'"~kwd~"' 
1610: 69 73 20 65 78 70 65 63 74 65 64 20 22 7e 6d 73  is expected "~ms
1620: 67 7e 22 20 62 75 74 20 27 22 0a 09 09 09 09 7e  g~" but '".....~
1630: 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 22 45 4f  (lex.empty ? "EO
1640: 46 22 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 73  F" : lex.front.s
1650: 74 72 29 7e 22 27 20 6f 63 63 75 72 65 64 22 29  tr)~"' occured")
1660: 3b 0a 09 09 09 74 68 72 6f 77 20 65 3b 0a 09 09  ;....throw e;...
1670: 7d 0a 09 7d 0a 0a 09 62 6f 6f 6c 20 74 72 79 45  }..}...bool tryE
1680: 61 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0a 09  at(string kwd)..
1690: 7b 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74  {...if( lex.empt
16a0: 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 71  y || lex.front.q
16b0: 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 6f  uoted || lex.fro
16c0: 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0a 09 09  nt.str!=kwd )...
16d0: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0a 09  .return false;..
16e0: 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09  .lex.popFront;..
16f0: 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0a 09 7d  .return true;..}
1700: 0a 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72  ...bool isNumber
1710: 28 73 74 72 69 6e 67 20 73 29 0a 09 7b 0a 09 09  (string s)..{...
1720: 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c  return find!(`a<
1730: 27 30 27 7c 7c 27 39 27 3c 61 60 29 28 73 29 2e  '0'||'9'<a`)(s).
1740: 65 6d 70 74 79 3b 0a 09 7d 0a 7d 0a 0a 75 6e 69  empty;..}.}..uni
1750: 74 74 65 73 74 0a 7b 0a 09 61 75 74 6f 20 70 20  ttest.{..auto p 
1760: 3d 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69  = parserFromStri
1770: 6e 67 28 60 0a 09 09 76 61 72 20 78 20 3d 20 31  ng(`...var x = 1
1780: 30 30 3b 0a 09 09 76 61 72 20 79 20 3d 20 32 30  00;...var y = 20
1790: 30 3b 0a 09 60 29 3b 0a 09 50 72 6f 67 72 61 6d  0;..`);..Program
17a0: 20 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 65 50   prog = p.parseP
17b0: 72 6f 67 72 61 6d 28 29 3b 0a 09 61 73 73 65 72  rogram();..asser
17c0: 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74 68 20 3d  t( prog.length =
17d0: 3d 20 32 20 29 3b 0a 09 61 75 74 6f 20 70 30 20  = 2 );..auto p0 
17e0: 3d 20 63 61 73 74 28 44 65 63 6c 53 74 61 74 65  = cast(DeclState
17f0: 6d 65 6e 74 29 70 72 6f 67 5b 30 5d 3b 0a 09 61  ment)prog[0];..a
1800: 75 74 6f 20 70 31 20 3d 20 63 61 73 74 28 44 65  uto p1 = cast(De
1810: 63 6c 53 74 61 74 65 6d 65 6e 74 29 70 72 6f 67  clStatement)prog
1820: 5b 31 5d 3b 0a 09 61 73 73 65 72 74 28 20 70 30  [1];..assert( p0
1830: 2e 76 61 72 20 3d 3d 20 22 78 22 20 29 3b 0a 09  .var == "x" );..
1840: 61 73 73 65 72 74 28 20 70 31 2e 76 61 72 20 3d  assert( p1.var =
1850: 3d 20 22 79 22 20 29 3b 0a 09 61 73 73 65 72 74  = "y" );..assert
1860: 28 20 28 63 61 73 74 28 49 6e 74 4c 69 74 65 72  ( (cast(IntLiter
1870: 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 70 30 2e  alExpression)p0.
1880: 65 78 70 72 29 2e 64 61 74 61 20 3d 3d 20 31 30  expr).data == 10
1890: 30 20 29 3b 0a 09 61 73 73 65 72 74 28 20 28 63  0 );..assert( (c
18a0: 61 73 74 28 49 6e 74 4c 69 74 65 72 61 6c 45 78  ast(IntLiteralEx
18b0: 70 72 65 73 73 69 6f 6e 29 70 31 2e 65 78 70 72  pression)p1.expr
18c0: 29 2e 64 61 74 61 20 3d 3d 20 32 30 30 20 29 3b  ).data == 200 );
18d0: 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09  .}..unittest.{..
18e0: 61 75 74 6f 20 70 20 3d 20 70 61 72 73 65 72 46  auto p = parserF
18f0: 72 6f 6d 53 74 72 69 6e 67 28 60 0a 09 09 76 61  romString(`...va
1900: 72 20 7a 7a 7a 20 3d 20 31 30 30 3b 20 23 20 63  r zzz = 100; # c
1910: 6f 6d 6d 65 6e 74 0a 09 09 7a 7a 7a 20 3d 20 7a  omment...zzz = z
1920: 7a 7a 20 2b 20 7a 7a 7a 20 2a 20 22 66 6f 5c 6e  zz + zzz * "fo\n
1930: 6f 22 3b 20 23 20 63 6f 6d 6d 65 6e 74 0a 09 09  o"; # comment...
1940: 09 34 32 3b 0a 09 60 29 3b 0a 09 0a 09 6d 69 78  .42;..`);....mix
1950: 69 6e 20 45 61 73 79 41 73 74 3b 0d 0a 09 61 75  in EasyAst;...au
1960: 74 6f 20 73 30 20 3d 20 64 65 63 6c 28 22 7a 7a  to s0 = decl("zz
1970: 7a 22 2c 20 69 6e 74 6c 28 42 69 67 49 6e 74 28  z", intl(BigInt(
1980: 31 30 30 29 29 29 3b 0a 09 61 75 74 6f 20 73 31  100)));..auto s1
1990: 20 3d 20 65 78 70 72 28 20 6e 65 77 20 41 73 73   = expr( new Ass
19a0: 69 67 6e 45 78 70 72 65 73 73 69 6f 6e 28 6e 75  ignExpression(nu
19b0: 6c 6c 2c 0a 09 09 6e 65 77 20 56 61 72 45 78 70  ll,...new VarExp
19c0: 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 7a  ression(null, "z
19d0: 7a 7a 22 29 2c 0a 09 09 6e 65 77 20 46 75 6e 63  zz"),...new Func
19e0: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75  allExpression(nu
19f0: 6c 6c 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65  ll, new VarExpre
1a00: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 22 2b 22 29 2c  ssion(null,"+"),
1a10: 0a 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 65  ....new VarExpre
1a20: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 7a 7a 7a  ssion(null, "zzz
1a30: 22 29 2c 0a 09 09 09 6e 65 77 20 46 75 6e 63 61  "),....new Funca
1a40: 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c  llExpression(nul
1a50: 6c 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73  l, new VarExpres
1a60: 73 69 6f 6e 28 6e 75 6c 6c 2c 22 2a 22 29 2c 0a  sion(null,"*"),.
1a70: 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 65  ....new VarExpre
1a80: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 7a 7a 7a  ssion(null, "zzz
1a90: 22 29 2c 0a 09 09 09 09 6e 65 77 20 53 74 72 4c  "),.....new StrL
1aa0: 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e  iteralExpression
1ab0: 28 6e 75 6c 6c 2c 20 22 66 6f 5c 5c 6e 6f 22 29  (null, "fo\\no")
1ac0: 0a 09 09 09 09 29 29 29 29 3b 0a 09 61 75 74 6f  .....))));..auto
1ad0: 20 73 32 20 3d 20 6e 65 77 20 45 78 70 72 53 74   s2 = new ExprSt
1ae0: 61 74 65 6d 65 6e 74 28 6e 75 6c 6c 2c 20 6e 65  atement(null, ne
1af0: 77 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72  w IntLiteralExpr
1b00: 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67  ession(null, Big
1b10: 49 6e 74 28 34 32 29 29 29 3b 0a 09 0a 09 50 72  Int(42)));....Pr
1b20: 6f 67 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70  ogram prog = p.p
1b30: 61 72 73 65 50 72 6f 67 72 61 6d 28 29 3b 0a 09  arseProgram();..
1b40: 61 73 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e  assert( prog.len
1b50: 67 74 68 20 3d 3d 20 33 20 29 3b 0a 09 61 73 73  gth == 3 );..ass
1b60: 65 72 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20  ert( prog[0] == 
1b70: 73 30 20 29 3b 0a 09 61 73 73 65 72 74 28 20 70  s0 );..assert( p
1b80: 72 6f 67 5b 31 5d 20 3d 3d 20 73 31 20 29 3b 0a  rog[1] == s1 );.
1b90: 09 61 73 73 65 72 74 28 20 70 72 6f 67 5b 32 5d  .assert( prog[2]
1ba0: 20 3d 3d 20 73 32 20 29 3b 0a 7d 0a 0a 75 6e 69   == s2 );.}..uni
1bb0: 74 74 65 73 74 0a 7b 0a 09 61 75 74 6f 20 70 20  ttest.{..auto p 
1bc0: 3d 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69  = parserFromStri
1bd0: 6e 67 28 60 0a 09 09 76 61 72 20 66 20 3d 20 66  ng(`...var f = f
1be0: 75 6e 28 78 2c 79 29 7b 78 2b 79 3b 7d 3b 0a 09  un(x,y){x+y;};..
1bf0: 09 66 28 31 2c 66 75 6e 28 61 62 63 29 7b 7d 28  .f(1,fun(abc){}(
1c00: 34 29 29 3b 0a 09 60 29 3b 0d 0a 09 6d 69 78 69  4));..`);...mixi
1c10: 6e 20 45 61 73 79 41 73 74 3b 0a 09 50 72 6f 67  n EasyAst;..Prog
1c20: 72 61 6d 20 70 72 6f 67 20 3d 20 70 2e 70 61 72  ram prog = p.par
1c30: 73 65 50 72 6f 67 72 61 6d 28 29 3b 0a 09 61 73  seProgram();..as
1c40: 73 65 72 74 28 20 70 72 6f 67 2e 6c 65 6e 67 74  sert( prog.lengt
1c50: 68 20 3d 3d 20 32 20 29 3b 0a 09 61 73 73 65 72  h == 2 );..asser
1c60: 74 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 64 65  t( prog[0] == de
1c70: 63 6c 28 22 66 22 2c 20 66 75 6e 28 0a 09 09 5b  cl("f", fun(...[
1c80: 22 78 22 2c 22 79 22 5d 2c 20 5b 65 78 70 72 28  "x","y"], [expr(
1c90: 66 75 6e 63 61 6c 6c 28 76 61 72 28 22 2b 22 29  funcall(var("+")
1ca0: 2c 20 76 61 72 28 22 78 22 29 2c 20 76 61 72 28  , var("x"), var(
1cb0: 22 79 22 29 29 29 5d 0a 09 29 29 29 3b 0a 09 61  "y")))]..)));..a
1cc0: 73 73 65 72 74 28 20 70 72 6f 67 5b 31 5d 20 3d  ssert( prog[1] =
1cd0: 3d 20 65 78 70 72 28 66 75 6e 63 61 6c 6c 28 76  = expr(funcall(v
1ce0: 61 72 28 22 66 22 29 2c 0a 09 09 69 6e 74 6c 28  ar("f"),...intl(
1cf0: 42 69 67 49 6e 74 28 31 29 29 2c 0a 09 09 66 75  BigInt(1)),...fu
1d00: 6e 63 61 6c 6c 28 0a 09 09 09 66 75 6e 28 5b 22  ncall(....fun(["
1d10: 61 62 63 22 5d 2c 20 63 61 73 74 28 53 74 61 74  abc"], cast(Stat
1d20: 65 6d 65 6e 74 5b 5d 29 5b 5d 29 2c 0a 09 09 09  ement[])[]),....
1d30: 69 6e 74 6c 28 42 69 67 49 6e 74 28 34 29 29 0a  intl(BigInt(4)).
1d40: 09 29 29 29 29 3b 0a 7d 0a 0a 75 6e 69 74 74 65  .))));.}..unitte
1d50: 73 74 0a 7b 0a 09 61 75 74 6f 20 70 20 3d 20 70  st.{..auto p = p
1d60: 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28  arserFromString(
1d70: 60 76 61 72 20 78 20 3d 20 31 3b 20 76 61 72 20  `var x = 1; var 
1d80: 66 20 3d 20 66 75 6e 28 29 7b 78 3d 78 2b 31 3b  f = fun(){x=x+1;
1d90: 7d 3b 20 66 28 29 3b 20 66 28 29 3b 20 78 3b 60  }; f(); f(); x;`
1da0: 29 3b 0a 09 50 72 6f 67 72 61 6d 20 70 72 6f 67  );..Program prog
1db0: 20 3d 20 70 2e 70 61 72 73 65 50 72 6f 67 72 61   = p.parseProgra
1dc0: 6d 28 29 3b 0a 7d 0a 0a 75 6e 69 74 74 65 73 74  m();.}..unittest
1dd0: 0a 7b 0a 09 61 75 74 6f 20 70 20 3d 20 70 61 72  .{..auto p = par
1de0: 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 60 69  serFromString(`i
1df0: 66 28 78 3c 32 29 7b 31 3b 7d 65 6c 73 65 7b 78  f(x<2){1;}else{x
1e00: 3b 7d 3b 60 29 3b 0a 09 50 72 6f 67 72 61 6d 20  ;};`);..Program 
1e10: 70 72 6f 67 20 3d 20 70 2e 70 61 72 73 65 50 72  prog = p.parsePr
1e20: 6f 67 72 61 6d 28 29 3b 0a 09 61 73 73 65 72 74  ogram();..assert
1e30: 28 20 70 72 6f 67 5b 30 5d 20 3d 3d 20 6e 65 77  ( prog[0] == new
1e40: 20 45 78 70 72 53 74 61 74 65 6d 65 6e 74 28 6e   ExprStatement(n
1e50: 75 6c 6c 2c 20 6e 65 77 20 46 75 6e 63 61 6c 6c  ull, new Funcall
1e60: 45 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c  Expression(null,
1e70: 0a 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73  ...new VarExpres
1e80: 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 69 66 22 29  sion(null, "if")
1e90: 2c 0a 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45  ,...new FuncallE
1ea0: 78 70 72 65 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20  xpression(null, 
1eb0: 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f  new VarExpressio
1ec0: 6e 28 6e 75 6c 6c 2c 22 3c 22 29 2c 20 6e 65 77  n(null,"<"), new
1ed0: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 6e   VarExpression(n
1ee0: 75 6c 6c 2c 22 78 22 29 2c 0a 09 09 09 6e 65 77  ull,"x"),....new
1ef0: 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65   IntLiteralExpre
1f00: 73 73 69 6f 6e 28 6e 75 6c 6c 2c 20 42 69 67 49  ssion(null, BigI
1f10: 6e 74 28 32 29 29 29 2c 0a 09 09 6e 65 77 20 46  nt(2))),...new F
1f20: 75 6e 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73  unLiteralExpress
1f30: 69 6f 6e 28 6e 75 6c 6c 2c 20 5b 5d 2c 20 5b 6e  ion(null, [], [n
1f40: 65 77 20 45 78 70 72 53 74 61 74 65 6d 65 6e 74  ew ExprStatement
1f50: 28 6e 75 6c 6c 2c 20 6e 65 77 20 49 6e 74 4c 69  (null, new IntLi
1f60: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28  teralExpression(
1f70: 6e 75 6c 6c 2c 20 42 69 67 49 6e 74 28 31 29 29  null, BigInt(1))
1f80: 29 5d 29 2c 0a 09 09 6e 65 77 20 46 75 6e 4c 69  )]),...new FunLi
1f90: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 28  teralExpression(
1fa0: 6e 75 6c 6c 2c 20 5b 5d 2c 20 5b 6e 65 77 20 45  null, [], [new E
1fb0: 78 70 72 53 74 61 74 65 6d 65 6e 74 28 6e 75 6c  xprStatement(nul
1fc0: 6c 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73  l, new VarExpres
1fd0: 73 69 6f 6e 28 6e 75 6c 6c 2c 20 22 78 22 29 29  sion(null, "x"))
1fe0: 5d 29 0a 09 09 29 29 29 3b 09 09 0a 7d 0a        ])...)));...}.