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; 435fa085ec 2010-11-21 kinaba: import polemy.layer; b97bd4f713 2010-11-23 kinaba: import std.string; 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: { b97bd4f713 2010-11-23 kinaba: override bool opEquals(Object rhs) { return 0==opCmp(rhs); } 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: b97bd4f713 2010-11-23 kinaba: this(int n) { this.data = n; } b97bd4f713 2010-11-23 kinaba: this(long n) { this.data = n; } b97bd4f713 2010-11-23 kinaba: this(BigInt n) { this.data = n; } b97bd4f713 2010-11-23 kinaba: this(string n) { this.data = BigInt(n); } b97bd4f713 2010-11-23 kinaba: override string toString() const { return toDecimalString(cast(BigInt)data); } b97bd4f713 2010-11-23 kinaba: override int opCmp(Object rhs) { b97bd4f713 2010-11-23 kinaba: if(auto r = cast(IntValue)rhs) return data.opCmp(r.data); b97bd4f713 2010-11-23 kinaba: if(auto r = cast(Value)rhs) return typeid(this).opCmp(typeid(r)); b97bd4f713 2010-11-23 kinaba: throw genex!RuntimeException(LexPosition.dummy, "comparison with value and somithing other"); b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: mixin SimpleToHash; 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: b97bd4f713 2010-11-23 kinaba: mixin SimpleConstructor; b0d8d7875b 2010-11-08 kinaba: override string toString() const { return data; } b97bd4f713 2010-11-23 kinaba: override int opCmp(Object rhs) { b97bd4f713 2010-11-23 kinaba: if(auto r = cast(StrValue)rhs) return typeid(string).compare(&data, &r.data); b97bd4f713 2010-11-23 kinaba: if(auto r = cast(Value)rhs) return typeid(this).opCmp(typeid(r)); b97bd4f713 2010-11-23 kinaba: throw genex!RuntimeException(LexPosition.dummy, "comparison with value and somithing other"); b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: mixin SimpleToHash; b0d8d7875b 2010-11-08 kinaba: } b0d8d7875b 2010-11-08 kinaba: 515502e8d1 2010-11-20 kinaba: /// b97bd4f713 2010-11-23 kinaba: class UndefinedValue : Value b0d8d7875b 2010-11-08 kinaba: { b97bd4f713 2010-11-23 kinaba: mixin SimpleConstructor; a5fe6233c1 2010-11-21 kinaba: override string toString() const { return "<undefined>"; } b97bd4f713 2010-11-23 kinaba: override int opCmp(Object rhs) { b97bd4f713 2010-11-23 kinaba: if(auto r = cast(StrValue)rhs) return 0; b97bd4f713 2010-11-23 kinaba: if(auto r = cast(Value)rhs) return typeid(this).opCmp(typeid(r)); b97bd4f713 2010-11-23 kinaba: throw genex!RuntimeException(LexPosition.dummy, "comparison with value and somithing other"); b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: mixin SimpleToHash; aa770610d3 2010-11-08 kinaba: } aa770610d3 2010-11-08 kinaba: 515502e8d1 2010-11-20 kinaba: /// a5fe6233c1 2010-11-21 kinaba: abstract class FunValue : Value 5afe8e3f26 2010-11-13 kinaba: { a5fe6233c1 2010-11-21 kinaba: const(Parameter[]) params(); a5fe6233c1 2010-11-21 kinaba: Table definitionContext(); b97bd4f713 2010-11-23 kinaba: Value invoke(Layer lay, Table ctx, LexPosition pos); 5afe8e3f26 2010-11-13 kinaba: } 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 aa770610d3 2010-11-08 kinaba: { aa770610d3 2010-11-08 kinaba: enum Kind {PropagateSet, NotPropagateSet}; a5fe6233c1 2010-11-21 kinaba: bool kill = false; // to refactor 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: 6ac127ddd0 2010-11-23 kinaba: void set(string i, Layer lay, Value v, 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: 6ac127ddd0 2010-11-23 kinaba: bool has(string i, Layer lay) const 515502e8d1 2010-11-20 kinaba: { 515502e8d1 2010-11-20 kinaba: if( i in data ) { 515502e8d1 2010-11-20 kinaba: if( lay !in data[i] ) a5fe6233c1 2010-11-21 kinaba: return false; a5fe6233c1 2010-11-21 kinaba: if(kill) 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; 6ac127ddd0 2010-11-23 kinaba: return prototype.has(i, lay); 515502e8d1 2010-11-20 kinaba: } 515502e8d1 2010-11-20 kinaba: 6ac127ddd0 2010-11-23 kinaba: Value get(string i, Layer lay, 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] ) f86026acb8 2010-11-21 kinaba: throw genex!RuntimeException(pos, sprintf!"'%s' is not set in layer %s"(i,lay)); a5fe6233c1 2010-11-21 kinaba: if(kill) f86026acb8 2010-11-21 kinaba: throw genex!RuntimeException(pos, sprintf!"'%s' is killed in macro"(i)); aa770610d3 2010-11-08 kinaba: return data[i][lay]; 5afe8e3f26 2010-11-13 kinaba: } aa770610d3 2010-11-08 kinaba: if( prototype is null ) f86026acb8 2010-11-21 kinaba: throw new RuntimeException(pos, sprintf!"'%s' not found"(i)); 5afe8e3f26 2010-11-13 kinaba: return prototype.get(i, lay, pos); 3f6f41b558 2010-11-20 kinaba: } 3f6f41b558 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; 8e3db9ef20 2010-11-20 kinaba: } 8e3db9ef20 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; 6ac127ddd0 2010-11-23 kinaba: if( l.empty ) 6ac127ddd0 2010-11-23 kinaba: result ~= "(emptylayer)"; 6ac127ddd0 2010-11-23 kinaba: else if( l != ValueLayer ) 6ac127ddd0 2010-11-23 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() ~ "}"; aa770610d3 2010-11-08 kinaba: } aa770610d3 2010-11-08 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) aa770610d3 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; aa770610d3 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: 435fa085ec 2010-11-21 kinaba: assert_nothrow( c012.set("x", ValueLayer, new IntValue(BigInt(12))) ); 435fa085ec 2010-11-21 kinaba: assert_throw!RuntimeException( c013.get("x", ValueLayer) ); 435fa085ec 2010-11-21 kinaba: assert_nothrow( c013.set("x", ValueLayer, new IntValue(BigInt(13))) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c013.get("x", ValueLayer), new IntValue(BigInt(13)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c012.get("x", ValueLayer), new IntValue(BigInt(12)) ); 435fa085ec 2010-11-21 kinaba: assert_throw!RuntimeException( c01.get("x", ValueLayer) ); aa770610d3 2010-11-08 kinaba: 435fa085ec 2010-11-21 kinaba: assert_nothrow( c01.set("y", ValueLayer, new IntValue(BigInt(1))) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c013.get("y", ValueLayer), new IntValue(BigInt(1)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c012.get("y", ValueLayer), new IntValue(BigInt(1)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c01.get("y", ValueLayer), new IntValue(BigInt(1)) ); aa770610d3 2010-11-08 kinaba: 435fa085ec 2010-11-21 kinaba: assert_nothrow( c0.set("z", ValueLayer, new IntValue(BigInt(0))) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c013.get("z", ValueLayer), new IntValue(BigInt(0)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c012.get("z", ValueLayer), new IntValue(BigInt(0)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c01.get("z", ValueLayer), new IntValue(BigInt(0)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c0.get("z", ValueLayer), new IntValue(BigInt(0)) ); 435fa085ec 2010-11-21 kinaba: 435fa085ec 2010-11-21 kinaba: assert_nothrow( c012.set("y", ValueLayer, new IntValue(BigInt(444))) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c013.get("y", ValueLayer), new IntValue(BigInt(444)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c012.get("y", ValueLayer), new IntValue(BigInt(444)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c01.get("y", ValueLayer), new IntValue(BigInt(444)) ); aa770610d3 2010-11-08 kinaba: 435fa085ec 2010-11-21 kinaba: assert_nothrow( c012.set("z", ValueLayer, new IntValue(BigInt(555))) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c013.get("z", ValueLayer), new IntValue(BigInt(0)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c012.get("z", ValueLayer), new IntValue(BigInt(555)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c01.get("z", ValueLayer), new IntValue(BigInt(0)) ); 435fa085ec 2010-11-21 kinaba: assert_eq( c0.get("z", ValueLayer), 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: { 435fa085ec 2010-11-21 kinaba: Layer theLayer = ValueLayer; 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")) 6ac127ddd0 2010-11-23 kinaba: return new Int(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")) 6ac127ddd0 2010-11-23 kinaba: return new Str(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")) 6ac127ddd0 2010-11-23 kinaba: return new Var(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")) 6ac127ddd0 2010-11-23 kinaba: return new Lay(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; 6ac127ddd0 2010-11-23 kinaba: return new Let(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")) 3995a5eb6a 2010-11-21 kinaba: if(auto a = t.access!Table(theLayer, "args")) 6ac127ddd0 2010-11-23 kinaba: return new App(pos, tableToAST(theLayer,f), tableToASTList(theLayer,a)); 3995a5eb6a 2010-11-21 kinaba: throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST {is:"app", fun:???, args:???}`); 3f6f41b558 2010-11-20 kinaba: case "fun": 3995a5eb6a 2010-11-21 kinaba: if(auto p = t.access!Table(theLayer, "params")) 3995a5eb6a 2010-11-21 kinaba: if(auto b = t.access!Table(theLayer, "funbody")) 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")) 3995a5eb6a 2010-11-21 kinaba: if(auto ll = tt.access!Table(theLayer, "layers")) 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); 6ac127ddd0 2010-11-23 kinaba: return new Fun(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: } 6ac127ddd0 2010-11-23 kinaba: } 6ac127ddd0 2010-11-23 kinaba: 6ac127ddd0 2010-11-23 kinaba: Table makeCons(Value a, Value d) 6ac127ddd0 2010-11-23 kinaba: { 6ac127ddd0 2010-11-23 kinaba: Table t = new Table; 6ac127ddd0 2010-11-23 kinaba: t.set("car", ValueLayer, a); 6ac127ddd0 2010-11-23 kinaba: t.set("cdr", ValueLayer, d); 6ac127ddd0 2010-11-23 kinaba: return t; 6ac127ddd0 2010-11-23 kinaba: } 6ac127ddd0 2010-11-23 kinaba: 6ac127ddd0 2010-11-23 kinaba: Table fromPos(LexPosition pos) 6ac127ddd0 2010-11-23 kinaba: { 6ac127ddd0 2010-11-23 kinaba: Table t = new Table; 6ac127ddd0 2010-11-23 kinaba: if( pos !is null ) { 6ac127ddd0 2010-11-23 kinaba: t.set("filename", ValueLayer, new StrValue(pos.filename)); b97bd4f713 2010-11-23 kinaba: t.set("lineno", ValueLayer, new IntValue(pos.lineno)); b97bd4f713 2010-11-23 kinaba: t.set("column", ValueLayer, new IntValue(pos.column)); 6ac127ddd0 2010-11-23 kinaba: } else { 6ac127ddd0 2010-11-23 kinaba: t.set("filename", ValueLayer, new StrValue("nullpos")); b97bd4f713 2010-11-23 kinaba: t.set("lineno", ValueLayer, new IntValue(0)); b97bd4f713 2010-11-23 kinaba: t.set("column", ValueLayer, new IntValue(0)); 6ac127ddd0 2010-11-23 kinaba: } 6ac127ddd0 2010-11-23 kinaba: return t; b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: b97bd4f713 2010-11-23 kinaba: /// Convert AST to Table so that it can be used in Polemy b97bd4f713 2010-11-23 kinaba: /// TODO: generalize to DValue2PolemyValue b97bd4f713 2010-11-23 kinaba: b97bd4f713 2010-11-23 kinaba: Value ast2table(T)(T e, Value delegate(AST) rec) b97bd4f713 2010-11-23 kinaba: { b97bd4f713 2010-11-23 kinaba: assert( typeid(e) == typeid(T) ); b97bd4f713 2010-11-23 kinaba: b97bd4f713 2010-11-23 kinaba: static if(is(T==BigInt) || is(T==long) || is(T==int)) b97bd4f713 2010-11-23 kinaba: return new IntValue(e); b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: static if(is(T==string)) b97bd4f713 2010-11-23 kinaba: return new StrValue(e); b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: static if(is(T S : S[])) b97bd4f713 2010-11-23 kinaba: { b97bd4f713 2010-11-23 kinaba: Table lst = new Table; b97bd4f713 2010-11-23 kinaba: foreach_reverse(a; e) b97bd4f713 2010-11-23 kinaba: static if(is(S : AST)) b97bd4f713 2010-11-23 kinaba: lst = makeCons(rec(a), lst); b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: lst = makeCons(ast2table(a,rec), lst); b97bd4f713 2010-11-23 kinaba: return lst; b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: static if(is(T : AST)) b97bd4f713 2010-11-23 kinaba: { b97bd4f713 2010-11-23 kinaba: auto t = new Table; b97bd4f713 2010-11-23 kinaba: t.set("pos", ValueLayer, fromPos(e.pos)); b97bd4f713 2010-11-23 kinaba: t.set("is" , ValueLayer, new StrValue(typeid(e).name.split(".")[$-1].tolower())); b97bd4f713 2010-11-23 kinaba: foreach(i,m; e.tupleof) b97bd4f713 2010-11-23 kinaba: static if(is(typeof(m) : AST)) b97bd4f713 2010-11-23 kinaba: t.set(e.tupleof[i].stringof[2..$], ValueLayer, rec(m)); b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: t.set(e.tupleof[i].stringof[2..$], ValueLayer, ast2table(m,rec)); b97bd4f713 2010-11-23 kinaba: return t; b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: static if(is(T == class)) b97bd4f713 2010-11-23 kinaba: { b97bd4f713 2010-11-23 kinaba: auto t = new Table; b97bd4f713 2010-11-23 kinaba: foreach(i,m; e.tupleof) b97bd4f713 2010-11-23 kinaba: static if(is(typeof(m) : AST)) b97bd4f713 2010-11-23 kinaba: t.set(e.tupleof[i].stringof[2..$], ValueLayer, rec(m)); b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: t.set(e.tupleof[i].stringof[2..$], ValueLayer, ast2table(m,rec)); b97bd4f713 2010-11-23 kinaba: return t; b97bd4f713 2010-11-23 kinaba: } b97bd4f713 2010-11-23 kinaba: else b97bd4f713 2010-11-23 kinaba: static assert(false, "unknown type <"~T.stringof~"> during AST encoding"); b0d8d7875b 2010-11-08 kinaba: }