0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 52 75 6e 74 69 6d 65 20 64 61 *.. * Runtime da
0060: 74 61 20 73 74 72 75 63 74 75 72 65 73 20 66 6f ta structures fo
0070: 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d r Polemy program
0080: 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0d 0a ming language...
0090: 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 */..module pole
00a0: 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 my.value;..impor
00b0: 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e t polemy._common
00c0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00d0: 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 .failure;..impor
00e0: 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 t polemy.ast;..i
00f0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 mport polemy.lay
0100: 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69 er;..../// Runti
0110: 6d 65 20 76 61 6c 75 65 73 20 6f 66 20 50 6f 6c me values of Pol
0120: 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 emy....abstract
0130: 63 6c 61 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a class Value..{..
0140: 09 6f 76 65 72 72 69 64 65 20 62 6f 6f 6c 20 6f .override bool o
0150: 70 45 71 75 61 6c 73 28 4f 62 6a 65 63 74 20 72 pEquals(Object r
0160: 68 73 29 20 7b 20 72 65 74 75 72 6e 20 30 3d 3d hs) { return 0==
0170: 6f 70 43 6d 70 28 72 68 73 29 3b 20 7d 0d 0a 7d opCmp(rhs); }..}
0180: 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 49 ....///..class I
0190: 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d ntValue : Value.
01a0: 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 74 61 .{...BigInt data
01b0: 3b 0d 0a 0d 0a 09 74 68 69 73 28 62 6f 6f 6c 20 ;.....this(bool
01c0: 6e 29 20 7b 20 74 68 69 73 2e 64 61 74 61 20 3d n) { this.data =
01d0: 20 6e 3f 31 3a 30 3b 20 7d 0d 0a 09 74 68 69 73 n?1:0; }...this
01e0: 28 69 6e 74 20 6e 29 20 7b 20 74 68 69 73 2e 64 (int n) { this.d
01f0: 61 74 61 20 3d 20 6e 3b 20 7d 0d 0a 09 74 68 69 ata = n; }...thi
0200: 73 28 6c 6f 6e 67 20 6e 29 20 7b 20 74 68 69 73 s(long n) { this
0210: 2e 64 61 74 61 20 3d 20 6e 3b 20 7d 0d 0a 09 74 .data = n; }...t
0220: 68 69 73 28 42 69 67 49 6e 74 20 6e 29 20 7b 20 his(BigInt n) {
0230: 74 68 69 73 2e 64 61 74 61 20 3d 20 6e 3b 20 7d this.data = n; }
0240: 0d 0a 09 74 68 69 73 28 73 74 72 69 6e 67 20 6e ...this(string n
0250: 29 20 7b 20 74 68 69 73 2e 64 61 74 61 20 3d 20 ) { this.data =
0260: 42 69 67 49 6e 74 28 6e 29 3b 20 7d 0d 0a 09 6f BigInt(n); }...o
0270: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
0280: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 oString() const
0290: 7b 20 72 65 74 75 72 6e 20 74 6f 44 65 63 69 6d { return toDecim
02a0: 61 6c 53 74 72 69 6e 67 28 63 61 73 74 28 42 69 alString(cast(Bi
02b0: 67 49 6e 74 29 64 61 74 61 29 3b 20 7d 0d 0a 09 gInt)data); }...
02c0: 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 override int opC
02d0: 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b mp(Object rhs) {
02e0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 ....if(auto r =
02f0: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 72 68 cast(IntValue)rh
0300: 73 29 20 72 65 74 75 72 6e 20 64 61 74 61 2e 6f s) return data.o
0310: 70 43 6d 70 28 72 2e 64 61 74 61 29 3b 0d 0a 09 pCmp(r.data);...
0320: 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 .if(auto r = cas
0330: 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 20 t(Value)rhs)
0340: 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 return typeid(th
0350: 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 is).opCmp(typeid
0360: 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 (r));....throw g
0370: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
0380: 70 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 6f ption(LexPositio
0390: 6e 2e 64 75 6d 6d 79 2c 20 22 63 6f 6d 70 61 72 n.dummy, "compar
03a0: 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 ison with value
03b0: 61 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 and somithing ot
03c0: 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 her");...}...mix
03d0: 69 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b in SimpleToHash;
03e0: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 ..}....///..clas
03f0: 73 20 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c s StrValue : Val
0400: 75 65 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 ue..{...string d
0410: 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 ata;.....mixin S
0420: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
0430: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 ;...override str
0440: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 ing toString() c
0450: 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 onst { return da
0460: 74 61 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 ta; }...override
0470: 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 int opCmp(Objec
0480: 74 20 72 68 73 29 20 7b 0d 0a 09 09 69 66 28 61 t rhs) {....if(a
0490: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 53 74 72 uto r = cast(Str
04a0: 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 Value)rhs) retur
04b0: 6e 20 74 79 70 65 69 64 28 73 74 72 69 6e 67 29 n typeid(string)
04c0: 2e 63 6f 6d 70 61 72 65 28 26 64 61 74 61 2c 20 .compare(&data,
04d0: 26 72 2e 64 61 74 61 29 3b 0d 0a 09 09 69 66 28 &r.data);....if(
04e0: 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 auto r = cast(Va
04f0: 6c 75 65 29 72 68 73 29 20 20 20 20 72 65 74 75 lue)rhs) retu
0500: 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e rn typeid(this).
0510: 6f 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 opCmp(typeid(r))
0520: 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 ;....throw genex
0530: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
0540: 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 n(LexPosition.du
0550: 6d 6d 79 2c 20 22 63 6f 6d 70 61 72 69 73 6f 6e mmy, "comparison
0560: 20 77 69 74 68 20 76 61 6c 75 65 20 61 6e 64 20 with value and
0570: 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 65 72 22 somithing other"
0580: 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 6e 20 53 );...}...mixin S
0590: 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 7d 0d impleToHash;..}.
05a0: 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 55 6e ...///..class Un
05b0: 64 65 66 69 6e 65 64 56 61 6c 75 65 20 3a 20 56 definedValue : V
05c0: 61 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 alue..{...mixin
05d0: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
05e0: 72 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 r;...override st
05f0: 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 ring toString()
0600: 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 22 const { return "
0610: 3c 75 6e 64 65 66 69 6e 65 64 3e 22 3b 20 7d 0d <undefined>"; }.
0620: 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f ..override int o
0630: 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 pCmp(Object rhs)
0640: 20 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 20 {....if(auto r
0650: 3d 20 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 = cast(StrValue)
0660: 72 68 73 29 20 72 65 74 75 72 6e 20 30 3b 0d 0a rhs) return 0;..
0670: 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 ..if(auto r = ca
0680: 73 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 st(Value)rhs)
0690: 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 return typeid(t
06a0: 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 his).opCmp(typei
06b0: 64 28 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 d(r));....throw
06c0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
06d0: 65 70 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 eption(LexPositi
06e0: 6f 6e 2e 64 75 6d 6d 79 2c 20 22 63 6f 6d 70 61 on.dummy, "compa
06f0: 72 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 rison with value
0700: 20 61 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f and somithing o
0710: 74 68 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 ther");...}...mi
0720: 78 69 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 xin SimpleToHash
0730: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 ;..}....///..abs
0740: 74 72 61 63 74 20 63 6c 61 73 73 20 46 75 6e 56 tract class FunV
0750: 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d alue : Value..{.
0760: 0a 09 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 ..const(Paramete
0770: 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 3b 0d 0a r[]) params();..
0780: 09 54 61 62 6c 65 20 64 65 66 69 6e 69 74 69 6f .Table definitio
0790: 6e 43 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 56 61 nContext();...Va
07a0: 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 61 79 65 72 lue invoke(Layer
07b0: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c lay, Table ctx,
07c0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 LexPosition pos
07d0: 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e );..}..../// Con
07e0: 74 65 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 text (variable e
07f0: 6e 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f nvironment)..///
0800: 20 53 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f Simlar to proto
0810: 74 79 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 type chain of EC
0820: 4d 41 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f MAScript etc.../
0830: 2f 2f 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 // But extended
0840: 77 69 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 with the notion
0850: 6f 66 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c of "Layer"....cl
0860: 61 73 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 ass Table : Valu
0870: 65 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 e..{...enum Kind
0880: 20 7b 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 {PropagateSet,
0890: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d NotPropagateSet}
08a0: 3b 0d 0a 09 62 6f 6f 6c 20 6b 69 6c 6c 20 3d 20 ;...bool kill =
08b0: 66 61 6c 73 65 3b 20 2f 2f 20 74 6f 20 72 65 66 false; // to ref
08c0: 61 63 74 6f 72 0d 0a 0d 0a 09 74 68 69 73 28 20 actor.....this(
08d0: 54 61 62 6c 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c Table proto=null
08e0: 2c 20 4b 69 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e , Kind k = Kind.
08f0: 50 72 6f 70 61 67 61 74 65 53 65 74 20 29 0d 0a PropagateSet )..
0900: 09 09 7b 20 74 68 69 73 2e 70 72 6f 74 6f 74 79 ..{ this.prototy
0910: 70 65 20 3d 20 70 72 6f 74 6f 3b 20 74 68 69 73 pe = proto; this
0920: 2e 6b 69 6e 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a .kind = k; }....
0930: 09 76 6f 69 64 20 73 65 74 28 73 74 72 69 6e 67 .void set(string
0940: 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 i, Layer lay, V
0950: 61 6c 75 65 20 76 2c 20 4c 65 78 50 6f 73 69 74 alue v, LexPosit
0960: 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 ion pos=null)...
0970: 7b 0d 0a 09 09 69 66 28 20 73 65 74 49 66 45 78 {....if( setIfEx
0980: 69 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 ist(i, lay, v) )
0990: 0d 0a 09 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 .....return;....
09a0: 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 data[i][lay] = v
09b0: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 ;...}.....bool h
09c0: 61 73 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 as(string i, Lay
09d0: 65 72 20 6c 61 79 29 20 63 6f 6e 73 74 0d 0a 09 er lay) const...
09e0: 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 {....if( i in da
09f0: 74 61 20 29 20 7b 0d 0a 09 09 09 69 66 28 20 6c ta ) {.....if( l
0a00: 61 79 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 ay !in data[i] )
0a10: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 61 6c ......return fal
0a20: 73 65 3b 0d 0a 09 09 09 69 66 28 6b 69 6c 6c 29 se;.....if(kill)
0a30: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 61 6c ......return fal
0a40: 73 65 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 se;.....return t
0a50: 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 rue;....}....if(
0a60: 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 prototype is nu
0a70: 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 ll ).....return
0a80: 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e false;....return
0a90: 20 70 72 6f 74 6f 74 79 70 65 2e 68 61 73 28 69 prototype.has(i
0aa0: 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a , lay);...}.....
0ab0: 09 56 61 6c 75 65 20 67 65 74 28 73 74 72 69 6e .Value get(strin
0ac0: 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 g i, Layer lay,
0ad0: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d LexPosition pos=
0ae0: 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 null)...{....if(
0af0: 20 69 20 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a i in data ) {..
0b00: 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 63 6f 6e ...// [TODO] con
0b10: 73 69 64 65 72 20 66 6f 72 77 61 72 64 69 6e 67 sider forwarding
0b20: 20 74 6f 20 70 72 6f 74 6f 20 61 6c 73 6f 20 69 to proto also i
0b30: 6e 20 74 68 69 73 20 63 61 73 65 0d 0a 09 09 09 n this case.....
0b40: 69 66 28 20 6c 61 79 20 21 69 6e 20 64 61 74 61 if( lay !in data
0b50: 5b 69 5d 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 [i] )......throw
0b60: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0b70: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 ception(pos, spr
0b80: 69 6e 74 66 21 22 27 25 73 27 20 69 73 20 6e 6f intf!"'%s' is no
0b90: 74 20 73 65 74 20 69 6e 20 6c 61 79 65 72 20 25 t set in layer %
0ba0: 73 22 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 s"(i,lay));.....
0bb0: 69 66 28 6b 69 6c 6c 29 0d 0a 09 09 09 09 74 68 if(kill)......th
0bc0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
0bd0: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
0be0: 73 70 72 69 6e 74 66 21 22 27 25 73 27 20 69 73 sprintf!"'%s' is
0bf0: 20 6b 69 6c 6c 65 64 20 69 6e 20 6d 61 63 72 6f killed in macro
0c00: 22 28 69 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 "(i));.....retur
0c10: 6e 20 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 3b 0d n data[i][lay];.
0c20: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 72 6f 74 ...}....if( prot
0c30: 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 29 0d otype is null ).
0c40: 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 52 75 ....throw new Ru
0c50: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
0c60: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73 os, sprintf!"'%s
0c70: 27 20 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 ' not found"(i))
0c80: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 ;....return prot
0c90: 6f 74 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 otype.get(i, lay
0ca0: 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 , pos);...}.....
0cb0: 54 20 61 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 T access(T,S...)
0cc0: 28 20 4c 61 79 65 72 20 6c 61 79 2c 20 73 74 72 ( Layer lay, str
0cd0: 69 6e 67 20 70 61 74 68 2c 20 53 20 72 65 73 74 ing path, S rest
0ce0: 20 29 0d 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 )...{....static
0cf0: 20 69 66 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 if( rest.length
0d00: 20 3d 3d 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 == 0 )....{....
0d10: 09 69 66 28 20 74 68 69 73 2e 68 61 73 28 70 61 .if( this.has(pa
0d20: 74 68 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 th, lay) )......
0d30: 72 65 74 75 72 6e 20 63 61 73 74 28 54 29 20 74 return cast(T) t
0d40: 68 69 73 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 his.get(path, la
0d50: 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 y);....}....else
0d60: 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 ....{.....if(aut
0d70: 6f 20 6e 65 78 74 20 3d 20 74 68 69 73 2e 61 63 o next = this.ac
0d80: 63 65 73 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 cess!Table(lay,p
0d90: 61 74 68 29 29 0d 0a 09 09 09 09 72 65 74 75 72 ath))......retur
0da0: 6e 20 6e 65 78 74 2e 61 63 63 65 73 73 21 54 28 n next.access!T(
0db0: 6c 61 79 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d lay,rest);....}.
0dc0: 0a 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d ...return null;.
0dd0: 0a 09 7d 0d 0a 0d 0a 09 73 74 72 69 6e 67 20 74 ..}.....string t
0de0: 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 oStringWithoutPa
0df0: 72 65 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d ren() const...{.
0e00: 0a 09 09 73 74 72 69 6e 67 20 72 65 73 75 6c 74 ...string result
0e10: 3b 0d 0a 09 09 62 6f 6f 6c 20 66 69 72 73 74 20 ;....bool first
0e20: 3d 20 74 72 75 65 3b 0d 0a 09 09 66 6f 72 65 61 = true;....forea
0e30: 63 68 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 ch(k, l2d; data)
0e40: 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 .....foreach(l,d
0e50: 3b 20 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 ; l2d).....{....
0e60: 09 09 69 66 28 66 69 72 73 74 29 20 66 69 72 73 ..if(first) firs
0e70: 74 3d 66 61 6c 73 65 3b 20 65 6c 73 65 20 72 65 t=false; else re
0e80: 73 75 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 sult~=", ";.....
0e90: 09 72 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 .result ~= k;...
0ea0: 09 09 09 69 66 28 20 6c 2e 65 6d 70 74 79 20 29 ...if( l.empty )
0eb0: 0d 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d .......result ~=
0ec0: 20 22 28 65 6d 70 74 79 6c 61 79 65 72 29 22 3b "(emptylayer)";
0ed0: 0d 0a 09 09 09 09 65 6c 73 65 20 69 66 28 20 6c ......else if( l
0ee0: 20 21 3d 20 56 61 6c 75 65 4c 61 79 65 72 20 29 != ValueLayer )
0ef0: 0d 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d .......result ~=
0f00: 20 6c 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 l;......result
0f10: 7e 3d 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73 ~= ":";......res
0f20: 75 6c 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74 ult ~= text(cast
0f30: 28 56 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d (Value)d);.....}
0f40: 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 ....if( prototyp
0f50: 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 e !is null )....
0f60: 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 {.....result ~=
0f70: 22 20 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c " / ";.....resul
0f80: 74 20 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74 t ~= prototype.t
0f90: 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 oStringWithoutPa
0fa0: 72 65 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 ren();....}....r
0fb0: 65 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 eturn result;...
0fc0: 7d 0d 0a 09 0d 0a 09 73 74 72 69 6e 67 20 74 6f }......string to
0fd0: 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a String() const..
0fe0: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 22 7b 22 .{....return "{"
0ff0: 20 7e 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f ~ toStringWitho
1000: 75 74 50 61 72 65 6e 28 29 20 7e 20 22 7d 22 3b utParen() ~ "}";
1010: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a ...}....private:
1020: 0d 0a 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 ...Table
1030: 20 20 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 prototyp
1040: 65 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 e;...Kind
1050: 20 20 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d kind;.
1060: 0a 09 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 ..Value[Layer][s
1070: 74 72 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a tring] data;....
1080: 09 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 .bool setIfExist
1090: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
10a0: 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a lay, Value v)..
10b0: 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 .{....if( i in d
10c0: 61 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 ata )....{.....d
10d0: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b ata[i][lay] = v;
10e0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 .....return true
10f0: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 ;....}....if( ki
1100: 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 nd==Kind.Propaga
1110: 74 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 teSet && prototy
1120: 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 pe !is null )...
1130: 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 ..return prototy
1140: 70 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c pe.setIfExist(i,
1150: 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 lay, v);....ret
1160: 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a urn false;...}..
1170: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
1180: 0d 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 ...Table c0 = ne
1190: 77 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 w Table;...Table
11a0: 20 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 c01 = new Table
11b0: 28 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e (c0, Table.Kind.
11c0: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 NotPropagateSet)
11d0: 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d ;...Table c012 =
11e0: 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 new Table(c01,
11f0: 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 Table.Kind.Propa
1200: 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c gateSet);...Tabl
1210: 65 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 e c013 = new Tab
1220: 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 le(c01, Table.Ki
1230: 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 nd.PropagateSet)
1240: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
1250: 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 hrow( c012.set("
1260: 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 x", ValueLayer,
1270: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1280: 49 6e 74 28 31 32 29 29 29 20 29 3b 0d 0a 09 61 Int(12))) );...a
1290: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 ssert_throw!Runt
12a0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 imeException( c0
12b0: 31 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 13.get("x", Valu
12c0: 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 eLayer) );...ass
12d0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
12e0: 33 2e 73 65 74 28 22 78 22 2c 20 56 61 6c 75 65 3.set("x", Value
12f0: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1300: 6c 75 65 28 42 69 67 49 6e 74 28 31 33 29 29 29 lue(BigInt(13)))
1310: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1320: 20 63 30 31 33 2e 67 65 74 28 22 78 22 2c 20 56 c013.get("x", V
1330: 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 alueLayer), new
1340: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1350: 31 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 13)) );...assert
1360: 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 78 _eq( c012.get("x
1370: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1380: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1390: 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 Int(12)) );...as
13a0: 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 sert_throw!Runti
13b0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 meException( c01
13c0: 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c .get("x", ValueL
13d0: 61 79 65 72 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 ayer) );.....ass
13e0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
13f0: 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c .set("y", ValueL
1400: 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c ayer, new IntVal
1410: 75 65 28 42 69 67 49 6e 74 28 31 29 29 29 20 29 ue(BigInt(1))) )
1420: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1430: 30 31 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 013.get("y", Val
1440: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1450: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 tValue(BigInt(1)
1460: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1470: 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 ( c012.get("y",
1480: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
1490: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
14a0: 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (1)) );...assert
14b0: 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 22 _eq( c01.get("y"
14c0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
14d0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
14e0: 6e 74 28 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 nt(1)) );.....as
14f0: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 sert_nothrow( c0
1500: 2e 73 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .set("z", ValueL
1510: 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c ayer, new IntVal
1520: 75 65 28 42 69 67 49 6e 74 28 30 29 29 29 20 29 ue(BigInt(0))) )
1530: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1540: 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 013.get("z", Val
1550: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1560: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
1570: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1580: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 ( c012.get("z",
1590: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
15a0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
15b0: 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (0)) );...assert
15c0: 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 _eq( c01.get("z"
15d0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
15e0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
15f0: 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(0)) );...asse
1600: 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a rt_eq( c0.get("z
1610: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1620: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1630: 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 61 Int(0)) );.....a
1640: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 ssert_nothrow( c
1650: 30 31 32 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 012.set("y", Val
1660: 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 ueLayer, new Int
1670: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 Value(BigInt(444
1680: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ))) );...assert_
1690: 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 eq( c013.get("y"
16a0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
16b0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
16c0: 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 73 nt(444)) );...as
16d0: 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 sert_eq( c012.ge
16e0: 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("y", ValueLaye
16f0: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
1700: 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b (BigInt(444)) );
1710: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1720: 31 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 1.get("y", Value
1730: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1740: 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 alue(BigInt(444)
1750: 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f ) );.....assert_
1760: 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 nothrow( c012.se
1770: 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("z", ValueLaye
1780: 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 r, new IntValue(
1790: 42 69 67 49 6e 74 28 35 35 35 29 29 29 20 29 3b BigInt(555))) );
17a0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
17b0: 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 13.get("z", Valu
17c0: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
17d0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
17e0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
17f0: 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 c012.get("z", V
1800: 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 alueLayer), new
1810: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1820: 35 35 35 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 555)) );...asser
1830: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a t_eq( c01.get("z
1840: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ", ValueLayer),
1850: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1860: 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 Int(0)) );...ass
1870: 65 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 ert_eq( c0.get("
1880: 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c z", ValueLayer),
1890: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
18a0: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 gInt(0)) );.....
18b0: 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 // [TODO] define
18c0: 20 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 the semantics a
18d0: 6e 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d nd test @layers.
18e0: 0a 7d 0d 0a .}..