/* * Copyright (C)2005-2012 Haxe Foundation * * Permission is hereby granted, free of charge, to any person obtaining a * copy of this software and associated documentation files (the "Software"), * to deal in the Software without restriction, including without limitation * the rights to use, copy, modify, merge, publish, distribute, sublicense, * and/or sell copies of the Software, and to permit persons to whom the * Software is furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice shall be included in * all copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER * DEALINGS IN THE SOFTWARE. */ package cs.internal; import cs.Lib; import cs.NativeArray; import cs.NativeArray; import cs.system.Activator; import cs.system.IConvertible; import cs.system.reflection.MethodBase; import cs.system.reflection.MethodInfo; import cs.system.Type; /** This class is meant for internal compiler use only. It provides the Haxe runtime compatibility to the host language. **/ @:nativeGen @:native('haxe.lang.Runtime') @:classCode(' public static object getField(haxe.lang.HxObject obj, string field, int fieldHash, bool throwErrors) { if (obj == null && !throwErrors) return null; return obj.__hx_getField(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, throwErrors, false, false); } public static double getField_f(haxe.lang.HxObject obj, string field, int fieldHash, bool throwErrors) { if (obj == null && !throwErrors) return 0.0; return obj.__hx_getField_f(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, throwErrors, false); } public static object setField(haxe.lang.HxObject obj, string field, int fieldHash, object value) { return obj.__hx_setField(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, value, false); } public static double setField_f(haxe.lang.HxObject obj, string field, int fieldHash, double value) { return obj.__hx_setField_f(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, value, false); } public static object callField(haxe.lang.HxObject obj, string field, int fieldHash, Array args) { return obj.__hx_invokeField(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, args); } ') @:keep class Runtime { public static var undefined(default, never):Dynamic = { }; @:functionCode(' return new haxe.lang.Closure(obj, field, hash); ') public static function closure(obj:Dynamic, hash:Int, field:String):Dynamic { return null; } @:functionCode(' if (System.Object.ReferenceEquals(v1, v2)) return true; if (v1 == null || v2 == null) return false; System.IConvertible v1c = v1 as System.IConvertible; if (v1c != null) { System.IConvertible v2c = v2 as System.IConvertible; if (v2c == null) { return false; } System.TypeCode t1 = v1c.GetTypeCode(); System.TypeCode t2 = v2c.GetTypeCode(); if (t1 == t2) return v1c.Equals(v2c); switch(t1) { case System.TypeCode.Int64: case System.TypeCode.UInt64: return v1c.ToUInt64(null) == v2c.ToUInt64(null); default: return v1c.ToDouble(null) == v2c.ToDouble(null); } } System.ValueType v1v = v1 as System.ValueType; if (v1v != null) { return v1.Equals(v2); } else { System.Type v1t = v1 as System.Type; if (v1t != null) { System.Type v2t = v2 as System.Type; if (v2t != null) return typeEq(v1t, v2t); return false; } } return false; ') public static function eq(v1:Dynamic, v2:Dynamic):Bool { return false; } @:functionCode(' if (v1 is System.Type) return typeEq(v1 as System.Type, v2 as System.Type); return System.Object.ReferenceEquals(v1, v2); ') public static function refEq(v1: { }, v2: { } ):Bool { return false; } @:functionCode(' return (obj == null) ? 0.0 : (obj is double) ? (double)obj : ((System.IConvertible) obj).ToDouble(null); ') public static function toDouble(obj:Dynamic):Float { return 0.0; } @:functionCode(' return (obj == null) ? 0 : (obj is int) ? (int)obj : ((System.IConvertible) obj).ToInt32(null); ') public static function toInt(obj:Dynamic):Int { return 0; } @:functionCode(' System.IConvertible cv1 = obj as System.IConvertible; if (cv1 != null) { switch (cv1.GetTypeCode()) { case System.TypeCode.Double: double d = (double)obj; return d >= int.MinValue && d <= int.MaxValue && d == ( (int)d ); case System.TypeCode.UInt32: case System.TypeCode.Int32: return true; default: return false; } } return false; ') public static function isInt(obj:Dynamic):Bool { return false; } @:functionCode(' System.IConvertible cv1 = obj as System.IConvertible; if (cv1 != null) { switch (cv1.GetTypeCode()) { case System.TypeCode.Double: double d = (double)obj; return d >= uint.MinValue && d <= uint.MaxValue && d == ( (uint)d ); case System.TypeCode.UInt32: return true; default: return false; } } return false; ') public static function isUInt(obj:Dynamic):Bool { return false; } @:functionCode(' if (v1 == v2) return 0; if (v1 == null) return -1; if (v2 == null) return 1; System.IConvertible cv1 = v1 as System.IConvertible; if (cv1 != null) { System.IConvertible cv2 = v2 as System.IConvertible; if (cv2 == null) { throw new System.ArgumentException("Cannot compare " + v1.GetType().ToString() + " and " + v2.GetType().ToString()); } switch(cv1.GetTypeCode()) { case System.TypeCode.String: if (cv2.GetTypeCode() != System.TypeCode.String) throw new System.ArgumentException("Cannot compare " + v1.GetType().ToString() + " and " + v2.GetType().ToString()); string s1 = v1 as string; string s2 = v2 as string; int i =0; int l1 = s1.Length; int l2 = s2.Length; bool active = true; while(active) { char h1; char h2; if (i >= l1) { h1 = (char) 0; active = false; } else { h1 = s1[i]; } if (i >= l2) { h2 = (char) 0; active = false; } else { h2 = s2[i]; } int v = h1 - h2; if (v > 0) return 1; else if (v < 0) return -1; i++; } return 0; case System.TypeCode.Double: double d1 = (double) v1; double d2 = cv2.ToDouble(null); return (d1 < d2) ? -1 : (d1 > d2) ? 1 : 0; default: double d1d = cv1.ToDouble(null); double d2d = cv2.ToDouble(null); return (d1d < d2d) ? -1 : (d1d > d2d) ? 1 : 0; } } System.IComparable c1 = v1 as System.IComparable; System.IComparable c2 = v2 as System.IComparable; if (c1 == null || c2 == null) { if (c1 == c2) return 0; throw new System.ArgumentException("Cannot compare " + v1.GetType().ToString() + " and " + v2.GetType().ToString()); } return c1.CompareTo(c2); ') public static function compare(v1:Dynamic, v2:Dynamic):Int { return 0; } @:functionCode(' if (v1 is string || v2 is string) return Std.@string(v1) + Std.@string(v2); System.IConvertible cv1 = v1 as System.IConvertible; if (cv1 != null) { System.IConvertible cv2 = v2 as System.IConvertible; if (cv2 == null) { throw new System.ArgumentException("Cannot dynamically add " + v1.GetType().ToString() + " and " + v2.GetType().ToString()); } return cv1.ToDouble(null) + cv2.ToDouble(null); } throw new System.ArgumentException("Cannot dynamically add " + v1 + " and " + v2); ') public static function plus(v1:Dynamic, v2:Dynamic):Dynamic { return null; } @:functionCode(' if (obj == null) if (throwErrors) throw new System.NullReferenceException("Cannot access field \'" + field + "\' of null."); else return null; System.Type t = obj as System.Type; System.Reflection.BindingFlags bf; if (t == null) { string s = obj as string; if (s != null) return haxe.lang.StringRefl.handleGetField(s, field, throwErrors); t = obj.GetType(); bf = System.Reflection.BindingFlags.Instance | System.Reflection.BindingFlags.Public | System.Reflection.BindingFlags.FlattenHierarchy; } else { if (obj == typeof(string) && field.Equals("fromCharCode")) return new haxe.lang.Closure(typeof(haxe.lang.StringExt), field, 0); obj = null; bf = System.Reflection.BindingFlags.Static | System.Reflection.BindingFlags.Public; } System.Reflection.FieldInfo f = t.GetField(field, bf); if (f != null) { return haxe.lang.Runtime.unbox(f.GetValue(obj)); } else { System.Reflection.PropertyInfo prop = t.GetProperty(field, bf); if (prop == null) { System.Reflection.MemberInfo[] m = t.GetMember(field, bf); if (m.Length > 0) { return new haxe.lang.Closure(obj != null ? obj : t, field, 0); } else { if (throwErrors) throw HaxeException.wrap("Cannot access field \'" + field + "\'."); else return null; } } return haxe.lang.Runtime.unbox(prop.GetValue(obj, null)); } ') public static function slowGetField(obj:Dynamic, field:String, throwErrors:Bool):Dynamic { return null; } @:functionCode(' if (obj == null) return false; System.Type t = obj as System.Type; System.Reflection.BindingFlags bf; if (t == null) { string s = obj as string; if (s != null) return haxe.lang.StringRefl.handleGetField(s, field, false) != null; t = obj.GetType(); bf = System.Reflection.BindingFlags.Instance | System.Reflection.BindingFlags.Public | System.Reflection.BindingFlags.FlattenHierarchy; } else { if (t == typeof(string)) return field.Equals("fromCharCode"); obj = null; bf = System.Reflection.BindingFlags.Static | System.Reflection.BindingFlags.Public; } System.Reflection.MemberInfo[] mi = t.GetMember(field, bf); return mi != null && mi.Length > 0; ') public static function slowHasField(obj:Dynamic, field:String):Bool { return false; } @:functionCode(' if (obj == null) throw new System.NullReferenceException("Cannot access field \'" + field + "\' of null."); System.Type t = obj as System.Type; System.Reflection.BindingFlags bf; if (t == null) { t = obj.GetType(); bf = System.Reflection.BindingFlags.Instance | System.Reflection.BindingFlags.Public | System.Reflection.BindingFlags.FlattenHierarchy; } else { obj = null; bf = System.Reflection.BindingFlags.Static | System.Reflection.BindingFlags.Public; } System.Reflection.FieldInfo f = t.GetField(field, bf); if (f != null) { if (f.FieldType.ToString().StartsWith("haxe.lang.Null")) { @value = haxe.lang.Runtime.mkNullable(@value, f.FieldType); } f.SetValue(obj, @value); return @value; } else { System.Reflection.PropertyInfo prop = t.GetProperty(field, bf); if (prop == null) { throw haxe.lang.HaxeException.wrap("Field \'" + field + "\' not found for writing from Class " + t); } if (prop.PropertyType.ToString().StartsWith("haxe.lang.Null")) { @value = haxe.lang.Runtime.mkNullable(@value, prop.PropertyType); } prop.SetValue(obj, @value, null); return @value; } ') public static function slowSetField(obj:Dynamic, field:String, value:Dynamic):Dynamic { //not implemented yet; throw "Not implemented"; return null; } public static function callMethod(obj:Dynamic, methods:NativeArray, methodLength:Int, args:Array):Dynamic { if (methodLength == 0) throw "No available methods"; var length = args.length; var oargs:NativeArray = new NativeArray(length); var ts:NativeArray = new NativeArray(length); var rates:NativeArray = new NativeArray(methods.Length); for (i in 0...length) { oargs[i] = args[i]; if (args[i] != null) ts[i] = Lib.nativeType(args[i]); } var last = 0; //first filter by number of parameters and if it is assignable if (methodLength > 1) { for (i in 0...methodLength) { var params = methods[i].GetParameters(); if (params.Length != length) { continue; } else { var fits = true, crate = 0; for (i in 0...params.Length) { var param = params[i].ParameterType; var strParam = param + ""; if (param.IsAssignableFrom(ts[i])) { //if it is directly assignable, we'll give it top rate continue; } else if (untyped strParam.StartsWith("haxe.lang.Null") || ( (oargs[i] == null || Std.is(oargs[i], IConvertible) ) && cast(untyped __typeof__(IConvertible), Type).IsAssignableFrom(param) )) { //if it needs conversion, give a penalty. TODO rate penalty crate++; continue; } else if (!param.ContainsGenericParameters) { //generics don't appear as assignable, but may be in the end. no rate there. fits = false; break; } } if (fits) { rates[last] = crate; methods[last++] = methods[i]; } } } methodLength = last; } else if (methodLength == 1 && methods[0].GetParameters().Length != length) { methodLength = 0; } //At this time, we should be left with only one method. //Of course, realistically, we can be left with plenty of methods, if there are lots of variants with IConvertible //But at this time we still aren't rating the best methods //FIXME rate best methods if (methodLength == 0) throw "Invalid calling parameters for method " + methods[0].Name; var best = Math.POSITIVE_INFINITY; var bestMethod = 0; for(i in 0...methodLength) { if (rates[i] < best) { bestMethod = i; best = rates[i]; } } methods[0] = methods[bestMethod]; var params = methods[0].GetParameters(); for (i in 0...params.Length) { var param = params[i].ParameterType; var strParam = param + ""; if (StringTools.startsWith(strParam, "haxe.lang.Null")) { oargs[i] = mkNullable(oargs[i], param); } else if (cast(untyped __typeof__(IConvertible), Type).IsAssignableFrom(param)) { if (oargs[i] == null) { if (param.IsValueType) oargs[i] = Activator.CreateInstance(param); } else { oargs[i] = cast(oargs[i], IConvertible).ToType(param, null); } } } if (methods[0].ContainsGenericParameters && Std.is(methods[0], cs.system.reflection.MethodInfo)) { var m:MethodInfo = cast methods[0]; var tgs = m.GetGenericArguments(); for (i in 0...tgs.Length) { tgs[i] = untyped __typeof__(Dynamic); } m = m.MakeGenericMethod(tgs); var retg = m.Invoke(obj, oargs); return cs.internal.Runtime.unbox(retg); } var m = methods[0]; if (obj == null && Std.is(m, cs.system.reflection.ConstructorInfo)) { var ret = cast(m, cs.system.reflection.ConstructorInfo).Invoke(oargs); return unbox(ret); } var ret = m.Invoke(obj, oargs); return unbox(ret); } public static function unbox(dyn:Dynamic):Dynamic { if (dyn != null && untyped (Lib.nativeType(dyn) + "").StartsWith("haxe.lang.Null")) { return dyn.toDynamic(); } else { return dyn; } } @:functionCode(' if (nullableType.ContainsGenericParameters) return haxe.lang.Null.ofDynamic(obj); return nullableType.GetMethod("_ofDynamic").Invoke(null, new object[] { obj }); ') public static function mkNullable(obj:Dynamic, nullableType:cs.system.Type):Dynamic { return null; } @:functionCode(' if (field == "toString") { if (args == null) return obj.ToString(); field = "ToString"; } if (args == null) args = new Array(); System.Reflection.BindingFlags bf; System.Type t = obj as System.Type; if (t == null) { string s = obj as string; if (s != null) return haxe.lang.StringRefl.handleCallField(s, field, args); t = obj.GetType(); bf = System.Reflection.BindingFlags.Instance | System.Reflection.BindingFlags.Public | System.Reflection.BindingFlags.FlattenHierarchy; } else { if (t == typeof(string) && field.Equals("fromCharCode")) return haxe.lang.StringExt.fromCharCode(toInt(args[0])); obj = null; bf = System.Reflection.BindingFlags.Static | System.Reflection.BindingFlags.Public; } System.Reflection.MethodInfo[] mis = t.GetMethods(bf); int last = 0; for (int i = 0; i < mis.Length; i++) { if (mis[i].Name.Equals(field)) { mis[last++] = mis[i]; } } if (last == 0) { throw haxe.lang.HaxeException.wrap("Method \'" + field + "\' not found on type " + t); } return haxe.lang.Runtime.callMethod(obj, mis, last, args); ') public static function slowCallField(obj:Dynamic, field:String, args:Array):Dynamic { throw "not implemented"; return null; } @:functionCode(' haxe.lang.HxObject hxObj = obj as haxe.lang.HxObject; if (hxObj != null) return hxObj.__hx_invokeField(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, args); return slowCallField(obj, field, args); ') public static function callField(obj:Dynamic, field:String, fieldHash:Int, args:Array):Dynamic { return null; } @:functionCode(' haxe.lang.HxObject hxObj = obj as haxe.lang.HxObject; if (hxObj != null) return hxObj.__hx_getField(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, throwErrors, false, false); return slowGetField(obj, field, throwErrors); ') public static function getField(obj:Dynamic, field:String, fieldHash:Int, throwErrors:Bool):Dynamic { return null; } @:functionCode(' haxe.lang.HxObject hxObj = obj as haxe.lang.HxObject; if (hxObj != null) return hxObj.__hx_getField_f(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, throwErrors, false); return (double)slowGetField(obj, field, throwErrors); ') public static function getField_f(obj:Dynamic, field:String, fieldHash:Int, throwErrors:Bool):Float { return 0.0; } @:functionCode(' haxe.lang.HxObject hxObj = obj as haxe.lang.HxObject; if (hxObj != null) return hxObj.__hx_setField(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, value, false); return slowSetField(obj, field, value); ') public static function setField(obj:Dynamic, field:String, fieldHash:Int, value:Dynamic):Dynamic { return null; } @:functionCode(' haxe.lang.HxObject hxObj = obj as haxe.lang.HxObject; if (hxObj != null) return hxObj.__hx_setField_f(field, (fieldHash == 0) ? haxe.lang.FieldLookup.hash(field) : fieldHash, value, false); return (double)slowSetField(obj, field, value); ') public static function setField_f(obj:Dynamic, field:String, fieldHash:Int, value:Float):Float { return 0.0; } public static function toString(obj:Dynamic):String { if (obj == null) return null; if (Std.is(obj, Bool)) if(obj) return "true"; else return "false"; return untyped obj.ToString(); } @:functionCode(' if (t1 == null || t2 == null) return t1 == t2; string n1 = Type.getClassName(t1); string n2 = Type.getClassName(t2); return n1.Equals(n2); ') public static function typeEq(t1:cs.system.Type, t2:cs.system.Type):Bool { return false; } @:functionCode(' if (obj is To) return (To) obj; else if (obj == null) return default(To); if (typeof(To) == typeof(double)) return (To)(object) toDouble(obj); else if (typeof(To) == typeof(int)) return (To)(object) toInt(obj); else return (To) obj; ') public static function genericCast(obj:Dynamic):To { return null; } @:functionCode(' return (s1 == null ? "null" : s1) + (s2 == null ? "null" : s2); ') public static function concat(s1:String, s2:String):String { return null; } //TODO: change from genericCast to getConverter, so we don't need to handle extra boxing associated with it /*@:functionCode(' if (typeof(To).TypeHandle == typeof(double).TypeHandle) return (System.Converter) new System.Converter(toDouble); else if (typeof(To).TypeHandle == typeof(double).TypeHandle) return (System.Converter) new System.Converter(toDouble); else return (System.Converter) delegate(object obj) { return (To) obj; }; ') public static function getConverter():cs.system.Converter { return null; }*/ } @:keep @:native("haxe.lang.EmptyObject") private enum EmptyObject { EMPTY; }