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 22 63 6f 6d 70 61 72 69 73 6f ption("compariso
0390: 6e 20 77 69 74 68 20 76 61 6c 75 65 20 61 6e 64 n with value and
03a0: 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 65 72 somithing other
03b0: 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 6e 20 ");...}...mixin
03c0: 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 7d SimpleToHash;..}
03d0: 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 53 ....///..class S
03e0: 74 72 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d trValue : Value.
03f0: 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61 74 61 .{...string data
0400: 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 ;.....mixin Simp
0410: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a leConstructor;..
0420: 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 .override string
0430: 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 toString() cons
0440: 74 20 7b 20 72 65 74 75 72 6e 20 64 61 74 61 3b t { return data;
0450: 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 69 6e }...override in
0460: 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 t opCmp(Object r
0470: 68 73 29 20 7b 0d 0a 09 09 69 66 28 61 75 74 6f hs) {....if(auto
0480: 20 72 20 3d 20 63 61 73 74 28 53 74 72 56 61 6c r = cast(StrVal
0490: 75 65 29 72 68 73 29 20 72 65 74 75 72 6e 20 74 ue)rhs) return t
04a0: 79 70 65 69 64 28 73 74 72 69 6e 67 29 2e 63 6f ypeid(string).co
04b0: 6d 70 61 72 65 28 26 64 61 74 61 2c 20 26 72 2e mpare(&data, &r.
04c0: 64 61 74 61 29 3b 0d 0a 09 09 69 66 28 61 75 74 data);....if(aut
04d0: 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c 75 65 o r = cast(Value
04e0: 29 72 68 73 29 20 20 20 20 72 65 74 75 72 6e 20 )rhs) return
04f0: 74 79 70 65 69 64 28 74 68 69 73 29 2e 6f 70 43 typeid(this).opC
0500: 6d 70 28 74 79 70 65 69 64 28 72 29 29 3b 0d 0a mp(typeid(r));..
0510: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
0520: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 ntimeException("
0530: 63 6f 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 20 comparison with
0540: 76 61 6c 75 65 20 61 6e 64 20 73 6f 6d 69 74 68 value and somith
0550: 69 6e 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 7d ing other");...}
0560: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 54 ...mixin SimpleT
0570: 6f 48 61 73 68 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f oHash;..}....///
0580: 0d 0a 63 6c 61 73 73 20 55 6e 64 65 66 69 6e 65 ..class Undefine
0590: 64 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a dValue : Value..
05a0: 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 {...mixin Simple
05b0: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 6f Constructor;...o
05c0: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
05d0: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 oString() const
05e0: 7b 20 72 65 74 75 72 6e 20 22 3c 75 6e 64 65 66 { return "<undef
05f0: 69 6e 65 64 3e 22 3b 20 7d 0d 0a 09 6f 76 65 72 ined>"; }...over
0600: 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f ride int opCmp(O
0610: 62 6a 65 63 74 20 72 68 73 29 20 7b 0d 0a 09 09 bject rhs) {....
0620: 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 if(auto r = cast
0630: 28 53 74 72 56 61 6c 75 65 29 72 68 73 29 20 72 (StrValue)rhs) r
0640: 65 74 75 72 6e 20 30 3b 0d 0a 09 09 69 66 28 61 eturn 0;....if(a
0650: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c uto r = cast(Val
0660: 75 65 29 72 68 73 29 20 20 20 20 72 65 74 75 72 ue)rhs) retur
0670: 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e 6f n typeid(this).o
0680: 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 3b pCmp(typeid(r));
0690: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
06a0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
06b0: 28 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77 69 74 ("comparison wit
06c0: 68 20 76 61 6c 75 65 20 61 6e 64 20 73 6f 6d 69 h value and somi
06d0: 74 68 69 6e 67 20 6f 74 68 65 72 22 29 3b 0d 0a thing other");..
06e0: 09 7d 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c .}...mixin Simpl
06f0: 65 54 6f 48 61 73 68 3b 0d 0a 7d 0d 0a 0d 0a 2f eToHash;..}..../
0700: 2f 2f 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 //..abstract cla
0710: 73 73 20 46 75 6e 56 61 6c 75 65 20 3a 20 56 61 ss FunValue : Va
0720: 6c 75 65 0d 0a 7b 0d 0a 09 63 6f 6e 73 74 28 50 lue..{...const(P
0730: 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 arameter[]) para
0740: 6d 73 28 29 3b 0d 0a 09 54 61 62 6c 65 20 64 65 ms();...Table de
0750: 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 finitionContext(
0760: 29 3b 0d 0a 09 56 61 6c 75 65 20 69 6e 76 6f 6b );...Value invok
0770: 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 e(Layer lay, Tab
0780: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
0790: 69 6f 6e 20 70 6f 73 29 3b 0d 0a 7d 0d 0a 0d 0a ion pos);..}....
07a0: 2f 2f 2f 20 43 6f 6e 74 65 78 74 20 28 76 61 72 /// Context (var
07b0: 69 61 62 6c 65 20 65 6e 76 69 72 6f 6e 6d 65 6e iable environmen
07c0: 74 29 0d 0a 2f 2f 2f 20 53 69 6d 6c 61 72 20 74 t)../// Simlar t
07d0: 6f 20 70 72 6f 74 6f 74 79 70 65 20 63 68 61 69 o prototype chai
07e0: 6e 20 6f 66 20 45 43 4d 41 53 63 72 69 70 74 20 n of ECMAScript
07f0: 65 74 63 2e 0d 0a 2f 2f 2f 20 42 75 74 20 65 78 etc.../// But ex
0800: 74 65 6e 64 65 64 20 77 69 74 68 20 74 68 65 20 tended with the
0810: 6e 6f 74 69 6f 6e 20 6f 66 20 22 4c 61 79 65 72 notion of "Layer
0820: 22 0d 0a 0d 0a 63 6c 61 73 73 20 54 61 62 6c 65 "....class Table
0830: 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 65 6e : Value..{...en
0840: 75 6d 20 4b 69 6e 64 20 7b 50 72 6f 70 61 67 61 um Kind {Propaga
0850: 74 65 53 65 74 2c 20 4e 6f 74 50 72 6f 70 61 67 teSet, NotPropag
0860: 61 74 65 53 65 74 7d 3b 0d 0a 0d 0a 09 74 68 69 ateSet};.....thi
0870: 73 28 20 54 61 62 6c 65 20 70 72 6f 74 6f 3d 6e s( Table proto=n
0880: 75 6c 6c 2c 20 4b 69 6e 64 20 6b 20 3d 20 4b 69 ull, Kind k = Ki
0890: 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 20 nd.PropagateSet
08a0: 29 0d 0a 09 09 7b 20 74 68 69 73 2e 70 72 6f 74 )....{ this.prot
08b0: 6f 74 79 70 65 20 3d 20 70 72 6f 74 6f 3b 20 74 otype = proto; t
08c0: 68 69 73 2e 6b 69 6e 64 20 3d 20 6b 3b 20 7d 0d his.kind = k; }.
08d0: 0a 0d 0a 09 76 6f 69 64 20 73 65 74 28 73 74 72 ....void set(str
08e0: 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 ing i, Layer lay
08f0: 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b 0d 0a , Value v)...{..
0900: 09 09 69 66 28 20 73 65 74 49 66 45 78 69 73 74 ..if( setIfExist
0910: 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 0d 0a 09 (i, lay, v) )...
0920: 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 64 61 74 ..return;....dat
0930: 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a a[i][lay] = v;..
0940: 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 73 28 .}.....bool has(
0950: 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 string i, Layer
0960: 6c 61 79 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a lay) const...{..
0970: 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 ..if( i in data
0980: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 21 21 28 ).....return !!(
0990: 6c 61 79 20 69 6e 20 64 61 74 61 5b 69 5d 29 3b lay in data[i]);
09a0: 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 ....if( prototyp
09b0: 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 e is null ).....
09c0: 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 return false;...
09d0: 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 .return prototyp
09e0: 65 2e 68 61 73 28 69 2c 20 6c 61 79 29 3b 0d 0a e.has(i, lay);..
09f0: 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 67 65 .}......Value ge
0a00: 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 t(string i, Laye
0a10: 72 20 6c 61 79 2c 20 4c 65 78 50 6f 73 69 74 69 r lay, LexPositi
0a20: 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b on pos=null)...{
0a30: 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 ....if( i in dat
0a40: 61 20 29 20 7b 0d 0a 09 09 09 2f 2f 20 5b 54 4f a ) {.....// [TO
0a50: 44 4f 5d 20 63 6f 6e 73 69 64 65 72 20 66 6f 72 DO] consider for
0a60: 77 61 72 64 69 6e 67 20 74 6f 20 70 72 6f 74 6f warding to proto
0a70: 20 61 6c 73 6f 20 69 6e 20 74 68 69 73 20 63 61 also in this ca
0a80: 73 65 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 21 se.....if( lay !
0a90: 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a 09 09 in data[i] )....
0aa0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
0ab0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
0ac0: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73 os, sprintf!"'%s
0ad0: 27 20 69 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 ' is not set in
0ae0: 25 73 20 6c 61 79 65 72 22 28 69 2c 6c 61 79 29 %s layer"(i,lay)
0af0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 61 );.....return da
0b00: 74 61 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 7d ta[i][lay];....}
0b10: 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 ....if( prototyp
0b20: 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 e is null ).....
0b30: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
0b40: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
0b50: 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73 27 20 , sprintf!"'%s'
0b60: 6e 6f 74 20 66 6f 75 6e 64 20 69 6e 20 25 73 20 not found in %s
0b70: 6c 61 79 65 72 22 28 69 2c 6c 61 79 29 29 3b 0d layer"(i,lay));.
0b80: 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 ...return protot
0b90: 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c 20 ype.get(i, lay,
0ba0: 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54 20 pos);...}.....T
0bb0: 61 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 28 20 access(T,S...)(
0bc0: 4c 61 79 65 72 20 6c 61 79 2c 20 73 74 72 69 6e Layer lay, strin
0bd0: 67 20 70 61 74 68 2c 20 53 20 72 65 73 74 20 29 g path, S rest )
0be0: 0d 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 20 69 ...{....static i
0bf0: 66 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 20 3d f( rest.length =
0c00: 3d 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 = 0 )....{.....i
0c10: 66 28 20 74 68 69 73 2e 68 61 73 28 70 61 74 68 f( this.has(path
0c20: 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 , lay) )......re
0c30: 74 75 72 6e 20 63 61 73 74 28 54 29 20 74 68 69 turn cast(T) thi
0c40: 73 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 79 29 s.get(path, lay)
0c50: 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a ;....}....else..
0c60: 09 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 ..{.....if(auto
0c70: 6e 65 78 74 20 3d 20 74 68 69 73 2e 61 63 63 65 next = this.acce
0c80: 73 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 61 74 ss!Table(lay,pat
0c90: 68 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 h))......return
0ca0: 6e 65 78 74 2e 61 63 63 65 73 73 21 54 28 6c 61 next.access!T(la
0cb0: 79 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a 09 y,rest);....}...
0cc0: 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 .return null;...
0cd0: 7d 0d 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 }.....string toS
0ce0: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
0cf0: 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 n() const...{...
0d00: 09 73 74 72 69 6e 67 20 72 65 73 75 6c 74 3b 0d .string result;.
0d10: 0a 09 09 62 6f 6f 6c 20 66 69 72 73 74 20 3d 20 ...bool first =
0d20: 74 72 75 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 true;....foreach
0d30: 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d 0a (k, l2d; data)..
0d40: 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b 20 ...foreach(l,d;
0d50: 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 l2d).....{......
0d60: 69 66 28 66 69 72 73 74 29 20 66 69 72 73 74 3d if(first) first=
0d70: 66 61 6c 73 65 3b 20 65 6c 73 65 20 72 65 73 75 false; else resu
0d80: 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 09 72 lt~=", ";......r
0d90: 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 09 09 esult ~= k;.....
0da0: 09 69 66 28 20 6c 2e 65 6d 70 74 79 20 29 0d 0a .if( l.empty )..
0db0: 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 .....result ~= "
0dc0: 28 65 6d 70 74 79 6c 61 79 65 72 29 22 3b 0d 0a (emptylayer)";..
0dd0: 09 09 09 09 65 6c 73 65 20 69 66 28 20 6c 20 21 ....else if( l !
0de0: 3d 20 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a = ValueLayer )..
0df0: 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6c .....result ~= l
0e00: 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d ;......result ~=
0e10: 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73 75 6c ":";......resul
0e20: 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74 28 56 t ~= text(cast(V
0e30: 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d 0d 0a alue)d);.....}..
0e40: 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 ..if( prototype
0e50: 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b 0d !is null )....{.
0e60: 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 20 ....result ~= "
0e70: 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c 74 20 / ";.....result
0e80: 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74 6f 53 ~= prototype.toS
0e90: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
0ea0: 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 n();....}....ret
0eb0: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d urn result;...}.
0ec0: 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 74 72 ....string toStr
0ed0: 69 6e 67 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 ing()...{....if(
0ee0: 20 69 73 4c 69 73 74 28 29 20 29 0d 0a 09 09 09 isList() ).....
0ef0: 72 65 74 75 72 6e 20 74 65 78 74 28 74 6f 4c 69 return text(toLi
0f00: 73 74 28 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e st());....return
0f10: 20 22 7b 22 20 7e 20 74 6f 53 74 72 69 6e 67 57 "{" ~ toStringW
0f20: 69 74 68 6f 75 74 50 61 72 65 6e 28 29 20 7e 20 ithoutParen() ~
0f30: 22 7d 22 3b 0d 0a 09 7d 0d 0a 0d 0a 70 75 62 6c "}";...}....publ
0f40: 69 63 3a 0d 0a 09 2f 2f 2f 20 49 73 20 74 68 69 ic:.../// Is thi
0f50: 73 20 61 6e 20 65 6d 70 74 79 20 74 61 62 6c 65 s an empty table
0f60: 3f 0d 0a 09 62 6f 6f 6c 20 65 6d 70 74 79 28 29 ?...bool empty()
0f70: 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 64 ...{....return d
0f80: 61 74 61 2e 6c 65 6e 67 74 68 3d 3d 30 20 26 26 ata.length==0 &&
0f90: 20 28 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e (prototype is n
0fa0: 75 6c 6c 20 7c 7c 20 70 72 6f 74 6f 74 79 70 65 ull || prototype
0fb0: 2e 65 6d 70 74 79 29 3b 0d 0a 09 7d 0d 0a 09 0d .empty);...}....
0fc0: 0a 09 2f 2f 2f 20 43 61 6e 20 62 65 20 73 65 65 ../// Can be see
0fd0: 6e 20 61 73 20 61 20 63 6f 6e 73 2d 6c 69 73 74 n as a cons-list
0fe0: 3f 0d 0a 09 62 6f 6f 6c 20 69 73 4c 69 73 74 28 ?...bool isList(
0ff0: 29 0d 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 74 )...{....Table t
1000: 20 3d 20 74 68 69 73 3b 0d 0a 09 09 77 68 69 6c = this;....whil
1010: 65 28 74 2e 68 61 73 28 22 63 61 72 22 2c 20 56 e(t.has("car", V
1020: 61 6c 75 65 4c 61 79 65 72 29 20 26 26 20 74 2e alueLayer) && t.
1030: 68 61 73 28 22 63 64 72 22 2c 20 56 61 6c 75 65 has("cdr", Value
1040: 4c 61 79 65 72 29 29 0d 0a 09 09 09 69 66 28 61 Layer)).....if(a
1050: 75 74 6f 20 74 74 20 3d 20 63 61 73 74 28 54 61 uto tt = cast(Ta
1060: 62 6c 65 29 74 2e 67 65 74 28 22 63 64 72 22 2c ble)t.get("cdr",
1070: 20 56 61 6c 75 65 4c 61 79 65 72 29 29 0d 0a 09 ValueLayer))...
1080: 09 09 09 74 20 3d 20 74 74 3b 0d 0a 09 09 09 65 ...t = tt;.....e
1090: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
10a0: 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e false;....return
10b0: 20 74 2e 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 0d t.empty;...}...
10c0: 0a 09 2f 2f 2f 20 52 65 67 61 72 64 20 74 61 62 ../// Regard tab
10d0: 6c 65 20 61 73 20 61 20 63 6f 6e 73 2d 6c 69 73 le as a cons-lis
10e0: 74 20 61 6e 64 20 63 6f 6e 76 65 72 74 20 74 6f t and convert to
10f0: 20 61 6e 20 61 72 72 61 79 0d 0a 09 56 61 6c 75 an array...Valu
1100: 65 5b 5d 20 74 6f 4c 69 73 74 28 29 0d 0a 09 7b e[] toList()...{
1110: 0d 0a 09 09 56 61 6c 75 65 5b 5d 20 72 65 73 75 ....Value[] resu
1120: 6c 74 3b 0d 0a 09 09 54 61 62 6c 65 20 74 20 3d lt;....Table t =
1130: 20 74 68 69 73 3b 0d 0a 09 09 77 68 69 6c 65 28 this;....while(
1140: 74 2e 68 61 73 28 22 63 61 72 22 2c 20 56 61 6c t.has("car", Val
1150: 75 65 4c 61 79 65 72 29 20 26 26 20 74 2e 68 61 ueLayer) && t.ha
1160: 73 28 22 63 64 72 22 2c 20 56 61 6c 75 65 4c 61 s("cdr", ValueLa
1170: 79 65 72 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 yer))....{.....r
1180: 65 73 75 6c 74 20 7e 3d 20 74 2e 67 65 74 28 22 esult ~= t.get("
1190: 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 car", ValueLayer
11a0: 29 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 74 );.....if(auto t
11b0: 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 74 t = cast(Table)t
11c0: 2e 67 65 74 28 22 63 64 72 22 2c 20 56 61 6c 75 .get("cdr", Valu
11d0: 65 4c 61 79 65 72 29 29 0d 0a 09 09 09 09 74 20 eLayer))......t
11e0: 3d 20 74 74 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a = tt;.....else..
11f0: 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1200: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
1210: 28 22 74 68 69 73 20 74 61 62 6c 65 20 69 73 20 ("this table is
1220: 6e 6f 74 20 61 20 63 6f 6e 73 2d 6c 69 73 74 22 not a cons-list"
1230: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 );....}....if( t
1240: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 72 65 74 .empty ).....ret
1250: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 09 74 urn result;....t
1260: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
1270: 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 74 68 69 meException("thi
1280: 73 20 74 61 62 6c 65 20 69 73 20 6e 6f 74 20 61 s table is not a
1290: 20 63 6f 6e 73 2d 6c 69 73 74 22 29 3b 0d 0a 09 cons-list");...
12a0: 7d 09 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a }.....private:..
12b0: 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 20 20 .Table
12c0: 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 65 3b prototype;
12d0: 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 20 20 ...Kind
12e0: 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 kind;...
12f0: 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 74 72 Value[Layer][str
1300: 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 62 ing] data;.....b
1310: 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 28 73 ool setIfExist(s
1320: 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c tring i, Layer l
1330: 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b ay, Value v)...{
1340: 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 ....if( i in dat
1350: 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 61 74 a )....{.....dat
1360: 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a a[i][lay] = v;..
1370: 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d ...return true;.
1380: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 6e 64 ...}....if( kind
1390: 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 ==Kind.Propagate
13a0: 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 70 65 Set && prototype
13b0: 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 !is null ).....
13c0: 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 return prototype
13d0: 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c .setIfExist(i, l
13e0: 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 ay, v);....retur
13f0: 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d n false;...}..}.
1400: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
1410: 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 77 20 .Table c0 = new
1420: 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 20 63 Table;...Table c
1430: 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 01 = new Table(c
1440: 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 0, Table.Kind.No
1450: 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d tPropagateSet);.
1460: 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d 20 6e ..Table c012 = n
1470: 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 ew Table(c01, Ta
1480: 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 ble.Kind.Propaga
1490: 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 teSet);...Table
14a0: 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 6c 65 c013 = new Table
14b0: 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 (c01, Table.Kind
14c0: 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d .PropagateSet);.
14d0: 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ....assert_nothr
14e0: 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 78 22 ow( c012.set("x"
14f0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 , ValueLayer, ne
1500: 77 20 49 6e 74 56 61 6c 75 65 28 31 32 29 29 20 w IntValue(12))
1510: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
1520: 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 w!RuntimeExcepti
1530: 6f 6e 28 20 63 30 31 33 2e 67 65 74 28 22 78 22 on( c013.get("x"
1540: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b , ValueLayer) );
1550: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
1560: 77 28 20 63 30 31 33 2e 73 65 74 28 22 78 22 2c w( c013.set("x",
1570: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
1580: 20 49 6e 74 56 61 6c 75 65 28 31 33 29 29 20 29 IntValue(13)) )
1590: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
15a0: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 013.get("x", Val
15b0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
15c0: 74 56 61 6c 75 65 28 31 33 29 20 29 3b 0d 0a 09 tValue(13) );...
15d0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e assert_eq( c012.
15e0: 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 get("x", ValueLa
15f0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1600: 75 65 28 31 32 29 20 29 3b 0d 0a 09 61 73 73 65 ue(12) );...asse
1610: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
1620: 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 2e 67 Exception( c01.g
1630: 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 et("x", ValueLay
1640: 65 72 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 er) );.....asser
1650: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 t_nothrow( c01.s
1660: 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 et("y", ValueLay
1670: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
1680: 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (1)) );...assert
1690: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 _eq( c013.get("y
16a0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
16b0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 29 20 new IntValue(1)
16c0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
16d0: 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 56 61 c012.get("y", Va
16e0: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
16f0: 6e 74 56 61 6c 75 65 28 31 29 20 29 3b 0d 0a 09 ntValue(1) );...
1700: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 assert_eq( c01.g
1710: 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 et("y", ValueLay
1720: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 er), new IntValu
1730: 65 28 31 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 e(1) );.....asse
1740: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 2e 73 rt_nothrow( c0.s
1750: 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 et("z", ValueLay
1760: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
1770: 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (0)) );...assert
1780: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 7a _eq( c013.get("z
1790: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
17a0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 new IntValue(0)
17b0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
17c0: 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 c012.get("z", Va
17d0: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
17e0: 6e 74 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 ntValue(0) );...
17f0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 assert_eq( c01.g
1800: 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 et("z", ValueLay
1810: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 er), new IntValu
1820: 65 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 e(0) );...assert
1830: 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c _eq( c0.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 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .....assert_noth
1870: 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 79 row( c012.set("y
1880: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e ", ValueLayer, n
1890: 65 77 20 49 6e 74 56 61 6c 75 65 28 34 34 34 29 ew IntValue(444)
18a0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
18b0: 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 ( c013.get("y",
18c0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
18d0: 20 49 6e 74 56 61 6c 75 65 28 34 34 34 29 20 29 IntValue(444) )
18e0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
18f0: 30 31 32 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 012.get("y", Val
1900: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1910: 74 56 61 6c 75 65 28 34 34 34 29 20 29 3b 0d 0a tValue(444) );..
1920: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e .assert_eq( c01.
1930: 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 get("y", ValueLa
1940: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1950: 75 65 28 34 34 34 29 20 29 3b 0d 0a 0d 0a 09 61 ue(444) );.....a
1960: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 ssert_nothrow( c
1970: 30 31 32 2e 73 65 74 28 22 7a 22 2c 20 56 61 6c 012.set("z", Val
1980: 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 ueLayer, new Int
1990: 56 61 6c 75 65 28 35 35 35 29 29 20 29 3b 0d 0a Value(555)) );..
19a0: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 .assert_eq( c013
19b0: 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .get("z", ValueL
19c0: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
19d0: 6c 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 lue(0) );...asse
19e0: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
19f0: 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "z", ValueLayer)
1a00: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 35 , new IntValue(5
1a10: 35 35 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 55) );...assert_
1a20: 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c eq( c01.get("z",
1a30: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1a40: 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 29 3b w IntValue(0) );
1a50: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
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 0d 0a 09 2f 2f lue(0) );.....//
1a90: 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 20 74 [TODO] define t
1aa0: 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 6e 64 he semantics and
1ab0: 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d 0a 7d test @layers..}
1ac0: 0d 0a ..