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 52 75 6e 74 69 6d 65 20 64 61 *.. * Runtime da
0060: 74 61 20 73 74 72 75 63 74 75 72 65 73 20 66 6f ta structures fo
0070: 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d r Polemy program
0080: 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0d 0a ming language...
0090: 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 */..module pole
00a0: 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 my.value;..impor
00b0: 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e t polemy._common
00c0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00d0: 2e 6c 65 78 3b 0d 0a 0d 0a 2f 2f 2f 20 52 61 69 .lex;..../// Rai
00e0: 73 65 64 20 77 68 65 6e 20 73 6f 6d 65 74 68 69 sed when somethi
00f0: 6e 67 20 77 65 6e 74 20 77 72 6f 6e 67 20 69 6e ng went wrong in
0100: 20 72 75 6e 74 69 6d 65 0d 0a 0d 0a 63 6c 61 73 runtime....clas
0110: 73 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 s RuntimeExcepti
0120: 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f 6e 0d 0a on : Exception..
0130: 7b 0d 0a 09 63 6f 6e 73 74 20 4c 65 78 50 6f 73 {...const LexPos
0140: 69 74 69 6f 6e 20 70 6f 73 3b 0d 0a 0d 0a 09 74 ition pos;.....t
0150: 68 69 73 28 20 63 6f 6e 73 74 20 4c 65 78 50 6f his( const LexPo
0160: 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 sition pos, stri
0170: 6e 67 20 6d 73 67 2c 20 73 74 72 69 6e 67 20 66 ng msg, string f
0180: 69 6c 65 3d 6e 75 6c 6c 2c 20 73 69 7a 65 5f 74 ile=null, size_t
0190: 20 6c 69 6e 65 3d 30 2c 20 54 68 72 6f 77 61 62 line=0, Throwab
01a0: 6c 65 20 6e 65 78 74 3d 6e 75 6c 6c 20 29 0d 0a le next=null )..
01b0: 09 09 7b 20 73 75 70 65 72 28 73 70 72 69 6e 74 ..{ super(sprint
01c0: 66 21 22 5b 25 73 5d 20 25 73 22 28 70 6f 73 2c f!"[%s] %s"(pos,
01d0: 20 6d 73 67 29 2c 20 66 69 6c 65 2c 20 6c 69 6e msg), file, lin
01e0: 65 2c 20 6e 65 78 74 29 3b 20 74 68 69 73 2e 70 e, next); this.p
01f0: 6f 73 20 3d 20 70 6f 73 3b 20 7d 0d 0a 7d 0d 0a os = pos; }..}..
0200: 0d 0a 2f 2f 2f 20 52 75 6e 74 69 6d 65 20 76 61 ../// Runtime va
0210: 6c 75 65 73 20 6f 66 20 50 6f 6c 65 6d 79 0d 0a lues of Polemy..
0220: 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 ..abstract class
0230: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 7d 0d 0a 0d 0a Value..{..}....
0240: 63 6c 61 73 73 20 49 6e 74 56 61 6c 75 65 20 3a class IntValue :
0250: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 42 69 67 49 Value..{...BigI
0260: 6e 74 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 nt data;.....mix
0270: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0280: 63 74 6f 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 ctor;...mixin Si
0290: 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0d 0a 09 6f mpleCompare;...o
02a0: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
02b0: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 oString() const
02c0: 7b 20 72 65 74 75 72 6e 20 73 74 64 2e 62 69 67 { return std.big
02d0: 69 6e 74 2e 74 6f 44 65 63 69 6d 61 6c 53 74 72 int.toDecimalStr
02e0: 69 6e 67 28 63 61 73 74 28 42 69 67 49 6e 74 29 ing(cast(BigInt)
02f0: 64 61 74 61 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 63 data); }..}....c
0300: 6c 61 73 73 20 53 74 72 56 61 6c 75 65 20 3a 20 lass StrValue :
0310: 56 61 6c 75 65 0d 0a 7b 0d 0a 09 73 74 72 69 6e Value..{...strin
0320: 67 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 g data;.....mixi
0330: 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 n SimpleConstruc
0340: 74 6f 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d tor;...mixin Sim
0350: 70 6c 65 43 6f 6d 70 61 72 65 3b 0d 0a 09 6f 76 pleCompare;...ov
0360: 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f erride string to
0370: 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b String() const {
0380: 20 72 65 74 75 72 6e 20 64 61 74 61 3b 20 7d 0d return data; }.
0390: 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 46 75 6e 56 .}....class FunV
03a0: 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d alue : Value..{.
03b0: 0a 09 56 61 6c 75 65 20 64 65 6c 65 67 61 74 65 ..Value delegate
03c0: 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f (immutable LexPo
03d0: 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 sition pos, Valu
03e0: 65 5b 5d 29 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d e[]) data;.....m
03f0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 ixin SimpleConst
0400: 72 75 63 74 6f 72 3b 0d 0a 09 61 6c 69 61 73 20 ructor;...alias
0410: 64 61 74 61 20 63 61 6c 6c 3b 0d 0a 09 6f 76 65 data call;...ove
0420: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
0430: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 tring() const {
0440: 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 return sprintf!"
0450: 28 66 75 6e 63 74 69 6f 6e 3a 25 73 3a 25 73 29 (function:%s:%s)
0460: 22 28 64 61 74 61 2e 70 74 72 2c 64 61 74 61 2e "(data.ptr,data.
0470: 66 75 6e 63 70 74 72 29 3b 20 7d 0d 0a 7d 0d 0a funcptr); }..}..
0480: 0d 0a 2f 2f 2f 20 4c 61 79 65 72 20 49 44 0d 0a ../// Layer ID..
0490: 0d 0a 61 6c 69 61 73 20 73 74 72 69 6e 67 20 4c ..alias string L
04a0: 61 79 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e ayer;..../// Con
04b0: 74 65 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 text (variable e
04c0: 6e 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f nvironment)..///
04d0: 20 53 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f Simlar to proto
04e0: 74 79 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 type chain of EC
04f0: 4d 41 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f MAScript etc.../
0500: 2f 2f 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 // But extended
0510: 77 69 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 with the notion
0520: 6f 66 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c of "Layer"....cl
0530: 61 73 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 ass Table : Valu
0540: 65 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 e..{...enum Kind
0550: 20 7b 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 {PropagateSet,
0560: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d NotPropagateSet}
0570: 3b 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 6c ;.....this( Tabl
0580: 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 e proto=null, Ki
0590: 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 nd k = Kind.Prop
05a0: 61 67 61 74 65 53 65 74 20 29 0d 0a 09 09 7b 20 agateSet )....{
05b0: 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 3d this.prototype =
05c0: 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 6e proto; this.kin
05d0: 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 d = k; }.....voi
05e0: 64 20 73 65 74 28 73 74 72 69 6e 67 20 69 2c 20 d set(string i,
05f0: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
0600: 20 76 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 v, in LexPositi
0610: 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b on pos=null)...{
0620: 0d 0a 09 09 69 66 28 20 73 65 74 49 66 45 78 69 ....if( setIfExi
0630: 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 0d st(i, lay, v) ).
0640: 0a 09 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 64 ....return;....d
0650: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b ata[i][lay] = v;
0660: 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 67 ...}.....Value g
0670: 65 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 et(string i, Lay
0680: 65 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f er lay, in LexPo
0690: 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 sition pos=null)
06a0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e ...{....if( i in
06b0: 20 64 61 74 61 20 29 0d 0a 09 09 09 72 65 74 75 data ).....retu
06c0: 72 6e 20 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 3b rn data[i][lay];
06d0: 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 ....if( prototyp
06e0: 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 e is null ).....
06f0: 74 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d throw new Runtim
0700: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
0710: 73 70 72 69 6e 74 66 21 22 76 61 72 69 61 62 6c sprintf!"variabl
0720: 65 20 25 73 20 6e 6f 74 20 66 6f 75 6e 64 22 28 e %s not found"(
0730: 69 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 i));....return p
0740: 72 6f 74 6f 74 79 70 65 2e 67 65 74 28 69 2c 20 rototype.get(i,
0750: 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 lay);...}....pri
0760: 76 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 20 20 vate:...Table
0770: 20 20 20 20 20 20 20 20 20 20 20 20 20 70 72 6f pro
0780: 74 6f 74 79 70 65 3b 0d 0a 09 4b 69 6e 64 20 20 totype;...Kind
0790: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 6b k
07a0: 69 6e 64 3b 0d 0a 09 56 61 6c 75 65 5b 4c 61 79 ind;...Value[Lay
07b0: 65 72 5d 5b 73 74 72 69 6e 67 5d 20 64 61 74 61 er][string] data
07c0: 3b 0d 0a 0d 0a 09 62 6f 6f 6c 20 73 65 74 49 66 ;.....bool setIf
07d0: 45 78 69 73 74 28 73 74 72 69 6e 67 20 69 2c 20 Exist(string i,
07e0: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
07f0: 20 76 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 v)...{....if( i
0800: 20 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 7b 0d in data )....{.
0810: 0a 09 09 09 64 61 74 61 5b 69 5d 5b 6c 61 79 5d ....data[i][lay]
0820: 20 3d 20 76 3b 0d 0a 09 09 09 72 65 74 75 72 6e = v;.....return
0830: 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 true;....}....i
0840: 66 28 20 6b 69 6e 64 3d 3d 4b 69 6e 64 2e 50 72 f( kind==Kind.Pr
0850: 6f 70 61 67 61 74 65 53 65 74 20 26 26 20 70 72 opagateSet && pr
0860: 6f 74 6f 74 79 70 65 20 21 69 73 20 6e 75 6c 6c ototype !is null
0870: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 72 ).....return pr
0880: 6f 74 6f 74 79 70 65 2e 73 65 74 49 66 45 78 69 ototype.setIfExi
0890: 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 3b 0d 0a st(i, lay, v);..
08a0: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d ..return false;.
08b0: 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ..}..}....unitte
08c0: 73 74 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 63 30 st..{...Table c0
08d0: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 = new Table;...
08e0: 54 61 62 6c 65 20 63 30 31 20 3d 20 6e 65 77 20 Table c01 = new
08f0: 54 61 62 6c 65 28 63 30 2c 20 54 61 62 6c 65 2e Table(c0, Table.
0900: 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 Kind.NotPropagat
0910: 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 63 eSet);...Table c
0920: 30 31 32 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 012 = new Table(
0930: 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e c01, Table.Kind.
0940: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
0950: 09 54 61 62 6c 65 20 63 30 31 33 20 3d 20 6e 65 .Table c013 = ne
0960: 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 62 w Table(c01, Tab
0970: 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 le.Kind.Propagat
0980: 65 53 65 74 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 eSet);.....asser
0990: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e t_nothrow( c012.
09a0: 73 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 2c set("x", "@val",
09b0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
09c0: 67 49 6e 74 28 31 32 29 29 29 20 29 3b 0d 0a 09 gInt(12))) );...
09d0: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e assert_throw!Run
09e0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 timeException( c
09f0: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 22 40 76 013.get("x", "@v
0a00: 61 6c 22 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 al") );...assert
0a10: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 2e 73 _nothrow( c013.s
0a20: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 2c 20 et("x", "@val",
0a30: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
0a40: 49 6e 74 28 31 33 29 29 29 20 29 3b 0d 0a 09 61 Int(13))) );...a
0a50: 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 ssert_eq( c013.g
0a60: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 29 2c et("x", "@val"),
0a70: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0a80: 67 49 6e 74 28 31 33 29 29 20 29 3b 0d 0a 09 61 gInt(13)) );...a
0a90: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
0aa0: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 29 2c et("x", "@val"),
0ab0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0ac0: 67 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 gInt(12)) );...a
0ad0: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 ssert_throw!Runt
0ae0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 imeException( c0
0af0: 31 2e 67 65 74 28 22 78 22 2c 20 22 40 76 61 6c 1.get("x", "@val
0b00: 22 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 ") );.....assert
0b10: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 65 _nothrow( c01.se
0b20: 74 28 22 79 22 2c 20 22 40 76 61 6c 22 2c 20 6e t("y", "@val", n
0b30: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0b40: 6e 74 28 31 29 29 29 20 29 3b 0d 0a 09 61 73 73 nt(1))) );...ass
0b50: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
0b60: 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e ("y", "@val"), n
0b70: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0b80: 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(1)) );...asse
0b90: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
0ba0: 22 79 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 "y", "@val"), ne
0bb0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0bc0: 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(1)) );...asser
0bd0: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 t_eq( c01.get("y
0be0: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0bf0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0c00: 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 1)) );.....asser
0c10: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 2e 73 65 t_nothrow( c0.se
0c20: 74 28 22 7a 22 2c 20 22 40 76 61 6c 22 2c 20 6e t("z", "@val", n
0c30: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0c40: 6e 74 28 30 29 29 29 20 29 3b 0d 0a 09 61 73 73 nt(0))) );...ass
0c50: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
0c60: 28 22 7a 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e ("z", "@val"), n
0c70: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0c80: 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(0)) );...asse
0c90: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
0ca0: 22 7a 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 "z", "@val"), ne
0cb0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0cc0: 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(0)) );...asser
0cd0: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a t_eq( c01.get("z
0ce0: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0cf0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0d00: 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 0)) );...assert_
0d10: 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 eq( c0.get("z",
0d20: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0d30: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
0d40: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
0d50: 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 othrow( c012.set
0d60: 28 22 79 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 ("y", "@val", ne
0d70: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0d80: 74 28 34 34 34 29 29 29 20 29 3b 0d 0a 09 61 73 t(444))) );...as
0d90: 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 sert_eq( c013.ge
0da0: 74 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c 20 t("y", "@val"),
0db0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
0dc0: 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 Int(444)) );...a
0dd0: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
0de0: 65 74 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c et("y", "@val"),
0df0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0e00: 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 gInt(444)) );...
0e10: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 assert_eq( c01.g
0e20: 65 74 28 22 79 22 2c 20 22 40 76 61 6c 22 29 2c et("y", "@val"),
0e30: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0e40: 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 0d gInt(444)) );...
0e50: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
0e60: 28 20 63 30 31 32 2e 73 65 74 28 22 7a 22 2c 20 ( c012.set("z",
0e70: 22 40 76 61 6c 22 2c 20 6e 65 77 20 49 6e 74 56 "@val", new IntV
0e80: 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 alue(BigInt(555)
0e90: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0ea0: 71 28 20 63 30 31 33 2e 67 65 74 28 22 7a 22 2c q( c013.get("z",
0eb0: 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e "@val"), new In
0ec0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
0ed0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
0ee0: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 ( c012.get("z",
0ef0: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0f00: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 Value(BigInt(555
0f10: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0f20: 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 q( c01.get("z",
0f30: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0f40: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
0f50: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
0f60: 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 c0.get("z", "@v
0f70: 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c al"), new IntVal
0f80: 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b ue(BigInt(0)) );
0f90: 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d 20 64 .....// [TODO] d
0fa0: 65 66 69 6e 65 20 74 68 65 20 73 65 6d 61 6e 74 efine the semant
0fb0: 69 63 73 20 61 6e 64 20 74 65 73 74 20 40 6c 61 ics and test @la
0fc0: 79 65 72 73 0d 0a 7d 0d 0a yers..}..