Jvm.hx 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495
  1. package jvm;
  2. import haxe.extern.Rest;
  3. import haxe.Constraints;
  4. import Enum;
  5. import jvm.DynamicObject;
  6. import jvm.Exception;
  7. import jvm.EmptyConstructor;
  8. import jvm.Object;
  9. import jvm.annotation.ClassReflectionInformation;
  10. import jvm.annotation.EnumReflectionInformation;
  11. import jvm.annotation.EnumValueReflectionInformation;
  12. import java.lang.invoke.*;
  13. import java.NativeArray;
  14. import haxe.ds.Vector;
  15. import haxe.ds.Option;
  16. @:keep
  17. @:native('haxe.jvm.Jvm')
  18. class Jvm {
  19. extern static public function instanceof<S, T>(obj:S, type:T):Bool;
  20. extern static public function referenceEquals<T>(v1:T, v2:T):Bool;
  21. extern static public function invokedynamic<T>(bootstrapMethod:Function, fieldName:String, staticArguments:Array<Dynamic>, rest:Rest<Dynamic>):T;
  22. static public function stringCompare(v1:String, v2:String):Int {
  23. if (v1 == null) {
  24. return v2 == null ? 0 : 1;
  25. }
  26. if (v2 == null) {
  27. return -1;
  28. }
  29. return (cast v1 : java.NativeString).compareTo(v2);
  30. }
  31. static public function compare<T>(v1:T, v2:T):Int {
  32. return Reflect.compare(v1, v2);
  33. }
  34. // calls
  35. static public function getArgumentTypes(args:NativeArray<Dynamic>):NativeArray<java.lang.Class<Dynamic>> {
  36. var argTypes:NativeArray<java.lang.Class<Dynamic>> = new NativeArray(args.length);
  37. for (i in 0...args.length) {
  38. var arg = (cast args[i] : java.lang.Object);
  39. argTypes[i] = arg == null ? (cast java.lang.Object) : arg.getClass();
  40. }
  41. return argTypes;
  42. }
  43. static public function unifyCallArguments(args:NativeArray<Dynamic>, params:NativeArray<java.lang.Class<Dynamic>>, allowPadding:Bool = false):Option<NativeArray<Dynamic>> {
  44. var callArgs:NativeArray<Dynamic> = {
  45. if (args.length < params.length) {
  46. var callArgs = new NativeArray(params.length);
  47. Vector.blit(cast args, 0, cast callArgs, 0, args.length);
  48. callArgs;
  49. } else {
  50. Vector.fromData(args).copy().toData();
  51. }
  52. }
  53. if (params.length < args.length) {
  54. return None;
  55. }
  56. for (i in 0...params.length) {
  57. var paramType = params[i];
  58. if (i >= args.length) {
  59. if (paramType == cast Bool) {
  60. callArgs[i] = false;
  61. } else if (paramType == cast Float) {
  62. callArgs[i] = 0.0;
  63. } else if (paramType == cast Int) {
  64. callArgs[i] = 0;
  65. } else {
  66. if (!allowPadding) {
  67. return None;
  68. }
  69. callArgs[i] = null;
  70. }
  71. continue;
  72. }
  73. var argValue = args[i];
  74. if (argValue == null) {
  75. if (paramType.isPrimitive()) {
  76. if (paramType == cast Bool) {
  77. callArgs[i] = false;
  78. } else if (paramType == cast Float) {
  79. callArgs[i] = 0.0;
  80. } else if (paramType == cast Int) {
  81. callArgs[i] = 0;
  82. } else {
  83. throw 'Unexpected basic type: $paramType';
  84. }
  85. } else {
  86. callArgs[i] = null;
  87. }
  88. continue;
  89. };
  90. var argType = (argValue : java.lang.Object).getClass();
  91. var arg = getWrapperClass(paramType);
  92. if (arg.isAssignableFrom(argType)) {
  93. callArgs[i] = args[i];
  94. continue;
  95. }
  96. if (arg == (cast java.lang.Double.DoubleClass) && argType == cast java.lang.Integer.IntegerClass) {
  97. callArgs[i] = nullIntToNullFloat(args[i]);
  98. } else {
  99. return None;
  100. }
  101. }
  102. return Some(callArgs);
  103. }
  104. static public function call(mh:java.lang.invoke.MethodHandle, args:NativeArray<Dynamic>) {
  105. var params = mh.type().parameterArray();
  106. return switch (unifyCallArguments(args, params, true)) {
  107. case Some(args): mh.invokeWithArguments(args);
  108. case None: mh.invokeWithArguments(args);
  109. }
  110. }
  111. // casts
  112. static public function dynamicToNullFloat<T>(d:T):Null<Float> {
  113. if (instanceof(d, java.lang.Integer.IntegerClass)) {
  114. return nullIntToNullFloat(cast d);
  115. }
  116. // TODO: need a better strategy to avoid infinite recursion here
  117. return cast d;
  118. }
  119. static public function nullIntToNullFloat(i:Null<Int>):Null<Float> {
  120. if (i == null) {
  121. return null;
  122. }
  123. return (cast i : java.lang.Number).intValue();
  124. }
  125. static public function toByte(d:Dynamic) {
  126. return d == null ? 0 : (d : java.lang.Byte).byteValue();
  127. }
  128. static public function toChar(d:Dynamic) {
  129. return d == null ? 0 : (d : java.lang.Character).charValue();
  130. }
  131. static public function toDouble(d:Dynamic) {
  132. return d == null ? 0. : (d : java.lang.Number).doubleValue();
  133. }
  134. static public function toFloat(d:Dynamic):Single {
  135. return d == null ? 0. : (d : java.lang.Number).floatValue();
  136. }
  137. static public function toInt(d:Dynamic) {
  138. return d == null ? 0 : (d : java.lang.Number).intValue();
  139. }
  140. static public function toLong(d:Dynamic) {
  141. return d == null ? 0 : (d : java.lang.Long).longValue();
  142. }
  143. static public function toShort(d:Dynamic) {
  144. return d == null ? 0 : (d : java.lang.Short).shortValue();
  145. }
  146. static public function toBoolean(d:Dynamic) {
  147. return d == null ? false : (d : java.lang.Boolean).booleanValue();
  148. }
  149. static public function getWrapperClass<S, T>(c:java.lang.Class<S>):java.lang.Class<S> {
  150. if (!c.isPrimitive()) {
  151. return c;
  152. }
  153. // TODO: other basic types
  154. return if (c == cast Int) {
  155. cast java.lang.Integer.IntegerClass;
  156. } else if (c == cast Float) {
  157. cast java.lang.Double.DoubleClass;
  158. } else if (c == cast Bool) {
  159. cast java.lang.Boolean.BooleanClass;
  160. } else {
  161. c;
  162. }
  163. }
  164. // access
  165. static public function arrayRead(obj:Dynamic, index:Int) {
  166. if (instanceof(obj, Array)) {
  167. return (obj : Array<Dynamic>)[index];
  168. }
  169. throw 'Cannot array-read on $obj';
  170. }
  171. static public function arrayWrite(obj:Dynamic, index:Int, value:Dynamic):Void {
  172. if (instanceof(obj, Array)) {
  173. (obj : Array<Dynamic>)[index] = value;
  174. return;
  175. }
  176. throw 'Cannot array-write on $obj';
  177. }
  178. static public function bootstrap(caller:MethodHandles.MethodHandles_Lookup, name:String, type:MethodType):CallSite {
  179. var handle = caller.findStatic(caller.lookupClass(), name, type);
  180. return new ConstantCallSite(handle);
  181. }
  182. static public function readFieldNoObject(obj:Dynamic, name:String):Dynamic {
  183. var isStatic = instanceof(obj, java.lang.Class);
  184. var cl = isStatic ? obj : (obj : java.lang.Object).getClass();
  185. try {
  186. var field = cl.getField(name);
  187. field.setAccessible(true);
  188. return field.get(obj);
  189. } catch (_:java.lang.NoSuchFieldException) {
  190. while (cl != null) {
  191. var methods = cl.getMethods();
  192. for (m in methods) {
  193. if (m.getName() == name) {
  194. var method = java.lang.invoke.MethodHandles.lookup().unreflect(m);
  195. if (!isStatic || cl == cast java.lang.Class) {
  196. method = method.bindTo(obj);
  197. }
  198. return method;
  199. }
  200. }
  201. if (isStatic) {
  202. if (cl == cast java.lang.Class) {
  203. break;
  204. }
  205. cl = cast java.lang.Class;
  206. } else {
  207. cl = cl.getSuperclass();
  208. }
  209. }
  210. return null;
  211. }
  212. }
  213. static public function readField(obj:Dynamic, name:String):Dynamic {
  214. if (obj == null || name == null) {
  215. return null;
  216. }
  217. if (instanceof(obj, jvm.Object)) {
  218. return (cast obj : jvm.Object)._hx_getField(name);
  219. }
  220. if (instanceof(obj, java.NativeString)) {
  221. switch (name) {
  222. case "length": return (obj : String).length;
  223. case "charAt": return (cast jvm.StringExt.charAt : java.lang.invoke.MethodHandle).bindTo(obj);
  224. case "charCodeAt": return (cast jvm.StringExt.charCodeAt : java.lang.invoke.MethodHandle).bindTo(obj);
  225. case "indexOf": return (cast jvm.StringExt.indexOf : java.lang.invoke.MethodHandle).bindTo(obj);
  226. case "iterator": return function() return new haxe.iterators.StringIterator(obj);
  227. case "keyValueIterator": return function() return new haxe.iterators.StringKeyValueIterator(obj);
  228. case "lastIndexOf": return (cast jvm.StringExt.lastIndexOf : java.lang.invoke.MethodHandle).bindTo(obj);
  229. case "split": return (cast jvm.StringExt.split : java.lang.invoke.MethodHandle).bindTo(obj);
  230. case "substr": return (cast jvm.StringExt.substr : java.lang.invoke.MethodHandle).bindTo(obj);
  231. case "substring": return (cast jvm.StringExt.substring : java.lang.invoke.MethodHandle).bindTo(obj);
  232. case "toLowerCase": return (cast jvm.StringExt.toLowerCase : java.lang.invoke.MethodHandle).bindTo(obj);
  233. case "toUpperCase": return (cast jvm.StringExt.toUpperCase : java.lang.invoke.MethodHandle).bindTo(obj);
  234. }
  235. }
  236. return readFieldNoObject(obj, name);
  237. }
  238. static public function writeFieldNoObject<T>(obj:Dynamic, name:String, value:T) {
  239. try {
  240. var cl = (obj : java.lang.Object).getClass();
  241. var field = cl.getField(name);
  242. field.setAccessible(true);
  243. try {
  244. field.set(obj, value);
  245. } catch (_:java.lang.IllegalArgumentException) {
  246. if (value == null) {
  247. field.setByte(obj, 0); // rely on widening
  248. } else if (field.getType() == (cast Int) && instanceof(value, java.lang.Number)) {
  249. // Can happen with ++ on Dynamic because that defaults to Float
  250. field.setInt(obj, (cast value : java.lang.Number).intValue());
  251. }
  252. }
  253. } catch (_:java.lang.NoSuchFieldException) {
  254. return;
  255. }
  256. }
  257. static public function writeField<T>(obj:Dynamic, name:String, value:T) {
  258. if (obj == null || name == null) {
  259. return;
  260. }
  261. if (instanceof(obj, Object)) {
  262. return (obj : Object)._hx_setField(name, value);
  263. }
  264. writeFieldNoObject(obj, name, value);
  265. }
  266. // string
  267. static public function toString<T:java.lang.Object>(obj:T):String {
  268. if (obj == null) {
  269. return "null";
  270. } else if (instanceof(obj, java.lang.Double.DoubleClass)) {
  271. var n:java.lang.Number = cast obj;
  272. if (n.doubleValue() == n.intValue()) {
  273. return java.lang.Integer.IntegerClass.valueOf(n.intValue()).toString();
  274. }
  275. return obj.toString();
  276. } else {
  277. return obj.toString();
  278. }
  279. }
  280. static public function stringConcat<A:java.lang.Object, B:java.lang.Object>(a:A, b:B):String {
  281. return (cast toString(a) : java.NativeString).concat(toString(b));
  282. }
  283. // ops
  284. static public function opAdd<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  285. if (instanceof(a, java.NativeString) || instanceof(b, java.NativeString)) {
  286. return stringConcat(a, b);
  287. }
  288. if (instanceof(a, java.lang.Double.DoubleClass) || instanceof(b, java.lang.Double.DoubleClass)) {
  289. return toDouble(a) + toDouble(b);
  290. }
  291. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  292. return toLong(a) + toLong(b);
  293. }
  294. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  295. return toInt(a) + toInt(b);
  296. }
  297. throw "Invalid operation";
  298. }
  299. static public function opSub<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  300. if (instanceof(a, java.lang.Double.DoubleClass) || instanceof(b, java.lang.Double.DoubleClass)) {
  301. return toDouble(a) - toDouble(b);
  302. }
  303. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  304. return toLong(a) - toLong(b);
  305. }
  306. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  307. return toInt(a) - toInt(b);
  308. }
  309. throw "Invalid operation";
  310. }
  311. static public function opMul<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  312. if (instanceof(a, java.lang.Double.DoubleClass) || instanceof(b, java.lang.Double.DoubleClass)) {
  313. return toDouble(a) * toDouble(b);
  314. }
  315. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  316. return toLong(a) * toLong(b);
  317. }
  318. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  319. return toInt(a) * toInt(b);
  320. }
  321. throw "Invalid operation";
  322. }
  323. static public function opDiv<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  324. if (instanceof(a, java.lang.Double.DoubleClass) || instanceof(b, java.lang.Double.DoubleClass)) {
  325. return toDouble(a) / toDouble(b);
  326. }
  327. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  328. return toLong(a) / toLong(b);
  329. }
  330. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  331. return toInt(a) / toInt(b);
  332. }
  333. throw "Invalid operation";
  334. }
  335. static public function opMod<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  336. if (instanceof(a, java.lang.Double.DoubleClass) || instanceof(b, java.lang.Double.DoubleClass)) {
  337. return toDouble(a) % toDouble(b);
  338. }
  339. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  340. return toLong(a) % toLong(b);
  341. }
  342. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  343. return toInt(a) % toInt(b);
  344. }
  345. throw "Invalid operation";
  346. }
  347. static public function opAnd<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  348. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  349. return toLong(a) & toLong(b);
  350. }
  351. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  352. return toInt(a) & toInt(b);
  353. }
  354. throw "Invalid operation";
  355. }
  356. static public function opOr<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  357. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  358. return toLong(a) | toLong(b);
  359. }
  360. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  361. return toInt(a) | toInt(b);
  362. }
  363. throw "Invalid operation";
  364. }
  365. static public function opXor<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  366. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  367. return toLong(a) ^ toLong(b);
  368. }
  369. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  370. return toInt(a) ^ toInt(b);
  371. }
  372. throw "Invalid operation";
  373. }
  374. static public function opShl<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  375. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  376. return toLong(a) << toInt(b);
  377. }
  378. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  379. return toInt(a) << toInt(b);
  380. }
  381. throw "Invalid operation";
  382. }
  383. static public function opShr<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  384. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  385. return toLong(a) >> toInt(b);
  386. }
  387. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  388. return toInt(a) >> toInt(b);
  389. }
  390. throw "Invalid operation";
  391. }
  392. static public function opUshr<T1:java.lang.Object, T2:java.lang.Object>(a:T1, b:T2):Dynamic {
  393. if (instanceof(a, java.lang.Long.LongClass) || instanceof(b, java.lang.Long.LongClass)) {
  394. return toLong(a) >>> toInt(b);
  395. }
  396. if (instanceof(a, java.lang.Integer.IntegerClass) || instanceof(b, java.lang.Integer.IntegerClass)) {
  397. return toInt(a) >>> toInt(b);
  398. }
  399. throw "Invalid operation";
  400. }
  401. static public function opIncrement<T1:java.lang.Object>(a:T1):Dynamic {
  402. if (instanceof(a, java.lang.Double.DoubleClass)) {
  403. return toDouble(a) + 1.;
  404. }
  405. if (instanceof(a, java.lang.Long.LongClass)) {
  406. return toLong(a) + 1.;
  407. }
  408. if (instanceof(a, java.lang.Integer.IntegerClass)) {
  409. return toInt(a) + 1;
  410. }
  411. throw "Invalid operation";
  412. }
  413. static public function opDecrement<T1:java.lang.Object>(a:T1):Dynamic {
  414. if (instanceof(a, java.lang.Double.DoubleClass)) {
  415. return toDouble(a) - 1.;
  416. }
  417. if (instanceof(a, java.lang.Long.LongClass)) {
  418. return toLong(a) - 1.;
  419. }
  420. if (instanceof(a, java.lang.Integer.IntegerClass)) {
  421. return toInt(a) - 1;
  422. }
  423. throw "Invalid operation";
  424. }
  425. static public function opNeg<T1:java.lang.Object>(a:T1):Dynamic {
  426. if (instanceof(a, java.lang.Double.DoubleClass)) {
  427. return -toDouble(a);
  428. }
  429. if (instanceof(a, java.lang.Long.LongClass)) {
  430. return -toLong(a);
  431. }
  432. if (instanceof(a, java.lang.Integer.IntegerClass)) {
  433. return -toInt(a);
  434. }
  435. throw "Invalid operation";
  436. }
  437. static public function opNegBits<T1:java.lang.Object>(a:T1):Dynamic {
  438. if (instanceof(a, java.lang.Long.LongClass)) {
  439. return ~toLong(a);
  440. }
  441. if (instanceof(a, java.lang.Integer.IntegerClass)) {
  442. return ~toInt(a);
  443. }
  444. throw "Invalid operation";
  445. }
  446. }