8de5b49cdf 2010-11-09 kinaba: /** b0d8d7875b 2010-11-08 kinaba: * Authors: k.inaba b0d8d7875b 2010-11-08 kinaba: * License: NYSL 0.9982 http://www.kmonos.net/nysl/ b0d8d7875b 2010-11-08 kinaba: * b0d8d7875b 2010-11-08 kinaba: * Runtime data structures for Polemy programming language. b0d8d7875b 2010-11-08 kinaba: */ b0d8d7875b 2010-11-08 kinaba: module polemy.value; b0d8d7875b 2010-11-08 kinaba: import polemy._common; 3464a035ec 2010-11-20 kinaba: import polemy.failure; 3f6f41b558 2010-11-20 kinaba: import polemy.ast; b0d8d7875b 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: /// Runtime values of Polemy b0d8d7875b 2010-11-08 kinaba: b0d8d7875b 2010-11-08 kinaba: abstract class Value b0d8d7875b 2010-11-08 kinaba: { b0d8d7875b 2010-11-08 kinaba: } b0d8d7875b 2010-11-08 kinaba: 515502e8d1 2010-11-20 kinaba: /// b0d8d7875b 2010-11-08 kinaba: class IntValue : Value b0d8d7875b 2010-11-08 kinaba: { b0d8d7875b 2010-11-08 kinaba: BigInt data; aa770610d3 2010-11-08 kinaba: 7465fcdd7f 2010-11-09 kinaba: mixin SimpleClass; aa770610d3 2010-11-08 kinaba: override string toString() const { return std.bigint.toDecimalString(cast(BigInt)data); } b0d8d7875b 2010-11-08 kinaba: } b0d8d7875b 2010-11-08 kinaba: 515502e8d1 2010-11-20 kinaba: /// b0d8d7875b 2010-11-08 kinaba: class StrValue : Value b0d8d7875b 2010-11-08 kinaba: { b0d8d7875b 2010-11-08 kinaba: string data; aa770610d3 2010-11-08 kinaba: 7465fcdd7f 2010-11-09 kinaba: mixin SimpleClass; b0d8d7875b 2010-11-08 kinaba: override string toString() const { return data; } b0d8d7875b 2010-11-08 kinaba: } b0d8d7875b 2010-11-08 kinaba: 515502e8d1 2010-11-20 kinaba: /// b0d8d7875b 2010-11-08 kinaba: class FunValue : Value b0d8d7875b 2010-11-08 kinaba: { 7465fcdd7f 2010-11-09 kinaba: Value delegate(immutable LexPosition pos, string lay, Value[]) data; aa770610d3 2010-11-08 kinaba: b0d8d7875b 2010-11-08 kinaba: mixin SimpleConstructor; aa770610d3 2010-11-08 kinaba: alias data call; b0d8d7875b 2010-11-08 kinaba: override string toString() const { return sprintf!"(function:%s:%s)"(data.ptr,data.funcptr); } 5afe8e3f26 2010-11-13 kinaba: } 5afe8e3f26 2010-11-13 kinaba: 515502e8d1 2010-11-20 kinaba: /// 5afe8e3f26 2010-11-13 kinaba: class UndValue : Value 5afe8e3f26 2010-11-13 kinaba: { 5afe8e3f26 2010-11-13 kinaba: mixin SimpleClass; 5afe8e3f26 2010-11-13 kinaba: override string toString() const { return "<undefined>"; } 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: 515502e8d1 2010-11-20 kinaba: /// Named Constructor for FunValue 515502e8d1 2010-11-20 kinaba: 515502e8d1 2010-11-20 kinaba: FunValue nativef(Value delegate(immutable LexPosition pos, Layer lay, Value[] args) dg) 515502e8d1 2010-11-20 kinaba: { 515502e8d1 2010-11-20 kinaba: return new FunValue(dg); 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: 515502e8d1 2010-11-20 kinaba: /// Named Constructor for FunValue 515502e8d1 2010-11-20 kinaba: 515502e8d1 2010-11-20 kinaba: FunValue native(R,T...)(R delegate (T) dg) 515502e8d1 2010-11-20 kinaba: { 515502e8d1 2010-11-20 kinaba: return nativef( delegate Value(immutable LexPosition pos, Layer lay, Value[] args) { 515502e8d1 2010-11-20 kinaba: if( lay != "@v" ) 515502e8d1 2010-11-20 kinaba: throw genex!RuntimeException(pos, "only @v layer can call native function"); 515502e8d1 2010-11-20 kinaba: if( T.length != args.length ) 515502e8d1 2010-11-20 kinaba: throw genex!RuntimeException(pos, "argument number mismatch!"); 515502e8d1 2010-11-20 kinaba: T typed_args; 515502e8d1 2010-11-20 kinaba: foreach(i, Ti; T) 515502e8d1 2010-11-20 kinaba: { 515502e8d1 2010-11-20 kinaba: typed_args[i] = cast(Ti) args[i]; 515502e8d1 2010-11-20 kinaba: if( typed_args[i] is null ) 515502e8d1 2010-11-20 kinaba: throw genex!RuntimeException(pos, sprintf!"type mismatch on the argument %d"(i+1)); 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: try { 515502e8d1 2010-11-20 kinaba: return dg(typed_args); 515502e8d1 2010-11-20 kinaba: } catch( RuntimeException e ) { 515502e8d1 2010-11-20 kinaba: throw e.pos is null ? new RuntimeException(pos, e.msg, e.file, e.line) : e; 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: }); aa770610d3 2010-11-08 kinaba: } aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: /// Layer ID aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: alias string Layer; aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: /// Context (variable environment) aa770610d3 2010-11-08 kinaba: /// Simlar to prototype chain of ECMAScript etc. aa770610d3 2010-11-08 kinaba: /// But extended with the notion of "Layer" aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: class Table : Value b0d8d7875b 2010-11-08 kinaba: { aa770610d3 2010-11-08 kinaba: enum Kind {PropagateSet, NotPropagateSet}; aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: this( Table proto=null, Kind k = Kind.PropagateSet ) aa770610d3 2010-11-08 kinaba: { this.prototype = proto; this.kind = k; } aa770610d3 2010-11-08 kinaba: 8de5b49cdf 2010-11-09 kinaba: void set(string i, Layer lay, Value v, in LexPosition pos=null) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: if( setIfExist(i, lay, v) ) 8de5b49cdf 2010-11-09 kinaba: return; 8de5b49cdf 2010-11-09 kinaba: data[i][lay] = v; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 515502e8d1 2010-11-20 kinaba: bool has(string i, Layer lay, in LexPosition pos=null) 515502e8d1 2010-11-20 kinaba: { 515502e8d1 2010-11-20 kinaba: if( i in data ) { 515502e8d1 2010-11-20 kinaba: if( lay !in data[i] ) 515502e8d1 2010-11-20 kinaba: return false; 515502e8d1 2010-11-20 kinaba: return true; 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: if( prototype is null ) 515502e8d1 2010-11-20 kinaba: return false; 515502e8d1 2010-11-20 kinaba: return prototype.has(i, lay, pos); 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: 8de5b49cdf 2010-11-09 kinaba: Value get(string i, Layer lay, in LexPosition pos=null) aa770610d3 2010-11-08 kinaba: { 5afe8e3f26 2010-11-13 kinaba: if( i in data ) { 515502e8d1 2010-11-20 kinaba: // [TODO] consider forwarding to proto also in this case 5afe8e3f26 2010-11-13 kinaba: if( lay !in data[i] ) 5afe8e3f26 2010-11-13 kinaba: throw genex!RuntimeException(pos, sprintf!"variable %s is not set in layer %s"(i,lay)); aa770610d3 2010-11-08 kinaba: return data[i][lay]; 5afe8e3f26 2010-11-13 kinaba: } aa770610d3 2010-11-08 kinaba: if( prototype is null ) 8de5b49cdf 2010-11-09 kinaba: throw new RuntimeException(pos, sprintf!"variable %s not found"(i)); 5afe8e3f26 2010-11-13 kinaba: return prototype.get(i, lay, pos); 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: 3f6f41b558 2010-11-20 kinaba: T access(T,S...)( Layer lay, string path, S rest ) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: static if( rest.length == 0 ) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: if( this.has(path, lay) ) 3f6f41b558 2010-11-20 kinaba: return cast(T) this.get(path, lay); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: else 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: if(auto next = this.access!Table(lay,path)) 3f6f41b558 2010-11-20 kinaba: return next.access!T(lay,rest); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: return null; 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: 8e3db9ef20 2010-11-20 kinaba: string toStringWithoutParen() const 8e3db9ef20 2010-11-20 kinaba: { 8e3db9ef20 2010-11-20 kinaba: string result; 8e3db9ef20 2010-11-20 kinaba: bool first = true; 8e3db9ef20 2010-11-20 kinaba: foreach(k, l2d; data) 8e3db9ef20 2010-11-20 kinaba: foreach(l,d; l2d) 8e3db9ef20 2010-11-20 kinaba: { 8e3db9ef20 2010-11-20 kinaba: if(first) first=false; else result~=", "; 8e3db9ef20 2010-11-20 kinaba: result ~= k; 8e3db9ef20 2010-11-20 kinaba: result ~= l; 8e3db9ef20 2010-11-20 kinaba: result ~= ":"; 8e3db9ef20 2010-11-20 kinaba: result ~= text(cast(Value)d); 8e3db9ef20 2010-11-20 kinaba: } 8e3db9ef20 2010-11-20 kinaba: if( prototype !is null ) 8e3db9ef20 2010-11-20 kinaba: { 8e3db9ef20 2010-11-20 kinaba: result ~= " / "; 8e3db9ef20 2010-11-20 kinaba: result ~= prototype.toStringWithoutParen(); 8e3db9ef20 2010-11-20 kinaba: } 8e3db9ef20 2010-11-20 kinaba: return result; 8e3db9ef20 2010-11-20 kinaba: } 8e3db9ef20 2010-11-20 kinaba: 8e3db9ef20 2010-11-20 kinaba: string toString() const 8e3db9ef20 2010-11-20 kinaba: { 8e3db9ef20 2010-11-20 kinaba: return "{" ~ toStringWithoutParen() ~ "}"; 8e3db9ef20 2010-11-20 kinaba: } 8e3db9ef20 2010-11-20 kinaba: aa770610d3 2010-11-08 kinaba: private: aa770610d3 2010-11-08 kinaba: Table prototype; aa770610d3 2010-11-08 kinaba: Kind kind; aa770610d3 2010-11-08 kinaba: Value[Layer][string] data; aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: bool setIfExist(string i, Layer lay, Value v) b0d8d7875b 2010-11-08 kinaba: { aa770610d3 2010-11-08 kinaba: if( i in data ) aa770610d3 2010-11-08 kinaba: { aa770610d3 2010-11-08 kinaba: data[i][lay] = v; aa770610d3 2010-11-08 kinaba: return true; aa770610d3 2010-11-08 kinaba: } aa770610d3 2010-11-08 kinaba: if( kind==Kind.PropagateSet && prototype !is null ) aa770610d3 2010-11-08 kinaba: return prototype.setIfExist(i, lay, v); aa770610d3 2010-11-08 kinaba: return false; b0d8d7875b 2010-11-08 kinaba: } aa770610d3 2010-11-08 kinaba: } aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: unittest aa770610d3 2010-11-08 kinaba: { aa770610d3 2010-11-08 kinaba: Table c0 = new Table; aa770610d3 2010-11-08 kinaba: Table c01 = new Table(c0, Table.Kind.NotPropagateSet); aa770610d3 2010-11-08 kinaba: Table c012 = new Table(c01, Table.Kind.PropagateSet); aa770610d3 2010-11-08 kinaba: Table c013 = new Table(c01, Table.Kind.PropagateSet); aa770610d3 2010-11-08 kinaba: 7465fcdd7f 2010-11-09 kinaba: assert_nothrow( c012.set("x", "@v", new IntValue(BigInt(12))) ); 7465fcdd7f 2010-11-09 kinaba: assert_throw!RuntimeException( c013.get("x", "@v") ); 7465fcdd7f 2010-11-09 kinaba: assert_nothrow( c013.set("x", "@v", new IntValue(BigInt(13))) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c013.get("x", "@v"), new IntValue(BigInt(13)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c012.get("x", "@v"), new IntValue(BigInt(12)) ); 7465fcdd7f 2010-11-09 kinaba: assert_throw!RuntimeException( c01.get("x", "@v") ); 7465fcdd7f 2010-11-09 kinaba: 7465fcdd7f 2010-11-09 kinaba: assert_nothrow( c01.set("y", "@v", new IntValue(BigInt(1))) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c013.get("y", "@v"), new IntValue(BigInt(1)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c012.get("y", "@v"), new IntValue(BigInt(1)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c01.get("y", "@v"), new IntValue(BigInt(1)) ); aa770610d3 2010-11-08 kinaba: 7465fcdd7f 2010-11-09 kinaba: assert_nothrow( c0.set("z", "@v", new IntValue(BigInt(0))) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c013.get("z", "@v"), new IntValue(BigInt(0)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c012.get("z", "@v"), new IntValue(BigInt(0)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c01.get("z", "@v"), new IntValue(BigInt(0)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c0.get("z", "@v"), new IntValue(BigInt(0)) ); aa770610d3 2010-11-08 kinaba: 7465fcdd7f 2010-11-09 kinaba: assert_nothrow( c012.set("y", "@v", new IntValue(BigInt(444))) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c013.get("y", "@v"), new IntValue(BigInt(444)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c012.get("y", "@v"), new IntValue(BigInt(444)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c01.get("y", "@v"), new IntValue(BigInt(444)) ); aa770610d3 2010-11-08 kinaba: 7465fcdd7f 2010-11-09 kinaba: assert_nothrow( c012.set("z", "@v", new IntValue(BigInt(555))) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c013.get("z", "@v"), new IntValue(BigInt(0)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c012.get("z", "@v"), new IntValue(BigInt(555)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c01.get("z", "@v"), new IntValue(BigInt(0)) ); 7465fcdd7f 2010-11-09 kinaba: assert_eq( c0.get("z", "@v"), new IntValue(BigInt(0)) ); aa770610d3 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: // [TODO] define the semantics and test @layers 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: 3f6f41b558 2010-11-20 kinaba: immutable(LexPosition) extractPos( Table t ) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: Layer theLayer = "@v"; 3f6f41b558 2010-11-20 kinaba: if(auto tt = t.access!Table(theLayer, "pos")) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: auto fn = tt.access!StrValue(theLayer, "filename"); 3f6f41b558 2010-11-20 kinaba: auto ln = tt.access!IntValue(theLayer, "lineno"); 3f6f41b558 2010-11-20 kinaba: auto cl = tt.access!IntValue(theLayer, "column"); 3f6f41b558 2010-11-20 kinaba: if(fn !is null && ln !is null && cl !is null) 3f6f41b558 2010-11-20 kinaba: return new immutable(LexPosition)(fn.data,cast(int)ln.data.toInt,cast(int)cl.data.toInt); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: return null; 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: 3f6f41b558 2010-11-20 kinaba: Value[] tableAsConsList( Layer theLayer, Table t ) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: Value[] result; 3f6f41b558 2010-11-20 kinaba: while(t) 3f6f41b558 2010-11-20 kinaba: if(auto v = t.access!Value(theLayer, "car")) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: result ~= v; 3f6f41b558 2010-11-20 kinaba: t = t.access!Table(theLayer, "cdr"); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: else 3f6f41b558 2010-11-20 kinaba: break; 3f6f41b558 2010-11-20 kinaba: return result; 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: 3f6f41b558 2010-11-20 kinaba: AST[] tableToASTList( Layer theLayer, Table t ) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: AST[] result; 3f6f41b558 2010-11-20 kinaba: foreach(v; tableAsConsList(theLayer, t)) 3f6f41b558 2010-11-20 kinaba: if(auto t = cast(Table)v) 3f6f41b558 2010-11-20 kinaba: result ~= tableToAST(theLayer,t); 3f6f41b558 2010-11-20 kinaba: else 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, "Invalid AST (non-table in cons-list)"); 3f6f41b558 2010-11-20 kinaba: return result; 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: 8e3db9ef20 2010-11-20 kinaba: AST tableToAST( Layer theLayer, Value vvvv ) 3f6f41b558 2010-11-20 kinaba: { 8e3db9ef20 2010-11-20 kinaba: Table t = cast(Table)vvvv; 8e3db9ef20 2010-11-20 kinaba: if( t is null ) 8e3db9ef20 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, "Invalid AST (not a table)"); 8e3db9ef20 2010-11-20 kinaba: 3f6f41b558 2010-11-20 kinaba: auto nodeType = t.access!StrValue(theLayer, "is"); 3f6f41b558 2010-11-20 kinaba: if( nodeType is null ) 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, "Invalid AST {is:(not string)}"); 3f6f41b558 2010-11-20 kinaba: auto pos = extractPos(t); 3f6f41b558 2010-11-20 kinaba: switch(nodeType.data) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: case "int": 3f6f41b558 2010-11-20 kinaba: if(auto v = t.access!IntValue(theLayer, "data")) 3f6f41b558 2010-11-20 kinaba: return new IntLiteral(pos, v.data); 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"int", data:(not int)}`); 3f6f41b558 2010-11-20 kinaba: case "str": 3f6f41b558 2010-11-20 kinaba: if(auto v = t.access!StrValue(theLayer, "data")) 3f6f41b558 2010-11-20 kinaba: return new StrLiteral(pos, v.data); 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"str", data:(not string)}`); 3f6f41b558 2010-11-20 kinaba: case "var": 3f6f41b558 2010-11-20 kinaba: if(auto v = t.access!StrValue(theLayer, "name")) 3f6f41b558 2010-11-20 kinaba: return new VarExpression(pos, v.data); 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"var", name:(not string)}`); 3f6f41b558 2010-11-20 kinaba: case "lay": 3f6f41b558 2010-11-20 kinaba: if(auto v = t.access!StrValue(theLayer, "layer")) 3f6f41b558 2010-11-20 kinaba: if(auto e = t.access!Table(theLayer, "expr")) 3f6f41b558 2010-11-20 kinaba: return new LayeredExpression(pos, v.data, tableToAST(theLayer,e)); 3f6f41b558 2010-11-20 kinaba: else 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"lay", expr:(not table)}`); 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"lay", layer:(not string)}`); 3f6f41b558 2010-11-20 kinaba: case "let": 3f6f41b558 2010-11-20 kinaba: if(auto n = t.access!StrValue(theLayer, "name")) 3f6f41b558 2010-11-20 kinaba: if(auto e = t.access!Table(theLayer, "init")) 3f6f41b558 2010-11-20 kinaba: if(auto b = t.access!Table(theLayer, "expr")) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: string nn = n.data; 3f6f41b558 2010-11-20 kinaba: auto ee = tableToAST(theLayer, e); 3f6f41b558 2010-11-20 kinaba: auto bb = tableToAST(theLayer, b); 3f6f41b558 2010-11-20 kinaba: Layer lay=""; 3f6f41b558 2010-11-20 kinaba: if(auto l = t.access!StrValue(theLayer, "layer")) 3f6f41b558 2010-11-20 kinaba: lay = l.data; 3f6f41b558 2010-11-20 kinaba: return new LetExpression(pos, nn, lay, ee, bb); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"let", name:"???", init:"???", expr:"???"}`); 3f6f41b558 2010-11-20 kinaba: case "app": 3f6f41b558 2010-11-20 kinaba: if(auto f = t.access!Table(theLayer, "fun")) 3f6f41b558 2010-11-20 kinaba: if(auto a = t.access!Table(theLayer, "arg")) 3f6f41b558 2010-11-20 kinaba: return new FuncallExpression(pos, tableToAST(theLayer,f), tableToASTList(theLayer,a)); 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"app", fun:???, arg:???}`); 3f6f41b558 2010-11-20 kinaba: case "fun": 3f6f41b558 2010-11-20 kinaba: if(auto p = t.access!Table(theLayer, "param")) 3f6f41b558 2010-11-20 kinaba: if(auto b = t.access!Table(theLayer, "body")) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: Parameter[] ps; 3f6f41b558 2010-11-20 kinaba: foreach(v; tableAsConsList(theLayer, p)) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: if(auto tt = cast(Table)v) 3f6f41b558 2010-11-20 kinaba: if(auto ss = tt.access!StrValue(theLayer, "name")) 3f6f41b558 2010-11-20 kinaba: if(auto ll = tt.access!Table(theLayer, "layer")) 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: Layer[] ls; 3f6f41b558 2010-11-20 kinaba: foreach(lll; tableAsConsList(theLayer, ll)) 3f6f41b558 2010-11-20 kinaba: if(auto l = cast(StrValue)lll) 3f6f41b558 2010-11-20 kinaba: ls ~= l.data; 3f6f41b558 2010-11-20 kinaba: else 8e3db9ef20 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, sprintf!`Invalid AST {bad fun params %s}`(lll)); 3f6f41b558 2010-11-20 kinaba: ps ~= new Parameter(ss.data, ls); 3f6f41b558 2010-11-20 kinaba: continue; 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: else 3f6f41b558 2010-11-20 kinaba: { 3f6f41b558 2010-11-20 kinaba: Layer[] emp; 3f6f41b558 2010-11-20 kinaba: ps ~= new Parameter(ss.data, emp); 8e3db9ef20 2010-11-20 kinaba: continue; 3f6f41b558 2010-11-20 kinaba: } 8e3db9ef20 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, sprintf!`Invalid AST {bad fun params %s}`(v)); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: auto bb = tableToAST(theLayer, b); 3f6f41b558 2010-11-20 kinaba: return new FunLiteral(pos,ps,bb); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"fun", param:???, body:???}`); 3f6f41b558 2010-11-20 kinaba: default: 3f6f41b558 2010-11-20 kinaba: throw genex!RuntimeException(cast(LexPosition)null, sprintf!`Invalid AST {is: "%s"} unknown`(nodeType.data)); 3f6f41b558 2010-11-20 kinaba: } b0d8d7875b 2010-11-08 kinaba: }