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 3b 0d 0a 0d 0a 2f 2f 2f 20 emy.lex;....///
00e0: 52 61 69 73 65 64 20 77 68 65 6e 20 73 6f 6d 65 Raised when some
00f0: 74 68 69 6e 67 20 77 65 6e 74 20 77 72 6f 6e 67 thing went wrong
0100: 20 69 6e 20 72 75 6e 74 69 6d 65 0d 0a 0d 0a 63 in runtime....c
0110: 6c 61 73 73 20 52 75 6e 74 69 6d 65 45 78 63 65 lass RuntimeExce
0120: 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f ption : Exceptio
0130: 6e 0d 0a 7b 0d 0a 09 63 6f 6e 73 74 20 4c 65 78 n..{...const Lex
0140: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0d 0a 0d Position pos;...
0150: 0a 09 74 68 69 73 28 20 63 6f 6e 73 74 20 4c 65 ..this( const Le
0160: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 xPosition pos, s
0170: 74 72 69 6e 67 20 6d 73 67 20 29 0d 0a 09 09 7b tring msg )....{
0180: 20 73 75 70 65 72 28 73 70 72 69 6e 74 66 21 22 super(sprintf!"
0190: 25 73 20 5b 25 73 5d 22 28 6d 73 67 2c 20 70 6f %s [%s]"(msg, po
01a0: 73 29 29 3b 20 74 68 69 73 2e 70 6f 73 20 3d 20 s)); this.pos =
01b0: 70 6f 73 3b 20 7d 0d 0a 09 74 68 69 73 28 20 73 pos; }...this( s
01c0: 74 72 69 6e 67 20 6d 73 67 20 29 20 7b 20 73 75 tring msg ) { su
01d0: 70 65 72 28 6d 73 67 29 3b 20 74 68 69 73 2e 70 per(msg); this.p
01e0: 6f 73 20 3d 20 6e 75 6c 6c 3b 20 7d 0d 0a 7d 0d os = null; }..}.
01f0: 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69 6d 65 20 76 .../// Runtime v
0200: 61 6c 75 65 73 20 6f 66 20 50 6f 6c 65 6d 79 0d alues of Polemy.
0210: 0a 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 ...abstract clas
0220: 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a 7d 0d 0a 0d s Value..{..}...
0230: 0a 63 6c 61 73 73 20 49 6e 74 56 61 6c 75 65 20 .class IntValue
0240: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 42 69 67 : Value..{...Big
0250: 49 6e 74 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 Int data;.....mi
0260: 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 xin SimpleConstr
0270: 75 63 74 6f 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 uctor;...mixin S
0280: 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0d 0a 09 impleCompare;...
0290: 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 override string
02a0: 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 toString() const
02b0: 20 7b 20 72 65 74 75 72 6e 20 73 74 64 2e 62 69 { return std.bi
02c0: 67 69 6e 74 2e 74 6f 44 65 63 69 6d 61 6c 53 74 gint.toDecimalSt
02d0: 72 69 6e 67 28 63 61 73 74 28 42 69 67 49 6e 74 ring(cast(BigInt
02e0: 29 64 61 74 61 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a )data); }..}....
02f0: 63 6c 61 73 73 20 53 74 72 56 61 6c 75 65 20 3a class StrValue :
0300: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 73 74 72 69 Value..{...stri
0310: 6e 67 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 ng data;.....mix
0320: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0330: 63 74 6f 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 ctor;...mixin Si
0340: 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0d 0a 09 6f mpleCompare;...o
0350: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
0360: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 oString() const
0370: 7b 20 72 65 74 75 72 6e 20 64 61 74 61 3b 20 7d { return data; }
0380: 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 46 75 6e ..}....class Fun
0390: 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b Value : Value..{
03a0: 0d 0a 09 56 61 6c 75 65 20 64 65 6c 65 67 61 74 ...Value delegat
03b0: 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 e(immutable LexP
03c0: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c osition pos, Val
03d0: 75 65 5b 5d 29 20 64 61 74 61 3b 0d 0a 0d 0a 09 ue[]) data;.....
03e0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 mixin SimpleCons
03f0: 74 72 75 63 74 6f 72 3b 0d 0a 09 61 6c 69 61 73 tructor;...alias
0400: 20 64 61 74 61 20 63 61 6c 6c 3b 0d 0a 09 6f 76 data call;...ov
0410: 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f erride string to
0420: 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b String() const {
0430: 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 21 return sprintf!
0440: 22 28 66 75 6e 63 74 69 6f 6e 3a 25 73 3a 25 73 "(function:%s:%s
0450: 29 22 28 64 61 74 61 2e 70 74 72 2c 64 61 74 61 )"(data.ptr,data
0460: 2e 66 75 6e 63 70 74 72 29 3b 20 7d 0d 0a 7d 0d .funcptr); }..}.
0470: 0a 0d 0a 2f 2f 2f 20 4c 61 79 65 72 20 49 44 0d .../// Layer ID.
0480: 0a 0d 0a 61 6c 69 61 73 20 73 74 72 69 6e 67 20 ...alias string
0490: 4c 61 79 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 43 6f Layer;..../// Co
04a0: 6e 74 65 78 74 20 28 76 61 72 69 61 62 6c 65 20 ntext (variable
04b0: 65 6e 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f environment)..//
04c0: 2f 20 53 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 / Simlar to prot
04d0: 6f 74 79 70 65 20 63 68 61 69 6e 20 6f 66 20 45 otype chain of E
04e0: 43 4d 41 53 63 72 69 70 74 20 65 74 63 2e 0d 0a CMAScript etc...
04f0: 2f 2f 2f 20 42 75 74 20 65 78 74 65 6e 64 65 64 /// But extended
0500: 20 77 69 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e with the notion
0510: 20 6f 66 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 of "Layer"....c
0520: 6c 61 73 73 20 54 61 62 6c 65 20 3a 20 56 61 6c lass Table : Val
0530: 75 65 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e ue..{...enum Kin
0540: 64 20 7b 50 72 6f 70 61 67 61 74 65 53 65 74 2c d {PropagateSet,
0550: 20 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 NotPropagateSet
0560: 7d 3b 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 };.....this( Tab
0570: 6c 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b le proto=null, K
0580: 69 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f ind k = Kind.Pro
0590: 70 61 67 61 74 65 53 65 74 20 29 0d 0a 09 09 7b pagateSet )....{
05a0: 20 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 this.prototype
05b0: 3d 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 = proto; this.ki
05c0: 6e 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f nd = k; }.....vo
05d0: 69 64 20 73 65 74 28 73 74 72 69 6e 67 20 69 2c id set(string i,
05e0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 Layer lay, Valu
05f0: 65 20 76 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 e v)...{....if(
0600: 21 73 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c !setIfExist(i, l
0610: 61 79 2c 20 76 29 20 29 0d 0a 09 09 09 64 61 74 ay, v) ).....dat
0620: 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a a[i][lay] = v;..
0630: 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 67 65 74 .}.....Value get
0640: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
0650: 20 6c 61 79 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 lay)...{....if(
0660: 20 69 20 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 i in data )....
0670: 09 72 65 74 75 72 6e 20 64 61 74 61 5b 69 5d 5b .return data[i][
0680: 6c 61 79 5d 3b 0d 0a 09 09 69 66 28 20 70 72 6f lay];....if( pro
0690: 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 29 totype is null )
06a0: 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 52 .....throw new R
06b0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
06c0: 73 70 72 69 6e 74 66 21 22 76 61 72 69 61 62 6c sprintf!"variabl
06d0: 65 20 25 73 20 6e 6f 74 20 66 6f 75 6e 64 22 28 e %s not found"(
06e0: 69 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 i));....return p
06f0: 72 6f 74 6f 74 79 70 65 2e 67 65 74 28 69 2c 20 rototype.get(i,
0700: 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 lay);...}....pri
0710: 76 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 20 20 vate:...Table
0720: 20 20 20 20 20 20 20 20 20 20 20 20 20 70 72 6f pro
0730: 74 6f 74 79 70 65 3b 0d 0a 09 4b 69 6e 64 20 20 totype;...Kind
0740: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 6b k
0750: 69 6e 64 3b 0d 0a 09 56 61 6c 75 65 5b 4c 61 79 ind;...Value[Lay
0760: 65 72 5d 5b 73 74 72 69 6e 67 5d 20 64 61 74 61 er][string] data
0770: 3b 0d 0a 0d 0a 09 62 6f 6f 6c 20 73 65 74 49 66 ;.....bool setIf
0780: 45 78 69 73 74 28 73 74 72 69 6e 67 20 69 2c 20 Exist(string i,
0790: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
07a0: 20 76 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 v)...{....if( i
07b0: 20 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 7b 0d in data )....{.
07c0: 0a 09 09 09 64 61 74 61 5b 69 5d 5b 6c 61 79 5d ....data[i][lay]
07d0: 20 3d 20 76 3b 0d 0a 09 09 09 72 65 74 75 72 6e = v;.....return
07e0: 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 true;....}....i
07f0: 66 28 20 6b 69 6e 64 3d 3d 4b 69 6e 64 2e 50 72 f( kind==Kind.Pr
0800: 6f 70 61 67 61 74 65 53 65 74 20 26 26 20 70 72 opagateSet && pr
0810: 6f 74 6f 74 79 70 65 20 21 69 73 20 6e 75 6c 6c ototype !is null
0820: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 72 ).....return pr
0830: 6f 74 6f 74 79 70 65 2e 73 65 74 49 66 45 78 69 ototype.setIfExi
0840: 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 3b 0d 0a st(i, lay, v);..
0850: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d ..return false;.
0860: 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ..}..}....unitte
0870: 73 74 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 63 30 st..{...Table c0
0880: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 = new Table;...
0890: 54 61 62 6c 65 20 63 30 31 20 3d 20 6e 65 77 20 Table c01 = new
08a0: 54 61 62 6c 65 28 63 30 2c 20 54 61 62 6c 65 2e Table(c0, Table.
08b0: 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 Kind.NotPropagat
08c0: 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 63 eSet);...Table c
08d0: 30 31 32 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 012 = new Table(
08e0: 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e c01, Table.Kind.
08f0: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
0900: 09 54 61 62 6c 65 20 63 30 31 33 20 3d 20 6e 65 .Table c013 = ne
0910: 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 62 w Table(c01, Tab
0920: 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 le.Kind.Propagat
0930: 65 53 65 74 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 eSet);.....asser
0940: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e t_nothrow( c012.
0950: 73 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 2c set("x", "@val",
0960: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0970: 67 49 6e 74 28 31 32 29 29 29 20 29 3b 0d 0a 09 gInt(12))) );...
0980: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e assert_throw!Run
0990: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 timeException( c
09a0: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 22 40 76 013.get("x", "@v
09b0: 61 6c 22 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 al") );...assert
09c0: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 2e 73 _nothrow( c013.s
09d0: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 2c 20 et("x", "@val",
09e0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
09f0: 49 6e 74 28 31 33 29 29 29 20 29 3b 0d 0a 09 61 Int(13))) );...a
0a00: 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 ssert_eq( c013.g
0a10: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 29 2c et("x", "@val"),
0a20: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0a30: 67 49 6e 74 28 31 33 29 29 20 29 3b 0d 0a 09 61 gInt(13)) );...a
0a40: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
0a50: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 29 2c et("x", "@val"),
0a60: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0a70: 67 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 gInt(12)) );...a
0a80: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 ssert_throw!Runt
0a90: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 imeException( c0
0aa0: 31 2e 67 65 74 28 22 78 22 2c 20 22 40 76 61 6c 1.get("x", "@val
0ab0: 22 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 ") );.....assert
0ac0: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 65 _nothrow( c01.se
0ad0: 74 28 22 79 22 2c 20 22 40 76 61 6c 22 2c 20 6e t("y", "@val", n
0ae0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0af0: 6e 74 28 31 29 29 29 20 29 3b 0d 0a 09 61 73 73 nt(1))) );...ass
0b00: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
0b10: 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e ("y", "@val"), n
0b20: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0b30: 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(1)) );...asse
0b40: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
0b50: 22 79 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 "y", "@val"), ne
0b60: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0b70: 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(1)) );...asser
0b80: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 t_eq( c01.get("y
0b90: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0ba0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0bb0: 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 1)) );.....asser
0bc0: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 2e 73 65 t_nothrow( c0.se
0bd0: 74 28 22 7a 22 2c 20 22 40 76 61 6c 22 2c 20 6e t("z", "@val", n
0be0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0bf0: 6e 74 28 30 29 29 29 20 29 3b 0d 0a 09 61 73 73 nt(0))) );...ass
0c00: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
0c10: 28 22 7a 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e ("z", "@val"), n
0c20: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0c30: 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(0)) );...asse
0c40: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
0c50: 22 7a 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 "z", "@val"), ne
0c60: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0c70: 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(0)) );...asser
0c80: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a t_eq( c01.get("z
0c90: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0ca0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0cb0: 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 0)) );...assert_
0cc0: 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 eq( c0.get("z",
0cd0: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0ce0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
0cf0: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
0d00: 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 othrow( c012.set
0d10: 28 22 79 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 ("y", "@val", ne
0d20: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0d30: 74 28 34 34 34 29 29 29 20 29 3b 0d 0a 09 61 73 t(444))) );...as
0d40: 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 sert_eq( c013.ge
0d50: 74 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c 20 t("y", "@val"),
0d60: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
0d70: 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 Int(444)) );...a
0d80: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
0d90: 65 74 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c et("y", "@val"),
0da0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0db0: 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 gInt(444)) );...
0dc0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 assert_eq( c01.g
0dd0: 65 74 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c et("y", "@val"),
0de0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0df0: 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 0d gInt(444)) );...
0e00: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
0e10: 28 20 63 30 31 32 2e 73 65 74 28 22 7a 22 2c 20 ( c012.set("z",
0e20: 22 40 76 61 6c 22 2c 20 6e 65 77 20 49 6e 74 56 "@val", new IntV
0e30: 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 alue(BigInt(555)
0e40: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0e50: 71 28 20 63 30 31 33 2e 67 65 74 28 22 7a 22 2c q( c013.get("z",
0e60: 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e "@val"), new In
0e70: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
0e80: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
0e90: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 ( c012.get("z",
0ea0: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0eb0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 Value(BigInt(555
0ec0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0ed0: 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 q( c01.get("z",
0ee0: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0ef0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
0f00: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
0f10: 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 c0.get("z", "@v
0f20: 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c al"), new IntVal
0f30: 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b ue(BigInt(0)) );
0f40: 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d 20 64 .....// [TODO] d
0f50: 65 66 69 6e 65 20 74 68 65 20 73 65 6d 61 6e 74 efine the semant
0f60: 69 63 73 20 61 6e 64 20 74 65 73 74 20 40 6c 61 ics and test @la
0f70: 79 65 72 73 0d 0a 7d 0d 0a yers..}..