Hex Artifact Content
Not logged in

Artifact 17cd075ee7ebe8fb8439134c7e6ea26ec0041b79:


0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a  /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63   k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38  ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f  2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20  nos.net/nysl/.. 
0050: 2a 0d 0a 20 2a 20 53 79 6e 74 61 78 20 74 72 65  *.. * Syntax tre
0060: 65 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f  e for Polemy pro
0070: 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67  gramming languag
0080: 65 2e 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20  e... */..module 
0090: 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d 70  polemy.ast;..imp
00a0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d  ort polemy._comm
00b0: 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65  on;..import pole
00c0: 6d 79 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70  my.failure;..imp
00d0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 72  ort polemy.layer
00e0: 3b 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 61  ;....///..abstra
00f0: 63 74 20 63 6c 61 73 73 20 41 53 54 0d 0a 7b 0d  ct class AST..{.
0100: 0a 09 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f  ..LexPosition po
0110: 73 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 6e  s; ///.....mixin
0120: 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74   SimpleConstruct
0130: 6f 72 3b 0d 0a 09 69 6e 76 61 72 69 61 6e 74 28  or;...invariant(
0140: 29 7b 20 61 73 73 65 72 74 28 70 6f 73 20 21 69  ){ assert(pos !i
0150: 73 20 6e 75 6c 6c 29 3b 7d 0d 0a 7d 0d 0a 0d 0a  s null);}..}....
0160: 2f 2f 2f 20 41 53 54 20 6e 6f 64 65 20 66 6f 72  /// AST node for
0170: 20 69 6e 74 65 67 65 72 20 6c 69 74 65 72 61 6c   integer literal
0180: 0d 0a 63 6c 61 73 73 20 49 6e 74 20 3a 20 41 53  ..class Int : AS
0190: 54 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61  T..{...BigInt da
01a0: 74 61 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69  ta; ///.....mixi
01b0: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a  n SimpleClass;..
01c0: 09 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f  .this(LexPositio
01d0: 6e 20 70 6f 73 2c 20 69 6e 74 20 6e 29 20 7b 73  n pos, int n) {s
01e0: 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20  uper(pos); data 
01f0: 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c 65 78  = n;}...this(Lex
0200: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 6c 6f  Position pos, lo
0210: 6e 67 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73  ng n) {super(pos
0220: 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09  ); data = n;}...
0230: 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e  this(LexPosition
0240: 20 70 6f 73 2c 20 42 69 67 49 6e 74 20 6e 29 20   pos, BigInt n) 
0250: 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74  {super(pos); dat
0260: 61 20 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c  a = n;}...this(L
0270: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20  exPosition pos, 
0280: 73 74 72 69 6e 67 20 6e 29 20 7b 73 75 70 65 72  string n) {super
0290: 28 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 42 69  (pos); data = Bi
02a0: 67 49 6e 74 28 6e 29 3b 7d 0d 0a 7d 0d 0a 0d 0a  gInt(n);}..}....
02b0: 2f 2f 2f 20 41 53 54 20 6e 6f 64 65 20 66 6f 72  /// AST node for
02c0: 20 73 74 72 69 6e 67 20 6c 69 74 65 72 61 6c 0d   string literal.
02d0: 0a 63 6c 61 73 73 20 53 74 72 20 3a 20 41 53 54  .class Str : AST
02e0: 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61 74  ..{...string dat
02f0: 61 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 6e  a; ///.....mixin
0300: 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d   SimpleClass;..}
0310: 0d 0a 0d 0a 2f 2f 2f 20 41 53 54 20 6e 6f 64 65  ..../// AST node
0320: 20 66 6f 72 20 76 61 72 69 61 62 6c 65 20 72 65   for variable re
0330: 66 65 72 65 6e 63 65 0d 0a 63 6c 61 73 73 20 56  ference..class V
0340: 61 72 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 73 74  ar : AST..{...st
0350: 72 69 6e 67 20 6e 61 6d 65 3b 20 2f 2f 2f 0d 0a  ring name; ///..
0360: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43  ...mixin SimpleC
0370: 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20  lass;..}..../// 
0380: 41 53 54 20 6e 6f 64 65 20 66 6f 72 20 40 6c 61  AST node for @la
0390: 79 65 72 65 64 28 65 78 70 72 65 73 73 69 6f 6e  yered(expression
03a0: 29 0d 0a 63 6c 61 73 73 20 4c 61 79 20 3a 20 41  )..class Lay : A
03b0: 53 54 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 6c 61  ST..{...Layer la
03c0: 79 65 72 3b 20 2f 2f 2f 0d 0a 09 41 53 54 20 20  yer; ///...AST  
03d0: 20 65 78 70 72 3b 20 20 2f 2f 2f 0d 0a 0d 0a 09   expr;  ///.....
03e0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73  mixin SimpleClas
03f0: 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 54  s;..}..../// AST
0400: 20 6e 6f 64 65 20 66 6f 72 20 76 61 72 69 61 62   node for variab
0410: 6c 65 20 64 65 63 6c 61 72 61 74 69 6f 6e 0d 0a  le declaration..
0420: 63 6c 61 73 73 20 4c 65 74 20 3a 20 41 53 54 0d  class Let : AST.
0430: 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 6e 61 6d 65  .{...string name
0440: 3b 20 20 2f 2f 2f 0d 0a 09 4c 61 79 65 72 20 20  ;  ///...Layer  
0450: 6c 61 79 65 72 3b 20 2f 2f 2f 0d 0a 09 41 53 54  layer; ///...AST
0460: 20 20 20 20 76 64 65 66 3b 20 20 2f 2f 2f 0d 0a      vdef;  ///..
0470: 09 41 53 54 20 20 20 20 65 78 70 72 3b 20 20 2f  .AST    expr;  /
0480: 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d  //.....mixin Sim
0490: 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a  pleClass;..}....
04a0: 2f 2f 2f 20 41 53 54 20 6e 6f 64 65 20 66 6f 72  /// AST node for
04b0: 20 66 75 6e 63 74 69 6f 6e 20 61 70 70 6c 69 63   function applic
04c0: 61 74 69 6f 6e 0d 0a 63 6c 61 73 73 20 41 70 70  ation..class App
04d0: 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 41 53 54 20   : AST..{...AST 
04e0: 20 20 66 75 6e 3b 20 20 2f 2f 2f 0d 0a 09 41 53    fun;  ///...AS
04f0: 54 5b 5d 20 61 72 67 73 3b 20 2f 2f 2f 0d 0a 0d  T[] args; ///...
0500: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c  ..mixin SimpleCl
0510: 61 73 73 3b 0d 0a 09 74 68 69 73 28 4c 65 78 50  ass;...this(LexP
0520: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 41 53 54  osition pos, AST
0530: 20 66 75 6e 2c 20 41 53 54 5b 5d 20 61 72 67 73   fun, AST[] args
0540: 2e 2e 2e 29 20 7b 20 73 75 70 65 72 28 70 6f 73  ...) { super(pos
0550: 29 3b 20 74 68 69 73 2e 66 75 6e 3d 66 75 6e 3b  ); this.fun=fun;
0560: 20 74 68 69 73 2e 61 72 67 73 3d 61 72 67 73 2e   this.args=args.
0570: 64 75 70 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f  dup; }..}....///
0580: 0d 0a 63 6c 61 73 73 20 50 61 72 61 6d 65 74 65  ..class Paramete
0590: 72 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 20 6e  r..{...string  n
05a0: 61 6d 65 3b 20 20 20 2f 2f 2f 0d 0a 09 4c 61 79  ame;   ///...Lay
05b0: 65 72 5b 5d 20 6c 61 79 65 72 73 3b 20 2f 2f 2f  er[] layers; ///
05c0: 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c  .....mixin Simpl
05d0: 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f  eClass;..}....//
05e0: 2f 20 41 53 54 20 6e 6f 64 65 20 66 6f 72 20 66  / AST node for f
05f0: 75 6e 63 74 69 6f 6e 20 6c 69 74 65 72 61 6c 0d  unction literal.
0600: 0a 63 6c 61 73 73 20 46 75 6e 20 3a 20 41 53 54  .class Fun : AST
0610: 0d 0a 7b 0d 0a 09 50 61 72 61 6d 65 74 65 72 5b  ..{...Parameter[
0620: 5d 20 70 61 72 61 6d 73 3b 20 20 2f 2f 2f 0d 0a  ] params;  ///..
0630: 09 41 53 54 20 20 20 20 20 20 20 20 20 66 75 6e  .AST         fun
0640: 62 6f 64 79 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69  body; ///.....mi
0650: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b  xin SimpleClass;
0660: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 54 20 6e  ..}..../// AST n
0670: 6f 64 65 20 66 6f 72 20 64 65 61 64 65 6e 64 0d  ode for deadend.
0680: 0a 63 6c 61 73 73 20 44 69 65 20 3a 20 41 53 54  .class Die : AST
0690: 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70  ..{...mixin Simp
06a0: 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f  leClass;..}..../
06b0: 2f 2f 20 4c 69 73 74 20 6f 66 20 41 53 54 20 54  // List of AST T
06c0: 79 70 65 73 0d 0a 0d 0a 61 6c 69 61 73 20 54 79  ypes....alias Ty
06d0: 70 65 54 75 70 6c 65 21 28 49 6e 74 2c 53 74 72  peTuple!(Int,Str
06e0: 2c 56 61 72 2c 4c 61 79 2c 4c 65 74 2c 41 70 70  ,Var,Lay,Let,App
06f0: 2c 46 75 6e 2c 44 69 65 29 20 4c 69 73 74 4f 66  ,Fun,Die) ListOf
0700: 41 53 54 54 79 70 65 73 3b 0d 0a 0d 0a 2f 2f 2f  ASTTypes;....///
0710: 20 48 61 6e 64 79 20 47 65 6e 65 72 61 74 6f 72   Handy Generator
0720: 20 66 6f 72 20 41 53 54 20 6e 6f 64 65 73 2e 20   for AST nodes. 
0730: 54 6f 20 75 73 65 20 74 68 69 73 2c 20 6d 69 78  To use this, mix
0740: 69 6e 20 45 61 73 79 41 73 74 3b 0d 0a 0d 0a 2f  in EasyAst;..../
0750: 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 6c 61  *mixin*/..templa
0760: 74 65 20 45 61 73 79 41 53 54 28 29 0d 0a 7b 0d  te EasyAST()..{.
0770: 0a 09 2f 2f 2f 0d 0a 09 74 65 6d 70 6c 61 74 65  ..///...template
0780: 20 67 65 6e 45 61 73 74 28 54 29 0d 0a 09 09 7b   genEast(T)....{
0790: 20 54 20 67 65 6e 45 61 73 74 28 50 2e 2e 2e 29   T genEast(P...)
07a0: 28 50 20 70 73 29 20 7b 20 72 65 74 75 72 6e 20  (P ps) { return 
07b0: 6e 65 77 20 54 28 4c 65 78 50 6f 73 69 74 69 6f  new T(LexPositio
07c0: 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 3b 20 7d 20  n.dummy, ps); } 
07d0: 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45  }.....alias genE
07e0: 61 73 74 21 53 74 72 20 73 74 72 6c 3b 20 2f 2f  ast!Str strl; //
07f0: 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73  /...alias genEas
0800: 74 21 49 6e 74 20 69 6e 74 6c 3b 20 2f 2f 2f 0d  t!Int intl; ///.
0810: 0a 09 61 75 74 6f 20 66 75 6e 28 73 74 72 69 6e  ..auto fun(strin
0820: 67 5b 5d 20 78 73 2c 20 41 53 54 20 70 73 29 20  g[] xs, AST ps) 
0830: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 67 65 6e 45  {....return genE
0840: 61 73 74 21 46 75 6e 28 61 72 72 61 79 28 6d 61  ast!Fun(array(ma
0850: 70 21 28 28 73 74 72 69 6e 67 20 78 29 7b 72 65  p!((string x){re
0860: 74 75 72 6e 20 6e 65 77 20 50 61 72 61 6d 65 74  turn new Paramet
0870: 65 72 28 78 2c 5b 5d 29 3b 7d 29 28 78 73 29 29  er(x,[]);})(xs))
0880: 2c 70 73 29 3b 20 7d 0d 0a 09 61 75 74 6f 20 66  ,ps); }...auto f
0890: 75 6e 70 28 50 61 72 61 6d 65 74 65 72 5b 5d 20  unp(Parameter[] 
08a0: 78 73 2c 20 41 53 54 20 70 73 29 20 7b 20 72 65  xs, AST ps) { re
08b0: 74 75 72 6e 20 67 65 6e 45 61 73 74 21 46 75 6e  turn genEast!Fun
08c0: 28 78 73 2c 70 73 29 3b 20 7d 20 2f 2f 2f 0d 0a  (xs,ps); } ///..
08d0: 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 56  .alias genEast!V
08e0: 61 72 20 76 61 72 3b 20 2f 2f 2f 0d 0a 09 61 6c  ar var; ///...al
08f0: 69 61 73 20 67 65 6e 45 61 73 74 21 4c 61 79 20  ias genEast!Lay 
0900: 6c 61 79 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73  lay; ///...alias
0910: 20 67 65 6e 45 61 73 74 21 4c 65 74 20 6c 65 74   genEast!Let let
0920: 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65  ; ///...alias ge
0930: 6e 45 61 73 74 21 41 70 70 20 63 61 6c 6c 3b 20  nEast!App call; 
0940: 2f 2f 2f 0d 0a 09 61 75 74 6f 20 70 61 72 61 6d  ///...auto param
0950: 28 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20 73 74  (string name, st
0960: 72 69 6e 67 5b 5d 20 6c 61 79 2e 2e 2e 29 20 7b  ring[] lay...) {
0970: 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61   return new Para
0980: 6d 65 74 65 72 28 6e 61 6d 65 2c 20 6c 61 79 29  meter(name, lay)
0990: 3b 20 7d 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20  ; } ///...alias 
09a0: 67 65 6e 45 61 73 74 21 44 69 65 20 64 69 65 61  genEast!Die diea
09b0: 73 74 3b 20 2f 2f 2f 0d 0a 7d 0d 0a              st; ///..}..