29 { 29 { 30 string data; 30 string data; 31 31 32 mixin SimpleClass; 32 mixin SimpleClass; 33 override string toString() const { return data; } 33 override string toString() const { return data; } 34 } 34 } 35 35 36 /// < 37 class FunValue : Value < 38 { < 39 Value delegate(immutable LexPosition pos, string lay, Value[]) data; < 40 < 41 mixin SimpleConstructor; < 42 alias data call; < 43 override string toString() const { return sprintf!"(function:%s:%s)"(dat < 44 } < 45 < 46 /// 36 /// 47 class UndValue : Value 37 class UndValue : Value 48 { 38 { 49 mixin SimpleClass; 39 mixin SimpleClass; 50 override string toString() const { return "<undefined>"; } 40 override string toString() const { return "<undefined>"; } 51 } 41 } 52 42 53 /// Named Constructor for FunValue < 54 43 > 44 /// > 45 abstract class FunValue : Value > 46 { > 47 const(Parameter[]) params(); > 48 Table definitionContext(); 55 FunValue nativef(Value delegate(immutable LexPosition pos, Layer lay, Value[] ar | 49 Value invoke(in LexPosition pos, Layer lay, Table ctx); > 50 } > 51 > 52 import polemy.eval; // circular... > 53 > 54 /// > 55 class UserDefinedFunValue : FunValue > 56 { > 57 FunLiteral ast; > 58 Table defCtx; > 59 override const(Parameter[]) params() { return ast.params; } > 60 override Table definitionContext() { return defCtx; } > 61 override Value invoke(in LexPosition pos, Layer lay, Table ctx) > 62 { > 63 // TODO: only auto raised ones need memo? no? > 64 // auto memoization > 65 /* > 66 if( lay != "@v" && lay != "@macro" ) > 67 { > 68 if( auto memolay = lay in memo ) > 69 if( auto pv = args in *memolay ) > 70 return *pv; > 71 memo[lay][args] = lift(e.pos,new UndValue,lay,ctx); > 72 } > 73 > 74 */ > 75 // @macro run!!! > 76 if( lay == "@macro" ) > 77 return macroEval(ast.funbody, ctx, false); > 78 /*TODO memo*/ AST macroMemo; > 79 if( macroMemo is null ) { > 80 // .prototype!, forced macro cannot access parameters > 81 ctx.kill = true; scope(exit)ctx.kill=false; > 82 macroMemo = tableToAST("@v",macroEval(ast.funbody, ctx, > 83 } > 84 auto v = eval(macroMemo, ctx, true, lay); > 85 > 86 //auto v = eval(e.funbody, ctxNeo, true, lay); > 87 // auto memoization > 88 // if( lay != "@v" && lay != "@macro" ) > 89 // memo[lay][args] = v; > 90 return v; > 91 } > 92 > 93 mixin SimpleClass; > 94 override string toString() const { return sprintf!"(function:%x:%x)"(cas > 95 } > 96 > 97 /// > 98 abstract class NativeFunValue : FunValue 56 { 99 { 57 return new FunValue(dg); | 100 Parameter[] params_data; > 101 override const(Parameter[]) params() { return params_data; } > 102 override Table definitionContext() { return new Table; } // todo: cache 58 } 103 } 59 104 60 /// Named Constructor for FunValue 105 /// Named Constructor for FunValue 61 106 62 FunValue native(R,T...)(R delegate (T) dg) 107 FunValue native(R,T...)(R delegate (T) dg) 63 { 108 { 64 return nativef( delegate Value(immutable LexPosition pos, Layer lay, Val | 109 return new class NativeFunValue { 65 if( lay != "@v" ) | 110 this() 66 throw genex!RuntimeException(pos, "only @v layer can cal < 67 if( T.length != args.length ) < 68 throw genex!RuntimeException(pos, "argument number misma < 69 T typed_args; < > 111 { 70 foreach(i, Ti; T) | 112 foreach(i, Ti; T) > 113 params_data ~= new Parameter(text(i), []); > 114 } > 115 override Value invoke(in LexPosition pos, Layer lay, Table ctx) 71 { 116 { > 117 if( lay != "@v" ) > 118 throw genex!RuntimeException(pos, "only @v layer > 119 T typed_args; > 120 foreach(i, Ti; T) { 72 typed_args[i] = cast(Ti) args[i]; | 121 typed_args[i] = cast(Ti) ctx.get(text(i), "@v"); 73 if( typed_args[i] is null ) | 122 if( typed_args[i] is null ) 74 throw genex!RuntimeException(pos, sprintf!"type | 123 throw genex!RuntimeException(pos, sprint 75 } | 124 } 76 try { | 125 try { 77 return dg(typed_args); | 126 return dg(typed_args); 78 } catch( RuntimeException e ) { | 127 } catch( RuntimeException e ) { 79 throw e.pos is null ? new RuntimeException(pos, e.msg, e | 128 throw e.pos is null ? new RuntimeException(pos, > 129 } 80 } 130 } 81 }); | 131 }; 82 } 132 } 83 133 84 /// Layer ID 134 /// Layer ID 85 135 86 alias string Layer; 136 alias string Layer; 87 137 88 /// Context (variable environment) 138 /// Context (variable environment) 89 /// Simlar to prototype chain of ECMAScript etc. 139 /// Simlar to prototype chain of ECMAScript etc. 90 /// But extended with the notion of "Layer" 140 /// But extended with the notion of "Layer" 91 141 92 class Table : Value 142 class Table : Value 93 { 143 { 94 enum Kind {PropagateSet, NotPropagateSet}; 144 enum Kind {PropagateSet, NotPropagateSet}; > 145 bool kill = false; // to refactor 95 146 96 this( Table proto=null, Kind k = Kind.PropagateSet ) 147 this( Table proto=null, Kind k = Kind.PropagateSet ) 97 { this.prototype = proto; this.kind = k; } 148 { this.prototype = proto; this.kind = k; } 98 149 99 void set(string i, Layer lay, Value v, in LexPosition pos=null) 150 void set(string i, Layer lay, Value v, in LexPosition pos=null) 100 { 151 { 101 if( setIfExist(i, lay, v) ) 152 if( setIfExist(i, lay, v) ) ................................................................................................................................................................................ 103 data[i][lay] = v; 154 data[i][lay] = v; 104 } 155 } 105 156 106 bool has(string i, Layer lay, in LexPosition pos=null) 157 bool has(string i, Layer lay, in LexPosition pos=null) 107 { 158 { 108 if( i in data ) { 159 if( i in data ) { 109 if( lay !in data[i] ) 160 if( lay !in data[i] ) > 161 return false; > 162 if(kill) 110 return false; 163 return false; 111 return true; 164 return true; 112 } 165 } 113 if( prototype is null ) 166 if( prototype is null ) 114 return false; 167 return false; 115 return prototype.has(i, lay, pos); 168 return prototype.has(i, lay, pos); 116 } 169 } ................................................................................................................................................................................ 117 170 118 Value get(string i, Layer lay, in LexPosition pos=null) 171 Value get(string i, Layer lay, in LexPosition pos=null) 119 { 172 { 120 if( i in data ) { 173 if( i in data ) { 121 // [TODO] consider forwarding to proto also in this case 174 // [TODO] consider forwarding to proto also in this case 122 if( lay !in data[i] ) 175 if( lay !in data[i] ) 123 throw genex!RuntimeException(pos, sprintf!"varia 176 throw genex!RuntimeException(pos, sprintf!"varia > 177 if(kill) > 178 throw genex!RuntimeException(pos, sprintf!"varia 124 return data[i][lay]; 179 return data[i][lay]; 125 } 180 } 126 if( prototype is null ) 181 if( prototype is null ) 127 throw new RuntimeException(pos, sprintf!"variable %s not 182 throw new RuntimeException(pos, sprintf!"variable %s not 128 return prototype.get(i, lay, pos); 183 return prototype.get(i, lay, pos); 129 } 184 } 130 185