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 2f 2f 20 5b 54 4f 44 4f ) {.....// [TODO
0b00: 5d 20 63 6f 6e 73 69 64 65 72 20 66 6f 72 77 61 ] consider forwa
0b10: 72 64 69 6e 67 20 74 6f 20 70 72 6f 74 6f 20 61 rding to proto a
0b20: 6c 73 6f 20 69 6e 20 74 68 69 73 20 63 61 73 65 lso in this case
0b30: 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 21 69 6e .....if( lay !in
0b40: 20 64 61 74 61 5b 69 5d 20 29 0d 0a 09 09 09 09 data[i] )......
0b50: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
0b60: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
0b70: 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73 27 20 , sprintf!"'%s'
0b80: 69 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 25 73 is not set in %s
0b90: 20 6c 61 79 65 72 22 28 69 2c 6c 61 79 29 29 3b layer"(i,lay));
0ba0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 61 74 61 .....return data
0bb0: 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 7d 0d 0a [i][lay];....}..
0bc0: 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 ..if( prototype
0bd0: 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 68 is null ).....th
0be0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
0bf0: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
0c00: 73 70 72 69 6e 74 66 21 22 27 25 73 27 20 6e 6f sprintf!"'%s' no
0c10: 74 20 66 6f 75 6e 64 20 69 6e 20 25 73 20 6c 61 t found in %s la
0c20: 79 65 72 22 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 yer"(i,lay));...
0c30: 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 .return prototyp
0c40: 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c 20 70 6f e.get(i, lay, po
0c50: 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 s);...}.....///
0c60: 74 2e 61 63 63 65 73 73 21 54 28 6c 61 79 2c 61 t.access!T(lay,a
0c70: 2c 62 2c 2e 2e 2e 29 20 72 65 74 75 72 6e 73 20 ,b,...) returns
0c80: 74 2e 67 65 74 28 61 2c 6c 61 79 29 2e 67 65 74 t.get(a,lay).get
0c90: 28 62 2c 6c 61 79 29 2e 2e 2e 2e 20 69 66 20 65 (b,lay).... if e
0ca0: 78 69 73 74 73 0d 0a 09 2f 2f 2f 20 61 6e 64 20 xists.../// and
0cb0: 68 61 73 20 74 79 70 65 20 54 2e 20 52 65 74 75 has type T. Retu
0cc0: 72 6e 73 20 6e 75 6c 6c 20 6f 74 68 65 72 77 69 rns null otherwi
0cd0: 73 65 0d 0a 09 54 20 61 63 63 65 73 73 28 54 2c se...T access(T,
0ce0: 53 2e 2e 2e 29 28 20 4c 61 79 65 72 20 6c 61 79 S...)( Layer lay
0cf0: 2c 20 73 74 72 69 6e 67 20 70 61 74 68 2c 20 53 , string path, S
0d00: 20 72 65 73 74 20 29 0d 0a 09 7b 0d 0a 09 09 73 rest )...{....s
0d10: 74 61 74 69 63 20 69 66 28 20 72 65 73 74 2e 6c tatic if( rest.l
0d20: 65 6e 67 74 68 20 3d 3d 20 30 20 29 0d 0a 09 09 ength == 0 )....
0d30: 7b 0d 0a 09 09 09 69 66 28 20 74 68 69 73 2e 68 {.....if( this.h
0d40: 61 73 28 70 61 74 68 2c 20 6c 61 79 29 20 29 0d as(path, lay) ).
0d50: 0a 09 09 09 09 72 65 74 75 72 6e 20 63 61 73 74 .....return cast
0d60: 28 54 29 20 74 68 69 73 2e 67 65 74 28 70 61 74 (T) this.get(pat
0d70: 68 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 0d 0a 09 h, lay);....}...
0d80: 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 69 .else....{.....i
0d90: 66 28 61 75 74 6f 20 6e 65 78 74 20 3d 20 74 68 f(auto next = th
0da0: 69 73 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 is.access!Table(
0db0: 6c 61 79 2c 70 61 74 68 29 29 0d 0a 09 09 09 09 lay,path))......
0dc0: 72 65 74 75 72 6e 20 6e 65 78 74 2e 61 63 63 65 return next.acce
0dd0: 73 73 21 54 28 6c 61 79 2c 72 65 73 74 29 3b 0d ss!T(lay,rest);.
0de0: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e ...}....return n
0df0: 75 6c 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f ull;...}.....///
0e00: 20 49 73 20 74 68 69 73 20 61 6e 20 65 6d 70 74 Is this an empt
0e10: 79 20 74 61 62 6c 65 3f 0d 0a 09 62 6f 6f 6c 20 y table?...bool
0e20: 65 6d 70 74 79 28 29 0d 0a 09 7b 0d 0a 09 09 72 empty()...{....r
0e30: 65 74 75 72 6e 20 64 61 74 61 2e 6c 65 6e 67 74 eturn data.lengt
0e40: 68 3d 3d 30 20 26 26 20 28 70 72 6f 74 6f 74 79 h==0 && (prototy
0e50: 70 65 20 69 73 20 6e 75 6c 6c 20 7c 7c 20 70 72 pe is null || pr
0e60: 6f 74 6f 74 79 70 65 2e 65 6d 70 74 79 29 3b 0d ototype.empty);.
0e70: 0a 09 7d 0d 0a 09 0d 0a 09 2f 2f 2f 20 43 61 6e ..}....../// Can
0e80: 20 62 65 20 73 65 65 6e 20 61 73 20 61 20 63 6f be seen as a co
0e90: 6e 73 2d 6c 69 73 74 3f 0d 0a 09 62 6f 6f 6c 20 ns-list?...bool
0ea0: 69 73 4c 69 73 74 28 29 0d 0a 09 7b 0d 0a 09 09 isList()...{....
0eb0: 54 61 62 6c 65 20 74 20 3d 20 74 68 69 73 3b 0d Table t = this;.
0ec0: 0a 09 09 77 68 69 6c 65 28 74 2e 68 61 73 28 22 ...while(t.has("
0ed0: 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 car", ValueLayer
0ee0: 29 20 26 26 20 74 2e 68 61 73 28 22 63 64 72 22 ) && t.has("cdr"
0ef0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 29 0d 0a , ValueLayer))..
0f00: 09 09 09 69 66 28 61 75 74 6f 20 74 74 20 3d 20 ...if(auto tt =
0f10: 63 61 73 74 28 54 61 62 6c 65 29 74 2e 67 65 74 cast(Table)t.get
0f20: 28 22 63 64 72 22 2c 20 56 61 6c 75 65 4c 61 79 ("cdr", ValueLay
0f30: 65 72 29 29 0d 0a 09 09 09 09 74 20 3d 20 74 74 er))......t = tt
0f40: 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ;.....else......
0f50: 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 return false;...
0f60: 09 72 65 74 75 72 6e 20 74 2e 65 6d 70 74 79 3b .return t.empty;
0f70: 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 52 65 67 ...}...../// Reg
0f80: 61 72 64 20 74 61 62 6c 65 20 61 73 20 61 20 63 ard table as a c
0f90: 6f 6e 73 2d 6c 69 73 74 20 61 6e 64 20 63 6f 6e ons-list and con
0fa0: 76 65 72 74 20 74 6f 20 61 6e 20 61 72 72 61 79 vert to an array
0fb0: 0d 0a 09 56 61 6c 75 65 5b 5d 20 74 6f 4c 69 73 ...Value[] toLis
0fc0: 74 28 29 0d 0a 09 7b 0d 0a 09 09 56 61 6c 75 65 t()...{....Value
0fd0: 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 09 54 61 [] result;....Ta
0fe0: 62 6c 65 20 74 20 3d 20 74 68 69 73 3b 0d 0a 09 ble t = this;...
0ff0: 09 77 68 69 6c 65 28 74 2e 68 61 73 28 22 63 61 .while(t.has("ca
1000: 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 20 r", ValueLayer)
1010: 26 26 20 74 2e 68 61 73 28 22 63 64 72 22 2c 20 && t.has("cdr",
1020: 56 61 6c 75 65 4c 61 79 65 72 29 29 0d 0a 09 09 ValueLayer))....
1030: 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 {.....result ~=
1040: 74 2e 67 65 74 28 22 63 61 72 22 2c 20 56 61 6c t.get("car", Val
1050: 75 65 4c 61 79 65 72 29 3b 0d 0a 09 09 09 69 66 ueLayer);.....if
1060: 28 61 75 74 6f 20 74 74 20 3d 20 63 61 73 74 28 (auto tt = cast(
1070: 54 61 62 6c 65 29 74 2e 67 65 74 28 22 63 64 72 Table)t.get("cdr
1080: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 29 0d ", ValueLayer)).
1090: 0a 09 09 09 09 74 20 3d 20 74 74 3b 0d 0a 09 09 .....t = tt;....
10a0: 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 .else......throw
10b0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
10c0: 63 65 70 74 69 6f 6e 28 22 74 68 69 73 20 74 61 ception("this ta
10d0: 62 6c 65 20 69 73 20 6e 6f 74 20 61 20 63 6f 6e ble is not a con
10e0: 73 2d 6c 69 73 74 22 29 3b 0d 0a 09 09 7d 0d 0a s-list");....}..
10f0: 09 09 69 66 28 20 74 2e 65 6d 70 74 79 20 29 0d ..if( t.empty ).
1100: 0a 09 09 09 72 65 74 75 72 6e 20 72 65 73 75 6c ....return resul
1110: 74 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 t;....throw gene
1120: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
1130: 6f 6e 28 22 74 68 69 73 20 74 61 62 6c 65 20 69 on("this table i
1140: 73 20 6e 6f 74 20 61 20 63 6f 6e 73 2d 6c 69 73 s not a cons-lis
1150: 74 22 29 3b 0d 0a 09 7d 09 0d 0a 0d 0a 09 2f 2f t");...}......//
1160: 2f 20 47 65 74 20 74 68 65 20 6c 69 73 74 20 6f / Get the list o
1170: 66 20 64 69 72 65 63 74 20 65 6e 74 72 69 65 73 f direct entries
1180: 20 69 67 6e 6f 72 69 6e 67 20 70 72 6f 74 6f 74 ignoring protot
1190: 79 70 65 73 20 69 6e 20 73 6f 72 74 65 64 20 6f ypes in sorted o
11a0: 72 64 65 72 0d 0a 09 54 75 70 6c 65 21 28 73 74 rder...Tuple!(st
11b0: 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 ring,Layer,Value
11c0: 29 5b 5d 20 64 69 72 65 63 74 5f 65 6e 74 72 69 )[] direct_entri
11d0: 65 73 28 29 0d 0a 09 7b 0d 0a 09 09 54 75 70 6c es()...{....Tupl
11e0: 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c e!(string,Layer,
11f0: 56 61 6c 75 65 29 5b 5d 20 61 72 72 3b 0d 0a 09 Value)[] arr;...
1200: 09 66 6f 72 65 61 63 68 28 6b 2c 20 6c 32 64 3b .foreach(k, l2d;
1210: 20 64 61 74 61 29 0d 0a 09 09 09 66 6f 72 65 61 data).....forea
1220: 63 68 28 6c 2c 64 3b 20 6c 32 64 29 0d 0a 09 09 ch(l,d; l2d)....
1230: 09 09 61 72 72 20 7e 3d 20 74 75 70 6c 65 28 6b ..arr ~= tuple(k
1240: 2c 6c 2c 64 29 3b 0d 0a 09 09 61 72 72 2e 73 6f ,l,d);....arr.so
1250: 72 74 28 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 rt();....return
1260: 61 72 72 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 2f 2f arr;...}......//
1270: 2f 20 47 65 74 20 74 68 65 20 77 68 6f 6c 65 20 / Get the whole
1280: 6c 69 73 74 20 6f 66 20 6f 62 73 65 72 76 61 62 list of observab
1290: 6c 65 20 65 6e 74 72 69 65 73 20 69 6e 20 75 6e le entries in un
12a0: 73 70 65 63 69 66 69 65 64 20 6f 72 64 65 72 0d specified order.
12b0: 0a 09 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c ..Tuple!(string,
12c0: 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 65 Layer,Value)[] e
12d0: 6e 74 72 69 65 73 28 29 0d 0a 09 7b 0d 0a 09 09 ntries()...{....
12e0: 62 6f 6f 6c 5b 73 74 72 69 6e 67 5d 20 68 69 64 bool[string] hid
12f0: 64 65 6e 3b 0d 0a 09 09 54 75 70 6c 65 21 28 73 den;....Tuple!(s
1300: 74 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 6c 75 tring,Layer,Valu
1310: 65 29 5b 5d 20 61 72 72 3b 0d 0a 09 09 65 6e 75 e)[] arr;....enu
1320: 6d 65 72 61 74 65 45 6e 74 72 69 65 73 28 68 69 merateEntries(hi
1330: 64 64 65 6e 2c 20 61 72 72 29 3b 0d 0a 09 09 72 dden, arr);....r
1340: 65 74 75 72 6e 20 61 72 72 3b 0d 0a 09 7d 0d 0a eturn arr;...}..
1350: 0d 0a 09 70 72 69 76 61 74 65 20 76 6f 69 64 20 ...private void
1360: 65 6e 75 6d 65 72 61 74 65 45 6e 74 72 69 65 73 enumerateEntries
1370: 28 20 72 65 66 20 62 6f 6f 6c 5b 73 74 72 69 6e ( ref bool[strin
1380: 67 5d 20 68 69 64 64 65 6e 2c 20 72 65 66 20 54 g] hidden, ref T
1390: 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 uple!(string,Lay
13a0: 65 72 2c 56 61 6c 75 65 29 5b 5d 20 61 72 72 20 er,Value)[] arr
13b0: 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 65 61 63 68 )...{....foreach
13c0: 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d 0a (k, l2d; data)..
13d0: 09 09 09 69 66 28 20 6b 20 21 69 6e 20 68 69 64 ...if( k !in hid
13e0: 64 65 6e 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 den ).....{.....
13f0: 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b 20 6c 32 .foreach(l,d; l2
1400: 64 29 0d 0a 09 09 09 09 09 61 72 72 20 7e 3d 20 d).......arr ~=
1410: 74 75 70 6c 65 28 6b 2c 6c 2c 64 29 3b 0d 0a 09 tuple(k,l,d);...
1420: 09 09 09 68 69 64 64 65 6e 5b 6b 5d 20 3d 20 74 ...hidden[k] = t
1430: 72 75 65 3b 0d 0a 09 09 09 7d 0d 0a 09 09 69 66 rue;.....}....if
1440: 28 70 72 6f 74 6f 74 79 70 65 20 21 69 73 20 6e (prototype !is n
1450: 75 6c 6c 29 0d 0a 09 09 09 70 72 6f 74 6f 74 79 ull).....prototy
1460: 70 65 2e 65 6e 75 6d 65 72 61 74 65 45 6e 74 72 pe.enumerateEntr
1470: 69 65 73 28 68 69 64 64 65 6e 2c 20 61 72 72 29 ies(hidden, arr)
1480: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6f 76 65 72 72 69 ;...}.....overri
1490: 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 de string toStri
14a0: 6e 67 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 ng()...{....if(
14b0: 69 73 4c 69 73 74 28 29 20 29 0d 0a 09 09 09 72 isList() ).....r
14c0: 65 74 75 72 6e 20 74 65 78 74 28 74 6f 4c 69 73 eturn text(toLis
14d0: 74 28 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 t());....return
14e0: 22 7b 22 20 7e 20 74 6f 53 74 72 69 6e 67 57 69 "{" ~ toStringWi
14f0: 74 68 6f 75 74 50 61 72 65 6e 28 29 20 7e 20 22 thoutParen() ~ "
1500: 7d 22 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6f 76 65 72 }";...}.....over
1510: 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f ride int opCmp(O
1520: 62 6a 65 63 74 20 72 68 73 29 0d 0a 09 7b 0d 0a bject rhs)...{..
1530: 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 ..if(auto r = ca
1540: 73 74 28 54 61 62 6c 65 29 72 68 73 29 20 7b 0d st(Table)rhs) {.
1550: 0a 09 09 09 54 75 70 6c 65 21 28 73 74 72 69 6e ....Tuple!(strin
1560: 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d g,Layer,Value)[]
1570: 20 6c 73 20 3d 20 74 68 69 73 2e 65 6e 74 72 69 ls = this.entri
1580: 65 73 28 29 3b 0d 0a 09 09 09 54 75 70 6c 65 21 es();.....Tuple!
1590: 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c 56 61 (string,Layer,Va
15a0: 6c 75 65 29 5b 5d 20 72 73 20 3d 20 72 2e 65 6e lue)[] rs = r.en
15b0: 74 72 69 65 73 28 29 3b 0d 0a 09 09 09 69 66 28 tries();.....if(
15c0: 20 6c 73 2e 6c 65 6e 67 74 68 20 21 3d 20 72 73 ls.length != rs
15d0: 2e 6c 65 6e 67 74 68 20 29 0d 0a 09 09 09 09 72 .length )......r
15e0: 65 74 75 72 6e 20 28 6c 73 2e 6c 65 6e 67 74 68 eturn (ls.length
15f0: 20 3c 20 72 73 2e 6c 65 6e 67 74 68 20 3f 20 2d < rs.length ? -
1600: 31 20 3a 20 2b 31 29 3b 0d 0a 09 09 09 6c 73 2e 1 : +1);.....ls.
1610: 73 6f 72 74 28 29 3b 0d 0a 09 09 09 72 73 2e 73 sort();.....rs.s
1620: 6f 72 74 28 29 3b 0d 0a 09 09 09 66 6f 72 65 61 ort();.....forea
1630: 63 68 28 69 2c 5f 3b 20 6c 73 29 0d 0a 09 09 09 ch(i,_; ls).....
1640: 09 69 66 28 61 75 74 6f 20 63 20 3d 20 6c 73 5b .if(auto c = ls[
1650: 69 5d 2e 6f 70 43 6d 70 28 72 73 5b 69 5d 29 29 i].opCmp(rs[i]))
1660: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 63 3b .......return c;
1670: 0d 0a 09 09 09 72 65 74 75 72 6e 20 30 3b 0d 0a .....return 0;..
1680: 09 09 7d 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 ..}....if(auto r
1690: 20 3d 20 63 61 73 74 28 56 61 6c 75 65 29 72 68 = cast(Value)rh
16a0: 73 29 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 s) return typeid
16b0: 28 74 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 (this).opCmp(typ
16c0: 65 69 64 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f eid(r));....thro
16d0: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
16e0: 78 63 65 70 74 69 6f 6e 28 22 63 6f 6d 70 61 72 xception("compar
16f0: 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 ison with value
1700: 61 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 and somithing ot
1710: 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6f her");...}.....o
1720: 76 65 72 72 69 64 65 20 68 61 73 68 5f 74 20 74 verride hash_t t
1730: 6f 48 61 73 68 28 29 0d 0a 09 7b 0d 0a 09 09 54 oHash()...{....T
1740: 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 uple!(string,Lay
1750: 65 72 2c 56 61 6c 75 65 29 5b 5d 20 6c 73 20 3d er,Value)[] ls =
1760: 20 74 68 69 73 2e 65 6e 74 72 69 65 73 28 29 3b this.entries();
1770: 0d 0a 09 09 6c 73 2e 73 6f 72 74 28 29 3b 0d 0a ....ls.sort();..
1780: 09 09 68 61 73 68 5f 74 20 68 3b 0d 0a 09 09 66 ..hash_t h;....f
1790: 6f 72 65 61 63 68 28 65 3b 20 6c 73 29 0d 0a 09 oreach(e; ls)...
17a0: 09 09 68 20 2b 3d 20 73 74 72 75 63 74 75 72 61 ..h += structura
17b0: 6c 48 61 73 68 28 65 5b 30 5d 29 2b 73 74 72 75 lHash(e[0])+stru
17c0: 63 74 75 72 61 6c 48 61 73 68 28 65 5b 31 5d 29 cturalHash(e[1])
17d0: 2b 73 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 +structuralHash(
17e0: 65 5b 32 5d 29 3b 0d 0a 09 09 72 65 74 75 72 6e e[2]);....return
17f0: 20 68 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 h;...}....priva
1800: 74 65 3a 0d 0a 09 54 61 62 6c 65 20 20 20 20 20 te:...Table
1810: 20 20 20 20 20 20 20 20 20 20 20 70 72 6f 74 6f proto
1820: 74 79 70 65 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 type;...Kind
1830: 20 20 20 20 20 20 20 20 20 20 20 20 20 6b 69 6e kin
1840: 64 3b 0d 0a 09 56 61 6c 75 65 5b 4c 61 79 65 72 d;...Value[Layer
1850: 5d 5b 73 74 72 69 6e 67 5d 20 64 61 74 61 3b 0d ][string] data;.
1860: 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 74 72 ....string toStr
1870: 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 6e 28 ingWithoutParen(
1880: 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 09 73 ) const...{....s
1890: 74 72 69 6e 67 20 72 65 73 75 6c 74 3b 0d 0a 09 tring result;...
18a0: 09 62 6f 6f 6c 20 66 69 72 73 74 20 3d 20 74 72 .bool first = tr
18b0: 75 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 6b ue;....foreach(k
18c0: 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d 0a 09 09 , l2d; data)....
18d0: 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b 20 6c 32 .foreach(l,d; l2
18e0: 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 d).....{......if
18f0: 28 66 69 72 73 74 29 20 66 69 72 73 74 3d 66 61 (first) first=fa
1900: 6c 73 65 3b 20 65 6c 73 65 20 72 65 73 75 6c 74 lse; else result
1910: 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 09 72 65 73 ~=", ";......res
1920: 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 09 09 09 69 ult ~= k;......i
1930: 66 28 20 6c 2e 65 6d 70 74 79 20 29 0d 0a 09 09 f( l.empty )....
1940: 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 28 65 ...result ~= "(e
1950: 6d 70 74 79 6c 61 79 65 72 29 22 3b 0d 0a 09 09 mptylayer)";....
1960: 09 09 65 6c 73 65 20 69 66 28 20 6c 20 21 3d 20 ..else if( l !=
1970: 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 ValueLayer )....
1980: 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6c 3b 0d ...result ~= l;.
1990: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 .....result ~= "
19a0: 3a 22 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 :";......result
19b0: 7e 3d 20 74 65 78 74 28 63 61 73 74 28 56 61 6c ~= text(cast(Val
19c0: 75 65 29 64 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 ue)d);.....}....
19d0: 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 21 69 if( prototype !i
19e0: 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b 0d 0a 09 s null )....{...
19f0: 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 20 2f 20 ..result ~= " /
1a00: 22 3b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d ";.....result ~=
1a10: 20 70 72 6f 74 6f 74 79 70 65 2e 74 6f 53 74 72 prototype.toStr
1a20: 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 6e 28 ingWithoutParen(
1a30: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 );....}....retur
1a40: 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d 0a 0d n result;...}...
1a50: 0a 09 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 ..bool setIfExis
1a60: 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 t(string i, Laye
1a70: 72 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d r lay, Value v).
1a80: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
1a90: 64 61 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 data )....{.....
1aa0: 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 data[i][lay] = v
1ab0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 ;.....return tru
1ac0: 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b e;....}....if( k
1ad0: 69 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 ind==Kind.Propag
1ae0: 61 74 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 ateSet && protot
1af0: 79 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a ype !is null )..
1b00: 09 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 ...return protot
1b10: 79 70 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 ype.setIfExist(i
1b20: 2c 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 , lay, v);....re
1b30: 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d turn false;...}.
1b40: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
1b50: 7b 0d 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e {...Table c0 = n
1b60: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c ew Table;...Tabl
1b70: 65 20 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c e c01 = new Tabl
1b80: 65 28 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 e(c0, Table.Kind
1b90: 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 .NotPropagateSet
1ba0: 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 );...Table c012
1bb0: 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c = new Table(c01,
1bc0: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 Table.Kind.Prop
1bd0: 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 agateSet);...Tab
1be0: 6c 65 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 le c013 = new Ta
1bf0: 62 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b ble(c01, Table.K
1c00: 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 ind.PropagateSet
1c10: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
1c20: 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 throw( c012.set(
1c30: 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c "x", ValueLayer,
1c40: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 32 new IntValue(12
1c50: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 )) );...assert_t
1c60: 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 hrow!RuntimeExce
1c70: 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 65 74 28 ption( c013.get(
1c80: 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "x", ValueLayer)
1c90: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 );...assert_not
1ca0: 68 72 6f 77 28 20 63 30 31 33 2e 73 65 74 28 22 hrow( c013.set("
1cb0: 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 x", ValueLayer,
1cc0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 33 29 new IntValue(13)
1cd0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1ce0: 28 20 63 30 31 33 2e 67 65 74 28 22 78 22 2c 20 ( c013.get("x",
1cf0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
1d00: 20 49 6e 74 56 61 6c 75 65 28 31 33 29 20 29 3b IntValue(13) );
1d10: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1d20: 31 32 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 12.get("x", Valu
1d30: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
1d40: 56 61 6c 75 65 28 31 32 29 20 29 3b 0d 0a 09 61 Value(12) );...a
1d50: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 ssert_throw!Runt
1d60: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 imeException( c0
1d70: 31 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 1.get("x", Value
1d80: 4c 61 79 65 72 29 20 29 3b 0d 0a 0d 0a 09 61 73 Layer) );.....as
1d90: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 sert_nothrow( c0
1da0: 31 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 75 65 1.set("y", Value
1db0: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1dc0: 6c 75 65 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 lue(1)) );...ass
1dd0: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
1de0: 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("y", ValueLayer
1df0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1e00: 31 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 1) );...assert_e
1e10: 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c q( c012.get("y",
1e20: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1e30: 77 20 49 6e 74 56 61 6c 75 65 28 31 29 20 29 3b w IntValue(1) );
1e40: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1e50: 31 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 1.get("y", Value
1e60: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1e70: 61 6c 75 65 28 31 29 20 29 3b 0d 0a 0d 0a 09 61 alue(1) );.....a
1e80: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 ssert_nothrow( c
1e90: 30 2e 73 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 0.set("z", Value
1ea0: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1eb0: 6c 75 65 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 lue(0)) );...ass
1ec0: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
1ed0: 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("z", ValueLayer
1ee0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1ef0: 30 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 0) );...assert_e
1f00: 71 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c q( c012.get("z",
1f10: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1f20: 77 20 49 6e 74 56 61 6c 75 65 28 30 29 20 29 3b w IntValue(0) );
1f30: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1f40: 31 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 1.get("z", Value
1f50: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1f60: 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 61 73 73 alue(0) );...ass
1f70: 65 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 ert_eq( c0.get("
1f80: 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c z", ValueLayer),
1f90: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 new IntValue(0)
1fa0: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
1fb0: 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 othrow( c012.set
1fc0: 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("y", ValueLayer
1fd0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 34 , new IntValue(4
1fe0: 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 44)) );...assert
1ff0: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 _eq( c013.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 32 2e 67 65 74 28 22 79 22 2c 20 ( c012.get("y",
2040: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
2050: 20 49 6e 74 56 61 6c 75 65 28 34 34 34 29 20 29 IntValue(444) )
2060: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
2070: 30 31 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 01.get("y", Valu
2080: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
2090: 56 61 6c 75 65 28 34 34 34 29 20 29 3b 0d 0a 0d Value(444) );...
20a0: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
20b0: 28 20 63 30 31 32 2e 73 65 74 28 22 7a 22 2c 20 ( c012.set("z",
20c0: 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 ValueLayer, new
20d0: 49 6e 74 56 61 6c 75 65 28 35 35 35 29 29 20 29 IntValue(555)) )
20e0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
20f0: 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 013.get("z", Val
2100: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
2110: 74 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 09 61 tValue(0) );...a
2120: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
2130: 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 et("z", ValueLay
2140: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 er), new IntValu
2150: 65 28 35 35 35 29 20 29 3b 0d 0a 09 61 73 73 65 e(555) );...asse
2160: 72 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 rt_eq( c01.get("
2170: 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c z", ValueLayer),
2180: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 29 new IntValue(0)
2190: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
21a0: 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c c0.get("z", Val
21b0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
21c0: 74 56 61 6c 75 65 28 30 29 20 29 3b 0d 0a 0d 0a tValue(0) );....
21d0: 09 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e .// [TODO] defin
21e0: 65 20 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 e the semantics
21f0: 61 6e 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 and test @layers
2200: 0d 0a 7d 0d 0a ..}..