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 20 29 0d 0a 09 09 7b 20 73 75 ng msg )....{ su
0180: 70 65 72 28 73 70 72 69 6e 74 66 21 22 25 73 20 per(sprintf!"%s
0190: 61 74 20 5b 25 73 5d 22 28 6d 73 67 2c 20 70 6f at [%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 7d 0d 0a 0d 0a 2f 2f 2f pos; }..}....///
01c0: 20 52 75 6e 74 69 6d 65 20 76 61 6c 75 65 73 20 Runtime values
01d0: 6f 66 20 50 6f 6c 65 6d 79 0d 0a 0d 0a 61 62 73 of Polemy....abs
01e0: 74 72 61 63 74 20 63 6c 61 73 73 20 56 61 6c 75 tract class Valu
01f0: 65 0d 0a 7b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 e..{..}....class
0200: 20 49 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 IntValue : Valu
0210: 65 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 e..{...BigInt da
0220: 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 ta;.....mixin Si
0230: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
0240: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ...mixin SimpleC
0250: 6f 6d 70 61 72 65 3b 0d 0a 09 6f 76 65 72 72 69 ompare;...overri
0260: 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 de string toStri
0270: 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 ng() const { ret
0280: 75 72 6e 20 73 74 64 2e 62 69 67 69 6e 74 2e 74 urn std.bigint.t
0290: 6f 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 28 63 oDecimalString(c
02a0: 61 73 74 28 42 69 67 49 6e 74 29 64 61 74 61 29 ast(BigInt)data)
02b0: 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 ; }..}....class
02c0: 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 StrValue : Value
02d0: 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61 74 ..{...string dat
02e0: 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d a;.....mixin Sim
02f0: 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d pleConstructor;.
0300: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
0310: 6d 70 61 72 65 3b 0d 0a 09 6f 76 65 72 72 69 64 mpare;...overrid
0320: 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e e string toStrin
0330: 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 g() const { retu
0340: 72 6e 20 64 61 74 61 3b 20 7d 0d 0a 7d 0d 0a 0d rn data; }..}...
0350: 0a 63 6c 61 73 73 20 46 75 6e 56 61 6c 75 65 20 .class FunValue
0360: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 56 61 6c : Value..{...Val
0370: 75 65 20 64 65 6c 65 67 61 74 65 28 69 6d 6d 75 ue delegate(immu
0380: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
0390: 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 29 20 n pos, Value[])
03a0: 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 data;.....mixin
03b0: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
03c0: 72 3b 0d 0a 09 61 6c 69 61 73 20 64 61 74 61 20 r;...alias data
03d0: 63 61 6c 6c 3b 0d 0a 09 6f 76 65 72 72 69 64 65 call;...override
03e0: 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 string toString
03f0: 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 () const { retur
0400: 6e 20 73 70 72 69 6e 74 66 21 22 28 66 75 6e 63 n sprintf!"(func
0410: 74 69 6f 6e 3a 25 73 3a 25 73 29 22 28 64 61 74 tion:%s:%s)"(dat
0420: 61 2e 70 74 72 2c 64 61 74 61 2e 66 75 6e 63 70 a.ptr,data.funcp
0430: 74 72 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f tr); }..}....///
0440: 20 4c 61 79 65 72 20 49 44 0d 0a 0d 0a 61 6c 69 Layer ID....ali
0450: 61 73 20 73 74 72 69 6e 67 20 4c 61 79 65 72 3b as string Layer;
0460: 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 78 74 20 ..../// Context
0470: 28 76 61 72 69 61 62 6c 65 20 65 6e 76 69 72 6f (variable enviro
0480: 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 53 69 6d 6c nment)../// Siml
0490: 61 72 20 74 6f 20 70 72 6f 74 6f 74 79 70 65 20 ar to prototype
04a0: 63 68 61 69 6e 20 6f 66 20 45 43 4d 41 53 63 72 chain of ECMAScr
04b0: 69 70 74 20 65 74 63 2e 0d 0a 2f 2f 2f 20 42 75 ipt etc.../// Bu
04c0: 74 20 65 78 74 65 6e 64 65 64 20 77 69 74 68 20 t extended with
04d0: 74 68 65 20 6e 6f 74 69 6f 6e 20 6f 66 20 22 4c the notion of "L
04e0: 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 73 73 20 54 ayer"....class T
04f0: 61 62 6c 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d able : Value..{.
0500: 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 7b 50 72 6f ..enum Kind {Pro
0510: 70 61 67 61 74 65 53 65 74 2c 20 4e 6f 74 50 72 pagateSet, NotPr
0520: 6f 70 61 67 61 74 65 53 65 74 7d 3b 0d 0a 0d 0a opagateSet};....
0530: 09 74 68 69 73 28 20 54 61 62 6c 65 20 70 72 6f .this( Table pro
0540: 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 6e 64 20 6b 20 to=null, Kind k
0550: 3d 20 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 = Kind.Propagate
0560: 53 65 74 20 29 0d 0a 09 09 7b 20 74 68 69 73 2e Set )....{ this.
0570: 70 72 6f 74 6f 74 79 70 65 20 3d 20 70 72 6f 74 prototype = prot
0580: 6f 3b 20 74 68 69 73 2e 6b 69 6e 64 20 3d 20 6b o; this.kind = k
0590: 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 64 20 73 65 74 ; }.....void set
05a0: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
05b0: 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 2c 20 69 lay, Value v, i
05c0: 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f n LexPosition po
05d0: 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 s=null)...{....i
05e0: 66 28 20 73 65 74 49 66 45 78 69 73 74 28 69 2c f( setIfExist(i,
05f0: 20 6c 61 79 2c 20 76 29 20 29 0d 0a 09 09 09 72 lay, v) ).....r
0600: 65 74 75 72 6e 3b 0d 0a 09 09 64 61 74 61 5b 69 eturn;....data[i
0610: 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 7d 0d ][lay] = v;...}.
0620: 0a 0d 0a 09 56 61 6c 75 65 20 67 65 74 28 73 74 ....Value get(st
0630: 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 ring i, Layer la
0640: 79 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f y, in LexPositio
0650: 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d n pos=null)...{.
0660: 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 ...if( i in data
0670: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 61 ).....return da
0680: 74 61 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 69 ta[i][lay];....i
0690: 66 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 f( prototype is
06a0: 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f 77 null ).....throw
06b0: 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 new RuntimeExce
06c0: 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e ption(pos, sprin
06d0: 74 66 21 22 76 61 72 69 61 62 6c 65 20 25 73 20 tf!"variable %s
06e0: 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 3b 0d not found"(i));.
06f0: 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 ...return protot
0700: 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 29 3b ype.get(i, lay);
0710: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a ...}....private:
0720: 0d 0a 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 ...Table
0730: 20 20 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 prototyp
0740: 65 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 e;...Kind
0750: 20 20 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d kind;.
0760: 0a 09 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 ..Value[Layer][s
0770: 74 72 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a tring] data;....
0780: 09 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 .bool setIfExist
0790: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
07a0: 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a lay, Value v)..
07b0: 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 .{....if( i in d
07c0: 61 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 ata )....{.....d
07d0: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b ata[i][lay] = v;
07e0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 .....return true
07f0: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 ;....}....if( ki
0800: 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 nd==Kind.Propaga
0810: 74 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 teSet && prototy
0820: 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 pe !is null )...
0830: 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 ..return prototy
0840: 70 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c pe.setIfExist(i,
0850: 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 lay, v);....ret
0860: 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a urn false;...}..
0870: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
0880: 0d 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 ...Table c0 = ne
0890: 77 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 w Table;...Table
08a0: 20 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 c01 = new Table
08b0: 28 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e (c0, Table.Kind.
08c0: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 NotPropagateSet)
08d0: 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d ;...Table c012 =
08e0: 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 new Table(c01,
08f0: 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 Table.Kind.Propa
0900: 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c gateSet);...Tabl
0910: 65 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 e c013 = new Tab
0920: 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 le(c01, Table.Ki
0930: 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 nd.PropagateSet)
0940: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
0950: 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 hrow( c012.set("
0960: 78 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 20 x", "@val", new
0970: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0980: 31 32 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 12))) );...asser
0990: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
09a0: 78 63 65 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 xception( c013.g
09b0: 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 29 20 et("x", "@val")
09c0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 );...assert_noth
09d0: 72 6f 77 28 20 63 30 31 33 2e 73 65 74 28 22 78 row( c013.set("x
09e0: 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 20 49 ", "@val", new I
09f0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
0a00: 33 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 3))) );...assert
0a10: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 78 _eq( c013.get("x
0a20: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0a30: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0a40: 31 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 13)) );...assert
0a50: 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 78 _eq( c012.get("x
0a60: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0a70: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0a80: 31 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 12)) );...assert
0a90: 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 _throw!RuntimeEx
0aa0: 63 65 70 74 69 6f 6e 28 20 63 30 31 2e 67 65 74 ception( c01.get
0ab0: 28 22 78 22 2c 20 22 40 76 61 6c 22 29 20 29 3b ("x", "@val") );
0ac0: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .....assert_noth
0ad0: 72 6f 77 28 20 63 30 31 2e 73 65 74 28 22 79 22 row( c01.set("y"
0ae0: 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 20 49 6e , "@val", new In
0af0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 tValue(BigInt(1)
0b00: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0b10: 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 2c q( c013.get("y",
0b20: 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e "@val"), new In
0b30: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 tValue(BigInt(1)
0b40: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
0b50: 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 ( c012.get("y",
0b60: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0b70: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
0b80: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
0b90: 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 22 40 c01.get("y", "@
0ba0: 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 val"), new IntVa
0bb0: 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 lue(BigInt(1)) )
0bc0: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
0bd0: 68 72 6f 77 28 20 63 30 2e 73 65 74 28 22 7a 22 hrow( c0.set("z"
0be0: 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 20 49 6e , "@val", new In
0bf0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
0c00: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
0c10: 71 28 20 63 30 31 33 2e 67 65 74 28 22 7a 22 2c q( c013.get("z",
0c20: 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e "@val"), new In
0c30: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
0c40: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
0c50: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 ( c012.get("z",
0c60: 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 "@val"), new Int
0c70: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
0c80: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
0c90: 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 22 40 c01.get("z", "@
0ca0: 76 61 6c 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 val"), new IntVa
0cb0: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
0cc0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
0cd0: 30 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 61 6c 0.get("z", "@val
0ce0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
0cf0: 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a (BigInt(0)) );..
0d00: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
0d10: 77 28 20 63 30 31 32 2e 73 65 74 28 22 79 22 2c w( c012.set("y",
0d20: 20 22 40 76 61 6c 22 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 34 34 34 Value(BigInt(444
0d40: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ))) );...assert_
0d50: 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 eq( c013.get("y"
0d60: 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 49 , "@val"), new I
0d70: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 ntValue(BigInt(4
0d80: 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 44)) );...assert
0d90: 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 _eq( c012.get("y
0da0: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0db0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0dc0: 34 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 444)) );...asser
0dd0: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 t_eq( c01.get("y
0de0: 22 2c 20 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 ", "@val"), new
0df0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0e00: 34 34 34 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 444)) );.....ass
0e10: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
0e20: 32 2e 73 65 74 28 22 7a 22 2c 20 22 40 76 61 6c 2.set("z", "@val
0e30: 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ", new IntValue(
0e40: 42 69 67 49 6e 74 28 35 35 35 29 29 29 20 29 3b BigInt(555))) );
0e50: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
0e60: 31 33 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 61 13.get("z", "@va
0e70: 6c 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 l"), new IntValu
0e80: 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d e(BigInt(0)) );.
0e90: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
0ea0: 32 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 61 6c 2.get("z", "@val
0eb0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
0ec0: 28 42 69 67 49 6e 74 28 35 35 35 29 29 20 29 3b (BigInt(555)) );
0ed0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
0ee0: 31 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 61 6c 1.get("z", "@val
0ef0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
0f00: 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a (BigInt(0)) );..
0f10: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 2e 67 .assert_eq( c0.g
0f20: 65 74 28 22 7a 22 2c 20 22 40 76 61 6c 22 29 2c et("z", "@val"),
0f30: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0f40: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 gInt(0)) );.....
0f50: 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 // [TODO] define
0f60: 20 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 the semantics a
0f70: 6e 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d nd test @layers.
0f80: 0a 7d 0d 0a .}..