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; 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: 36c517dfc4 2010-11-23 kinaba: this(bool n) { this.data = n?1:0; } 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)); 20be503cae 2010-11-24 kinaba: throw genex!RuntimeException("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)); 20be503cae 2010-11-24 kinaba: throw genex!RuntimeException("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)); 20be503cae 2010-11-24 kinaba: throw genex!RuntimeException("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 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: 2134cd44cc 2010-11-23 kinaba: void set(string i, Layer lay, Value v) aa770610d3 2010-11-08 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; aa770610d3 2010-11-08 kinaba: } aa770610d3 2010-11-08 kinaba: 6ac127ddd0 2010-11-23 kinaba: bool has(string i, Layer lay) const 515502e8d1 2010-11-20 kinaba: { 2134cd44cc 2010-11-23 kinaba: if( i in data ) 2134cd44cc 2010-11-23 kinaba: return !!(lay in data[i]); 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) 5afe8e3f26 2010-11-13 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] ) 2134cd44cc 2010-11-23 kinaba: throw genex!RuntimeException(pos, sprintf!"'%s' is not set in %s layer"(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 ) 2134cd44cc 2010-11-23 kinaba: throw genex!RuntimeException(pos, sprintf!"'%s' not found in %s layer"(i,lay)); 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: 2134cd44cc 2010-11-23 kinaba: string toString() 8e3db9ef20 2010-11-20 kinaba: { 2134cd44cc 2010-11-23 kinaba: if( isList() ) 2134cd44cc 2010-11-23 kinaba: return text(toList()); 8e3db9ef20 2010-11-20 kinaba: return "{" ~ toStringWithoutParen() ~ "}"; 2134cd44cc 2010-11-23 kinaba: } 2134cd44cc 2010-11-23 kinaba: 2134cd44cc 2010-11-23 kinaba: public: 2134cd44cc 2010-11-23 kinaba: /// Is this an empty table? 2134cd44cc 2010-11-23 kinaba: bool empty() 2134cd44cc 2010-11-23 kinaba: { 2134cd44cc 2010-11-23 kinaba: return data.length==0 && (prototype is null || prototype.empty); 2134cd44cc 2010-11-23 kinaba: } 2134cd44cc 2010-11-23 kinaba: 2134cd44cc 2010-11-23 kinaba: /// Can be seen as a cons-list? 2134cd44cc 2010-11-23 kinaba: bool isList() 2134cd44cc 2010-11-23 kinaba: { 2134cd44cc 2010-11-23 kinaba: Table t = this; 2134cd44cc 2010-11-23 kinaba: while(t.has("car", ValueLayer) && t.has("cdr", ValueLayer)) 2134cd44cc 2010-11-23 kinaba: if(auto tt = cast(Table)t.get("cdr", ValueLayer)) 2134cd44cc 2010-11-23 kinaba: t = tt; 2134cd44cc 2010-11-23 kinaba: else 2134cd44cc 2010-11-23 kinaba: return false; 2134cd44cc 2010-11-23 kinaba: return t.empty; 2134cd44cc 2010-11-23 kinaba: } 2134cd44cc 2010-11-23 kinaba: 2134cd44cc 2010-11-23 kinaba: /// Regard table as a cons-list and convert to an array 2134cd44cc 2010-11-23 kinaba: Value[] toList() 2134cd44cc 2010-11-23 kinaba: { 2134cd44cc 2010-11-23 kinaba: Value[] result; 2134cd44cc 2010-11-23 kinaba: Table t = this; 2134cd44cc 2010-11-23 kinaba: while(t.has("car", ValueLayer) && t.has("cdr", ValueLayer)) 2134cd44cc 2010-11-23 kinaba: { 2134cd44cc 2010-11-23 kinaba: result ~= t.get("car", ValueLayer); 2134cd44cc 2010-11-23 kinaba: if(auto tt = cast(Table)t.get("cdr", ValueLayer)) 2134cd44cc 2010-11-23 kinaba: t = tt; 2134cd44cc 2010-11-23 kinaba: else 2134cd44cc 2010-11-23 kinaba: throw genex!RuntimeException("this table is not a cons-list"); 2134cd44cc 2010-11-23 kinaba: } 2134cd44cc 2010-11-23 kinaba: if( t.empty ) 2134cd44cc 2010-11-23 kinaba: return result; 2134cd44cc 2010-11-23 kinaba: throw genex!RuntimeException("this table is not a cons-list"); b0d8d7875b 2010-11-08 kinaba: } b0d8d7875b 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) 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: 2134cd44cc 2010-11-23 kinaba: assert_nothrow( c012.set("x", ValueLayer, new IntValue(12)) ); 435fa085ec 2010-11-21 kinaba: assert_throw!RuntimeException( c013.get("x", ValueLayer) ); 2134cd44cc 2010-11-23 kinaba: assert_nothrow( c013.set("x", ValueLayer, new IntValue(13)) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c013.get("x", ValueLayer), new IntValue(13) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c012.get("x", ValueLayer), new IntValue(12) ); 435fa085ec 2010-11-21 kinaba: assert_throw!RuntimeException( c01.get("x", ValueLayer) ); 435fa085ec 2010-11-21 kinaba: 2134cd44cc 2010-11-23 kinaba: assert_nothrow( c01.set("y", ValueLayer, new IntValue(1)) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c013.get("y", ValueLayer), new IntValue(1) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c012.get("y", ValueLayer), new IntValue(1) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c01.get("y", ValueLayer), new IntValue(1) ); 2134cd44cc 2010-11-23 kinaba: 2134cd44cc 2010-11-23 kinaba: assert_nothrow( c0.set("z", ValueLayer, new IntValue(0)) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c013.get("z", ValueLayer), new IntValue(0) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c012.get("z", ValueLayer), new IntValue(0) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c01.get("z", ValueLayer), new IntValue(0) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c0.get("z", ValueLayer), new IntValue(0) ); aa770610d3 2010-11-08 kinaba: 2134cd44cc 2010-11-23 kinaba: assert_nothrow( c012.set("y", ValueLayer, new IntValue(444)) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c013.get("y", ValueLayer), new IntValue(444) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c012.get("y", ValueLayer), new IntValue(444) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c01.get("y", ValueLayer), new IntValue(444) ); aa770610d3 2010-11-08 kinaba: 2134cd44cc 2010-11-23 kinaba: assert_nothrow( c012.set("z", ValueLayer, new IntValue(555)) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c013.get("z", ValueLayer), new IntValue(0) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c012.get("z", ValueLayer), new IntValue(555) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c01.get("z", ValueLayer), new IntValue(0) ); 2134cd44cc 2010-11-23 kinaba: assert_eq( c0.get("z", ValueLayer), new IntValue(0) ); b0d8d7875b 2010-11-08 kinaba: aa770610d3 2010-11-08 kinaba: // [TODO] define the semantics and test @layers b0d8d7875b 2010-11-08 kinaba: }