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 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 .failure;..impor
00e0: 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 t polemy.ast;..i
00f0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 mport polemy.lay
0100: 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69 er;..../// Runti
0110: 6d 65 20 76 61 6c 75 65 73 20 6f 66 20 50 6f 6c me values of Pol
0120: 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 emy....abstract
0130: 63 6c 61 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a class Value..{..
0140: 09 6f 76 65 72 72 69 64 65 20 62 6f 6f 6c 20 6f .override bool o
0150: 70 45 71 75 61 6c 73 28 4f 62 6a 65 63 74 20 72 pEquals(Object r
0160: 68 73 29 20 7b 20 72 65 74 75 72 6e 20 30 3d 3d hs) { return 0==
0170: 6f 70 43 6d 70 28 72 68 73 29 3b 20 7d 0d 0a 7d opCmp(rhs); }..}
0180: 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 49 ....///..class I
0190: 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d ntValue : Value.
01a0: 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 74 61 .{...BigInt data
01b0: 3b 0d 0a 0d 0a 09 74 68 69 73 28 62 6f 6f 6c 20 ;.....this(bool
01c0: 6e 29 20 7b 20 74 68 69 73 2e 64 61 74 61 20 3d n) { this.data =
01d0: 20 6e 3f 31 3a 30 3b 20 7d 0d 0a 09 74 68 69 73 n?1:0; }...this
01e0: 28 69 6e 74 20 6e 29 20 7b 20 74 68 69 73 2e 64 (int n) { this.d
01f0: 61 74 61 20 3d 20 6e 3b 20 7d 0d 0a 09 74 68 69 ata = n; }...thi
0200: 73 28 6c 6f 6e 67 20 6e 29 20 7b 20 74 68 69 73 s(long n) { this
0210: 2e 64 61 74 61 20 3d 20 6e 3b 20 7d 0d 0a 09 74 .data = n; }...t
0220: 68 69 73 28 42 69 67 49 6e 74 20 6e 29 20 7b 20 his(BigInt n) {
0230: 74 68 69 73 2e 64 61 74 61 20 3d 20 6e 3b 20 7d this.data = n; }
0240: 0d 0a 09 74 68 69 73 28 73 74 72 69 6e 67 20 6e ...this(string n
0250: 29 20 7b 20 74 68 69 73 2e 64 61 74 61 20 3d 20 ) { this.data =
0260: 42 69 67 49 6e 74 28 6e 29 3b 20 7d 0d 0a 09 6f BigInt(n); }...o
0270: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
0280: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 oString() const
0290: 7b 20 72 65 74 75 72 6e 20 74 6f 44 65 63 69 6d { return toDecim
02a0: 61 6c 53 74 72 69 6e 67 28 63 61 73 74 28 42 69 alString(cast(Bi
02b0: 67 49 6e 74 29 64 61 74 61 29 3b 20 7d 0d 0a 09 gInt)data); }...
02c0: 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 override int opC
02d0: 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b mp(Object rhs) {
02e0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 ....if(auto r =
02f0: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 72 68 cast(IntValue)rh
0300: 73 29 20 72 65 74 75 72 6e 20 64 61 74 61 2e 6f s) return data.o
0310: 70 43 6d 70 28 72 2e 64 61 74 61 29 3b 0d 0a 09 pCmp(r.data);...
0320: 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 .if(auto r = cas
0330: 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 20 t(Value)rhs)
0340: 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 return typeid(th
0350: 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 is).opCmp(typeid
0360: 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 (r));....throw g
0370: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
0380: 70 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 6f ption(LexPositio
0390: 6e 2e 64 75 6d 6d 79 2c 20 22 63 6f 6d 70 61 72 n.dummy, "compar
03a0: 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 ison with value
03b0: 61 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 and somithing ot
03c0: 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 her");...}...mix
03d0: 69 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b in SimpleToHash;
03e0: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 ..}....///..clas
03f0: 73 20 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c s StrValue : Val
0400: 75 65 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 ue..{...string d
0410: 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 ata;.....mixin S
0420: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
0430: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 ;...override str
0440: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 ing toString() c
0450: 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 onst { return da
0460: 74 61 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 ta; }...override
0470: 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 int opCmp(Objec
0480: 74 20 72 68 73 29 20 7b 0d 0a 09 09 69 66 28 61 t rhs) {....if(a
0490: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 53 74 72 uto r = cast(Str
04a0: 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 Value)rhs) retur
04b0: 6e 20 74 79 70 65 69 64 28 73 74 72 69 6e 67 29 n typeid(string)
04c0: 2e 63 6f 6d 70 61 72 65 28 26 64 61 74 61 2c 20 .compare(&data,
04d0: 26 72 2e 64 61 74 61 29 3b 0d 0a 09 09 69 66 28 &r.data);....if(
04e0: 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 auto r = cast(Va
04f0: 6c 75 65 29 72 68 73 29 20 20 20 20 72 65 74 75 lue)rhs) retu
0500: 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e rn typeid(this).
0510: 6f 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 opCmp(typeid(r))
0520: 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 ;....throw genex
0530: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
0540: 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 n(LexPosition.du
0550: 6d 6d 79 2c 20 22 63 6f 6d 70 61 72 69 73 6f 6e mmy, "comparison
0560: 20 77 69 74 68 20 76 61 6c 75 65 20 61 6e 64 20 with value and
0570: 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 65 72 22 somithing other"
0580: 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 6e 20 53 );...}...mixin S
0590: 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 7d 0d impleToHash;..}.
05a0: 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 55 6e ...///..class Un
05b0: 64 65 66 69 6e 65 64 56 61 6c 75 65 20 3a 20 56 definedValue : V
05c0: 61 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 alue..{...mixin
05d0: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
05e0: 72 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 r;...override st
05f0: 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 ring toString()
0600: 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 22 const { return "
0610: 3c 75 6e 64 65 66 69 6e 65 64 3e 22 3b 20 7d 0d <undefined>"; }.
0620: 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f ..override int o
0630: 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 pCmp(Object rhs)
0640: 20 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 20 {....if(auto r
0650: 3d 20 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 = cast(StrValue)
0660: 72 68 73 29 20 72 65 74 75 72 6e 20 30 3b 0d 0a rhs) return 0;..
0670: 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 ..if(auto r = ca
0680: 73 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 st(Value)rhs)
0690: 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 return typeid(t
06a0: 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 his).opCmp(typei
06b0: 64 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 d(r));....throw
06c0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
06d0: 65 70 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 eption(LexPositi
06e0: 6f 6e 2e 64 75 6d 6d 79 2c 20 22 63 6f 6d 70 61 on.dummy, "compa
06f0: 72 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 rison with value
0700: 20 61 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f and somithing o
0710: 74 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 ther");...}...mi
0720: 78 69 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 xin SimpleToHash
0730: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 ;..}....///..abs
0740: 74 72 61 63 74 20 63 6c 61 73 73 20 46 75 6e 56 tract class FunV
0750: 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d alue : Value..{.
0760: 0a 09 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 ..const(Paramete
0770: 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 3b 0d 0a r[]) params();..
0780: 09 54 61 62 6c 65 20 64 65 66 69 6e 69 74 69 6f .Table definitio
0790: 6e 43 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 56 61 nContext();...Va
07a0: 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 61 79 65 72 lue invoke(Layer
07b0: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c lay, Table ctx,
07c0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 LexPosition pos
07d0: 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e );..}..../// Con
07e0: 74 65 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 text (variable e
07f0: 6e 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f nvironment)..///
0800: 20 53 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f Simlar to proto
0810: 74 79 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 type chain of EC
0820: 4d 41 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f MAScript etc.../
0830: 2f 2f 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 // But extended
0840: 77 69 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 with the notion
0850: 6f 66 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c of "Layer"....cl
0860: 61 73 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 ass Table : Valu
0870: 65 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 e..{...enum Kind
0880: 20 7b 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 {PropagateSet,
0890: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d NotPropagateSet}
08a0: 3b 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 6c ;.....this( Tabl
08b0: 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 e proto=null, Ki
08c0: 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 nd k = Kind.Prop
08d0: 61 67 61 74 65 53 65 74 20 29 0d 0a 09 09 7b 20 agateSet )....{
08e0: 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 3d this.prototype =
08f0: 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 6e proto; this.kin
0900: 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 d = k; }.....voi
0910: 64 20 73 65 74 28 73 74 72 69 6e 67 20 69 2c 20 d set(string i,
0920: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
0930: 20 76 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 73 v)...{....if( s
0940: 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c 61 79 etIfExist(i, lay
0950: 2c 20 76 29 20 29 0d 0a 09 09 09 72 65 74 75 72 , v) ).....retur
0960: 6e 3b 0d 0a 09 09 64 61 74 61 5b 69 5d 5b 6c 61 n;....data[i][la
0970: 79 5d 20 3d 20 76 3b 0d 0a 09 7d 0d 0a 0d 0a 09 y] = v;...}.....
0980: 62 6f 6f 6c 20 68 61 73 28 73 74 72 69 6e 67 20 bool has(string
0990: 69 2c 20 4c 61 79 65 72 20 6c 61 79 29 20 63 6f i, Layer lay) co
09a0: 6e 73 74 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 nst...{....if( i
09b0: 20 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 09 72 in data ).....r
09c0: 65 74 75 72 6e 20 21 21 28 6c 61 79 20 69 6e 20 eturn !!(lay in
09d0: 64 61 74 61 5b 69 5d 29 3b 0d 0a 09 09 69 66 28 data[i]);....if(
09e0: 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 prototype is nu
09f0: 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 ll ).....return
0a00: 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e false;....return
0a10: 20 70 72 6f 74 6f 74 79 70 65 2e 68 61 73 28 69 prototype.has(i
0a20: 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a , lay);...}.....
0a30: 09 56 61 6c 75 65 20 67 65 74 28 73 74 72 69 6e .Value get(strin
0a40: 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 g i, Layer lay,
0a50: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d LexPosition pos=
0a60: 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 null)...{....if(
0a70: 20 69 20 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a i in data ) {..
0a80: 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 63 6f 6e ...// [TODO] con
0a90: 73 69 64 65 72 20 66 6f 72 77 61 72 64 69 6e 67 sider forwarding
0aa0: 20 74 6f 20 70 72 6f 74 6f 20 61 6c 73 6f 20 69 to proto also i
0ab0: 6e 20 74 68 69 73 20 63 61 73 65 0d 0a 09 09 09 n this case.....
0ac0: 69 66 28 20 6c 61 79 20 21 69 6e 20 64 61 74 61 if( lay !in data
0ad0: 5b 69 5d 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 [i] )......throw
0ae0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0af0: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 ception(pos, spr
0b00: 69 6e 74 66 21 22 27 25 73 27 20 69 73 20 6e 6f intf!"'%s' is no
0b10: 74 20 73 65 74 20 69 6e 20 25 73 20 6c 61 79 65 t set in %s laye
0b20: 72 22 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 r"(i,lay));.....
0b30: 72 65 74 75 72 6e 20 64 61 74 61 5b 69 5d 5b 6c return data[i][l
0b40: 61 79 5d 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 ay];....}....if(
0b50: 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 prototype is nu
0b60: 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 ll ).....throw g
0b70: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
0b80: 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e ption(pos, sprin
0b90: 74 66 21 22 27 25 73 27 20 6e 6f 74 20 66 6f 75 tf!"'%s' not fou
0ba0: 6e 64 20 69 6e 20 25 73 20 6c 61 79 65 72 22 28 nd in %s layer"(
0bb0: 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 72 65 74 75 i,lay));....retu
0bc0: 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 67 65 74 rn prototype.get
0bd0: 28 69 2c 20 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a (i, lay, pos);..
0be0: 09 7d 0d 0a 0d 0a 09 54 20 61 63 63 65 73 73 28 .}.....T access(
0bf0: 54 2c 53 2e 2e 2e 29 28 20 4c 61 79 65 72 20 6c T,S...)( Layer l
0c00: 61 79 2c 20 73 74 72 69 6e 67 20 70 61 74 68 2c ay, string path,
0c10: 20 53 20 72 65 73 74 20 29 0d 0a 09 7b 0d 0a 09 S rest )...{...
0c20: 09 73 74 61 74 69 63 20 69 66 28 20 72 65 73 74 .static if( rest
0c30: 2e 6c 65 6e 67 74 68 20 3d 3d 20 30 20 29 0d 0a .length == 0 )..
0c40: 09 09 7b 0d 0a 09 09 09 69 66 28 20 74 68 69 73 ..{.....if( this
0c50: 2e 68 61 73 28 70 61 74 68 2c 20 6c 61 79 29 20 .has(path, lay)
0c60: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 61 )......return ca
0c70: 73 74 28 54 29 20 74 68 69 73 2e 67 65 74 28 70 st(T) this.get(p
0c80: 61 74 68 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 0d ath, lay);....}.
0c90: 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 ...else....{....
0ca0: 09 69 66 28 61 75 74 6f 20 6e 65 78 74 20 3d 20 .if(auto next =
0cb0: 74 68 69 73 2e 61 63 63 65 73 73 21 54 61 62 6c this.access!Tabl
0cc0: 65 28 6c 61 79 2c 70 61 74 68 29 29 0d 0a 09 09 e(lay,path))....
0cd0: 09 09 72 65 74 75 72 6e 20 6e 65 78 74 2e 61 63 ..return next.ac
0ce0: 63 65 73 73 21 54 28 6c 61 79 2c 72 65 73 74 29 cess!T(lay,rest)
0cf0: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
0d00: 20 6e 75 6c 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 73 null;...}.....s
0d10: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 57 69 tring toStringWi
0d20: 74 68 6f 75 74 50 61 72 65 6e 28 29 20 63 6f 6e thoutParen() con
0d30: 73 74 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 st...{....string
0d40: 20 72 65 73 75 6c 74 3b 0d 0a 09 09 62 6f 6f 6c result;....bool
0d50: 20 66 69 72 73 74 20 3d 20 74 72 75 65 3b 0d 0a first = true;..
0d60: 09 09 66 6f 72 65 61 63 68 28 6b 2c 20 6c 32 64 ..foreach(k, l2d
0d70: 3b 20 64 61 74 61 29 0d 0a 09 09 09 66 6f 72 65 ; data).....fore
0d80: 61 63 68 28 6c 2c 64 3b 20 6c 32 64 29 0d 0a 09 ach(l,d; l2d)...
0d90: 09 09 7b 0d 0a 09 09 09 09 69 66 28 66 69 72 73 ..{......if(firs
0da0: 74 29 20 66 69 72 73 74 3d 66 61 6c 73 65 3b 20 t) first=false;
0db0: 65 6c 73 65 20 72 65 73 75 6c 74 7e 3d 22 2c 20 else result~=",
0dc0: 22 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e ";......result ~
0dd0: 3d 20 6b 3b 0d 0a 09 09 09 09 69 66 28 20 6c 2e = k;......if( l.
0de0: 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 09 72 65 empty ).......re
0df0: 73 75 6c 74 20 7e 3d 20 22 28 65 6d 70 74 79 6c sult ~= "(emptyl
0e00: 61 79 65 72 29 22 3b 0d 0a 09 09 09 09 65 6c 73 ayer)";......els
0e10: 65 20 69 66 28 20 6c 20 21 3d 20 56 61 6c 75 65 e if( l != Value
0e20: 4c 61 79 65 72 20 29 0d 0a 09 09 09 09 09 72 65 Layer ).......re
0e30: 73 75 6c 74 20 7e 3d 20 6c 3b 0d 0a 09 09 09 09 sult ~= l;......
0e40: 72 65 73 75 6c 74 20 7e 3d 20 22 3a 22 3b 0d 0a result ~= ":";..
0e50: 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 74 65 ....result ~= te
0e60: 78 74 28 63 61 73 74 28 56 61 6c 75 65 29 64 29 xt(cast(Value)d)
0e70: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 69 66 28 20 70 ;.....}....if( p
0e80: 72 6f 74 6f 74 79 70 65 20 21 69 73 20 6e 75 6c rototype !is nul
0e90: 6c 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 73 l )....{.....res
0ea0: 75 6c 74 20 7e 3d 20 22 20 2f 20 22 3b 0d 0a 09 ult ~= " / ";...
0eb0: 09 09 72 65 73 75 6c 74 20 7e 3d 20 70 72 6f 74 ..result ~= prot
0ec0: 6f 74 79 70 65 2e 74 6f 53 74 72 69 6e 67 57 69 otype.toStringWi
0ed0: 74 68 6f 75 74 50 61 72 65 6e 28 29 3b 0d 0a 09 thoutParen();...
0ee0: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 73 .}....return res
0ef0: 75 6c 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 73 74 72 ult;...}.....str
0f00: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 0d 0a ing toString()..
0f10: 09 7b 0d 0a 09 09 69 66 28 20 69 73 4c 69 73 74 .{....if( isList
0f20: 28 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 () ).....return
0f30: 74 65 78 74 28 74 6f 4c 69 73 74 28 29 29 3b 0d text(toList());.
0f40: 0a 09 09 72 65 74 75 72 6e 20 22 7b 22 20 7e 20 ...return "{" ~
0f50: 74 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 toStringWithoutP
0f60: 61 72 65 6e 28 29 20 7e 20 22 7d 22 3b 0d 0a 09 aren() ~ "}";...
0f70: 7d 0d 0a 0d 0a 70 75 62 6c 69 63 3a 0d 0a 09 2f }....public:.../
0f80: 2f 2f 20 49 73 20 74 68 69 73 20 61 6e 20 65 6d // Is this an em
0f90: 70 74 79 20 74 61 62 6c 65 3f 0d 0a 09 62 6f 6f pty table?...boo
0fa0: 6c 20 65 6d 70 74 79 28 29 0d 0a 09 7b 0d 0a 09 l empty()...{...
0fb0: 09 72 65 74 75 72 6e 20 64 61 74 61 2e 6c 65 6e .return data.len
0fc0: 67 74 68 3d 3d 30 20 26 26 20 28 70 72 6f 74 6f gth==0 && (proto
0fd0: 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 7c 7c 20 type is null ||
0fe0: 70 72 6f 74 6f 74 79 70 65 2e 65 6d 70 74 79 29 prototype.empty)
0ff0: 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 2f 2f 2f 20 43 ;...}....../// C
1000: 61 6e 20 62 65 20 73 65 65 6e 20 61 73 20 61 20 an be seen as a
1010: 63 6f 6e 73 2d 6c 69 73 74 3f 0d 0a 09 62 6f 6f cons-list?...boo
1020: 6c 20 69 73 4c 69 73 74 28 29 0d 0a 09 7b 0d 0a l isList()...{..
1030: 09 09 54 61 62 6c 65 20 74 20 3d 20 74 68 69 73 ..Table t = this
1040: 3b 0d 0a 09 09 77 68 69 6c 65 28 74 2e 68 61 73 ;....while(t.has
1050: 28 22 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 ("car", ValueLay
1060: 65 72 29 20 26 26 20 74 2e 68 61 73 28 22 63 64 er) && t.has("cd
1070: 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 29 r", ValueLayer))
1080: 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 74 74 20 .....if(auto tt
1090: 3d 20 63 61 73 74 28 54 61 62 6c 65 29 74 2e 67 = cast(Table)t.g
10a0: 65 74 28 22 63 64 72 22 2c 20 56 61 6c 75 65 4c et("cdr", ValueL
10b0: 61 79 65 72 29 29 0d 0a 09 09 09 09 74 20 3d 20 ayer))......t =
10c0: 74 74 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 tt;.....else....
10d0: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d ..return false;.
10e0: 0a 09 09 72 65 74 75 72 6e 20 74 2e 65 6d 70 74 ...return t.empt
10f0: 79 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 52 y;...}...../// R
1100: 65 67 61 72 64 20 74 61 62 6c 65 20 61 73 20 61 egard table as a
1110: 20 63 6f 6e 73 2d 6c 69 73 74 20 61 6e 64 20 63 cons-list and c
1120: 6f 6e 76 65 72 74 20 74 6f 20 61 6e 20 61 72 72 onvert to an arr
1130: 61 79 0d 0a 09 56 61 6c 75 65 5b 5d 20 74 6f 4c ay...Value[] toL
1140: 69 73 74 28 29 0d 0a 09 7b 0d 0a 09 09 56 61 6c ist()...{....Val
1150: 75 65 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 09 ue[] result;....
1160: 54 61 62 6c 65 20 74 20 3d 20 74 68 69 73 3b 0d Table t = this;.
1170: 0a 09 09 77 68 69 6c 65 28 74 2e 68 61 73 28 22 ...while(t.has("
1180: 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 car", ValueLayer
1190: 29 20 26 26 20 74 2e 68 61 73 28 22 63 64 72 22 ) && t.has("cdr"
11a0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 29 0d 0a , ValueLayer))..
11b0: 09 09 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e ..{.....result ~
11c0: 3d 20 74 2e 67 65 74 28 22 63 61 72 22 2c 20 56 = t.get("car", V
11d0: 61 6c 75 65 4c 61 79 65 72 29 3b 0d 0a 09 09 09 alueLayer);.....
11e0: 69 66 28 61 75 74 6f 20 74 74 20 3d 20 63 61 73 if(auto tt = cas
11f0: 74 28 54 61 62 6c 65 29 74 2e 67 65 74 28 22 63 t(Table)t.get("c
1200: 64 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 dr", ValueLayer)
1210: 29 0d 0a 09 09 09 09 74 20 3d 20 74 74 3b 0d 0a )......t = tt;..
1220: 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 ...else......thr
1230: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
1240: 45 78 63 65 70 74 69 6f 6e 28 22 74 68 69 73 20 Exception("this
1250: 74 61 62 6c 65 20 69 73 20 6e 6f 74 20 61 20 63 table is not a c
1260: 6f 6e 73 2d 6c 69 73 74 22 29 3b 0d 0a 09 09 7d ons-list");....}
1270: 0d 0a 09 09 69 66 28 20 74 2e 65 6d 70 74 79 20 ....if( t.empty
1280: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 72 65 73 ).....return res
1290: 75 6c 74 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 ult;....throw ge
12a0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
12b0: 74 69 6f 6e 28 22 74 68 69 73 20 74 61 62 6c 65 tion("this table
12c0: 20 69 73 20 6e 6f 74 20 61 20 63 6f 6e 73 2d 6c is not a cons-l
12d0: 69 73 74 22 29 3b 0d 0a 09 7d 09 0d 0a 0d 0a 70 ist");...}.....p
12e0: 72 69 76 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 rivate:...Table
12f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 70 p
1300: 72 6f 74 6f 74 79 70 65 3b 0d 0a 09 4b 69 6e 64 rototype;...Kind
1310: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1320: 20 6b 69 6e 64 3b 0d 0a 09 56 61 6c 75 65 5b 4c kind;...Value[L
1330: 61 79 65 72 5d 5b 73 74 72 69 6e 67 5d 20 64 61 ayer][string] da
1340: 74 61 3b 0d 0a 0d 0a 09 62 6f 6f 6c 20 73 65 74 ta;.....bool set
1350: 49 66 45 78 69 73 74 28 73 74 72 69 6e 67 20 69 IfExist(string i
1360: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c , Layer lay, Val
1370: 75 65 20 76 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 ue v)...{....if(
1380: 20 69 20 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 i in data )....
1390: 7b 0d 0a 09 09 09 64 61 74 61 5b 69 5d 5b 6c 61 {.....data[i][la
13a0: 79 5d 20 3d 20 76 3b 0d 0a 09 09 09 72 65 74 75 y] = v;.....retu
13b0: 72 6e 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 rn true;....}...
13c0: 09 69 66 28 20 6b 69 6e 64 3d 3d 4b 69 6e 64 2e .if( kind==Kind.
13d0: 50 72 6f 70 61 67 61 74 65 53 65 74 20 26 26 20 PropagateSet &&
13e0: 70 72 6f 74 6f 74 79 70 65 20 21 69 73 20 6e 75 prototype !is nu
13f0: 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 ll ).....return
1400: 70 72 6f 74 6f 74 79 70 65 2e 73 65 74 49 66 45 prototype.setIfE
1410: 78 69 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 3b xist(i, lay, v);
1420: 0d 0a 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 ....return false
1430: 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 ;...}..}....unit
1440: 74 65 73 74 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 test..{...Table
1450: 63 30 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d c0 = new Table;.
1460: 0a 09 54 61 62 6c 65 20 63 30 31 20 3d 20 6e 65 ..Table c01 = ne
1470: 77 20 54 61 62 6c 65 28 63 30 2c 20 54 61 62 6c w Table(c0, Tabl
1480: 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 e.Kind.NotPropag
1490: 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 ateSet);...Table
14a0: 20 63 30 31 32 20 3d 20 6e 65 77 20 54 61 62 6c c012 = new Tabl
14b0: 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e e(c01, Table.Kin
14c0: 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b d.PropagateSet);
14d0: 0d 0a 09 54 61 62 6c 65 20 63 30 31 33 20 3d 20 ...Table c013 =
14e0: 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 new Table(c01, T
14f0: 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 able.Kind.Propag
1500: 61 74 65 53 65 74 29 3b 0d 0a 0d 0a 09 61 73 73 ateSet);.....ass
1510: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
1520: 32 2e 73 65 74 28 22 78 22 2c 20 56 61 6c 75 65 2.set("x", Value
1530: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1540: 6c 75 65 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 lue(12)) );...as
1550: 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 sert_throw!Runti
1560: 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 meException( c01
1570: 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 3.get("x", Value
1580: 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 Layer) );...asse
1590: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 rt_nothrow( c013
15a0: 2e 73 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c .set("x", ValueL
15b0: 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c ayer, new IntVal
15c0: 75 65 28 31 33 29 29 20 29 3b 0d 0a 09 61 73 73 ue(13)) );...ass
15d0: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
15e0: 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("x", ValueLayer
15f0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1600: 31 33 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 13) );...assert_
1610: 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 78 22 eq( c012.get("x"
1620: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
1630: 65 77 20 49 6e 74 56 61 6c 75 65 28 31 32 29 20 ew IntValue(12)
1640: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
1650: 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 w!RuntimeExcepti
1660: 6f 6e 28 20 63 30 31 2e 67 65 74 28 22 78 22 2c on( c01.get("x",
1670: 20 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d ValueLayer) );.
1680: 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ....assert_nothr
1690: 6f 77 28 20 63 30 31 2e 73 65 74 28 22 79 22 2c ow( c01.set("y",
16a0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
16b0: 20 49 6e 74 56 61 6c 75 65 28 31 29 29 20 29 3b IntValue(1)) );
16c0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
16d0: 31 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 13.get("y", Valu
16e0: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
16f0: 56 61 6c 75 65 28 31 29 20 29 3b 0d 0a 09 61 73 Value(1) );...as
1700: 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 sert_eq( c012.ge
1710: 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("y", ValueLaye
1720: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
1730: 28 31 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1) );...assert_
1740: 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 22 2c eq( c01.get("y",
1750: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1760: 77 20 49 6e 74 56 61 6c 75 65 28 31 29 20 29 3b w IntValue(1) );
1770: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .....assert_noth
1780: 72 6f 77 28 20 63 30 2e 73 65 74 28 22 7a 22 2c row( c0.set("z",
1790: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
17a0: 20 49 6e 74 56 61 6c 75 65 28 30 29 29 20 29 3b IntValue(0)) );
17b0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
17c0: 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 13.get("z", Valu
17d0: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
17e0: 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 Value(0) );...as
17f0: 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 sert_eq( c012.ge
1800: 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("z", ValueLaye
1810: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
1820: 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f (0) );...assert_
1830: 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c eq( c01.get("z",
1840: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1850: 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 29 3b w IntValue(0) );
1860: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1870: 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .get("z", ValueL
1880: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
1890: 6c 75 65 28 30 29 20 29 3b 0d 0a 0d 0a 09 61 73 lue(0) );.....as
18a0: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 sert_nothrow( c0
18b0: 31 32 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 75 12.set("y", Valu
18c0: 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 eLayer, new IntV
18d0: 61 6c 75 65 28 34 34 34 29 29 20 29 3b 0d 0a 09 alue(444)) );...
18e0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e assert_eq( c013.
18f0: 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 get("y", ValueLa
1900: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1910: 75 65 28 34 34 34 29 20 29 3b 0d 0a 09 61 73 73 ue(444) );...ass
1920: 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 ert_eq( c012.get
1930: 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("y", ValueLayer
1940: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1950: 34 34 34 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 444) );...assert
1960: 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 22 _eq( c01.get("y"
1970: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
1980: 65 77 20 49 6e 74 56 61 6c 75 65 28 34 34 34 29 ew IntValue(444)
1990: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
19a0: 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 othrow( c012.set
19b0: 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("z", ValueLayer
19c0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 35 , new IntValue(5
19d0: 35 35 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 55)) );...assert
19e0: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 7a _eq( c013.get("z
19f0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1a00: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 new IntValue(0)
1a10: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1a20: 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 c012.get("z", Va
1a30: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1a40: 6e 74 56 61 6c 75 65 28 35 35 35 29 20 29 3b 0d ntValue(555) );.
1a50: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1a60: 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .get("z", ValueL
1a70: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
1a80: 6c 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 lue(0) );...asse
1a90: 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a rt_eq( c0.get("z
1aa0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1ab0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 new IntValue(0)
1ac0: 29 3b 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d );.....// [TODO]
1ad0: 20 64 65 66 69 6e 65 20 74 68 65 20 73 65 6d 61 define the sema
1ae0: 6e 74 69 63 73 20 61 6e 64 20 74 65 73 74 20 40 ntics and test @
1af0: 6c 61 79 65 72 73 0d 0a 7d 0d 0a layers..}..