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 20 20 7b 20 74 68 69 73 2e 64 61 74 61 n) { this.data
01d0: 20 3d 20 6e 3f 31 3a 30 3b 20 7d 0d 0a 09 74 68 = n?1:0; }...th
01e0: 69 73 28 69 6e 74 20 6e 29 20 20 20 20 7b 20 74 is(int n) { t
01f0: 68 69 73 2e 64 61 74 61 20 3d 20 6e 3b 20 7d 0d his.data = n; }.
0200: 0a 09 74 68 69 73 28 6c 6f 6e 67 20 6e 29 20 20 ..this(long n)
0210: 20 7b 20 74 68 69 73 2e 64 61 74 61 20 3d 20 6e { this.data = n
0220: 3b 20 7d 0d 0a 09 74 68 69 73 28 42 69 67 49 6e ; }...this(BigIn
0230: 74 20 6e 29 20 7b 20 74 68 69 73 2e 64 61 74 61 t n) { this.data
0240: 20 3d 20 6e 3b 20 7d 0d 0a 09 74 68 69 73 28 73 = n; }...this(s
0250: 74 72 69 6e 67 20 6e 29 20 7b 20 74 68 69 73 2e tring n) { this.
0260: 64 61 74 61 20 3d 20 42 69 67 49 6e 74 28 6e 29 data = BigInt(n)
0270: 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 ; }...override s
0280: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 tring toString()
0290: 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 const { return
02a0: 74 6f 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 28 toDecimalString(
02b0: 63 61 73 74 28 42 69 67 49 6e 74 29 64 61 74 61 cast(BigInt)data
02c0: 29 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 ); }...override
02d0: 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 int opCmp(Object
02e0: 20 72 68 73 29 20 7b 0d 0a 09 09 69 66 28 61 75 rhs) {....if(au
02f0: 74 6f 20 72 20 3d 20 63 61 73 74 28 49 6e 74 56 to r = cast(IntV
0300: 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 6e alue)rhs) return
0310: 20 64 61 74 61 2e 6f 70 43 6d 70 28 72 2e 64 61 data.opCmp(r.da
0320: 74 61 29 3b 0d 0a 09 09 69 66 28 61 75 74 6f 20 ta);....if(auto
0330: 72 20 3d 20 63 61 73 74 28 56 61 6c 75 65 29 72 r = cast(Value)r
0340: 68 73 29 20 20 20 20 72 65 74 75 72 6e 20 74 79 hs) return ty
0350: 70 65 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70 peid(this).opCmp
0360: 28 74 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09 (typeid(r));....
0370: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
0380: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 6f imeException("co
0390: 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 20 76 61 mparison with va
03a0: 6c 75 65 20 61 6e 64 20 73 6f 6d 69 74 68 69 6e lue and somithin
03b0: 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a g other");...}..
03c0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 54 6f 48 .mixin SimpleToH
03d0: 61 73 68 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a ash;..}....///..
03e0: 63 6c 61 73 73 20 53 74 72 56 61 6c 75 65 20 3a class StrValue :
03f0: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 73 74 72 69 Value..{...stri
0400: 6e 67 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 ng data;.....mix
0410: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0420: 63 74 6f 72 3b 0d 0a 09 6f 76 65 72 72 69 64 65 ctor;...override
0430: 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 string toString
0440: 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 () const { retur
0450: 6e 20 64 61 74 61 3b 20 7d 0d 0a 09 6f 76 65 72 n data; }...over
0460: 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f ride int opCmp(O
0470: 62 6a 65 63 74 20 72 68 73 29 20 7b 0d 0a 09 09 bject rhs) {....
0480: 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 if(auto r = cast
0490: 28 53 74 72 56 61 6c 75 65 29 72 68 73 29 20 72 (StrValue)rhs) r
04a0: 65 74 75 72 6e 20 74 79 70 65 69 64 28 73 74 72 eturn typeid(str
04b0: 69 6e 67 29 2e 63 6f 6d 70 61 72 65 28 26 64 61 ing).compare(&da
04c0: 74 61 2c 20 26 72 2e 64 61 74 61 29 3b 0d 0a 09 ta, &r.data);...
04d0: 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 .if(auto r = cas
04e0: 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 20 t(Value)rhs)
04f0: 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 return typeid(th
0500: 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 is).opCmp(typeid
0510: 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 (r));....throw g
0520: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
0530: 70 74 69 6f 6e 28 22 63 6f 6d 70 61 72 69 73 6f ption("compariso
0540: 6e 20 77 69 74 68 20 76 61 6c 75 65 20 61 6e 64 n with value and
0550: 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 65 72 somithing other
0560: 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 6e 20 ");...}...mixin
0570: 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 7d SimpleToHash;..}
0580: 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 42 ....///..class B
0590: 6f 74 74 6f 6d 56 61 6c 75 65 20 3a 20 56 61 6c ottomValue : Val
05a0: 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 ue..{...mixin Si
05b0: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
05c0: 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 ...override stri
05d0: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f ng toString() co
05e0: 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 22 5f 7c nst { return "_|
05f0: 5f 22 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 _"; }...override
0600: 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 int opCmp(Objec
0610: 74 20 72 68 73 29 20 7b 0d 0a 09 09 69 66 28 61 t rhs) {....if(a
0620: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 53 74 72 uto r = cast(Str
0630: 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 Value)rhs) retur
0640: 6e 20 30 3b 0d 0a 09 09 69 66 28 61 75 74 6f 20 n 0;....if(auto
0650: 72 20 3d 20 63 61 73 74 28 56 61 6c 75 65 29 72 r = cast(Value)r
0660: 68 73 29 20 20 20 20 72 65 74 75 72 6e 20 74 79 hs) return ty
0670: 70 65 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70 peid(this).opCmp
0680: 28 74 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09 (typeid(r));....
0690: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
06a0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 6f imeException("co
06b0: 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 20 76 61 mparison with va
06c0: 6c 75 65 20 61 6e 64 20 73 6f 6d 69 74 68 69 6e lue and somithin
06d0: 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a g other");...}..
06e0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 54 6f 48 .mixin SimpleToH
06f0: 61 73 68 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a ash;..}....///..
0700: 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 20 46 abstract class F
0710: 75 6e 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d unValue : Value.
0720: 0a 7b 0d 0a 09 63 6f 6e 73 74 28 50 61 72 61 6d .{...const(Param
0730: 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 eter[]) params()
0740: 3b 0d 0a 09 54 61 62 6c 65 20 64 65 66 69 6e 69 ;...Table defini
0750: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 3b 0d 0a tionContext();..
0760: 09 56 61 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 61 .Value invoke(La
0770: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
0780: 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 tx, LexPosition
0790: 70 6f 73 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 pos);..}....///
07a0: 43 6f 6e 74 65 78 74 20 28 76 61 72 69 61 62 6c Context (variabl
07b0: 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a e environment)..
07c0: 2f 2f 2f 20 53 69 6d 6c 61 72 20 74 6f 20 70 72 /// Simlar to pr
07d0: 6f 74 6f 74 79 70 65 20 63 68 61 69 6e 20 6f 66 ototype chain of
07e0: 20 45 43 4d 41 53 63 72 69 70 74 20 65 74 63 2e ECMAScript etc.
07f0: 0d 0a 2f 2f 2f 20 42 75 74 20 65 78 74 65 6e 64 ../// But extend
0800: 65 64 20 77 69 74 68 20 74 68 65 20 6e 6f 74 69 ed with the noti
0810: 6f 6e 20 6f 66 20 22 4c 61 79 65 72 22 0d 0a 0d on of "Layer"...
0820: 0a 63 6c 61 73 73 20 54 61 62 6c 65 20 3a 20 56 .class Table : V
0830: 61 6c 75 65 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b alue..{...enum K
0840: 69 6e 64 20 7b 50 72 6f 70 61 67 61 74 65 53 65 ind {PropagateSe
0850: 74 2c 20 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 t, NotPropagateS
0860: 65 74 7d 3b 0d 0a 0d 0a 09 74 68 69 73 28 20 54 et};.....this( T
0870: 61 62 6c 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c able proto=null,
0880: 20 4b 69 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 Kind k = Kind.P
0890: 72 6f 70 61 67 61 74 65 53 65 74 20 29 0d 0a 09 ropagateSet )...
08a0: 09 7b 20 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 .{ this.prototyp
08b0: 65 20 3d 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e e = proto; this.
08c0: 6b 69 6e 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 kind = k; }.....
08d0: 2f 2f 2f 20 53 65 74 20 74 68 65 20 76 61 6c 75 /// Set the valu
08e0: 65 20 76 20 74 6f 20 74 68 65 20 69 6e 64 65 78 e v to the index
08f0: 20 69 20 6f 66 20 6c 61 79 65 72 20 6c 61 79 0d i of layer lay.
0900: 0a 09 76 6f 69 64 20 73 65 74 28 73 74 72 69 6e ..void set(strin
0910: 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 g i, Layer lay,
0920: 56 61 6c 75 65 20 76 29 0d 0a 09 7b 0d 0a 09 09 Value v)...{....
0930: 69 66 28 20 73 65 74 49 66 45 78 69 73 74 28 69 if( setIfExist(i
0940: 2c 20 6c 61 79 2c 20 76 29 20 29 0d 0a 09 09 09 , lay, v) ).....
0950: 72 65 74 75 72 6e 3b 0d 0a 09 09 64 61 74 61 5b return;....data[
0960: 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 7d i][lay] = v;...}
0970: 0d 0a 0d 0a 09 2f 2f 2f 20 54 72 75 65 20 69 66 ...../// True if
0980: 20 69 6e 64 65 78 20 69 20 68 61 73 20 76 61 6c index i has val
0990: 75 65 20 69 6e 20 6c 61 79 65 72 20 6c 61 79 0d ue in layer lay.
09a0: 0a 09 62 6f 6f 6c 20 68 61 73 28 73 74 72 69 6e ..bool has(strin
09b0: 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 29 20 g i, Layer lay)
09c0: 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 09 69 66 28 const...{....if(
09d0: 20 69 20 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 i in data )....
09e0: 09 72 65 74 75 72 6e 20 21 21 28 6c 61 79 20 69 .return !!(lay i
09f0: 6e 20 64 61 74 61 5b 69 5d 29 3b 0d 0a 09 09 69 n data[i]);....i
0a00: 66 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 f( prototype is
0a10: 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 null ).....retur
0a20: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 n false;....retu
0a30: 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 68 61 73 rn prototype.has
0a40: 28 69 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 09 (i, lay);...}...
0a50: 0d 0a 09 2f 2f 2f 20 52 65 74 75 72 6e 20 74 68 .../// Return th
0a60: 65 20 76 61 6c 75 65 20 6f 66 20 69 6e 64 65 78 e value of index
0a70: 20 69 20 61 74 20 6c 61 79 65 72 20 6c 61 79 2e i at layer lay.
0a80: 20 54 68 72 6f 77 73 20 69 66 20 69 74 20 69 73 Throws if it is
0a90: 20 6e 6f 74 20 73 65 74 0d 0a 09 56 61 6c 75 65 not set...Value
0aa0: 20 67 65 74 28 73 74 72 69 6e 67 20 69 2c 20 4c get(string i, L
0ab0: 61 79 65 72 20 6c 61 79 2c 20 4c 65 78 50 6f 73 ayer lay, LexPos
0ac0: 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d ition pos=null).
0ad0: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
0ae0: 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 69 66 28 data ) {.....if(
0af0: 20 6c 61 79 20 21 69 6e 20 64 61 74 61 5b 69 5d lay !in data[i]
0b00: 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 )......throw ge
0b10: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
0b20: 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 tion(pos, sprint
0b30: 66 21 22 27 25 73 27 20 69 73 20 6e 6f 74 20 73 f!"'%s' is not s
0b40: 65 74 20 69 6e 20 25 73 20 6c 61 79 65 72 22 28 et in %s layer"(
0b50: 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 72 65 74 i,lay));.....ret
0b60: 75 72 6e 20 64 61 74 61 5b 69 5d 5b 6c 61 79 5d urn data[i][lay]
0b70: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 72 ;....}....if( pr
0b80: 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 ototype is null
0b90: 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 ).....throw gene
0ba0: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
0bb0: 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 on(pos, sprintf!
0bc0: 22 27 25 73 27 20 6e 6f 74 20 66 6f 75 6e 64 20 "'%s' not found
0bd0: 69 6e 20 25 73 20 6c 61 79 65 72 22 28 69 2c 6c in %s layer"(i,l
0be0: 61 79 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 ay));....return
0bf0: 70 72 6f 74 6f 74 79 70 65 2e 67 65 74 28 69 2c prototype.get(i,
0c00: 20 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d lay, pos);...}.
0c10: 0a 0d 0a 09 2f 2f 2f 20 74 2e 61 63 63 65 73 73 ..../// t.access
0c20: 21 54 28 6c 61 79 2c 61 2c 62 2c 2e 2e 2e 29 20 !T(lay,a,b,...)
0c30: 72 65 74 75 72 6e 73 20 74 2e 67 65 74 28 61 2c returns t.get(a,
0c40: 6c 61 79 29 2e 67 65 74 28 62 2c 6c 61 79 29 2e lay).get(b,lay).
0c50: 2e 2e 2e 20 69 66 20 65 78 69 73 74 73 0d 0a 09 ... if exists...
0c60: 2f 2f 2f 20 61 6e 64 20 68 61 73 20 74 79 70 65 /// and has type
0c70: 20 54 2e 20 52 65 74 75 72 6e 73 20 6e 75 6c 6c T. Returns null
0c80: 20 6f 74 68 65 72 77 69 73 65 0d 0a 09 54 20 61 otherwise...T a
0c90: 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 28 20 4c ccess(T,S...)( L
0ca0: 61 79 65 72 20 6c 61 79 2c 20 73 74 72 69 6e 67 ayer lay, string
0cb0: 20 70 61 74 68 2c 20 53 20 72 65 73 74 20 29 0d path, S rest ).
0cc0: 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 20 69 66 ..{....static if
0cd0: 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 20 3d 3d ( rest.length ==
0ce0: 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 0 )....{.....if
0cf0: 28 20 74 68 69 73 2e 68 61 73 28 70 61 74 68 2c ( this.has(path,
0d00: 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 74 lay) )......ret
0d10: 75 72 6e 20 63 61 73 74 28 54 29 20 74 68 69 73 urn cast(T) this
0d20: 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 79 29 3b .get(path, lay);
0d30: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
0d40: 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 6e .{.....if(auto n
0d50: 65 78 74 20 3d 20 74 68 69 73 2e 61 63 63 65 73 ext = this.acces
0d60: 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 61 74 68 s!Table(lay,path
0d70: 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e ))......return n
0d80: 65 78 74 2e 61 63 63 65 73 73 21 54 28 6c 61 79 ext.access!T(lay
0d90: 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a 09 09 ,rest);....}....
0da0: 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 7d return null;...}
0db0: 0d 0a 0d 0a 09 2f 2f 2f 20 49 73 20 74 68 69 73 ...../// Is this
0dc0: 20 61 6e 20 65 6d 70 74 79 20 74 61 62 6c 65 3f an empty table?
0dd0: 0d 0a 09 62 6f 6f 6c 20 65 6d 70 74 79 28 29 0d ...bool empty().
0de0: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 64 61 ..{....return da
0df0: 74 61 2e 6c 65 6e 67 74 68 3d 3d 30 20 26 26 20 ta.length==0 &&
0e00: 28 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 (prototype is nu
0e10: 6c 6c 20 7c 7c 20 70 72 6f 74 6f 74 79 70 65 2e ll || prototype.
0e20: 65 6d 70 74 79 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a empty);...}.....
0e30: 09 2f 2f 2f 20 43 61 6e 20 62 65 20 73 65 65 6e ./// Can be seen
0e40: 20 61 73 20 61 20 63 6f 6e 73 2d 6c 69 73 74 3f as a cons-list?
0e50: 0d 0a 09 62 6f 6f 6c 20 69 73 4c 69 73 74 28 29 ...bool isList()
0e60: 0d 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 74 20 ...{....Table t
0e70: 3d 20 74 68 69 73 3b 0d 0a 09 09 77 68 69 6c 65 = this;....while
0e80: 28 74 2e 68 61 73 28 22 63 61 72 22 2c 20 56 61 (t.has("car", Va
0e90: 6c 75 65 4c 61 79 65 72 29 20 26 26 20 74 2e 68 lueLayer) && t.h
0ea0: 61 73 28 22 63 64 72 22 2c 20 56 61 6c 75 65 4c as("cdr", ValueL
0eb0: 61 79 65 72 29 29 0d 0a 09 09 09 69 66 28 61 75 ayer)).....if(au
0ec0: 74 6f 20 74 74 20 3d 20 63 61 73 74 28 54 61 62 to tt = cast(Tab
0ed0: 6c 65 29 74 2e 67 65 74 28 22 63 64 72 22 2c 20 le)t.get("cdr",
0ee0: 56 61 6c 75 65 4c 61 79 65 72 29 29 0d 0a 09 09 ValueLayer))....
0ef0: 09 09 74 20 3d 20 74 74 3b 0d 0a 09 09 09 65 6c ..t = tt;.....el
0f00: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 se......return f
0f10: 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20 alse;....return
0f20: 74 2e 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 0d 0a t.empty;...}....
0f30: 09 2f 2f 2f 20 52 65 67 61 72 64 20 74 61 62 6c ./// Regard tabl
0f40: 65 20 61 73 20 61 20 63 6f 6e 73 2d 6c 69 73 74 e as a cons-list
0f50: 20 61 6e 64 20 63 6f 6e 76 65 72 74 20 74 6f 20 and convert to
0f60: 61 6e 20 61 72 72 61 79 0d 0a 09 56 61 6c 75 65 an array...Value
0f70: 5b 5d 20 74 6f 4c 69 73 74 28 29 0d 0a 09 7b 0d [] toList()...{.
0f80: 0a 09 09 56 61 6c 75 65 5b 5d 20 72 65 73 75 6c ...Value[] resul
0f90: 74 3b 0d 0a 09 09 54 61 62 6c 65 20 74 20 3d 20 t;....Table t =
0fa0: 74 68 69 73 3b 0d 0a 09 09 77 68 69 6c 65 28 74 this;....while(t
0fb0: 2e 68 61 73 28 22 63 61 72 22 2c 20 56 61 6c 75 .has("car", Valu
0fc0: 65 4c 61 79 65 72 29 20 26 26 20 74 2e 68 61 73 eLayer) && t.has
0fd0: 28 22 63 64 72 22 2c 20 56 61 6c 75 65 4c 61 79 ("cdr", ValueLay
0fe0: 65 72 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 er))....{.....re
0ff0: 73 75 6c 74 20 7e 3d 20 74 2e 67 65 74 28 22 63 sult ~= t.get("c
1000: 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 ar", ValueLayer)
1010: 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 74 74 ;.....if(auto tt
1020: 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 74 2e = cast(Table)t.
1030: 67 65 74 28 22 63 64 72 22 2c 20 56 61 6c 75 65 get("cdr", Value
1040: 4c 61 79 65 72 29 29 0d 0a 09 09 09 09 74 20 3d Layer))......t =
1050: 20 74 74 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 tt;.....else...
1060: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
1070: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1080: 22 74 68 69 73 20 74 61 62 6c 65 20 69 73 20 6e "this table is n
1090: 6f 74 20 61 20 63 6f 6e 73 2d 6c 69 73 74 22 29 ot a cons-list")
10a0: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 2e ;....}....if( t.
10b0: 65 6d 70 74 79 20 29 0d 0a 09 09 09 72 65 74 75 empty ).....retu
10c0: 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 09 74 68 rn result;....th
10d0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
10e0: 65 45 78 63 65 70 74 69 6f 6e 28 22 74 68 69 73 eException("this
10f0: 20 74 61 62 6c 65 20 69 73 20 6e 6f 74 20 61 20 table is not a
1100: 63 6f 6e 73 2d 6c 69 73 74 22 29 3b 0d 0a 09 7d cons-list");...}
1110: 09 0d 0a 0d 0a 09 2f 2f 2f 20 47 65 74 20 74 68 ....../// Get th
1120: 65 20 6c 69 73 74 20 6f 66 20 64 69 72 65 63 74 e list of direct
1130: 20 65 6e 74 72 69 65 73 20 69 67 6e 6f 72 69 6e entries ignorin
1140: 67 20 70 72 6f 74 6f 74 79 70 65 73 20 69 6e 20 g prototypes in
1150: 73 6f 72 74 65 64 20 6f 72 64 65 72 0d 0a 09 54 sorted order...T
1160: 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 uple!(string,Lay
1170: 65 72 2c 56 61 6c 75 65 29 5b 5d 20 64 69 72 65 er,Value)[] dire
1180: 63 74 5f 65 6e 74 72 69 65 73 28 29 0d 0a 09 7b ct_entries()...{
1190: 0d 0a 09 09 54 75 70 6c 65 21 28 73 74 72 69 6e ....Tuple!(strin
11a0: 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d g,Layer,Value)[]
11b0: 20 61 72 72 3b 0d 0a 09 09 66 6f 72 65 61 63 68 arr;....foreach
11c0: 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d 0a (k, l2d; data)..
11d0: 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b 20 ...foreach(l,d;
11e0: 6c 32 64 29 0d 0a 09 09 09 09 61 72 72 20 7e 3d l2d)......arr ~=
11f0: 20 74 75 70 6c 65 28 6b 2c 6c 2c 64 29 3b 0d 0a tuple(k,l,d);..
1200: 09 09 61 72 72 2e 73 6f 72 74 28 29 3b 0d 0a 09 ..arr.sort();...
1210: 09 72 65 74 75 72 6e 20 61 72 72 3b 0d 0a 09 7d .return arr;...}
1220: 0d 0a 09 0d 0a 09 2f 2f 2f 20 47 65 74 20 74 68 ....../// Get th
1230: 65 20 77 68 6f 6c 65 20 6c 69 73 74 20 6f 66 20 e whole list of
1240: 6f 62 73 65 72 76 61 62 6c 65 20 65 6e 74 72 69 observable entri
1250: 65 73 20 69 6e 20 75 6e 73 70 65 63 69 66 69 65 es in unspecifie
1260: 64 20 6f 72 64 65 72 0d 0a 09 54 75 70 6c 65 21 d order...Tuple!
1270: 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 (string,Layer,Va
1280: 6c 75 65 29 5b 5d 20 65 6e 74 72 69 65 73 28 29 lue)[] entries()
1290: 0d 0a 09 7b 0d 0a 09 09 62 6f 6f 6c 5b 73 74 72 ...{....bool[str
12a0: 69 6e 67 5d 20 68 69 64 64 65 6e 3b 0d 0a 09 09 ing] hidden;....
12b0: 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 Tuple!(string,La
12c0: 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 61 72 72 yer,Value)[] arr
12d0: 3b 0d 0a 09 09 65 6e 75 6d 65 72 61 74 65 45 6e ;....enumerateEn
12e0: 74 72 69 65 73 28 68 69 64 64 65 6e 2c 20 61 72 tries(hidden, ar
12f0: 72 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 61 72 r);....return ar
1300: 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 76 61 r;...}.....priva
1310: 74 65 20 76 6f 69 64 20 65 6e 75 6d 65 72 61 74 te void enumerat
1320: 65 45 6e 74 72 69 65 73 28 20 72 65 66 20 62 6f eEntries( ref bo
1330: 6f 6c 5b 73 74 72 69 6e 67 5d 20 68 69 64 64 65 ol[string] hidde
1340: 6e 2c 20 72 65 66 20 54 75 70 6c 65 21 28 73 74 n, ref Tuple!(st
1350: 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 ring,Layer,Value
1360: 29 5b 5d 20 61 72 72 20 29 0d 0a 09 7b 0d 0a 09 )[] arr )...{...
1370: 09 66 6f 72 65 61 63 68 28 6b 2c 20 6c 32 64 3b .foreach(k, l2d;
1380: 20 64 61 74 61 29 0d 0a 09 09 09 69 66 28 20 6b data).....if( k
1390: 20 21 69 6e 20 68 69 64 64 65 6e 20 29 0d 0a 09 !in hidden )...
13a0: 09 09 7b 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 ..{......foreach
13b0: 28 6c 2c 64 3b 20 6c 32 64 29 0d 0a 09 09 09 09 (l,d; l2d)......
13c0: 09 61 72 72 20 7e 3d 20 74 75 70 6c 65 28 6b 2c .arr ~= tuple(k,
13d0: 6c 2c 64 29 3b 0d 0a 09 09 09 09 68 69 64 64 65 l,d);......hidde
13e0: 6e 5b 6b 5d 20 3d 20 74 72 75 65 3b 0d 0a 09 09 n[k] = true;....
13f0: 09 7d 0d 0a 09 09 69 66 28 70 72 6f 74 6f 74 79 .}....if(prototy
1400: 70 65 20 21 69 73 20 6e 75 6c 6c 29 0d 0a 09 09 pe !is null)....
1410: 09 70 72 6f 74 6f 74 79 70 65 2e 65 6e 75 6d 65 .prototype.enume
1420: 72 61 74 65 45 6e 74 72 69 65 73 28 68 69 64 64 rateEntries(hidd
1430: 65 6e 2c 20 61 72 72 29 3b 0d 0a 09 7d 0d 0a 0d en, arr);...}...
1440: 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e ..override strin
1450: 67 20 74 6f 53 74 72 69 6e 67 28 29 0d 0a 09 7b g toString()...{
1460: 0d 0a 09 09 69 66 28 20 69 73 4c 69 73 74 28 29 ....if( isList()
1470: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 65 ).....return te
1480: 78 74 28 74 6f 4c 69 73 74 28 29 29 3b 0d 0a 09 xt(toList());...
1490: 09 72 65 74 75 72 6e 20 22 7b 22 20 7e 20 74 6f .return "{" ~ to
14a0: 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 StringWithoutPar
14b0: 65 6e 28 29 20 7e 20 22 7d 22 3b 0d 0a 09 7d 0d en() ~ "}";...}.
14c0: 0a 0d 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 ....override int
14d0: 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 opCmp(Object rh
14e0: 73 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 s)...{....if(aut
14f0: 6f 20 72 20 3d 20 63 61 73 74 28 54 61 62 6c 65 o r = cast(Table
1500: 29 72 68 73 29 20 7b 0d 0a 09 09 09 54 75 70 6c )rhs) {.....Tupl
1510: 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c e!(string,Layer,
1520: 56 61 6c 75 65 29 5b 5d 20 6c 73 20 3d 20 74 68 Value)[] ls = th
1530: 69 73 2e 65 6e 74 72 69 65 73 28 29 3b 0d 0a 09 is.entries();...
1540: 09 09 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c ..Tuple!(string,
1550: 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 72 Layer,Value)[] r
1560: 73 20 3d 20 72 2e 65 6e 74 72 69 65 73 28 29 3b s = r.entries();
1570: 0d 0a 09 09 09 69 66 28 20 6c 73 2e 6c 65 6e 67 .....if( ls.leng
1580: 74 68 20 21 3d 20 72 73 2e 6c 65 6e 67 74 68 20 th != rs.length
1590: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 28 6c )......return (l
15a0: 73 2e 6c 65 6e 67 74 68 20 3c 20 72 73 2e 6c 65 s.length < rs.le
15b0: 6e 67 74 68 20 3f 20 2d 31 20 3a 20 2b 31 29 3b ngth ? -1 : +1);
15c0: 0d 0a 09 09 09 6c 73 2e 73 6f 72 74 28 29 3b 0d .....ls.sort();.
15d0: 0a 09 09 09 72 73 2e 73 6f 72 74 28 29 3b 0d 0a ....rs.sort();..
15e0: 09 09 09 66 6f 72 65 61 63 68 28 69 2c 5f 3b 20 ...foreach(i,_;
15f0: 6c 73 29 0d 0a 09 09 09 09 69 66 28 61 75 74 6f ls)......if(auto
1600: 20 63 20 3d 20 6c 73 5b 69 5d 2e 6f 70 43 6d 70 c = ls[i].opCmp
1610: 28 72 73 5b 69 5d 29 29 0d 0a 09 09 09 09 09 72 (rs[i])).......r
1620: 65 74 75 72 6e 20 63 3b 0d 0a 09 09 09 72 65 74 eturn c;.....ret
1630: 75 72 6e 20 30 3b 0d 0a 09 09 7d 0d 0a 09 09 69 urn 0;....}....i
1640: 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 f(auto r = cast(
1650: 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 Value)rhs) retur
1660: 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e 6f n typeid(this).o
1670: 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 3b pCmp(typeid(r));
1680: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1690: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
16a0: 28 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77 69 74 ("comparison wit
16b0: 68 20 76 61 6c 75 65 20 61 6e 64 20 73 6f 6d 69 h value and somi
16c0: 74 68 69 6e 67 20 6f 74 68 65 72 22 29 3b 0d 0a thing other");..
16d0: 09 7d 0d 0a 0d 0a 09 6f 76 65 72 72 69 64 65 20 .}.....override
16e0: 68 61 73 68 5f 74 20 74 6f 48 61 73 68 28 29 0d hash_t toHash().
16f0: 0a 09 7b 0d 0a 09 09 54 75 70 6c 65 21 28 73 74 ..{....Tuple!(st
1700: 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 ring,Layer,Value
1710: 29 5b 5d 20 6c 73 20 3d 20 74 68 69 73 2e 65 6e )[] ls = this.en
1720: 74 72 69 65 73 28 29 3b 0d 0a 09 09 6c 73 2e 73 tries();....ls.s
1730: 6f 72 74 28 29 3b 0d 0a 09 09 68 61 73 68 5f 74 ort();....hash_t
1740: 20 68 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 65 h;....foreach(e
1750: 3b 20 6c 73 29 0d 0a 09 09 09 68 20 2b 3d 20 73 ; ls).....h += s
1760: 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 5b tructuralHash(e[
1770: 30 5d 29 2b 73 74 72 75 63 74 75 72 61 6c 48 61 0])+structuralHa
1780: 73 68 28 65 5b 31 5d 29 2b 73 74 72 75 63 74 75 sh(e[1])+structu
1790: 72 61 6c 48 61 73 68 28 65 5b 32 5d 29 3b 0d 0a ralHash(e[2]);..
17a0: 09 09 72 65 74 75 72 6e 20 68 3b 0d 0a 09 7d 0d ..return h;...}.
17b0: 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54 61 ...private:...Ta
17c0: 62 6c 65 20 20 20 20 20 20 20 20 20 20 20 20 20 ble
17d0: 20 20 20 70 72 6f 74 6f 74 79 70 65 3b 0d 0a 09 prototype;...
17e0: 4b 69 6e 64 20 20 20 20 20 20 20 20 20 20 20 20 Kind
17f0: 20 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 56 61 6c kind;...Val
1800: 75 65 5b 4c 61 79 65 72 5d 5b 73 74 72 69 6e 67 ue[Layer][string
1810: 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 73 74 72 69 ] data;.....stri
1820: 6e 67 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f ng toStringWitho
1830: 75 74 50 61 72 65 6e 28 29 20 63 6f 6e 73 74 0d utParen() const.
1840: 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 72 65 ..{....string re
1850: 73 75 6c 74 3b 0d 0a 09 09 62 6f 6f 6c 20 66 69 sult;....bool fi
1860: 72 73 74 20 3d 20 74 72 75 65 3b 0d 0a 09 09 66 rst = true;....f
1870: 6f 72 65 61 63 68 28 6b 2c 20 6c 32 64 3b 20 64 oreach(k, l2d; d
1880: 61 74 61 29 0d 0a 09 09 09 66 6f 72 65 61 63 68 ata).....foreach
1890: 28 6c 2c 64 3b 20 6c 32 64 29 0d 0a 09 09 09 7b (l,d; l2d).....{
18a0: 0d 0a 09 09 09 09 69 66 28 66 69 72 73 74 29 20 ......if(first)
18b0: 66 69 72 73 74 3d 66 61 6c 73 65 3b 20 65 6c 73 first=false; els
18c0: 65 20 72 65 73 75 6c 74 7e 3d 22 2c 20 22 3b 0d e result~=", ";.
18d0: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6b .....result ~= k
18e0: 3b 0d 0a 09 09 09 09 69 66 28 20 6c 2e 65 6d 70 ;......if( l.emp
18f0: 74 79 20 29 0d 0a 09 09 09 09 09 72 65 73 75 6c ty ).......resul
1900: 74 20 7e 3d 20 22 28 65 6d 70 74 79 6c 61 79 65 t ~= "(emptylaye
1910: 72 29 22 3b 0d 0a 09 09 09 09 65 6c 73 65 20 69 r)";......else i
1920: 66 28 20 6c 20 21 3d 20 56 61 6c 75 65 4c 61 79 f( l != ValueLay
1930: 65 72 20 29 0d 0a 09 09 09 09 09 72 65 73 75 6c er ).......resul
1940: 74 20 7e 3d 20 6c 3b 0d 0a 09 09 09 09 72 65 73 t ~= l;......res
1950: 75 6c 74 20 7e 3d 20 22 3a 22 3b 0d 0a 09 09 09 ult ~= ":";.....
1960: 09 72 65 73 75 6c 74 20 7e 3d 20 74 65 78 74 28 .result ~= text(
1970: 63 61 73 74 28 56 61 6c 75 65 29 64 29 3b 0d 0a cast(Value)d);..
1980: 09 09 09 7d 0d 0a 09 09 69 66 28 20 70 72 6f 74 ...}....if( prot
1990: 6f 74 79 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 otype !is null )
19a0: 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 73 75 6c 74 ....{.....result
19b0: 20 7e 3d 20 22 20 2f 20 22 3b 0d 0a 09 09 09 72 ~= " / ";.....r
19c0: 65 73 75 6c 74 20 7e 3d 20 70 72 6f 74 6f 74 79 esult ~= prototy
19d0: 70 65 2e 74 6f 53 74 72 69 6e 67 57 69 74 68 6f pe.toStringWitho
19e0: 75 74 50 61 72 65 6e 28 29 3b 0d 0a 09 09 7d 0d utParen();....}.
19f0: 0a 09 09 72 65 74 75 72 6e 20 72 65 73 75 6c 74 ...return result
1a00: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 73 ;...}.....bool s
1a10: 65 74 49 66 45 78 69 73 74 28 73 74 72 69 6e 67 etIfExist(string
1a20: 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 i, Layer lay, V
1a30: 61 6c 75 65 20 76 29 0d 0a 09 7b 0d 0a 09 09 69 alue v)...{....i
1a40: 66 28 20 69 20 69 6e 20 64 61 74 61 20 29 0d 0a f( i in data )..
1a50: 09 09 7b 0d 0a 09 09 09 64 61 74 61 5b 69 5d 5b ..{.....data[i][
1a60: 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 09 09 72 65 lay] = v;.....re
1a70: 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 09 7d 0d turn true;....}.
1a80: 0a 09 09 69 66 28 20 6b 69 6e 64 3d 3d 4b 69 6e ...if( kind==Kin
1a90: 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 20 26 d.PropagateSet &
1aa0: 26 20 70 72 6f 74 6f 74 79 70 65 20 21 69 73 20 & prototype !is
1ab0: 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 null ).....retur
1ac0: 6e 20 70 72 6f 74 6f 74 79 70 65 2e 73 65 74 49 n prototype.setI
1ad0: 66 45 78 69 73 74 28 69 2c 20 6c 61 79 2c 20 76 fExist(i, lay, v
1ae0: 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 66 61 6c );....return fal
1af0: 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e se;...}..}....un
1b00: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 54 61 62 6c ittest..{...Tabl
1b10: 65 20 63 30 20 3d 20 6e 65 77 20 54 61 62 6c 65 e c0 = new Table
1b20: 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 20 3d 20 ;...Table c01 =
1b30: 6e 65 77 20 54 61 62 6c 65 28 63 30 2c 20 54 61 new Table(c0, Ta
1b40: 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 ble.Kind.NotProp
1b50: 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 agateSet);...Tab
1b60: 6c 65 20 63 30 31 32 20 3d 20 6e 65 77 20 54 61 le c012 = new Ta
1b70: 62 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b ble(c01, Table.K
1b80: 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 ind.PropagateSet
1b90: 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 33 20 );...Table c013
1ba0: 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c = new Table(c01,
1bb0: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 Table.Kind.Prop
1bc0: 61 67 61 74 65 53 65 74 29 3b 0d 0a 0d 0a 09 61 agateSet);.....a
1bd0: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 ssert_nothrow( c
1be0: 30 31 32 2e 73 65 74 28 22 78 22 2c 20 56 61 6c 012.set("x", Val
1bf0: 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 ueLayer, new Int
1c00: 56 61 6c 75 65 28 31 32 29 29 20 29 3b 0d 0a 09 Value(12)) );...
1c10: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e assert_throw!Run
1c20: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 timeException( c
1c30: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 013.get("x", Val
1c40: 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 ueLayer) );...as
1c50: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 sert_nothrow( c0
1c60: 31 33 2e 73 65 74 28 22 78 22 2c 20 56 61 6c 75 13.set("x", Valu
1c70: 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 eLayer, new IntV
1c80: 61 6c 75 65 28 31 33 29 29 20 29 3b 0d 0a 09 61 alue(13)) );...a
1c90: 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 ssert_eq( c013.g
1ca0: 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 et("x", ValueLay
1cb0: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 er), new IntValu
1cc0: 65 28 31 33 29 20 29 3b 0d 0a 09 61 73 73 65 72 e(13) );...asser
1cd0: 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 t_eq( c012.get("
1ce0: 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c x", ValueLayer),
1cf0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 32 new IntValue(12
1d00: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 ) );...assert_th
1d10: 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 row!RuntimeExcep
1d20: 74 69 6f 6e 28 20 63 30 31 2e 67 65 74 28 22 78 tion( c01.get("x
1d30: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 20 29 ", ValueLayer) )
1d40: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
1d50: 68 72 6f 77 28 20 63 30 31 2e 73 65 74 28 22 79 hrow( c01.set("y
1d60: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e ", ValueLayer, n
1d70: 65 77 20 49 6e 74 56 61 6c 75 65 28 31 29 29 20 ew IntValue(1))
1d80: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1d90: 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 56 61 c013.get("y", Va
1da0: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1db0: 6e 74 56 61 6c 75 65 28 31 29 20 29 3b 0d 0a 09 ntValue(1) );...
1dc0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e assert_eq( c012.
1dd0: 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 get("y", ValueLa
1de0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1df0: 75 65 28 31 29 20 29 3b 0d 0a 09 61 73 73 65 72 ue(1) );...asser
1e00: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 t_eq( c01.get("y
1e10: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1e20: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 29 20 new IntValue(1)
1e30: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
1e40: 74 68 72 6f 77 28 20 63 30 2e 73 65 74 28 22 7a throw( c0.set("z
1e50: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e ", ValueLayer, n
1e60: 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 29 20 ew IntValue(0))
1e70: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1e80: 63 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 c013.get("z", Va
1e90: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1ea0: 6e 74 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 ntValue(0) );...
1eb0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e assert_eq( c012.
1ec0: 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 get("z", ValueLa
1ed0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1ee0: 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 72 ue(0) );...asser
1ef0: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a t_eq( c01.get("z
1f00: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1f10: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 new IntValue(0)
1f20: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1f30: 63 30 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 c0.get("z", Valu
1f40: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
1f50: 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 0d 0a 09 Value(0) );.....
1f60: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
1f70: 63 30 31 32 2e 73 65 74 28 22 79 22 2c 20 56 61 c012.set("y", Va
1f80: 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e lueLayer, new In
1f90: 74 56 61 6c 75 65 28 34 34 34 29 29 20 29 3b 0d tValue(444)) );.
1fa0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1fb0: 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 3.get("y", Value
1fc0: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1fd0: 61 6c 75 65 28 34 34 34 29 20 29 3b 0d 0a 09 61 alue(444) );...a
1fe0: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
1ff0: 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 et("y", ValueLay
2000: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 er), new IntValu
2010: 65 28 34 34 34 29 20 29 3b 0d 0a 09 61 73 73 65 e(444) );...asse
2020: 72 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 rt_eq( c01.get("
2030: 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c y", ValueLayer),
2040: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 34 34 new IntValue(44
2050: 34 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 4) );.....assert
2060: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 _nothrow( c012.s
2070: 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 et("z", ValueLay
2080: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
2090: 28 35 35 35 29 29 20 29 3b 0d 0a 09 61 73 73 65 (555)) );...asse
20a0: 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 rt_eq( c013.get(
20b0: 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "z", ValueLayer)
20c0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 , new IntValue(0
20d0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
20e0: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 ( c012.get("z",
20f0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
2100: 20 49 6e 74 56 61 6c 75 65 28 35 35 35 29 20 29 IntValue(555) )
2110: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
2120: 30 31 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 01.get("z", Valu
2130: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
2140: 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 Value(0) );...as
2150: 73 65 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 sert_eq( c0.get(
2160: 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "z", ValueLayer)
2170: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 , new IntValue(0
2180: 29 20 29 3b 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 ) );.....// [TOD
2190: 4f 5d 20 64 65 66 69 6e 65 20 74 68 65 20 73 65 O] define the se
21a0: 6d 61 6e 74 69 63 73 20 61 6e 64 20 74 65 73 74 mantics and test
21b0: 20 40 6c 61 79 65 72 73 0d 0a 7d 0d 0a @layers..}..