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 55 ....///..class U
0590: 6e 64 65 66 69 6e 65 64 56 61 6c 75 65 20 3a 20 ndefinedValue :
05a0: 56 61 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 6e Value..{...mixin
05b0: 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 SimpleConstruct
05c0: 6f 72 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 or;...override s
05d0: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 tring toString()
05e0: 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 const { return
05f0: 22 3c 75 6e 64 65 66 69 6e 65 64 3e 22 3b 20 7d "<undefined>"; }
0600: 0d 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 ...override int
0610: 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 opCmp(Object rhs
0620: 29 20 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 ) {....if(auto r
0630: 20 3d 20 63 61 73 74 28 53 74 72 56 61 6c 75 65 = cast(StrValue
0640: 29 72 68 73 29 20 72 65 74 75 72 6e 20 30 3b 0d )rhs) return 0;.
0650: 0a 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 ...if(auto r = c
0660: 61 73 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 ast(Value)rhs)
0670: 20 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 return typeid(
0680: 74 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 this).opCmp(type
0690: 69 64 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 id(r));....throw
06a0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
06b0: 63 65 70 74 69 6f 6e 28 22 63 6f 6d 70 61 72 69 ception("compari
06c0: 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 61 son with value a
06d0: 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 nd somithing oth
06e0: 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 er");...}...mixi
06f0: 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d n SimpleToHash;.
0700: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 .}....///..abstr
0710: 61 63 74 20 63 6c 61 73 73 20 46 75 6e 56 61 6c act class FunVal
0720: 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 ue : Value..{...
0730: 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b const(Parameter[
0740: 5d 29 20 70 61 72 61 6d 73 28 29 3b 0d 0a 09 54 ]) params();...T
0750: 61 62 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 able definitionC
0760: 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 56 61 6c 75 ontext();...Valu
0770: 65 20 69 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c e invoke(Layer l
0780: 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c ay, Table ctx, L
0790: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 3b exPosition pos);
07a0: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 ..}..../// Conte
07b0: 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 6e 76 xt (variable env
07c0: 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 53 ironment)../// S
07d0: 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f 74 79 imlar to prototy
07e0: 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 4d 41 pe chain of ECMA
07f0: 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f 2f 2f Script etc...///
0800: 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 77 69 But extended wi
0810: 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 6f 66 th the notion of
0820: 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 73 "Layer"....clas
0830: 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 65 0d s Table : Value.
0840: 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 7b .{...enum Kind {
0850: 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 4e 6f PropagateSet, No
0860: 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d 3b 0d tPropagateSet};.
0870: 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 6c 65 20 ....this( Table
0880: 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 6e 64 proto=null, Kind
0890: 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 61 67 k = Kind.Propag
08a0: 61 74 65 53 65 74 20 29 0d 0a 09 09 7b 20 74 68 ateSet )....{ th
08b0: 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 3d 20 70 is.prototype = p
08c0: 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 6e 64 20 roto; this.kind
08d0: 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 2f 2f 2f 20 53 = k; }...../// S
08e0: 65 74 20 74 68 65 20 76 61 6c 75 65 20 76 20 74 et the value v t
08f0: 6f 20 74 68 65 20 69 6e 64 65 78 20 69 20 6f 66 o the index i of
0900: 20 6c 61 79 65 72 20 6c 61 79 0d 0a 09 76 6f 69 layer lay...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: 2f 2f 2f 20 54 72 75 65 20 69 66 20 69 6e 64 65 /// True if inde
0990: 78 20 69 20 68 61 73 20 76 61 6c 75 65 20 69 6e x i has value in
09a0: 20 6c 61 79 65 72 20 6c 61 79 0d 0a 09 62 6f 6f layer lay...boo
09b0: 6c 20 68 61 73 28 73 74 72 69 6e 67 20 69 2c 20 l has(string i,
09c0: 4c 61 79 65 72 20 6c 61 79 29 20 63 6f 6e 73 74 Layer lay) const
09d0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e ...{....if( i in
09e0: 20 64 61 74 61 20 29 0d 0a 09 09 09 72 65 74 75 data ).....retu
09f0: 72 6e 20 21 21 28 6c 61 79 20 69 6e 20 64 61 74 rn !!(lay in dat
0a00: 61 5b 69 5d 29 3b 0d 0a 09 09 69 66 28 20 70 72 a[i]);....if( pr
0a10: 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 ototype is null
0a20: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c ).....return fal
0a30: 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 72 se;....return pr
0a40: 6f 74 6f 74 79 70 65 2e 68 61 73 28 69 2c 20 6c ototype.has(i, l
0a50: 61 79 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 2f 2f ay);...}......//
0a60: 2f 20 52 65 74 75 72 6e 20 74 68 65 20 76 61 6c / Return the val
0a70: 75 65 20 6f 66 20 69 6e 64 65 78 20 69 20 61 74 ue of index i at
0a80: 20 6c 61 79 65 72 20 6c 61 79 2e 20 54 68 72 6f layer lay. Thro
0a90: 77 73 20 69 66 20 69 74 20 69 73 20 6e 6f 74 20 ws if it is not
0aa0: 73 65 74 0d 0a 09 56 61 6c 75 65 20 67 65 74 28 set...Value get(
0ab0: 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 string i, Layer
0ac0: 6c 61 79 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e lay, LexPosition
0ad0: 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a pos=null)...{..
0ae0: 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 ..if( i in data
0af0: 29 20 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 ) {.....if( lay
0b00: 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a 09 !in data[i] )...
0b10: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0b20: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0b30: 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 27 25 pos, sprintf!"'%
0b40: 73 27 20 69 73 20 6e 6f 74 20 73 65 74 20 69 6e s' is not set in
0b50: 20 25 73 20 6c 61 79 65 72 22 28 69 2c 6c 61 79 %s layer"(i,lay
0b60: 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 ));.....return d
0b70: 61 74 61 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 ata[i][lay];....
0b80: 7d 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 }....if( prototy
0b90: 70 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 pe is null )....
0ba0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
0bb0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
0bc0: 73 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73 27 s, sprintf!"'%s'
0bd0: 20 6e 6f 74 20 66 6f 75 6e 64 20 69 6e 20 25 73 not found in %s
0be0: 20 6c 61 79 65 72 22 28 69 2c 6c 61 79 29 29 3b layer"(i,lay));
0bf0: 0d 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f ....return proto
0c00: 74 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c type.get(i, lay,
0c10: 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f pos);...}...../
0c20: 2f 2f 20 74 2e 61 63 63 65 73 73 21 54 28 6c 61 // t.access!T(la
0c30: 79 2c 61 2c 62 2c 2e 2e 2e 29 20 72 65 74 75 72 y,a,b,...) retur
0c40: 6e 73 20 74 2e 67 65 74 28 61 2c 6c 61 79 29 2e ns t.get(a,lay).
0c50: 67 65 74 28 62 2c 6c 61 79 29 2e 2e 2e 2e 20 69 get(b,lay).... i
0c60: 66 20 65 78 69 73 74 73 0d 0a 09 2f 2f 2f 20 61 f exists.../// a
0c70: 6e 64 20 68 61 73 20 74 79 70 65 20 54 2e 20 52 nd has type T. R
0c80: 65 74 75 72 6e 73 20 6e 75 6c 6c 20 6f 74 68 65 eturns null othe
0c90: 72 77 69 73 65 0d 0a 09 54 20 61 63 63 65 73 73 rwise...T access
0ca0: 28 54 2c 53 2e 2e 2e 29 28 20 4c 61 79 65 72 20 (T,S...)( Layer
0cb0: 6c 61 79 2c 20 73 74 72 69 6e 67 20 70 61 74 68 lay, string path
0cc0: 2c 20 53 20 72 65 73 74 20 29 0d 0a 09 7b 0d 0a , S rest )...{..
0cd0: 09 09 73 74 61 74 69 63 20 69 66 28 20 72 65 73 ..static if( res
0ce0: 74 2e 6c 65 6e 67 74 68 20 3d 3d 20 30 20 29 0d t.length == 0 ).
0cf0: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 74 68 69 ...{.....if( thi
0d00: 73 2e 68 61 73 28 70 61 74 68 2c 20 6c 61 79 29 s.has(path, lay)
0d10: 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 )......return c
0d20: 61 73 74 28 54 29 20 74 68 69 73 2e 67 65 74 28 ast(T) this.get(
0d30: 70 61 74 68 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d path, lay);....}
0d40: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 ....else....{...
0d50: 09 09 69 66 28 61 75 74 6f 20 6e 65 78 74 20 3d ..if(auto next =
0d60: 20 74 68 69 73 2e 61 63 63 65 73 73 21 54 61 62 this.access!Tab
0d70: 6c 65 28 6c 61 79 2c 70 61 74 68 29 29 0d 0a 09 le(lay,path))...
0d80: 09 09 09 72 65 74 75 72 6e 20 6e 65 78 74 2e 61 ...return next.a
0d90: 63 63 65 73 73 21 54 28 6c 61 79 2c 72 65 73 74 ccess!T(lay,rest
0da0: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 );....}....retur
0db0: 6e 20 6e 75 6c 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 n null;...}.....
0dc0: 2f 2f 2f 20 49 73 20 74 68 69 73 20 61 6e 20 65 /// Is this an e
0dd0: 6d 70 74 79 20 74 61 62 6c 65 3f 0d 0a 09 62 6f mpty table?...bo
0de0: 6f 6c 20 65 6d 70 74 79 28 29 0d 0a 09 7b 0d 0a ol empty()...{..
0df0: 09 09 72 65 74 75 72 6e 20 64 61 74 61 2e 6c 65 ..return data.le
0e00: 6e 67 74 68 3d 3d 30 20 26 26 20 28 70 72 6f 74 ngth==0 && (prot
0e10: 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 7c 7c otype is null ||
0e20: 20 70 72 6f 74 6f 74 79 70 65 2e 65 6d 70 74 79 prototype.empty
0e30: 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 2f 2f 2f 20 );...}......///
0e40: 43 61 6e 20 62 65 20 73 65 65 6e 20 61 73 20 61 Can be seen as a
0e50: 20 63 6f 6e 73 2d 6c 69 73 74 3f 0d 0a 09 62 6f cons-list?...bo
0e60: 6f 6c 20 69 73 4c 69 73 74 28 29 0d 0a 09 7b 0d ol isList()...{.
0e70: 0a 09 09 54 61 62 6c 65 20 74 20 3d 20 74 68 69 ...Table t = thi
0e80: 73 3b 0d 0a 09 09 77 68 69 6c 65 28 74 2e 68 61 s;....while(t.ha
0e90: 73 28 22 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 s("car", ValueLa
0ea0: 79 65 72 29 20 26 26 20 74 2e 68 61 73 28 22 63 yer) && t.has("c
0eb0: 64 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 dr", ValueLayer)
0ec0: 29 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 74 74 ).....if(auto tt
0ed0: 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 74 2e = cast(Table)t.
0ee0: 67 65 74 28 22 63 64 72 22 2c 20 56 61 6c 75 65 get("cdr", Value
0ef0: 4c 61 79 65 72 29 29 0d 0a 09 09 09 09 74 20 3d Layer))......t =
0f00: 20 74 74 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 tt;.....else...
0f10: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
0f20: 0d 0a 09 09 72 65 74 75 72 6e 20 74 2e 65 6d 70 ....return t.emp
0f30: 74 79 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 ty;...}.....///
0f40: 52 65 67 61 72 64 20 74 61 62 6c 65 20 61 73 20 Regard table as
0f50: 61 20 63 6f 6e 73 2d 6c 69 73 74 20 61 6e 64 20 a cons-list and
0f60: 63 6f 6e 76 65 72 74 20 74 6f 20 61 6e 20 61 72 convert to an ar
0f70: 72 61 79 0d 0a 09 56 61 6c 75 65 5b 5d 20 74 6f ray...Value[] to
0f80: 4c 69 73 74 28 29 0d 0a 09 7b 0d 0a 09 09 56 61 List()...{....Va
0f90: 6c 75 65 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 lue[] result;...
0fa0: 09 54 61 62 6c 65 20 74 20 3d 20 74 68 69 73 3b .Table t = this;
0fb0: 0d 0a 09 09 77 68 69 6c 65 28 74 2e 68 61 73 28 ....while(t.has(
0fc0: 22 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 "car", ValueLaye
0fd0: 72 29 20 26 26 20 74 2e 68 61 73 28 22 63 64 72 r) && t.has("cdr
0fe0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 29 0d ", ValueLayer)).
0ff0: 0a 09 09 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 ...{.....result
1000: 7e 3d 20 74 2e 67 65 74 28 22 63 61 72 22 2c 20 ~= t.get("car",
1010: 56 61 6c 75 65 4c 61 79 65 72 29 3b 0d 0a 09 09 ValueLayer);....
1020: 09 69 66 28 61 75 74 6f 20 74 74 20 3d 20 63 61 .if(auto tt = ca
1030: 73 74 28 54 61 62 6c 65 29 74 2e 67 65 74 28 22 st(Table)t.get("
1040: 63 64 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 cdr", ValueLayer
1050: 29 29 0d 0a 09 09 09 09 74 20 3d 20 74 74 3b 0d ))......t = tt;.
1060: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 ....else......th
1070: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
1080: 65 45 78 63 65 70 74 69 6f 6e 28 22 74 68 69 73 eException("this
1090: 20 74 61 62 6c 65 20 69 73 20 6e 6f 74 20 61 20 table is not a
10a0: 63 6f 6e 73 2d 6c 69 73 74 22 29 3b 0d 0a 09 09 cons-list");....
10b0: 7d 0d 0a 09 09 69 66 28 20 74 2e 65 6d 70 74 79 }....if( t.empty
10c0: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 72 65 ).....return re
10d0: 73 75 6c 74 3b 0d 0a 09 09 74 68 72 6f 77 20 67 sult;....throw g
10e0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
10f0: 70 74 69 6f 6e 28 22 74 68 69 73 20 74 61 62 6c ption("this tabl
1100: 65 20 69 73 20 6e 6f 74 20 61 20 63 6f 6e 73 2d e is not a cons-
1110: 6c 69 73 74 22 29 3b 0d 0a 09 7d 09 0d 0a 0d 0a list");...}.....
1120: 09 2f 2f 2f 20 47 65 74 20 74 68 65 20 6c 69 73 ./// Get the lis
1130: 74 20 6f 66 20 64 69 72 65 63 74 20 65 6e 74 72 t of direct entr
1140: 69 65 73 20 69 67 6e 6f 72 69 6e 67 20 70 72 6f ies ignoring pro
1150: 74 6f 74 79 70 65 73 20 69 6e 20 73 6f 72 74 65 totypes in sorte
1160: 64 20 6f 72 64 65 72 0d 0a 09 54 75 70 6c 65 21 d order...Tuple!
1170: 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 (string,Layer,Va
1180: 6c 75 65 29 5b 5d 20 64 69 72 65 63 74 5f 65 6e lue)[] direct_en
1190: 74 72 69 65 73 28 29 0d 0a 09 7b 0d 0a 09 09 54 tries()...{....T
11a0: 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 uple!(string,Lay
11b0: 65 72 2c 56 61 6c 75 65 29 5b 5d 20 61 72 72 3b er,Value)[] arr;
11c0: 0d 0a 09 09 66 6f 72 65 61 63 68 28 6b 2c 20 6c ....foreach(k, l
11d0: 32 64 3b 20 64 61 74 61 29 0d 0a 09 09 09 66 6f 2d; data).....fo
11e0: 72 65 61 63 68 28 6c 2c 64 3b 20 6c 32 64 29 0d reach(l,d; l2d).
11f0: 0a 09 09 09 09 61 72 72 20 7e 3d 20 74 75 70 6c .....arr ~= tupl
1200: 65 28 6b 2c 6c 2c 64 29 3b 0d 0a 09 09 61 72 72 e(k,l,d);....arr
1210: 2e 73 6f 72 74 28 29 3b 0d 0a 09 09 72 65 74 75 .sort();....retu
1220: 72 6e 20 61 72 72 3b 0d 0a 09 7d 0d 0a 09 0d 0a rn arr;...}.....
1230: 09 2f 2f 2f 20 47 65 74 20 74 68 65 20 77 68 6f ./// Get the who
1240: 6c 65 20 6c 69 73 74 20 6f 66 20 6f 62 73 65 72 le list of obser
1250: 76 61 62 6c 65 20 65 6e 74 72 69 65 73 20 69 6e vable entries in
1260: 20 75 6e 73 70 65 63 69 66 69 65 64 20 6f 72 64 unspecified ord
1270: 65 72 0d 0a 09 54 75 70 6c 65 21 28 73 74 72 69 er...Tuple!(stri
1280: 6e 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b ng,Layer,Value)[
1290: 5d 20 65 6e 74 72 69 65 73 28 29 0d 0a 09 7b 0d ] entries()...{.
12a0: 0a 09 09 62 6f 6f 6c 5b 73 74 72 69 6e 67 5d 20 ...bool[string]
12b0: 68 69 64 64 65 6e 3b 0d 0a 09 09 54 75 70 6c 65 hidden;....Tuple
12c0: 21 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c 56 !(string,Layer,V
12d0: 61 6c 75 65 29 5b 5d 20 61 72 72 3b 0d 0a 09 09 alue)[] arr;....
12e0: 65 6e 75 6d 65 72 61 74 65 45 6e 74 72 69 65 73 enumerateEntries
12f0: 28 68 69 64 64 65 6e 2c 20 61 72 72 29 3b 0d 0a (hidden, arr);..
1300: 09 09 72 65 74 75 72 6e 20 61 72 72 3b 0d 0a 09 ..return arr;...
1310: 7d 0d 0a 0d 0a 09 70 72 69 76 61 74 65 20 76 6f }.....private vo
1320: 69 64 20 65 6e 75 6d 65 72 61 74 65 45 6e 74 72 id enumerateEntr
1330: 69 65 73 28 20 72 65 66 20 62 6f 6f 6c 5b 73 74 ies( ref bool[st
1340: 72 69 6e 67 5d 20 68 69 64 64 65 6e 2c 20 72 65 ring] hidden, re
1350: 66 20 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c f Tuple!(string,
1360: 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 61 Layer,Value)[] a
1370: 72 72 20 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 65 rr )...{....fore
1380: 61 63 68 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 ach(k, l2d; data
1390: 29 0d 0a 09 09 09 69 66 28 20 6b 20 21 69 6e 20 ).....if( k !in
13a0: 68 69 64 64 65 6e 20 29 0d 0a 09 09 09 7b 0d 0a hidden ).....{..
13b0: 09 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b ....foreach(l,d;
13c0: 20 6c 32 64 29 0d 0a 09 09 09 09 09 61 72 72 20 l2d).......arr
13d0: 7e 3d 20 74 75 70 6c 65 28 6b 2c 6c 2c 64 29 3b ~= tuple(k,l,d);
13e0: 0d 0a 09 09 09 09 68 69 64 64 65 6e 5b 6b 5d 20 ......hidden[k]
13f0: 3d 20 74 72 75 65 3b 0d 0a 09 09 09 7d 0d 0a 09 = true;.....}...
1400: 09 69 66 28 70 72 6f 74 6f 74 79 70 65 20 21 69 .if(prototype !i
1410: 73 20 6e 75 6c 6c 29 0d 0a 09 09 09 70 72 6f 74 s null).....prot
1420: 6f 74 79 70 65 2e 65 6e 75 6d 65 72 61 74 65 45 otype.enumerateE
1430: 6e 74 72 69 65 73 28 68 69 64 64 65 6e 2c 20 61 ntries(hidden, a
1440: 72 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6f 76 65 rr);...}.....ove
1450: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
1460: 74 72 69 6e 67 28 29 0d 0a 09 7b 0d 0a 09 09 69 tring()...{....i
1470: 66 28 20 69 73 4c 69 73 74 28 29 20 29 0d 0a 09 f( isList() )...
1480: 09 09 72 65 74 75 72 6e 20 74 65 78 74 28 74 6f ..return text(to
1490: 4c 69 73 74 28 29 29 3b 0d 0a 09 09 72 65 74 75 List());....retu
14a0: 72 6e 20 22 7b 22 20 7e 20 74 6f 53 74 72 69 6e rn "{" ~ toStrin
14b0: 67 57 69 74 68 6f 75 74 50 61 72 65 6e 28 29 20 gWithoutParen()
14c0: 7e 20 22 7d 22 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6f ~ "}";...}.....o
14d0: 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d verride int opCm
14e0: 70 28 4f 62 6a 65 63 74 20 72 68 73 29 0d 0a 09 p(Object rhs)...
14f0: 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 20 3d {....if(auto r =
1500: 20 63 61 73 74 28 54 61 62 6c 65 29 72 68 73 29 cast(Table)rhs)
1510: 20 7b 0d 0a 09 09 09 54 75 70 6c 65 21 28 73 74 {.....Tuple!(st
1520: 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 ring,Layer,Value
1530: 29 5b 5d 20 6c 73 20 3d 20 74 68 69 73 2e 65 6e )[] ls = this.en
1540: 74 72 69 65 73 28 29 3b 0d 0a 09 09 09 54 75 70 tries();.....Tup
1550: 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 le!(string,Layer
1560: 2c 56 61 6c 75 65 29 5b 5d 20 72 73 20 3d 20 72 ,Value)[] rs = r
1570: 2e 65 6e 74 72 69 65 73 28 29 3b 0d 0a 09 09 09 .entries();.....
1580: 69 66 28 20 6c 73 2e 6c 65 6e 67 74 68 20 21 3d if( ls.length !=
1590: 20 72 73 2e 6c 65 6e 67 74 68 20 29 0d 0a 09 09 rs.length )....
15a0: 09 09 72 65 74 75 72 6e 20 28 6c 73 2e 6c 65 6e ..return (ls.len
15b0: 67 74 68 20 3c 20 72 73 2e 6c 65 6e 67 74 68 20 gth < rs.length
15c0: 3f 20 2d 31 20 3a 20 2b 31 29 3b 0d 0a 09 09 09 ? -1 : +1);.....
15d0: 6c 73 2e 73 6f 72 74 28 29 3b 0d 0a 09 09 09 72 ls.sort();.....r
15e0: 73 2e 73 6f 72 74 28 29 3b 0d 0a 09 09 09 66 6f s.sort();.....fo
15f0: 72 65 61 63 68 28 69 2c 5f 3b 20 6c 73 29 0d 0a reach(i,_; ls)..
1600: 09 09 09 09 69 66 28 61 75 74 6f 20 63 20 3d 20 ....if(auto c =
1610: 6c 73 5b 69 5d 2e 6f 70 43 6d 70 28 72 73 5b 69 ls[i].opCmp(rs[i
1620: 5d 29 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e ])).......return
1630: 20 63 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 30 c;.....return 0
1640: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 61 75 74 ;....}....if(aut
1650: 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c 75 65 o r = cast(Value
1660: 29 72 68 73 29 20 72 65 74 75 72 6e 20 74 79 70 )rhs) return typ
1670: 65 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70 28 eid(this).opCmp(
1680: 74 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09 74 typeid(r));....t
1690: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
16a0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 6f 6d meException("com
16b0: 70 61 72 69 73 6f 6e 20 77 69 74 68 20 76 61 6c parison with val
16c0: 75 65 20 61 6e 64 20 73 6f 6d 69 74 68 69 6e 67 ue and somithing
16d0: 20 6f 74 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a 0d other");...}...
16e0: 0a 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 5f ..override hash_
16f0: 74 20 74 6f 48 61 73 68 28 29 0d 0a 09 7b 0d 0a t toHash()...{..
1700: 09 09 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c ..Tuple!(string,
1710: 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 6c Layer,Value)[] l
1720: 73 20 3d 20 74 68 69 73 2e 65 6e 74 72 69 65 73 s = this.entries
1730: 28 29 3b 0d 0a 09 09 6c 73 2e 73 6f 72 74 28 29 ();....ls.sort()
1740: 3b 0d 0a 09 09 68 61 73 68 5f 74 20 68 3b 0d 0a ;....hash_t h;..
1750: 09 09 66 6f 72 65 61 63 68 28 65 3b 20 6c 73 29 ..foreach(e; ls)
1760: 0d 0a 09 09 09 68 20 2b 3d 20 73 74 72 75 63 74 .....h += struct
1770: 75 72 61 6c 48 61 73 68 28 65 5b 30 5d 29 2b 73 uralHash(e[0])+s
1780: 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 5b tructuralHash(e[
1790: 31 5d 29 2b 73 74 72 75 63 74 75 72 61 6c 48 61 1])+structuralHa
17a0: 73 68 28 65 5b 32 5d 29 3b 0d 0a 09 09 72 65 74 sh(e[2]);....ret
17b0: 75 72 6e 20 68 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 urn h;...}....pr
17c0: 69 76 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 20 ivate:...Table
17d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 70 72 pr
17e0: 6f 74 6f 74 79 70 65 3b 0d 0a 09 4b 69 6e 64 20 ototype;...Kind
17f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1800: 6b 69 6e 64 3b 0d 0a 09 56 61 6c 75 65 5b 4c 61 kind;...Value[La
1810: 79 65 72 5d 5b 73 74 72 69 6e 67 5d 20 64 61 74 yer][string] dat
1820: 61 3b 0d 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f a;.....string to
1830: 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 StringWithoutPar
1840: 65 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a en() const...{..
1850: 09 09 73 74 72 69 6e 67 20 72 65 73 75 6c 74 3b ..string result;
1860: 0d 0a 09 09 62 6f 6f 6c 20 66 69 72 73 74 20 3d ....bool first =
1870: 20 74 72 75 65 3b 0d 0a 09 09 66 6f 72 65 61 63 true;....foreac
1880: 68 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d h(k, l2d; data).
1890: 0a 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b ....foreach(l,d;
18a0: 20 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 l2d).....{.....
18b0: 09 69 66 28 66 69 72 73 74 29 20 66 69 72 73 74 .if(first) first
18c0: 3d 66 61 6c 73 65 3b 20 65 6c 73 65 20 72 65 73 =false; else res
18d0: 75 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 09 ult~=", ";......
18e0: 72 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 09 result ~= k;....
18f0: 09 09 69 66 28 20 6c 2e 65 6d 70 74 79 20 29 0d ..if( l.empty ).
1900: 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 ......result ~=
1910: 22 28 65 6d 70 74 79 6c 61 79 65 72 29 22 3b 0d "(emptylayer)";.
1920: 0a 09 09 09 09 65 6c 73 65 20 69 66 28 20 6c 20 .....else if( l
1930: 21 3d 20 56 61 6c 75 65 4c 61 79 65 72 20 29 0d != ValueLayer ).
1940: 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 ......result ~=
1950: 6c 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e l;......result ~
1960: 3d 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73 75 = ":";......resu
1970: 6c 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74 28 lt ~= text(cast(
1980: 56 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d 0d Value)d);.....}.
1990: 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 ...if( prototype
19a0: 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b !is null )....{
19b0: 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 .....result ~= "
19c0: 20 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c 74 / ";.....result
19d0: 20 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74 6f ~= prototype.to
19e0: 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 StringWithoutPar
19f0: 65 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 en();....}....re
1a00: 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d turn result;...}
1a10: 0d 0a 0d 0a 09 62 6f 6f 6c 20 73 65 74 49 66 45 .....bool setIfE
1a20: 78 69 73 74 28 73 74 72 69 6e 67 20 69 2c 20 4c xist(string i, L
1a30: 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 20 ayer lay, Value
1a40: 76 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 v)...{....if( i
1a50: 69 6e 20 64 61 74 61 20 29 0d 0a 09 09 7b 0d 0a in data )....{..
1a60: 09 09 09 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 ...data[i][lay]
1a70: 3d 20 76 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 = v;.....return
1a80: 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 true;....}....if
1a90: 28 20 6b 69 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f ( kind==Kind.Pro
1aa0: 70 61 67 61 74 65 53 65 74 20 26 26 20 70 72 6f pagateSet && pro
1ab0: 74 6f 74 79 70 65 20 21 69 73 20 6e 75 6c 6c 20 totype !is null
1ac0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 72 6f ).....return pro
1ad0: 74 6f 74 79 70 65 2e 73 65 74 49 66 45 78 69 73 totype.setIfExis
1ae0: 74 28 69 2c 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 t(i, lay, v);...
1af0: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a .return false;..
1b00: 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 .}..}....unittes
1b10: 74 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 63 30 20 t..{...Table c0
1b20: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 54 = new Table;...T
1b30: 61 62 6c 65 20 63 30 31 20 3d 20 6e 65 77 20 54 able c01 = new T
1b40: 61 62 6c 65 28 63 30 2c 20 54 61 62 6c 65 2e 4b able(c0, Table.K
1b50: 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 ind.NotPropagate
1b60: 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 Set);...Table c0
1b70: 31 32 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 12 = new Table(c
1b80: 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 01, Table.Kind.P
1b90: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 ropagateSet);...
1ba0: 54 61 62 6c 65 20 63 30 31 33 20 3d 20 6e 65 77 Table c013 = new
1bb0: 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 62 6c Table(c01, Tabl
1bc0: 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 e.Kind.Propagate
1bd0: 53 65 74 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 Set);.....assert
1be0: 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 _nothrow( c012.s
1bf0: 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 et("x", ValueLay
1c00: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
1c10: 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 (12)) );...asser
1c20: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
1c30: 78 63 65 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 xception( c013.g
1c40: 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 et("x", ValueLay
1c50: 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f er) );...assert_
1c60: 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 2e 73 65 nothrow( c013.se
1c70: 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("x", ValueLaye
1c80: 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 r, new IntValue(
1c90: 31 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 13)) );...assert
1ca0: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 78 _eq( c013.get("x
1cb0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1cc0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 33 29 new IntValue(13)
1cd0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1ce0: 20 63 30 31 32 2e 67 65 74 28 22 78 22 2c 20 56 c012.get("x", V
1cf0: 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 alueLayer), new
1d00: 49 6e 74 56 61 6c 75 65 28 31 32 29 20 29 3b 0d IntValue(12) );.
1d10: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 ..assert_throw!R
1d20: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1d30: 20 63 30 31 2e 67 65 74 28 22 78 22 2c 20 56 61 c01.get("x", Va
1d40: 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 0d 0a lueLayer) );....
1d50: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
1d60: 20 63 30 31 2e 73 65 74 28 22 79 22 2c 20 56 61 c01.set("y", Va
1d70: 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e lueLayer, new In
1d80: 74 56 61 6c 75 65 28 31 29 29 20 29 3b 0d 0a 09 tValue(1)) );...
1d90: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e assert_eq( c013.
1da0: 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 get("y", ValueLa
1db0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1dc0: 75 65 28 31 29 20 29 3b 0d 0a 09 61 73 73 65 72 ue(1) );...asser
1dd0: 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 t_eq( c012.get("
1de0: 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c y", ValueLayer),
1df0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 29 new IntValue(1)
1e00: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1e10: 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 56 61 c01.get("y", Va
1e20: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1e30: 6e 74 56 61 6c 75 65 28 31 29 20 29 3b 0d 0a 0d ntValue(1) );...
1e40: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
1e50: 28 20 63 30 2e 73 65 74 28 22 7a 22 2c 20 56 61 ( c0.set("z", Va
1e60: 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e lueLayer, new In
1e70: 74 56 61 6c 75 65 28 30 29 29 20 29 3b 0d 0a 09 tValue(0)) );...
1e80: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e assert_eq( c013.
1e90: 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 get("z", ValueLa
1ea0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1eb0: 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 72 ue(0) );...asser
1ec0: 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 t_eq( c012.get("
1ed0: 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c z", ValueLayer),
1ee0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 new IntValue(0)
1ef0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1f00: 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 56 61 c01.get("z", Va
1f10: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1f20: 6e 74 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 ntValue(0) );...
1f30: 61 73 73 65 72 74 5f 65 71 28 20 63 30 2e 67 65 assert_eq( c0.ge
1f40: 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("z", ValueLaye
1f50: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
1f60: 28 30 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 (0) );.....asser
1f70: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e t_nothrow( c012.
1f80: 73 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 set("y", ValueLa
1f90: 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 yer, new IntValu
1fa0: 65 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 e(444)) );...ass
1fb0: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
1fc0: 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("y", ValueLayer
1fd0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1fe0: 34 34 34 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 444) );...assert
1ff0: 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 _eq( c012.get("y
2000: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
2010: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 34 34 34 new IntValue(444
2020: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
2030: 28 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 56 ( c01.get("y", V
2040: 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 alueLayer), new
2050: 49 6e 74 56 61 6c 75 65 28 34 34 34 29 20 29 3b IntValue(444) );
2060: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .....assert_noth
2070: 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 7a row( c012.set("z
2080: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e ", ValueLayer, n
2090: 65 77 20 49 6e 74 56 61 6c 75 65 28 35 35 35 29 ew IntValue(555)
20a0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
20b0: 28 20 63 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 ( c013.get("z",
20c0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
20d0: 20 49 6e 74 56 61 6c 75 65 28 30 29 20 29 3b 0d IntValue(0) );.
20e0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
20f0: 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 2.get("z", Value
2100: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
2110: 61 6c 75 65 28 35 35 35 29 20 29 3b 0d 0a 09 61 alue(555) );...a
2120: 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 65 ssert_eq( c01.ge
2130: 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("z", ValueLaye
2140: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
2150: 28 30 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f (0) );...assert_
2160: 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 eq( c0.get("z",
2170: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
2180: 20 49 6e 74 56 61 6c 75 65 28 30 29 20 29 3b 0d IntValue(0) );.
2190: 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 ....// [TODO] de
21a0: 66 69 6e 65 20 74 68 65 20 73 65 6d 61 6e 74 69 fine the semanti
21b0: 63 73 20 61 6e 64 20 74 65 73 74 20 40 6c 61 79 cs and test @lay
21c0: 65 72 73 0d 0a 7d 0d 0a ers..}..