Artifact cea762cacb86424f3fe949fbebf4b4d43121324d:
- File
polemy/eval.d
-
2010-11-07 14:34:29
- part of checkin
[0569f7b8c2]
on branch trunk
- - Added function literal evaluator (i.e., closure).
- Workaround for d2stacktrace's infinite-loop bug.
(when std.demangle.demangle use exception inside it,
it will go into an infinite loop. to avoid this,
I choose to unset TraceHandler during stacktrace generation.
This is far from the complete solution, but at least it should
work as expected under single-thread environment...)
(user:
kinaba)
[annotate]
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 45 76 61 6c 75 61 74 .. *.. * Evaluat
0060: 6f 72 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 or for Polemy pr
0070: 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 ogramming langua
0080: 67 65 2e 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 ge... */..module
0090: 20 70 6f 6c 65 6d 79 2e 65 76 61 6c 3b 0d 0a 69 polemy.eval;..i
00a0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f mport polemy._co
00b0: 6d 6d 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f mmon;..import po
00c0: 6c 65 6d 79 2e 6c 65 78 20 3a 20 4c 65 78 50 6f lemy.lex : LexPo
00d0: 73 69 74 69 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 sition;..import
00e0: 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d 70 polemy.ast;..imp
00f0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 ort polemy.parse
0100: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
0110: 2e 72 75 6e 74 69 6d 65 3b 0d 0a 69 6d 70 6f 72 .runtime;..impor
0120: 74 20 73 74 64 2e 74 79 70 65 63 6f 6e 73 3b 0d t std.typecons;.
0130: 0a 0d 0a 43 6f 6e 74 65 78 74 20 63 72 65 61 74 ...Context creat
0140: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 eGlobalContext()
0150: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 3d ..{...auto ctx =
0160: 20 6e 65 77 20 43 6f 6e 74 65 78 74 3b 0d 0a 09 new Context;...
0170: 63 74 78 2e 61 64 64 28 22 2b 22 2c 20 6e 65 77 ctx.add("+", new
0180: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 FunValue(delega
0190: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 te Value(immutab
01a0: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
01b0: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 os, Value[] args
01c0: 29 7b 0d 0a 09 09 69 66 28 20 61 72 67 73 2e 6c ){....if( args.l
01d0: 65 6e 67 74 68 20 21 3d 20 32 20 29 0d 0a 09 09 ength != 2 )....
01e0: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d .throw new Polem
01f0: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f yRuntimeExceptio
0200: 6e 28 22 2b 20 74 61 6b 65 73 20 74 77 6f 20 61 n("+ takes two a
0210: 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f rguments!! ["~to
0220: 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 !string(pos)~"]"
0230: 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 78 );....if( auto x
0240: 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 = cast(IntValue
0250: 29 61 72 67 73 5b 30 5d 20 29 0d 0a 09 09 09 69 )args[0] ).....i
0260: 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 74 f( auto y = cast
0270: 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 31 (IntValue)args[1
0280: 5d 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 ] )......return
0290: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 2e 64 new IntValue(x.d
02a0: 61 74 61 2b 79 2e 64 61 74 61 29 3b 0d 0a 09 09 ata+y.data);....
02b0: 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 throw new Polemy
02c0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
02d0: 28 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e ("cannot add non
02e0: 2d 69 6e 74 65 67 65 72 73 20 5b 22 7e 74 6f 21 -integers ["~to!
02f0: 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 string(pos)~"]")
0300: 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 63 74 78 2e 61 ;...}));...ctx.a
0310: 64 64 28 22 2d 22 2c 20 6e 65 77 20 46 75 6e 56 dd("-", new FunV
0320: 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 alue(delegate Va
0330: 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 lue(immutable Le
0340: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 xPosition pos, V
0350: 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0d 0a 09 alue[] args){...
0360: 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 .if( args.length
0370: 20 21 3d 20 32 20 29 0d 0a 09 09 09 74 68 72 6f != 2 ).....thro
0380: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 w new PolemyRunt
0390: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 2d 20 imeException("-
03a0: 74 61 6b 65 73 20 74 77 6f 20 61 72 67 75 6d 65 takes two argume
03b0: 6e 74 73 21 21 20 5b 22 7e 74 6f 21 73 74 72 69 nts!! ["~to!stri
03c0: 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 ng(pos)~"]");...
03d0: 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 .if( auto x = ca
03e0: 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 st(IntValue)args
03f0: 5b 30 5d 20 29 0d 0a 09 09 09 69 66 28 20 61 75 [0] ).....if( au
0400: 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74 56 to y = cast(IntV
0410: 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0d 0a alue)args[1] )..
0420: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
0430: 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 61 2d 79 ntValue(x.data-y
0440: 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f 77 .data);....throw
0450: 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 new PolemyRunti
0460: 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 61 6e meException("can
0470: 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 not add non-inte
0480: 67 65 72 73 20 5b 22 7e 74 6f 21 73 74 72 69 6e gers ["~to!strin
0490: 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 7d g(pos)~"]");...}
04a0: 29 29 3b 0d 0a 09 63 74 78 2e 61 64 64 28 22 2a ));...ctx.add("*
04b0: 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 ", new FunValue(
04c0: 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 delegate Value(i
04d0: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
04e0: 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b tion pos, Value[
04f0: 5d 20 61 72 67 73 29 7b 0d 0a 09 09 69 66 28 20 ] args){....if(
0500: 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 args.length != 2
0510: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 ).....throw new
0520: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 PolemyRuntimeEx
0530: 63 65 70 74 69 6f 6e 28 22 2a 20 74 61 6b 65 73 ception("* takes
0540: 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 two arguments!!
0550: 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f ["~to!string(po
0560: 73 29 7e 22 5d 22 29 3b 0d 0a 09 09 69 66 28 20 s)~"]");....if(
0570: 61 75 74 6f 20 78 20 3d 20 63 61 73 74 28 49 6e auto x = cast(In
0580: 74 56 61 6c 75 65 29 61 72 67 73 5b 30 5d 20 29 tValue)args[0] )
0590: 0d 0a 09 09 09 69 66 28 20 61 75 74 6f 20 79 20 .....if( auto y
05a0: 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 = cast(IntValue)
05b0: 61 72 67 73 5b 31 5d 20 29 0d 0a 09 09 09 09 72 args[1] )......r
05c0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
05d0: 75 65 28 78 2e 64 61 74 61 2a 79 2e 64 61 74 61 ue(x.data*y.data
05e0: 29 3b 0d 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 );....throw new
05f0: 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 PolemyRuntimeExc
0600: 65 70 74 69 6f 6e 28 22 63 61 6e 6e 6f 74 20 61 eption("cannot a
0610: 64 64 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 20 dd non-integers
0620: 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 ["~to!string(pos
0630: 29 7e 22 5d 22 29 3b 0d 0a 09 7d 29 29 3b 0d 0a )~"]");...}));..
0640: 09 63 74 78 2e 61 64 64 28 22 2f 22 2c 20 6e 65 .ctx.add("/", ne
0650: 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 w FunValue(deleg
0660: 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 ate Value(immuta
0670: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
0680: 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 pos, Value[] arg
0690: 73 29 7b 0d 0a 09 09 69 66 28 20 61 72 67 73 2e s){....if( args.
06a0: 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0d 0a 09 length != 2 )...
06b0: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 ..throw new Pole
06c0: 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 myRuntimeExcepti
06d0: 6f 6e 28 22 2f 20 74 61 6b 65 73 20 74 77 6f 20 on("/ takes two
06e0: 61 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 arguments!! ["~t
06f0: 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d o!string(pos)~"]
0700: 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 ");....if( auto
0710: 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 x = cast(IntValu
0720: 65 29 61 72 67 73 5b 30 5d 20 29 0d 0a 09 09 09 e)args[0] ).....
0730: 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 if( auto y = cas
0740: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0750: 31 5d 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 1] )......return
0760: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 2e new IntValue(x.
0770: 64 61 74 61 2f 79 2e 64 61 74 61 29 3b 0d 0a 09 data/y.data);...
0780: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d .throw new Polem
0790: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f yRuntimeExceptio
07a0: 6e 28 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f n("cannot add no
07b0: 6e 2d 69 6e 74 65 67 65 72 73 20 5b 22 7e 74 6f n-integers ["~to
07c0: 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 !string(pos)~"]"
07d0: 29 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 72 65 74 75 );...}));...retu
07e0: 72 6e 20 63 74 78 3b 0d 0a 7d 0d 0a 0d 0a 54 75 rn ctx;..}....Tu
07f0: 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 ple!(Value,"val"
0800: 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29 20 ,Context,"ctx")
0810: 65 76 61 6c 53 74 72 69 6e 67 28 54 2e 2e 2e 29 evalString(T...)
0820: 28 54 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 (T params)..{...
0830: 72 65 74 75 72 6e 20 65 76 61 6c 28 20 70 61 72 return eval( par
0840: 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 serFromString(pa
0850: 72 61 6d 73 29 2e 70 61 72 73 65 50 72 6f 67 72 rams).parseProgr
0860: 61 6d 28 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 54 75 am() );..}....Tu
0870: 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 ple!(Value,"val"
0880: 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29 20 ,Context,"ctx")
0890: 65 76 61 6c 46 69 6c 65 28 54 2e 2e 2e 29 28 54 evalFile(T...)(T
08a0: 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 72 65 params)..{...re
08b0: 74 75 72 6e 20 65 76 61 6c 28 20 70 61 72 73 65 turn eval( parse
08c0: 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 rFromFile(params
08d0: 29 2e 70 61 72 73 65 50 72 6f 67 72 61 6d 28 29 ).parseProgram()
08e0: 20 29 3b 0d 0a 7d 0d 0a 0d 0a 54 75 70 6c 65 21 );..}....Tuple!
08f0: 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c 43 6f 6e (Value,"val",Con
0900: 74 65 78 74 2c 22 63 74 78 22 29 20 65 76 61 6c text,"ctx") eval
0910: 28 50 72 6f 67 72 61 6d 20 70 72 6f 67 29 0d 0a (Program prog)..
0920: 7b 0d 0a 09 43 6f 6e 74 65 78 74 20 63 74 78 20 {...Context ctx
0930: 3d 20 63 72 65 61 74 65 47 6c 6f 62 61 6c 43 6f = createGlobalCo
0940: 6e 74 65 78 74 28 29 3b 0d 0a 09 72 65 74 75 72 ntext();...retur
0950: 6e 20 74 79 70 65 6f 66 28 72 65 74 75 72 6e 29 n typeof(return)
0960: 28 65 76 61 6c 28 70 72 6f 67 2c 20 63 74 78 29 (eval(prog, ctx)
0970: 2c 20 63 74 78 29 3b 0d 0a 7d 0d 0a 0d 0a 56 61 , ctx);..}....Va
0980: 6c 75 65 20 65 76 61 6c 28 50 72 6f 67 72 61 6d lue eval(Program
0990: 20 70 72 6f 67 2c 20 43 6f 6e 74 65 78 74 20 63 prog, Context c
09a0: 74 78 29 0d 0a 7b 0d 0a 09 56 61 6c 75 65 20 76 tx)..{...Value v
09b0: 20 3d 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 = new Undefined
09c0: 56 61 6c 75 65 3b 0d 0a 09 66 6f 72 65 61 63 68 Value;...foreach
09d0: 28 73 3b 20 70 72 6f 67 29 0d 0a 09 09 76 20 3d (s; prog)....v =
09e0: 20 65 76 61 6c 28 73 2c 20 63 74 78 29 3b 0d 0a eval(s, ctx);..
09f0: 09 72 65 74 75 72 6e 20 76 3b 0d 0a 7d 0d 0a 0d .return v;..}...
0a00: 0a 56 61 6c 75 65 20 65 76 61 6c 28 53 74 61 74 .Value eval(Stat
0a10: 65 6d 65 6e 74 20 5f 73 2c 20 43 6f 6e 74 65 78 ement _s, Contex
0a20: 74 20 63 74 78 29 0d 0a 7b 0d 0a 09 69 66 28 20 t ctx)..{...if(
0a30: 61 75 74 6f 20 73 20 3d 20 63 61 73 74 28 44 65 auto s = cast(De
0a40: 63 6c 53 74 61 74 65 6d 65 6e 74 29 5f 73 20 29 clStatement)_s )
0a50: 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 76 20 3d ...{....auto v =
0a60: 20 65 76 61 6c 28 73 2e 65 78 70 72 2c 20 63 74 eval(s.expr, ct
0a70: 78 29 3b 0d 0a 09 09 63 74 78 2e 61 64 64 28 73 x);....ctx.add(s
0a80: 2e 76 61 72 2c 20 76 29 3b 0d 0a 09 09 72 65 74 .var, v);....ret
0a90: 75 72 6e 20 76 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 urn v;...}...els
0aa0: 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 73 20 3d e...if( auto s =
0ab0: 20 63 61 73 74 28 45 78 70 72 53 74 61 74 65 6d cast(ExprStatem
0ac0: 65 6e 74 29 5f 73 20 29 0d 0a 09 7b 0d 0a 09 09 ent)_s )...{....
0ad0: 72 65 74 75 72 6e 20 65 76 61 6c 28 73 2e 65 78 return eval(s.ex
0ae0: 70 72 2c 20 63 74 78 29 3b 0d 0a 09 7d 0d 0a 09 pr, ctx);...}...
0af0: 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 throw new Polemy
0b00: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0b10: 28 73 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 (sprintf!"Unknow
0b20: 6e 20 4b 69 6e 64 20 6f 66 20 53 74 61 74 65 6d n Kind of Statem
0b30: 65 6e 74 20 25 73 20 61 74 20 5b 25 73 5d 22 28 ent %s at [%s]"(
0b40: 74 79 70 65 69 64 28 5f 73 29 2c 20 5f 73 2e 70 typeid(_s), _s.p
0b50: 6f 73 29 29 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 os));..}....Valu
0b60: 65 20 65 76 61 6c 28 45 78 70 72 65 73 73 69 6f e eval(Expressio
0b70: 6e 20 5f 65 2c 20 43 6f 6e 74 65 78 74 20 63 74 n _e, Context ct
0b80: 78 29 0d 0a 7b 0d 0a 09 69 66 28 20 61 75 74 6f x)..{...if( auto
0b90: 20 65 20 3d 20 63 61 73 74 28 53 74 72 4c 69 74 e = cast(StrLit
0ba0: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f eralExpression)_
0bb0: 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 e )...{....retur
0bc0: 6e 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 n new StrValue(e
0bd0: 2e 64 61 74 61 29 3b 0d 0a 09 7d 0d 0a 09 65 6c .data);...}...el
0be0: 73 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 se...if( auto e
0bf0: 3d 20 63 61 73 74 28 49 6e 74 4c 69 74 65 72 61 = cast(IntLitera
0c00: 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 lExpression)_e )
0c10: 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e ...{....return n
0c20: 65 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 ew IntValue(e.da
0c30: 74 61 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d ta);...}...else.
0c40: 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 63 ..if( auto e = c
0c50: 61 73 74 28 56 61 72 45 78 70 72 65 73 73 69 6f ast(VarExpressio
0c60: 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 n)_e )...{....re
0c70: 74 75 72 6e 20 63 74 78 5b 65 2e 76 61 72 5d 3b turn ctx[e.var];
0c80: 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 69 66 ...}...else...if
0c90: 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 28 ( auto e = cast(
0ca0: 41 73 73 69 67 6e 45 78 70 72 65 73 73 69 6f 6e AssignExpression
0cb0: 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 )_e )...{....if(
0cc0: 20 61 75 74 6f 20 65 76 20 3d 20 63 61 73 74 28 auto ev = cast(
0cd0: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 29 65 2e VarExpression)e.
0ce0: 6c 68 73 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 56 lhs )....{.....V
0cf0: 61 6c 75 65 20 72 20 3d 20 65 76 61 6c 28 65 2e alue r = eval(e.
0d00: 72 68 73 2c 20 63 74 78 29 3b 0d 0a 09 09 09 63 rhs, ctx);.....c
0d10: 74 78 5b 65 76 2e 76 61 72 5d 20 3d 20 72 3b 0d tx[ev.var] = r;.
0d20: 0a 09 09 09 72 65 74 75 72 6e 20 72 3b 0d 0a 09 ....return r;...
0d30: 09 7d 0d 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 .}....throw new
0d40: 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 PolemyRuntimeExc
0d50: 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 eption(sprintf!"
0d60: 4c 68 73 20 6f 66 20 61 73 73 69 67 6e 6d 65 6e Lhs of assignmen
0d70: 74 20 6d 75 73 74 20 62 65 20 61 20 76 61 72 69 t must be a vari
0d80: 61 62 6c 65 3a 20 25 73 22 28 65 2e 70 6f 73 29 able: %s"(e.pos)
0d90: 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 );...}...else...
0da0: 69 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 if( auto e = cas
0db0: 74 28 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 t(FuncallExpress
0dc0: 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 ion)_e )...{....
0dd0: 56 61 6c 75 65 20 5f 66 20 3d 20 65 76 61 6c 28 Value _f = eval(
0de0: 65 2e 66 75 6e 2c 20 63 74 78 29 3b 0d 0a 09 09 e.fun, ctx);....
0df0: 69 66 28 20 61 75 74 6f 20 66 20 3d 20 63 61 73 if( auto f = cas
0e00: 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 20 29 20 t(FunValue)_f )
0e10: 7b 0d 0a 09 09 09 56 61 6c 75 65 5b 5d 20 61 72 {.....Value[] ar
0e20: 67 73 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 gs;.....foreach(
0e30: 61 3b 20 65 2e 61 72 67 73 29 0d 0a 09 09 09 09 a; e.args)......
0e40: 61 72 67 73 20 7e 3d 20 65 76 61 6c 28 61 2c 20 args ~= eval(a,
0e50: 63 74 78 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e ctx);.....return
0e60: 20 66 2e 63 61 6c 6c 28 65 2e 70 6f 73 2c 20 61 f.call(e.pos, a
0e70: 72 67 73 29 3b 0d 0a 09 09 7d 20 65 6c 73 65 0d rgs);....} else.
0e80: 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f ....throw new Po
0e90: 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 lemyRuntimeExcep
0ea0: 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 4e 6f tion(sprintf!"No
0eb0: 6e 2d 66 75 6e 63 69 6f 6e 20 69 73 20 61 70 70 n-funcion is app
0ec0: 6c 69 65 64 20 61 74 20 5b 25 73 5d 22 28 65 2e lied at [%s]"(e.
0ed0: 70 6f 73 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 pos));...}...els
0ee0: 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d e...if( auto e =
0ef0: 20 63 61 73 74 28 46 75 6e 4c 69 74 65 72 61 6c cast(FunLiteral
0f00: 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 0d Expression)_e ).
0f10: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 ..{....return ne
0f20: 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 w FunValue(deleg
0f30: 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 ate Value(immuta
0f40: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
0f50: 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 pos, Value[] arg
0f60: 73 29 7b 0d 0a 09 09 09 69 66 28 20 65 2e 70 61 s){.....if( e.pa
0f70: 72 61 6d 73 2e 6c 65 6e 67 74 68 20 21 3d 20 61 rams.length != a
0f80: 72 67 73 2e 6c 65 6e 67 74 68 20 29 0d 0a 09 09 rgs.length )....
0f90: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 ..throw new Pole
0fa0: 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 myRuntimeExcepti
0fb0: 6f 6e 28 73 70 72 69 6e 74 66 21 22 41 72 67 75 on(sprintf!"Argu
0fc0: 6d 65 6e 74 20 4e 75 6d 62 65 72 20 4d 69 73 6d ment Number Mism
0fd0: 61 74 63 68 20 28 25 64 20 72 65 71 75 69 72 65 atch (%d require
0fe0: 64 20 62 75 74 20 25 64 20 67 69 76 65 6e 29 20 d but %d given)
0ff0: 61 74 20 5b 25 73 5d 22 0d 0a 09 09 09 09 09 28 at [%s]".......(
1000: 65 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 2c e.params.length,
1010: 20 61 72 67 73 2e 6c 65 6e 67 74 68 2c 20 65 2e args.length, e.
1020: 70 6f 73 29 29 3b 0d 0a 09 09 09 43 6f 6e 74 65 pos));.....Conte
1030: 78 74 20 63 74 78 4e 65 6f 20 3d 20 6e 65 77 20 xt ctxNeo = new
1040: 43 6f 6e 74 65 78 74 28 63 74 78 29 3b 0d 0a 09 Context(ctx);...
1050: 09 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 65 ..foreach(i,p; e
1060: 2e 70 61 72 61 6d 73 29 0d 0a 09 09 09 09 63 74 .params)......ct
1070: 78 4e 65 6f 2e 61 64 64 28 70 2c 20 61 72 67 73 xNeo.add(p, args
1080: 5b 69 5d 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e [i]);.....return
1090: 20 65 76 61 6c 28 65 2e 66 75 6e 62 6f 64 79 2c eval(e.funbody,
10a0: 20 63 74 78 4e 65 6f 29 3b 0d 0a 09 09 7d 29 3b ctxNeo);....});
10b0: 0d 0a 09 7d 0d 0a 09 74 68 72 6f 77 20 6e 65 77 ...}...throw new
10c0: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 PolemyRuntimeEx
10d0: 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 ception(sprintf!
10e0: 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 20 6f 66 "Unknown Kind of
10f0: 20 45 78 70 72 65 73 73 69 6f 6e 20 25 73 20 61 Expression %s a
1100: 74 20 5b 25 73 5d 22 28 74 79 70 65 69 64 28 5f t [%s]"(typeid(_
1110: 65 29 2c 20 5f 65 2e 70 6f 73 29 29 3b 0d 0a 7d e), _e.pos));..}
1120: 0d 0a 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 ....import std.s
1130: 74 64 69 6f 3b 0d 0a 75 6e 69 74 74 65 73 74 0d tdio;..unittest.
1140: 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 .{...auto r = ev
1150: 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 alString(`var x
1160: 3d 20 32 31 3b 20 78 20 3d 20 78 20 2b 20 78 2a = 21; x = x + x*
1170: 78 3b 60 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 x;`);...assert(
1180: 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 49 6e 74 r.val == new Int
1190: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b Value(BigInt(21+
11a0: 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 21*21)) );...ass
11b0: 65 72 74 28 20 72 2e 63 74 78 5b 22 78 22 5d 20 ert( r.ctx["x"]
11c0: 3d 3d 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 == new IntValue(
11d0: 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 BigInt(21+21*21)
11e0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 21 ) );...assert( !
11f0: 63 6f 6c 6c 65 63 74 45 78 63 65 70 74 69 6f 6e collectException
1200: 28 72 2e 63 74 78 5b 22 78 22 5d 29 20 29 3b 0d (r.ctx["x"]) );.
1210: 0a 09 61 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 ..assert( collec
1220: 74 45 78 63 65 70 74 69 6f 6e 28 72 2e 63 74 78 tException(r.ctx
1230: 5b 22 79 22 5d 29 20 29 3b 0d 0a 7d 0d 0a 75 6e ["y"]) );..}..un
1240: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 ittest..{...asse
1250: 72 74 28 20 63 6f 6c 6c 65 63 74 45 78 63 65 70 rt( collectExcep
1260: 74 69 6f 6e 28 65 76 61 6c 53 74 72 69 6e 67 28 tion(evalString(
1270: 60 76 61 72 20 78 20 3d 20 32 31 3b 20 78 20 3d `var x = 21; x =
1280: 20 78 20 2b 20 78 2a 79 3b 60 29 29 20 29 3b 0d x + x*y;`)) );.
1290: 0a 09 61 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 ..assert( collec
12a0: 74 45 78 63 65 70 74 69 6f 6e 28 65 76 61 6c 53 tException(evalS
12b0: 74 72 69 6e 67 28 60 78 3d 31 3b 60 29 29 20 29 tring(`x=1;`)) )
12c0: 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a ;..}..unittest..
12d0: 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 61 {...auto r = eva
12e0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d lString(`var x =
12f0: 20 66 75 6e 28 61 29 7b 31 2b 61 3b 7d 28 32 29 fun(a){1+a;}(2)
1300: 3b 60 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 72 ;`);...assert( r
1310: 2e 63 74 78 5b 22 78 22 5d 20 3d 3d 20 6e 65 77 .ctx["x"] == new
1320: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1330: 28 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (3)) );...assert
1340: 28 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 49 ( r.val == new I
1350: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 33 ntValue(BigInt(3
1360: 29 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 )) );..}..unitte
1370: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d st..{...auto r =
1380: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 evalString(`var
1390: 20 78 20 3d 20 31 3b 20 76 61 72 20 66 20 3d 20 x = 1; var f =
13a0: 66 75 6e 28 29 7b 78 3d 78 2b 31 3b 7d 3b 20 66 fun(){x=x+1;}; f
13b0: 28 29 3b 20 66 28 29 3b 20 66 28 29 3b 60 29 3b (); f(); f();`);
13c0: 0d 0a 09 61 73 73 65 72 74 28 20 72 2e 63 74 78 ...assert( r.ctx
13d0: 5b 22 78 22 5d 20 3d 3d 20 6e 65 77 20 49 6e 74 ["x"] == new Int
13e0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 29 29 Value(BigInt(4))
13f0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 72 2e );...assert( r.
1400: 76 61 6c 20 3d 3d 20 6e 65 77 20 49 6e 74 56 61 val == new IntVa
1410: 6c 75 65 28 42 69 67 49 6e 74 28 34 29 29 20 29 lue(BigInt(4)) )
1420: 3b 0d 0a 7d 0d 0a ;..}..