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 6d 69 78 69 6e 20 45 78 63 65 70 74 {...mixin Except
0140: 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e 3b ionWithPosition;
0150: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69 ..}..../// Runti
0160: 6d 65 20 76 61 6c 75 65 73 20 6f 66 20 50 6f 6c me values of Pol
0170: 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 emy....abstract
0180: 63 6c 61 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a class Value..{..
0190: 7d 0d 0a 0d 0a 63 6c 61 73 73 20 49 6e 74 56 61 }....class IntVa
01a0: 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a lue : Value..{..
01b0: 09 42 69 67 49 6e 74 20 64 61 74 61 3b 0d 0a 0d .BigInt data;...
01c0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c ..mixin SimpleCl
01d0: 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 ass;...override
01e0: 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 string toString(
01f0: 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e ) const { return
0200: 20 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f 44 65 std.bigint.toDe
0210: 63 69 6d 61 6c 53 74 72 69 6e 67 28 63 61 73 74 cimalString(cast
0220: 28 42 69 67 49 6e 74 29 64 61 74 61 29 3b 20 7d (BigInt)data); }
0230: 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 53 74 72 ..}....class Str
0240: 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b Value : Value..{
0250: 0d 0a 09 73 74 72 69 6e 67 20 64 61 74 61 3b 0d ...string data;.
0260: 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ....mixin Simple
0270: 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 Class;...overrid
0280: 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e e string toStrin
0290: 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 g() const { retu
02a0: 72 6e 20 64 61 74 61 3b 20 7d 0d 0a 7d 0d 0a 0d rn data; }..}...
02b0: 0a 63 6c 61 73 73 20 46 75 6e 56 61 6c 75 65 20 .class FunValue
02c0: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 56 61 6c : Value..{...Val
02d0: 75 65 20 64 65 6c 65 67 61 74 65 28 69 6d 6d 75 ue delegate(immu
02e0: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
02f0: 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6c 61 n pos, string la
0300: 79 2c 20 56 61 6c 75 65 5b 5d 29 20 64 61 74 61 y, Value[]) data
0310: 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 ;.....mixin Simp
0320: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a leConstructor;..
0330: 09 61 6c 69 61 73 20 64 61 74 61 20 63 61 6c 6c .alias data call
0340: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 ;...override str
0350: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 ing toString() c
0360: 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 73 70 onst { return sp
0370: 72 69 6e 74 66 21 22 28 66 75 6e 63 74 69 6f 6e rintf!"(function
0380: 3a 25 73 3a 25 73 29 22 28 64 61 74 61 2e 70 74 :%s:%s)"(data.pt
0390: 72 2c 64 61 74 61 2e 66 75 6e 63 70 74 72 29 3b r,data.funcptr);
03a0: 20 7d 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 55 }..}....class U
03b0: 6e 64 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d ndValue : Value.
03c0: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c .{...mixin Simpl
03d0: 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 eClass;...overri
03e0: 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 de string toStri
03f0: 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 ng() const { ret
0400: 75 72 6e 20 22 3c 75 6e 64 65 66 69 6e 65 64 3e urn "<undefined>
0410: 22 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4c "; }..}..../// L
0420: 61 79 65 72 20 49 44 0d 0a 0d 0a 61 6c 69 61 73 ayer ID....alias
0430: 20 73 74 72 69 6e 67 20 4c 61 79 65 72 3b 0d 0a string Layer;..
0440: 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 78 74 20 28 76 ../// Context (v
0450: 61 72 69 61 62 6c 65 20 65 6e 76 69 72 6f 6e 6d ariable environm
0460: 65 6e 74 29 0d 0a 2f 2f 2f 20 53 69 6d 6c 61 72 ent)../// Simlar
0470: 20 74 6f 20 70 72 6f 74 6f 74 79 70 65 20 63 68 to prototype ch
0480: 61 69 6e 20 6f 66 20 45 43 4d 41 53 63 72 69 70 ain of ECMAScrip
0490: 74 20 65 74 63 2e 0d 0a 2f 2f 2f 20 42 75 74 20 t etc.../// But
04a0: 65 78 74 65 6e 64 65 64 20 77 69 74 68 20 74 68 extended with th
04b0: 65 20 6e 6f 74 69 6f 6e 20 6f 66 20 22 4c 61 79 e notion of "Lay
04c0: 65 72 22 0d 0a 0d 0a 63 6c 61 73 73 20 54 61 62 er"....class Tab
04d0: 6c 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 le : Value..{...
04e0: 65 6e 75 6d 20 4b 69 6e 64 20 7b 50 72 6f 70 61 enum Kind {Propa
04f0: 67 61 74 65 53 65 74 2c 20 4e 6f 74 50 72 6f 70 gateSet, NotProp
0500: 61 67 61 74 65 53 65 74 7d 3b 0d 0a 0d 0a 09 74 agateSet};.....t
0510: 68 69 73 28 20 54 61 62 6c 65 20 70 72 6f 74 6f his( Table proto
0520: 3d 6e 75 6c 6c 2c 20 4b 69 6e 64 20 6b 20 3d 20 =null, Kind k =
0530: 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 Kind.PropagateSe
0540: 74 20 29 0d 0a 09 09 7b 20 74 68 69 73 2e 70 72 t )....{ this.pr
0550: 6f 74 6f 74 79 70 65 20 3d 20 70 72 6f 74 6f 3b ototype = proto;
0560: 20 74 68 69 73 2e 6b 69 6e 64 20 3d 20 6b 3b 20 this.kind = k;
0570: 7d 0d 0a 0d 0a 09 76 6f 69 64 20 73 65 74 28 73 }.....void set(s
0580: 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c tring i, Layer l
0590: 61 79 2c 20 56 61 6c 75 65 20 76 2c 20 69 6e 20 ay, Value v, in
05a0: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d LexPosition pos=
05b0: 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 null)...{....if(
05c0: 20 73 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c setIfExist(i, l
05d0: 61 79 2c 20 76 29 20 29 0d 0a 09 09 09 72 65 74 ay, v) ).....ret
05e0: 75 72 6e 3b 0d 0a 09 09 64 61 74 61 5b 69 5d 5b urn;....data[i][
05f0: 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 7d 0d 0a 0d lay] = v;...}...
0600: 0a 09 56 61 6c 75 65 20 67 65 74 28 73 74 72 69 ..Value get(stri
0610: 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c ng i, Layer lay,
0620: 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 in LexPosition
0630: 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 pos=null)...{...
0640: 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 29 .if( i in data )
0650: 20 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 21 {.....if( lay !
0660: 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a 09 09 in data[i] )....
0670: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
0680: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
0690: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 76 61 72 os, sprintf!"var
06a0: 69 61 62 6c 65 20 25 73 20 69 73 20 6e 6f 74 20 iable %s is not
06b0: 73 65 74 20 69 6e 20 6c 61 79 65 72 20 25 73 22 set in layer %s"
06c0: 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 72 65 (i,lay));.....re
06d0: 74 75 72 6e 20 64 61 74 61 5b 69 5d 5b 6c 61 79 turn data[i][lay
06e0: 5d 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 ];....}....if( p
06f0: 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c rototype is null
0700: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 ).....throw new
0710: 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f RuntimeExceptio
0720: 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 n(pos, sprintf!"
0730: 76 61 72 69 61 62 6c 65 20 25 73 20 6e 6f 74 20 variable %s not
0740: 66 6f 75 6e 64 22 28 69 29 29 3b 0d 0a 09 09 72 found"(i));....r
0750: 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e eturn prototype.
0760: 67 65 74 28 69 2c 20 6c 61 79 2c 20 70 6f 73 29 get(i, lay, pos)
0770: 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 ;...}....private
0780: 3a 0d 0a 09 54 61 62 6c 65 20 20 20 20 20 20 20 :...Table
0790: 20 20 20 20 20 20 20 20 20 70 72 6f 74 6f 74 79 prototy
07a0: 70 65 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 pe;...Kind
07b0: 20 20 20 20 20 20 20 20 20 20 20 6b 69 6e 64 3b kind;
07c0: 0d 0a 09 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b ...Value[Layer][
07d0: 73 74 72 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d string] data;...
07e0: 0a 09 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 ..bool setIfExis
07f0: 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 t(string i, Laye
0800: 72 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d r lay, Value v).
0810: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
0820: 64 61 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 data )....{.....
0830: 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 data[i][lay] = v
0840: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 ;.....return tru
0850: 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b e;....}....if( k
0860: 69 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 ind==Kind.Propag
0870: 61 74 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 ateSet && protot
0880: 79 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a ype !is null )..
0890: 09 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 ...return protot
08a0: 79 70 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 ype.setIfExist(i
08b0: 2c 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 , lay, v);....re
08c0: 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d turn false;...}.
08d0: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
08e0: 7b 0d 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e {...Table c0 = n
08f0: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c ew Table;...Tabl
0900: 65 20 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c e c01 = new Tabl
0910: 65 28 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 e(c0, Table.Kind
0920: 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 .NotPropagateSet
0930: 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 );...Table c012
0940: 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c = new Table(c01,
0950: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 Table.Kind.Prop
0960: 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 agateSet);...Tab
0970: 6c 65 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 le c013 = new Ta
0980: 62 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b ble(c01, Table.K
0990: 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 ind.PropagateSet
09a0: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
09b0: 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 throw( c012.set(
09c0: 22 78 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 "x", "@v", new I
09d0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
09e0: 32 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 2))) );...assert
09f0: 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 _throw!RuntimeEx
0a00: 63 65 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 65 ception( c013.ge
0a10: 74 28 22 78 22 2c 20 22 40 76 22 29 20 29 3b 0d t("x", "@v") );.
0a20: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
0a30: 28 20 63 30 31 33 2e 73 65 74 28 22 78 22 2c 20 ( c013.set("x",
0a40: 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c "@v", new IntVal
0a50: 75 65 28 42 69 67 49 6e 74 28 31 33 29 29 29 20 ue(BigInt(13)))
0a60: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
0a70: 63 30 31 33 2e 67 65 74 28 22 78 22 2c 20 22 40 c013.get("x", "@
0a80: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
0a90: 65 28 42 69 67 49 6e 74 28 31 33 29 29 20 29 3b e(BigInt(13)) );
0aa0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
0ab0: 31 32 2e 67 65 74 28 22 78 22 2c 20 22 40 76 22 12.get("x", "@v"
0ac0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
0ad0: 42 69 67 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a BigInt(12)) );..
0ae0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 .assert_throw!Ru
0af0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 ntimeException(
0b00: 63 30 31 2e 67 65 74 28 22 78 22 2c 20 22 40 76 c01.get("x", "@v
0b10: 22 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 ") );.....assert
0b20: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 65 _nothrow( c01.se
0b30: 74 28 22 79 22 2c 20 22 40 76 22 2c 20 6e 65 77 t("y", "@v", new
0b40: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
0b50: 28 31 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 (1))) );...asser
0b60: 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 t_eq( c013.get("
0b70: 79 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 y", "@v"), new I
0b80: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
0b90: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0ba0: 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c q( c012.get("y",
0bb0: 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 "@v"), new IntV
0bc0: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
0bd0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
0be0: 63 30 31 2e 67 65 74 28 22 79 22 2c 20 22 40 76 c01.get("y", "@v
0bf0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
0c00: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
0c10: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
0c20: 77 28 20 63 30 2e 73 65 74 28 22 7a 22 2c 20 22 w( c0.set("z", "
0c30: 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 @v", new IntValu
0c40: 65 28 42 69 67 49 6e 74 28 30 29 29 29 20 29 3b e(BigInt(0))) );
0c50: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
0c60: 31 33 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 13.get("z", "@v"
0c70: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
0c80: 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 BigInt(0)) );...
0c90: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e assert_eq( c012.
0ca0: 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 get("z", "@v"),
0cb0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
0cc0: 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 Int(0)) );...ass
0cd0: 65 72 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 ert_eq( c01.get(
0ce0: 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 "z", "@v"), 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 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
0d30: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
0d40: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
0d50: 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 hrow( c012.set("
0d60: 79 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e y", "@v", new In
0d70: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 tValue(BigInt(44
0d80: 34 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 4))) );...assert
0d90: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 _eq( c013.get("y
0da0: 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e ", "@v"), new In
0db0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 tValue(BigInt(44
0dc0: 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 4)) );...assert_
0dd0: 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 eq( c012.get("y"
0de0: 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 , "@v"), new Int
0df0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 Value(BigInt(444
0e00: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0e10: 71 28 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 q( c01.get("y",
0e20: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
0e30: 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 lue(BigInt(444))
0e40: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
0e50: 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 othrow( c012.set
0e60: 28 22 7a 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 ("z", "@v", new
0e70: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0e80: 35 35 35 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 555))) );...asse
0e90: 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 rt_eq( c013.get(
0ea0: 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 "z", "@v"), new
0eb0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0ec0: 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 0)) );...assert_
0ed0: 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 eq( c012.get("z"
0ee0: 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 , "@v"), new Int
0ef0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 Value(BigInt(555
0f00: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0f10: 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 q( c01.get("z",
0f20: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
0f30: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
0f40: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
0f50: 30 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 0.get("z", "@v")
0f60: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
0f70: 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a igInt(0)) );....
0f80: 09 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e .// [TODO] defin
0f90: 65 20 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 e the semantics
0fa0: 61 6e 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 and test @layers
0fb0: 0d 0a 7d 0d 0a ..}..