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 6c 65 78 3b 0d 0a 0d 0a 2f 2f 2f 20 52 61 69 .lex;..../// Rai
00e0: 73 65 64 20 77 68 65 6e 20 73 6f 6d 65 74 68 69 sed when somethi
00f0: 6e 67 20 77 65 6e 74 20 77 72 6f 6e 67 20 69 6e ng went wrong in
0100: 20 72 75 6e 74 69 6d 65 0d 0a 0d 0a 63 6c 61 73 runtime....clas
0110: 73 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 s RuntimeExcepti
0120: 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f 6e 0d 0a on : Exception..
0130: 7b 0d 0a 09 6d 69 78 69 6e 20 45 78 63 65 70 74 {...mixin Except
0140: 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e 3b ionWithPosition;
0150: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69 ..}..../// Runti
0160: 6d 65 20 76 61 6c 75 65 73 20 6f 66 20 50 6f 6c me values of Pol
0170: 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 emy....abstract
0180: 63 6c 61 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a class Value..{..
0190: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 }....///..class
01a0: 49 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 IntValue : Value
01b0: 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 74 ..{...BigInt dat
01c0: 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d a;.....mixin Sim
01d0: 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 pleClass;...over
01e0: 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 ride string toSt
01f0: 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 ring() const { r
0200: 65 74 75 72 6e 20 73 74 64 2e 62 69 67 69 6e 74 eturn std.bigint
0210: 2e 74 6f 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 .toDecimalString
0220: 28 63 61 73 74 28 42 69 67 49 6e 74 29 64 61 74 (cast(BigInt)dat
0230: 61 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d a); }..}....///.
0240: 0a 63 6c 61 73 73 20 53 74 72 56 61 6c 75 65 20 .class StrValue
0250: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 73 74 72 : Value..{...str
0260: 69 6e 67 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 ing data;.....mi
0270: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b xin SimpleClass;
0280: 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 ...override stri
0290: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f ng toString() co
02a0: 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 74 nst { return dat
02b0: 61 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a a; }..}....///..
02c0: 63 6c 61 73 73 20 46 75 6e 56 61 6c 75 65 20 3a class FunValue :
02d0: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 56 61 6c 75 Value..{...Valu
02e0: 65 20 64 65 6c 65 67 61 74 65 28 69 6d 6d 75 74 e delegate(immut
02f0: 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e able LexPosition
0300: 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6c 61 79 pos, string lay
0310: 2c 20 56 61 6c 75 65 5b 5d 29 20 64 61 74 61 3b , Value[]) data;
0320: 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c .....mixin Simpl
0330: 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 eConstructor;...
0340: 61 6c 69 61 73 20 64 61 74 61 20 63 61 6c 6c 3b alias data call;
0350: 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 ...override stri
0360: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f ng toString() co
0370: 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 73 70 72 nst { return spr
0380: 69 6e 74 66 21 22 28 66 75 6e 63 74 69 6f 6e 3a intf!"(function:
0390: 25 73 3a 25 73 29 22 28 64 61 74 61 2e 70 74 72 %s:%s)"(data.ptr
03a0: 2c 64 61 74 61 2e 66 75 6e 63 70 74 72 29 3b 20 ,data.funcptr);
03b0: 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 }..}....///..cla
03c0: 73 73 20 55 6e 64 56 61 6c 75 65 20 3a 20 56 61 ss UndValue : Va
03d0: 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 53 lue..{...mixin S
03e0: 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 impleClass;...ov
03f0: 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f erride string to
0400: 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b String() const {
0410: 20 72 65 74 75 72 6e 20 22 3c 75 6e 64 65 66 69 return "<undefi
0420: 6e 65 64 3e 22 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f ned>"; }..}..../
0430: 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 72 75 // Named Constru
0440: 63 74 6f 72 20 66 6f 72 20 46 75 6e 56 61 6c 75 ctor for FunValu
0450: 65 0d 0a 0d 0a 46 75 6e 56 61 6c 75 65 20 6e 61 e....FunValue na
0460: 74 69 76 65 66 28 56 61 6c 75 65 20 64 65 6c 65 tivef(Value dele
0470: 67 61 74 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c gate(immutable L
0480: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
0490: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
04a0: 5b 5d 20 61 72 67 73 29 20 64 67 29 0d 0a 7b 0d [] args) dg)..{.
04b0: 0a 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e ..return new Fun
04c0: 56 61 6c 75 65 28 64 67 29 3b 0d 0a 7d 0d 0a 0d Value(dg);..}...
04d0: 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 ./// Named Const
04e0: 72 75 63 74 6f 72 20 66 6f 72 20 46 75 6e 56 61 ructor for FunVa
04f0: 6c 75 65 0d 0a 0d 0a 46 75 6e 56 61 6c 75 65 20 lue....FunValue
0500: 6e 61 74 69 76 65 28 52 2c 54 2e 2e 2e 29 28 52 native(R,T...)(R
0510: 20 64 65 6c 65 67 61 74 65 20 28 54 29 20 64 67 delegate (T) dg
0520: 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 6e 61 )..{...return na
0530: 74 69 76 65 66 28 20 64 65 6c 65 67 61 74 65 20 tivef( delegate
0540: 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 Value(immutable
0550: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
0560: 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 Layer lay, Valu
0570: 65 5b 5d 20 61 72 67 73 29 20 7b 0d 0a 09 09 69 e[] args) {....i
0580: 66 28 20 6c 61 79 20 21 3d 20 22 40 76 22 20 29 f( lay != "@v" )
0590: 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
05a0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
05b0: 6e 28 70 6f 73 2c 20 22 6f 6e 6c 79 20 40 76 20 n(pos, "only @v
05c0: 6c 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e layer can call n
05d0: 61 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 22 29 ative function")
05e0: 3b 0d 0a 09 09 69 66 28 20 54 2e 6c 65 6e 67 74 ;....if( T.lengt
05f0: 68 20 21 3d 20 61 72 67 73 2e 6c 65 6e 67 74 68 h != args.length
0600: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e ).....throw gen
0610: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0620: 69 6f 6e 28 70 6f 73 2c 20 22 61 72 67 75 6d 65 ion(pos, "argume
0630: 6e 74 20 6e 75 6d 62 65 72 20 6d 69 73 6d 61 74 nt number mismat
0640: 63 68 21 22 29 3b 0d 0a 09 09 54 20 74 79 70 65 ch!");....T type
0650: 64 5f 61 72 67 73 3b 0d 0a 09 09 66 6f 72 65 61 d_args;....forea
0660: 63 68 28 69 2c 20 54 69 3b 20 54 29 0d 0a 09 09 ch(i, Ti; T)....
0670: 7b 0d 0a 09 09 09 74 79 70 65 64 5f 61 72 67 73 {.....typed_args
0680: 5b 69 5d 20 3d 20 63 61 73 74 28 54 69 29 20 61 [i] = cast(Ti) a
0690: 72 67 73 5b 69 5d 3b 0d 0a 09 09 09 69 66 28 20 rgs[i];.....if(
06a0: 74 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 69 73 typed_args[i] is
06b0: 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 74 68 72 null )......thr
06c0: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
06d0: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 Exception(pos, s
06e0: 70 72 69 6e 74 66 21 22 74 79 70 65 20 6d 69 73 printf!"type mis
06f0: 6d 61 74 63 68 20 6f 6e 20 74 68 65 20 61 72 67 match on the arg
0700: 75 6d 65 6e 74 20 25 64 22 28 69 2b 31 29 29 3b ument %d"(i+1));
0710: 0d 0a 09 09 7d 0d 0a 09 09 74 72 79 20 7b 0d 0a ....}....try {..
0720: 09 09 09 72 65 74 75 72 6e 20 64 67 28 74 79 70 ...return dg(typ
0730: 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 7d 20 63 ed_args);....} c
0740: 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45 78 63 atch( RuntimeExc
0750: 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 eption e ) {....
0760: 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 69 73 20 .throw e.pos is
0770: 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 6e 74 69 null ? new Runti
0780: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
0790: 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c 65 2c 20 e.msg, e.file,
07a0: 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d 0a 09 09 e.line) : e;....
07b0: 7d 0d 0a 09 7d 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f }...});..}....//
07c0: 2f 20 4c 61 79 65 72 20 49 44 0d 0a 0d 0a 61 6c / Layer ID....al
07d0: 69 61 73 20 73 74 72 69 6e 67 20 4c 61 79 65 72 ias string Layer
07e0: 3b 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 78 74 ;..../// Context
07f0: 20 28 76 61 72 69 61 62 6c 65 20 65 6e 76 69 72 (variable envir
0800: 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 53 69 6d onment)../// Sim
0810: 6c 61 72 20 74 6f 20 70 72 6f 74 6f 74 79 70 65 lar to prototype
0820: 20 63 68 61 69 6e 20 6f 66 20 45 43 4d 41 53 63 chain of ECMASc
0830: 72 69 70 74 20 65 74 63 2e 0d 0a 2f 2f 2f 20 42 ript etc.../// B
0840: 75 74 20 65 78 74 65 6e 64 65 64 20 77 69 74 68 ut extended with
0850: 20 74 68 65 20 6e 6f 74 69 6f 6e 20 6f 66 20 22 the notion of "
0860: 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 73 73 20 Layer"....class
0870: 54 61 62 6c 65 20 3a 20 56 61 6c 75 65 0d 0a 7b Table : Value..{
0880: 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 7b 50 72 ...enum Kind {Pr
0890: 6f 70 61 67 61 74 65 53 65 74 2c 20 4e 6f 74 50 opagateSet, NotP
08a0: 72 6f 70 61 67 61 74 65 53 65 74 7d 3b 0d 0a 0d ropagateSet};...
08b0: 0a 09 74 68 69 73 28 20 54 61 62 6c 65 20 70 72 ..this( Table pr
08c0: 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 6e 64 20 6b oto=null, Kind k
08d0: 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 = Kind.Propagat
08e0: 65 53 65 74 20 29 0d 0a 09 09 7b 20 74 68 69 73 eSet )....{ this
08f0: 2e 70 72 6f 74 6f 74 79 70 65 20 3d 20 70 72 6f .prototype = pro
0900: 74 6f 3b 20 74 68 69 73 2e 6b 69 6e 64 20 3d 20 to; this.kind =
0910: 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 64 20 73 65 k; }.....void se
0920: 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 t(string i, Laye
0930: 72 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 2c 20 r lay, Value v,
0940: 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 in LexPosition p
0950: 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 os=null)...{....
0960: 69 66 28 20 73 65 74 49 66 45 78 69 73 74 28 69 if( setIfExist(i
0970: 2c 20 6c 61 79 2c 20 76 29 20 29 0d 0a 09 09 09 , lay, v) ).....
0980: 72 65 74 75 72 6e 3b 0d 0a 09 09 64 61 74 61 5b return;....data[
0990: 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 7d i][lay] = v;...}
09a0: 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 73 28 73 74 .....bool has(st
09b0: 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 ring i, Layer la
09c0: 79 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f y, in LexPositio
09d0: 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d n pos=null)...{.
09e0: 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 ...if( i in data
09f0: 20 29 20 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 ) {.....if( lay
0a00: 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a !in data[i] )..
0a10: 09 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 ....return false
0a20: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 ;.....return tru
0a30: 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 e;....}....if( p
0a40: 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c rototype is null
0a50: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 ).....return fa
0a60: 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 lse;....return p
0a70: 72 6f 74 6f 74 79 70 65 2e 68 61 73 28 69 2c 20 rototype.has(i,
0a80: 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a lay, pos);...}..
0a90: 09 0d 0a 09 56 61 6c 75 65 20 67 65 74 28 73 74 ....Value get(st
0aa0: 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 ring i, Layer la
0ab0: 79 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f y, in LexPositio
0ac0: 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d n pos=null)...{.
0ad0: 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 ...if( i in data
0ae0: 20 29 20 7b 0d 0a 09 09 09 2f 2f 20 5b 54 4f 44 ) {.....// [TOD
0af0: 4f 5d 20 63 6f 6e 73 69 64 65 72 20 66 6f 72 77 O] consider forw
0b00: 61 72 64 69 6e 67 20 74 6f 20 70 72 6f 74 6f 20 arding to proto
0b10: 61 6c 73 6f 20 69 6e 20 74 68 69 73 20 63 61 73 also in this cas
0b20: 65 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 21 69 e.....if( lay !i
0b30: 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a 09 09 09 n data[i] ).....
0b40: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
0b50: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
0b60: 73 2c 20 73 70 72 69 6e 74 66 21 22 76 61 72 69 s, sprintf!"vari
0b70: 61 62 6c 65 20 25 73 20 69 73 20 6e 6f 74 20 73 able %s is not s
0b80: 65 74 20 69 6e 20 6c 61 79 65 72 20 25 73 22 28 et in layer %s"(
0b90: 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 72 65 74 i,lay));.....ret
0ba0: 75 72 6e 20 64 61 74 61 5b 69 5d 5b 6c 61 79 5d urn data[i][lay]
0bb0: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 72 ;....}....if( pr
0bc0: 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 ototype is null
0bd0: 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 ).....throw new
0be0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0bf0: 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 76 (pos, sprintf!"v
0c00: 61 72 69 61 62 6c 65 20 25 73 20 6e 6f 74 20 66 ariable %s not f
0c10: 6f 75 6e 64 22 28 69 29 29 3b 0d 0a 09 09 72 65 ound"(i));....re
0c20: 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 67 turn prototype.g
0c30: 65 74 28 69 2c 20 6c 61 79 2c 20 70 6f 73 29 3b et(i, lay, pos);
0c40: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a ...}....private:
0c50: 0d 0a 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 ...Table
0c60: 20 20 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 prototyp
0c70: 65 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 e;...Kind
0c80: 20 20 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d kind;.
0c90: 0a 09 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 ..Value[Layer][s
0ca0: 74 72 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a tring] data;....
0cb0: 09 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 .bool setIfExist
0cc0: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
0cd0: 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a lay, Value v)..
0ce0: 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 .{....if( i in d
0cf0: 61 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 ata )....{.....d
0d00: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b ata[i][lay] = v;
0d10: 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 .....return true
0d20: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 ;....}....if( ki
0d30: 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 nd==Kind.Propaga
0d40: 74 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 teSet && prototy
0d50: 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 pe !is null )...
0d60: 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 ..return prototy
0d70: 70 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c pe.setIfExist(i,
0d80: 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 lay, v);....ret
0d90: 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a urn false;...}..
0da0: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
0db0: 0d 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 ...Table c0 = ne
0dc0: 77 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 w Table;...Table
0dd0: 20 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 c01 = new Table
0de0: 28 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e (c0, Table.Kind.
0df0: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 NotPropagateSet)
0e00: 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d ;...Table c012 =
0e10: 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 new Table(c01,
0e20: 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 Table.Kind.Propa
0e30: 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c gateSet);...Tabl
0e40: 65 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 e c013 = new Tab
0e50: 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 le(c01, Table.Ki
0e60: 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 nd.PropagateSet)
0e70: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
0e80: 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 hrow( c012.set("
0e90: 78 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e x", "@v", new In
0ea0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 32 tValue(BigInt(12
0eb0: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ))) );...assert_
0ec0: 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 throw!RuntimeExc
0ed0: 65 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 65 74 eption( c013.get
0ee0: 28 22 78 22 2c 20 22 40 76 22 29 20 29 3b 0d 0a ("x", "@v") );..
0ef0: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
0f00: 20 63 30 31 33 2e 73 65 74 28 22 78 22 2c 20 22 c013.set("x", "
0f10: 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 @v", new IntValu
0f20: 65 28 42 69 67 49 6e 74 28 31 33 29 29 29 20 29 e(BigInt(13))) )
0f30: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
0f40: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 22 40 76 013.get("x", "@v
0f50: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
0f60: 28 42 69 67 49 6e 74 28 31 33 29 29 20 29 3b 0d (BigInt(13)) );.
0f70: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
0f80: 32 2e 67 65 74 28 22 78 22 2c 20 22 40 76 22 29 2.get("x", "@v")
0f90: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
0fa0: 69 67 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a 09 igInt(12)) );...
0fb0: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e assert_throw!Run
0fc0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 timeException( c
0fd0: 30 31 2e 67 65 74 28 22 78 22 2c 20 22 40 76 22 01.get("x", "@v"
0fe0: 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f ) );.....assert_
0ff0: 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 65 74 nothrow( c01.set
1000: 28 22 79 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 ("y", "@v", new
1010: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1020: 31 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 1))) );...assert
1030: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 _eq( c013.get("y
1040: 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e ", "@v"), new In
1050: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 tValue(BigInt(1)
1060: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1070: 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 ( c012.get("y",
1080: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
1090: 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 lue(BigInt(1)) )
10a0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
10b0: 30 31 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 01.get("y", "@v"
10c0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
10d0: 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 0d BigInt(1)) );...
10e0: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
10f0: 28 20 63 30 2e 73 65 74 28 22 7a 22 2c 20 22 40 ( c0.set("z", "@
1100: 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 v", new IntValue
1110: 28 42 69 67 49 6e 74 28 30 29 29 29 20 29 3b 0d (BigInt(0))) );.
1120: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1130: 33 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 3.get("z", "@v")
1140: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1150: 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 igInt(0)) );...a
1160: 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 ssert_eq( c012.g
1170: 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e et("z", "@v"), n
1180: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1190: 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(0)) );...asse
11a0: 72 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 rt_eq( c01.get("
11b0: 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 z", "@v"), new I
11c0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 ntValue(BigInt(0
11d0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
11e0: 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 22 q( c0.get("z", "
11f0: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1200: 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b ue(BigInt(0)) );
1210: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .....assert_noth
1220: 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 79 row( c012.set("y
1230: 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 ", "@v", new Int
1240: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 Value(BigInt(444
1250: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ))) );...assert_
1260: 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 eq( c013.get("y"
1270: 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 , "@v"), new Int
1280: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 Value(BigInt(444
1290: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
12a0: 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c q( c012.get("y",
12b0: 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 "@v"), new IntV
12c0: 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 alue(BigInt(444)
12d0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
12e0: 28 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 22 ( c01.get("y", "
12f0: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1300: 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 ue(BigInt(444))
1310: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
1320: 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 throw( c012.set(
1330: 22 7a 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 "z", "@v", new I
1340: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 35 ntValue(BigInt(5
1350: 35 35 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 55))) );...asser
1360: 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 t_eq( c013.get("
1370: 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 z", "@v"), new I
1380: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 ntValue(BigInt(0
1390: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
13a0: 71 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c q( c012.get("z",
13b0: 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 "@v"), new IntV
13c0: 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 alue(BigInt(555)
13d0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
13e0: 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 22 ( c01.get("z", "
13f0: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1400: 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b ue(BigInt(0)) );
1410: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1420: 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c .get("z", "@v"),
1430: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1440: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 gInt(0)) );.....
1450: 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 // [TODO] define
1460: 20 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 the semantics a
1470: 6e 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d nd test @layers.
1480: 0a 7d 0d 0a .}..