Artifact ac6802f569d2081c8702ef49f001bc8c6a1c47bc:
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 76 61 6c 75 65 3b 0d 0a 69 6d olemy.value;..im
00b0: 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d port polemy._com
00c0: 6d 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c mon;..import pol
00d0: 65 6d 79 2e 6c 65 78 20 3a 20 4c 65 78 50 6f 73 emy.lex : LexPos
00e0: 69 74 69 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 73 ition;..import s
00f0: 74 64 2e 73 74 64 69 6f 3b 0d 0a 0d 0a 63 6c 61 td.stdio;....cla
0100: 73 73 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 ss PolemyRuntime
0110: 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 Exception : Exce
0120: 70 74 69 6f 6e 0d 0a 7b 0d 0a 09 74 68 69 73 28 ption..{...this(
0130: 73 74 72 69 6e 67 20 6d 73 67 29 20 7b 20 73 75 string msg) { su
0140: 70 65 72 28 6d 73 67 29 3b 20 7d 0d 0a 7d 0d 0a per(msg); }..}..
0150: 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 ..abstract class
0160: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 7d 0d 0a 0d 0a Value..{..}....
0170: 63 6c 61 73 73 20 55 6e 64 65 66 69 6e 65 64 56 class UndefinedV
0180: 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d alue : Value..{.
0190: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
01a0: 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 6d 69 78 nstructor;...mix
01b0: 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 in SimpleCompare
01c0: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 ;...override str
01d0: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 ing toString() c
01e0: 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 22 28 onst { return "(
01f0: 75 6e 64 65 66 69 6e 65 64 29 22 3b 20 7d 0d 0a undefined)"; }..
0200: 7d 0d 0a 0d 0a 63 6c 61 73 73 20 49 6e 74 56 61 }....class IntVa
0210: 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a lue : Value..{..
0220: 09 42 69 67 49 6e 74 20 64 61 74 61 3b 0d 0a 09 .BigInt data;...
0230: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 mixin SimpleCons
0240: 74 72 75 63 74 6f 72 3b 0d 0a 09 6d 69 78 69 6e tructor;...mixin
0250: 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0d SimpleCompare;.
0260: 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e ..override strin
0270: 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e g toString() con
0280: 73 74 20 7b 0d 0a 09 09 72 65 74 75 72 6e 20 73 st {....return s
0290: 74 64 2e 62 69 67 69 6e 74 2e 74 6f 44 65 63 69 td.bigint.toDeci
02a0: 6d 61 6c 53 74 72 69 6e 67 28 63 61 73 74 28 42 malString(cast(B
02b0: 69 67 49 6e 74 29 64 61 74 61 29 3b 0d 0a 09 7d igInt)data);...}
02c0: 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 53 74 72 ..}....class Str
02d0: 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b Value : Value..{
02e0: 0d 0a 09 73 74 72 69 6e 67 20 64 61 74 61 3b 0d ...string data;.
02f0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
0300: 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 6d 69 78 nstructor;...mix
0310: 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 in SimpleCompare
0320: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 ;...override str
0330: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 ing toString() c
0340: 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 onst { return da
0350: 74 61 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 ta; }..}....clas
0360: 73 20 46 75 6e 56 61 6c 75 65 20 3a 20 56 61 6c s FunValue : Val
0370: 75 65 0d 0a 7b 0d 0a 09 56 61 6c 75 65 20 64 65 ue..{...Value de
0380: 6c 65 67 61 74 65 28 69 6d 6d 75 74 61 62 6c 65 legate(immutable
0390: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 LexPosition pos
03a0: 2c 20 56 61 6c 75 65 5b 5d 29 20 64 61 74 61 3b , Value[]) data;
03b0: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ...mixin SimpleC
03c0: 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 56 61 onstructor;...Va
03d0: 6c 75 65 20 63 61 6c 6c 28 69 6d 6d 75 74 61 62 lue call(immutab
03e0: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
03f0: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 os, Value[] args
0400: 29 20 7b 20 72 65 74 75 72 6e 20 64 61 74 61 28 ) { return data(
0410: 70 6f 73 2c 61 72 67 73 29 3b 20 7d 0d 0a 09 6f pos,args); }...o
0420: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
0430: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 oString() const
0440: 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 { return sprintf
0450: 21 22 28 66 75 6e 63 74 69 6f 6e 3a 25 73 3a 25 !"(function:%s:%
0460: 73 29 22 28 64 61 74 61 2e 70 74 72 2c 64 61 74 s)"(data.ptr,dat
0470: 61 2e 66 75 6e 63 70 74 72 29 3b 20 7d 0d 0a 7d a.funcptr); }..}
0480: 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 ..import std.std
0490: 69 6f 3b 0d 0a 63 6c 61 73 73 20 43 6f 6e 74 65 io;..class Conte
04a0: 78 74 0d 0a 7b 0d 0a 09 43 6f 6e 74 65 78 74 20 xt..{...Context
04b0: 20 20 20 20 20 20 70 61 72 65 6e 74 3b 0d 0a 09 parent;...
04c0: 56 61 6c 75 65 5b 73 74 72 69 6e 67 5d 20 74 61 Value[string] ta
04d0: 62 6c 65 3b 0d 0a 09 74 68 69 73 28 43 6f 6e 74 ble;...this(Cont
04e0: 65 78 74 20 70 61 72 65 6e 74 20 3d 20 6e 75 6c ext parent = nul
04f0: 6c 29 20 7b 20 74 68 69 73 2e 70 61 72 65 6e 74 l) { this.parent
0500: 20 3d 20 70 61 72 65 6e 74 3b 20 7d 0d 0a 0d 0a = parent; }....
0510: 09 76 6f 69 64 20 61 64 64 28 73 74 72 69 6e 67 .void add(string
0520: 20 69 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b i, Value v)...{
0530: 0d 0a 09 09 74 61 62 6c 65 5b 69 5d 20 3d 20 76 ....table[i] = v
0540: 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 ;...}......Value
0550: 20 6f 70 49 6e 64 65 78 28 73 74 72 69 6e 67 20 opIndex(string
0560: 69 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 i)...{....if( i
0570: 69 6e 20 74 61 62 6c 65 20 29 0d 0a 09 09 09 72 in table ).....r
0580: 65 74 75 72 6e 20 74 61 62 6c 65 5b 69 5d 3b 0d eturn table[i];.
0590: 0a 09 09 69 66 28 20 70 61 72 65 6e 74 20 69 73 ...if( parent is
05a0: 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f null ).....thro
05b0: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 w new PolemyRunt
05c0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72 imeException(spr
05d0: 69 6e 74 66 21 22 76 61 72 69 61 62 6c 65 20 25 intf!"variable %
05e0: 73 20 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 s not found"(i))
05f0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 61 72 65 ;....return pare
0600: 6e 74 5b 69 5d 3b 0d 0a 09 7d 0d 0a 0d 0a 09 76 nt[i];...}.....v
0610: 6f 69 64 20 6f 70 49 6e 64 65 78 41 73 73 69 67 oid opIndexAssig
0620: 6e 28 56 61 6c 75 65 20 76 2c 20 73 74 72 69 6e n(Value v, strin
0630: 67 20 69 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 g i)...{....if(
0640: 69 20 69 6e 20 74 61 62 6c 65 20 29 0d 0a 09 09 i in table )....
0650: 09 72 65 74 75 72 6e 20 74 61 62 6c 65 5b 69 5d .return table[i]
0660: 20 3d 20 76 3b 0d 0a 09 09 69 66 28 20 70 61 72 = v;....if( par
0670: 65 6e 74 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 ent is null )...
0680: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 ..throw new Pole
0690: 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 myRuntimeExcepti
06a0: 6f 6e 28 73 70 72 69 6e 74 66 21 22 76 61 72 69 on(sprintf!"vari
06b0: 61 62 6c 65 20 25 73 20 6e 6f 74 20 66 6f 75 6e able %s not foun
06c0: 64 22 28 69 29 29 3b 0d 0a 09 09 72 65 74 75 72 d"(i));....retur
06d0: 6e 20 70 61 72 65 6e 74 5b 69 5d 20 3d 20 76 3b n parent[i] = v;
06e0: 0d 0a 09 7d 0d 0a 7d 0d 0a ...}..}..