Jvm.hx 16 KB

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