Artifact eb7f695558db6c0f6c75cbbd0256a325eb977788:

• File polemy/runtime.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 52 75 6e 74 69 6d 65  .. *.. * Runtime
0060: 20 64 61 74 61 20 73 74 72 75 63 74 75 72 65 73   data structures
0070: 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67   for Polemy prog
0080: 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65  ramming language
0090: 2e 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70  ... */..module p
00a0: 6f 6c 65 6d 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a  olemy.runtime;..
00b0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63  import polemy._c
00c0: 6f 6d 6d 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70  ommon;..import p
00d0: 6f 6c 65 6d 79 2e 6c 65 78 20 3a 20 4c 65 78 50  olemy.lex : LexP
00e0: 6f 73 69 74 69 6f 6e 3b 0d 0a 69 6d 70 6f 72 74  osition;..import
00f0: 20 73 74 64 2e 73 74 64 69 6f 3b 0d 0a 0d 0a 63   std.stdio;....c
0100: 6c 61 73 73 20 50 6f 6c 65 6d 79 52 75 6e 74 69  lass PolemyRunti
0110: 6d 65 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 78  meException : Ex
0120: 63 65 70 74 69 6f 6e 0d 0a 7b 0d 0a 09 74 68 69  ception..{...thi
0130: 73 28 73 74 72 69 6e 67 20 6d 73 67 29 20 7b 20  s(string msg) { 
0140: 73 75 70 65 72 28 6d 73 67 29 3b 20 7d 0d 0a 7d  super(msg); }..}
0150: 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61  ....abstract cla
0160: 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a 7d 0d 0a  ss Value..{..}..
0170: 0d 0a 63 6c 61 73 73 20 55 6e 64 65 66 69 6e 65  ..class Undefine
0180: 64 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a  dValue : Value..
0190: 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65  {...mixin Simple
01a0: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 6d  Constructor;...m
01b0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61  ixin SimpleCompa
01c0: 72 65 3b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20  re;..}....class 
01d0: 49 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 65  IntValue : Value
01e0: 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 74  ..{...BigInt dat
01f0: 61 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c  a;...mixin Simpl
0200: 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09  eConstructor;...
0210: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70  mixin SimpleComp
0220: 61 72 65 3b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73  are;..}....class
0230: 20 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c 75   StrValue : Valu
0240: 65 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61  e..{...string da
0250: 74 61 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70  ta;...mixin Simp
0260: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a  leConstructor;..
0270: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d  .mixin SimpleCom
0280: 70 61 72 65 3b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73  pare;..}....clas
0290: 73 20 46 75 6e 56 61 6c 75 65 20 3a 20 56 61 6c  s FunValue : Val
02a0: 75 65 0d 0a 7b 0d 0a 09 56 61 6c 75 65 20 64 65  ue..{...Value de
02b0: 6c 65 67 61 74 65 28 69 6d 6d 75 74 61 62 6c 65  legate(immutable
02c0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73   LexPosition pos
02d0: 2c 20 56 61 6c 75 65 5b 5d 29 20 64 61 74 61 3b  , Value[]) data;
02e0: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43  ...mixin SimpleC
02f0: 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 56 61  onstructor;...Va
0300: 6c 75 65 20 63 61 6c 6c 28 69 6d 6d 75 74 61 62  lue call(immutab
0310: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70  le LexPosition p
0320: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73  os, Value[] args
0330: 29 20 7b 20 72 65 74 75 72 6e 20 64 61 74 61 28  ) { return data(
0340: 70 6f 73 2c 61 72 67 73 29 3b 20 7d 0d 0a 7d 0d  pos,args); }..}.
0350: 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69  .import std.stdi
0360: 6f 3b 0d 0a 63 6c 61 73 73 20 43 6f 6e 74 65 78  o;..class Contex
0370: 74 0d 0a 7b 0d 0a 09 43 6f 6e 74 65 78 74 20 20  t..{...Context  
0380: 20 20 20 20 20 70 61 72 65 6e 74 3b 0d 0a 09 56       parent;...V
0390: 61 6c 75 65 5b 73 74 72 69 6e 67 5d 20 74 61 62  alue[string] tab
03a0: 6c 65 3b 0d 0a 09 74 68 69 73 28 43 6f 6e 74 65  le;...this(Conte
03b0: 78 74 20 70 61 72 65 6e 74 20 3d 20 6e 75 6c 6c  xt parent = null
03c0: 29 20 7b 20 74 68 69 73 2e 70 61 72 65 6e 74 20  ) { this.parent 
03d0: 3d 20 70 61 72 65 6e 74 3b 20 7d 0d 0a 0d 0a 09  = parent; }.....
03e0: 76 6f 69 64 20 61 64 64 28 73 74 72 69 6e 67 20  void add(string 
03f0: 69 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b 0d  i, Value v)...{.
0400: 0a 09 09 74 61 62 6c 65 5b 69 5d 20 3d 20 76 3b  ...table[i] = v;
0410: 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20  ...}......Value 
0420: 6f 70 49 6e 64 65 78 28 73 74 72 69 6e 67 20 69  opIndex(string i
0430: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69  )...{....if( i i
0440: 6e 20 74 61 62 6c 65 20 29 0d 0a 09 09 09 72 65  n table ).....re
0450: 74 75 72 6e 20 74 61 62 6c 65 5b 69 5d 3b 0d 0a  turn table[i];..
0460: 09 09 69 66 28 20 70 61 72 65 6e 74 20 69 73 20  ..if( parent is 
0470: 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f 77  null ).....throw
0480: 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69   new PolemyRunti
0490: 6d 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69  meException(spri
04a0: 6e 74 66 21 22 76 61 72 69 61 62 6c 65 20 25 73  ntf!"variable %s
04b0: 20 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 3b   not found"(i));
04c0: 0d 0a 09 09 72 65 74 75 72 6e 20 70 61 72 65 6e  ....return paren
04d0: 74 5b 69 5d 3b 0d 0a 09 7d 0d 0a 0d 0a 09 76 6f  t[i];...}.....vo
04e0: 69 64 20 6f 70 49 6e 64 65 78 41 73 73 69 67 6e  id opIndexAssign
04f0: 28 56 61 6c 75 65 20 76 2c 20 73 74 72 69 6e 67  (Value v, string
0500: 20 69 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69   i)...{....if( i
0510: 20 69 6e 20 74 61 62 6c 65 20 29 0d 0a 09 09 09   in table ).....
0520: 72 65 74 75 72 6e 20 74 61 62 6c 65 5b 69 5d 20  return table[i] 
0530: 3d 20 76 3b 0d 0a 09 09 69 66 28 20 70 61 72 65  = v;....if( pare
0540: 6e 74 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09  nt is null )....
0550: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d  .throw new Polem
0560: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  yRuntimeExceptio
0570: 6e 28 73 70 72 69 6e 74 66 21 22 76 61 72 69 61  n(sprintf!"varia
0580: 62 6c 65 20 25 73 20 6e 6f 74 20 66 6f 75 6e 64  ble %s not found
0590: 22 28 69 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e  "(i));....return
05a0: 20 70 61 72 65 6e 74 5b 69 5d 20 3d 20 76 3b 0d   parent[i] = v;.
05b0: 0a 09 7d 0d 0a 7d 0d 0a                          ..}..}..