3 * License: NYSL 0.9982 http://www.kmonos.net/nysl/ 3 * License: NYSL 0.9982 http://www.kmonos.net/nysl/ 4 * 4 * 5 * Runtime data structures for Polemy programming language. 5 * Runtime data structures for Polemy programming language. 6 */ 6 */ 7 module polemy.value; 7 module polemy.value; 8 import polemy._common; 8 import polemy._common; 9 import polemy.lex; 9 import polemy.lex; > 10 import polemy.ast; 10 11 11 /// Raised when something went wrong in runtime 12 /// Raised when something went wrong in runtime 12 13 13 class RuntimeException : Exception 14 class RuntimeException : Exception 14 { 15 { 15 mixin ExceptionWithPosition; 16 mixin ExceptionWithPosition; 16 } 17 } ................................................................................................................................................................................ 129 throw genex!RuntimeException(pos, sprintf!"varia 130 throw genex!RuntimeException(pos, sprintf!"varia 130 return data[i][lay]; 131 return data[i][lay]; 131 } 132 } 132 if( prototype is null ) 133 if( prototype is null ) 133 throw new RuntimeException(pos, sprintf!"variable %s not 134 throw new RuntimeException(pos, sprintf!"variable %s not 134 return prototype.get(i, lay, pos); 135 return prototype.get(i, lay, pos); 135 } 136 } > 137 > 138 T access(T,S...)( Layer lay, string path, S rest ) > 139 { > 140 static if( rest.length == 0 ) > 141 { > 142 if( this.has(path, lay) ) > 143 return cast(T) this.get(path, lay); > 144 } > 145 else > 146 { > 147 if(auto next = this.access!Table(lay,path)) > 148 return next.access!T(lay,rest); > 149 } > 150 return null; > 151 } 136 152 137 private: 153 private: 138 Table prototype; 154 Table prototype; 139 Kind kind; 155 Kind kind; 140 Value[Layer][string] data; 156 Value[Layer][string] data; 141 157 142 bool setIfExist(string i, Layer lay, Value v) 158 bool setIfExist(string i, Layer lay, Value v) ................................................................................................................................................................................ 186 assert_eq( c013.get("z", "@v"), new IntValue(BigInt(0)) ); 202 assert_eq( c013.get("z", "@v"), new IntValue(BigInt(0)) ); 187 assert_eq( c012.get("z", "@v"), new IntValue(BigInt(555)) ); 203 assert_eq( c012.get("z", "@v"), new IntValue(BigInt(555)) ); 188 assert_eq( c01.get("z", "@v"), new IntValue(BigInt(0)) ); 204 assert_eq( c01.get("z", "@v"), new IntValue(BigInt(0)) ); 189 assert_eq( c0.get("z", "@v"), new IntValue(BigInt(0)) ); 205 assert_eq( c0.get("z", "@v"), new IntValue(BigInt(0)) ); 190 206 191 // [TODO] define the semantics and test @layers 207 // [TODO] define the semantics and test @layers 192 } 208 } > 209 > 210 immutable(LexPosition) extractPos( Table t ) > 211 { > 212 Layer theLayer = "@v"; > 213 if(auto tt = t.access!Table(theLayer, "pos")) > 214 { > 215 auto fn = tt.access!StrValue(theLayer, "filename"); > 216 auto ln = tt.access!IntValue(theLayer, "lineno"); > 217 auto cl = tt.access!IntValue(theLayer, "column"); > 218 if(fn !is null && ln !is null && cl !is null) > 219 return new immutable(LexPosition)(fn.data,cast(int)ln.da > 220 } > 221 return null; > 222 } > 223 > 224 Value[] tableAsConsList( Layer theLayer, Table t ) > 225 { > 226 Value[] result; > 227 while(t) > 228 if(auto v = t.access!Value(theLayer, "car")) > 229 { > 230 result ~= v; > 231 t = t.access!Table(theLayer, "cdr"); > 232 } > 233 else > 234 break; > 235 return result; > 236 } > 237 > 238 AST[] tableToASTList( Layer theLayer, Table t ) > 239 { > 240 AST[] result; > 241 foreach(v; tableAsConsList(theLayer, t)) > 242 if(auto t = cast(Table)v) > 243 result ~= tableToAST(theLayer,t); > 244 else > 245 throw genex!RuntimeException(cast(LexPosition)null, "Inv > 246 return result; > 247 } > 248 > 249 AST tableToAST( Layer theLayer, Table t ) > 250 { > 251 auto nodeType = t.access!StrValue(theLayer, "is"); > 252 if( nodeType is null ) > 253 throw genex!RuntimeException(cast(LexPosition)null, "Invalid AST > 254 auto pos = extractPos(t); > 255 switch(nodeType.data) > 256 { > 257 case "int": > 258 if(auto v = t.access!IntValue(theLayer, "data")) > 259 return new IntLiteral(pos, v.data); > 260 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 261 case "str": > 262 if(auto v = t.access!StrValue(theLayer, "data")) > 263 return new StrLiteral(pos, v.data); > 264 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 265 case "var": > 266 if(auto v = t.access!StrValue(theLayer, "name")) > 267 return new VarExpression(pos, v.data); > 268 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 269 case "lay": > 270 if(auto v = t.access!StrValue(theLayer, "layer")) > 271 if(auto e = t.access!Table(theLayer, "expr")) > 272 return new LayeredExpression(pos, v.data, tableT > 273 else > 274 throw genex!RuntimeException(cast(LexPosition)nu > 275 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 276 case "let": > 277 if(auto n = t.access!StrValue(theLayer, "name")) > 278 if(auto e = t.access!Table(theLayer, "init")) > 279 if(auto b = t.access!Table(theLayer, "expr")) > 280 { > 281 string nn = n.data; > 282 auto ee = tableToAST(theLayer, e); > 283 auto bb = tableToAST(theLayer, b); > 284 Layer lay=""; > 285 if(auto l = t.access!StrValue(theLayer, "layer")) > 286 lay = l.data; > 287 return new LetExpression(pos, nn, lay, ee, bb); > 288 } > 289 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 290 case "app": > 291 if(auto f = t.access!Table(theLayer, "fun")) > 292 if(auto a = t.access!Table(theLayer, "arg")) > 293 return new FuncallExpression(pos, tableToAST(theLayer,f) > 294 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 295 case "fun": > 296 if(auto p = t.access!Table(theLayer, "param")) > 297 if(auto b = t.access!Table(theLayer, "body")) > 298 { > 299 Parameter[] ps; > 300 foreach(v; tableAsConsList(theLayer, p)) > 301 { > 302 if(auto tt = cast(Table)v) > 303 if(auto ss = tt.access!StrValue(theLayer, "name" > 304 if(auto ll = tt.access!Table(theLayer, "layer")) > 305 { > 306 Layer[] ls; > 307 foreach(lll; tableAsConsList(theLayer, l > 308 if(auto l = cast(StrValue)lll) > 309 ls ~= l.data; > 310 else > 311 throw genex!RuntimeExcep > 312 ps ~= new Parameter(ss.data, ls); > 313 continue; > 314 } > 315 else > 316 { > 317 Layer[] emp; > 318 ps ~= new Parameter(ss.data, emp); > 319 } > 320 throw genex!RuntimeException(cast(LexPosition)nu > 321 } > 322 auto bb = tableToAST(theLayer, b); > 323 return new FunLiteral(pos,ps,bb); > 324 } > 325 throw genex!RuntimeException(cast(LexPosition)null, `Invalid AST > 326 default: > 327 throw genex!RuntimeException(cast(LexPosition)null, sprintf!`Inv > 328 } > 329 }