Advertisement
Guest User

Untitled

a guest
Mar 25th, 2019
130
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 48.17 KB | None | 0 0
  1. final class opalintegration.Tables extends java.lang.Object
  2. // Source File: Tables.java -- Version: (Java 8) -- Size:
  3.  
  4. Attributes {
  5. InnerClasses { // [size: 1 item(s)]
  6. java.lang.invoke.MethodHandles { public final /*super bit NOT set*/ class Lookup }
  7. }
  8. } //Attributes
  9.  
  10.  
  11. Fields {
  12. private static final java.util.logging.Logger LOGGER
  13. } //Fields
  14.  
  15.  
  16. Methods {
  17.  
  18. private static /*SYNTHETIC*/ void $$$reportNull$$$0(int) {
  19. /* PARAMETERS:
  20. param1: useSites={0,4,98,30,9,67} (origin=-2)
  21. */
  22. 0: switch({param1}){
  23. 0: goto 1;
  24. 1: goto 3;
  25. 2: goto 3;
  26. 3: goto 3;
  27. 4: goto 1;
  28. 5: goto 3;
  29. 6: goto 3;
  30. 7: goto 1;
  31. 8: goto 3;
  32. 9: goto 3;
  33. 10: goto 1;
  34. 11: goto 3;
  35. 12: goto 3;
  36. 13: goto 1;
  37. 14: goto 3;
  38. 15: goto 3;
  39. 16: goto 1;
  40. 17: goto 3;
  41. 18: goto 3;
  42. 19: goto 3;
  43. 20: goto 3;
  44. 21: goto 1;
  45. 22: goto 3;
  46. 23: goto 3;
  47. default: goto 1
  48. }
  49.  
  50. // 0 →
  51. 1: lv1 = "Argument for @NotNull parameter '%s' of %s.%s must not be null"
  52. 2: goto 4
  53.  
  54. // 0 →
  55. 3: lv3 = "@NotNull method %s.%s must not return null"
  56.  
  57. // 2, 3 →
  58. 4: switch({param1}){
  59. 0: goto 5;
  60. 1: goto 7;
  61. 2: goto 7;
  62. 3: goto 7;
  63. 4: goto 5;
  64. 5: goto 7;
  65. 6: goto 7;
  66. 7: goto 5;
  67. 8: goto 7;
  68. 9: goto 7;
  69. 10: goto 5;
  70. 11: goto 7;
  71. 12: goto 7;
  72. 13: goto 5;
  73. 14: goto 7;
  74. 15: goto 7;
  75. 16: goto 5;
  76. 17: goto 7;
  77. 18: goto 7;
  78. 19: goto 7;
  79. 20: goto 7;
  80. 21: goto 5;
  81. 22: goto 7;
  82. 23: goto 7;
  83. default: goto 5
  84. }
  85.  
  86. // 4 →
  87. 5: lv5 = 3
  88. 6: goto 8
  89.  
  90. // 4 →
  91. 7: lv7 = 2
  92.  
  93. // 6, 7 →
  94. 8: lv8 = new java.lang.Object[{lv5, lv7}]
  95. 9: switch({param1}){
  96. 0: goto 10;
  97. 1: goto 14;
  98. 2: goto 14;
  99. 3: goto 14;
  100. 4: goto 18;
  101. 5: goto 14;
  102. 6: goto 14;
  103. 7: goto 22;
  104. 8: goto 14;
  105. 9: goto 14;
  106. 10: goto 26;
  107. 11: goto 14;
  108. 12: goto 14;
  109. 13: goto 26;
  110. 14: goto 14;
  111. 15: goto 14;
  112. 16: goto 26;
  113. 17: goto 14;
  114. 18: goto 14;
  115. 19: goto 14;
  116. 20: goto 14;
  117. 21: goto 26;
  118. 22: goto 14;
  119. 23: goto 14;
  120. default: goto 10
  121. }
  122.  
  123. // 9 →
  124. 10: lva = 0
  125. 11: lvb = "annotations"
  126. 12: {lv8}[{lva}] = {lvb}
  127. // ⚡️ <uncaught exception ⇒ abnormal return>
  128.  
  129. // 12 →
  130. 13: goto 30
  131.  
  132. // 9 →
  133. 14: lve = 0
  134. 15: lvf = "opalintegration/Tables"
  135. 16: {lv8}[{lve}] = {lvf}
  136. // ⚡️ <uncaught exception ⇒ abnormal return>
  137.  
  138. // 16 →
  139. 17: goto 30
  140.  
  141. // 9 →
  142. 18: lv12 = 0
  143. 19: lv13 = "exceptionTable"
  144. 20: {lv8}[{lv12}] = {lv13}
  145. // ⚡️ <uncaught exception ⇒ abnormal return>
  146.  
  147. // 20 →
  148. 21: goto 30
  149.  
  150. // 9 →
  151. 22: lv16 = 0
  152. 23: lv17 = "classFile"
  153. 24: {lv8}[{lv16}] = {lv17}
  154. // ⚡️ <uncaught exception ⇒ abnormal return>
  155.  
  156. // 24 →
  157. 25: goto 30
  158.  
  159. // 9 →
  160. 26: lv1a = 0
  161. 27: lv1b = "body"
  162. 28: {lv8}[{lv1a}] = {lv1b}
  163. // ⚡️ <uncaught exception ⇒ abnormal return>
  164.  
  165. // 28 →
  166. 29: ;
  167.  
  168. // 13, 17, 21, 25, 29 →
  169. 30: switch({param1}){
  170. 0: goto 31;
  171. 1: goto 35;
  172. 2: goto 35;
  173. 3: goto 35;
  174. 4: goto 31;
  175. 5: goto 39;
  176. 6: goto 39;
  177. 7: goto 31;
  178. 8: goto 43;
  179. 9: goto 43;
  180. 10: goto 31;
  181. 11: goto 47;
  182. 12: goto 47;
  183. 13: goto 31;
  184. 14: goto 51;
  185. 15: goto 51;
  186. 16: goto 31;
  187. 17: goto 55;
  188. 18: goto 55;
  189. 19: goto 59;
  190. 20: goto 59;
  191. 21: goto 31;
  192. 22: goto 63;
  193. 23: goto 63;
  194. default: goto 31
  195. }
  196.  
  197. // 30 →
  198. 31: lv1f = 1
  199. 32: lv20 = "opalintegration/Tables"
  200. 33: {lv8}[{lv1f}] = {lv20}
  201. // ⚡️ <uncaught exception ⇒ abnormal return>
  202.  
  203. // 33 →
  204. 34: goto 67
  205.  
  206. // 30 →
  207. 35: lv23 = 1
  208. 36: lv24 = "annotationsToJava"
  209. 37: {lv8}[{lv23}] = {lv24}
  210. // ⚡️ <uncaught exception ⇒ abnormal return>
  211.  
  212. // 37 →
  213. 38: goto 67
  214.  
  215. // 30 →
  216. 39: lv27 = 1
  217. 40: lv28 = "thrownExceptions"
  218. 41: {lv8}[{lv27}] = {lv28}
  219. // ⚡️ <uncaught exception ⇒ abnormal return>
  220.  
  221. // 41 →
  222. 42: goto 67
  223.  
  224. // 30 →
  225. 43: lv2b = 1
  226. 44: lv2c = "innerClassTable"
  227. 45: {lv8}[{lv2b}] = {lv2c}
  228. // ⚡️ <uncaught exception ⇒ abnormal return>
  229.  
  230. // 45 →
  231. 46: goto 67
  232.  
  233. // 30 →
  234. 47: lv2f = 1
  235. 48: lv30 = "localVariableTable"
  236. 49: {lv8}[{lv2f}] = {lv30}
  237. // ⚡️ <uncaught exception ⇒ abnormal return>
  238.  
  239. // 49 →
  240. 50: goto 67
  241.  
  242. // 30 →
  243. 51: lv33 = 1
  244. 52: lv34 = "stackMapTable"
  245. 53: {lv8}[{lv33}] = {lv34}
  246. // ⚡️ <uncaught exception ⇒ abnormal return>
  247.  
  248. // 53 →
  249. 54: goto 67
  250.  
  251. // 30 →
  252. 55: lv37 = 1
  253. 56: lv38 = "localVariableTypeTable"
  254. 57: {lv8}[{lv37}] = {lv38}
  255. // ⚡️ <uncaught exception ⇒ abnormal return>
  256.  
  257. // 57 →
  258. 58: goto 67
  259.  
  260. // 30 →
  261. 59: lv3b = 1
  262. 60: lv3c = "methodTypeSignature"
  263. 61: {lv8}[{lv3b}] = {lv3c}
  264. // ⚡️ <uncaught exception ⇒ abnormal return>
  265.  
  266. // 61 →
  267. 62: goto 67
  268.  
  269. // 30 →
  270. 63: lv3f = 1
  271. 64: lv40 = "exceptionTable"
  272. 65: {lv8}[{lv3f}] = {lv40}
  273. // ⚡️ <uncaught exception ⇒ abnormal return>
  274.  
  275. // 65 →
  276. 66: ;
  277.  
  278. // 34, 38, 42, 46, 50, 54, 58, 62, 66 →
  279. 67: switch({param1}){
  280. 0: goto 68;
  281. 1: goto 72;
  282. 2: goto 72;
  283. 3: goto 72;
  284. 4: goto 73;
  285. 5: goto 72;
  286. 6: goto 72;
  287. 7: goto 77;
  288. 8: goto 72;
  289. 9: goto 72;
  290. 10: goto 81;
  291. 11: goto 72;
  292. 12: goto 72;
  293. 13: goto 85;
  294. 14: goto 72;
  295. 15: goto 72;
  296. 16: goto 89;
  297. 17: goto 72;
  298. 18: goto 72;
  299. 19: goto 72;
  300. 20: goto 72;
  301. 21: goto 93;
  302. 22: goto 72;
  303. 23: goto 72;
  304. default: goto 68
  305. }
  306.  
  307. // 67 →
  308. 68: lv44 = 2
  309. 69: lv45 = "annotationsToJava"
  310. 70: {lv8}[{lv44}] = {lv45}
  311. // ⚡️ <uncaught exception ⇒ abnormal return>
  312.  
  313. // 70 →
  314. 71: goto 97
  315.  
  316. // 67 →
  317. 72: goto 97
  318.  
  319. // 67 →
  320. 73: lv49 = 2
  321. 74: lv4a = "thrownExceptions"
  322. 75: {lv8}[{lv49}] = {lv4a}
  323. // ⚡️ <uncaught exception ⇒ abnormal return>
  324.  
  325. // 75 →
  326. 76: goto 97
  327.  
  328. // 67 →
  329. 77: lv4d = 2
  330. 78: lv4e = "innerClassTable"
  331. 79: {lv8}[{lv4d}] = {lv4e}
  332. // ⚡️ <uncaught exception ⇒ abnormal return>
  333.  
  334. // 79 →
  335. 80: goto 97
  336.  
  337. // 67 →
  338. 81: lv51 = 2
  339. 82: lv52 = "localVariableTable"
  340. 83: {lv8}[{lv51}] = {lv52}
  341. // ⚡️ <uncaught exception ⇒ abnormal return>
  342.  
  343. // 83 →
  344. 84: goto 97
  345.  
  346. // 67 →
  347. 85: lv55 = 2
  348. 86: lv56 = "stackMapTable"
  349. 87: {lv8}[{lv55}] = {lv56}
  350. // ⚡️ <uncaught exception ⇒ abnormal return>
  351.  
  352. // 87 →
  353. 88: goto 97
  354.  
  355. // 67 →
  356. 89: lv59 = 2
  357. 90: lv5a = "localVariableTypeTable"
  358. 91: {lv8}[{lv59}] = {lv5a}
  359. // ⚡️ <uncaught exception ⇒ abnormal return>
  360.  
  361. // 91 →
  362. 92: goto 97
  363.  
  364. // 67 →
  365. 93: lv5d = 2
  366. 94: lv5e = "exceptionTable"
  367. 95: {lv8}[{lv5d}] = {lv5e}
  368. // ⚡️ <uncaught exception ⇒ abnormal return>
  369.  
  370. // 95 →
  371. 96: ;
  372.  
  373. // 71, 72, 76, 80, 84, 88, 92, 96 →
  374. 97: lv61 = java.lang.String.format({lv1, lv3}, {lv8})
  375. // ⚡️ <uncaught exception ⇒ abnormal return>
  376.  
  377. // 97 →
  378. 98: switch({param1}){
  379. 0: goto 99;
  380. 1: goto 102;
  381. 2: goto 102;
  382. 3: goto 102;
  383. 4: goto 99;
  384. 5: goto 102;
  385. 6: goto 102;
  386. 7: goto 99;
  387. 8: goto 102;
  388. 9: goto 102;
  389. 10: goto 99;
  390. 11: goto 102;
  391. 12: goto 102;
  392. 13: goto 99;
  393. 14: goto 102;
  394. 15: goto 102;
  395. 16: goto 99;
  396. 17: goto 102;
  397. 18: goto 102;
  398. 19: goto 102;
  399. 20: goto 102;
  400. 21: goto 99;
  401. 22: goto 102;
  402. 23: goto 102;
  403. default: goto 99
  404. }
  405.  
  406. // 98 →
  407. 99: lv63 = new IllegalArgumentException
  408. 100: {lv63}/*(non-virtual) java.lang.IllegalArgumentException*/.<init>({lv61})
  409. // ⚡️ <uncaught exception ⇒ abnormal return>
  410.  
  411. // 100 →
  412. 101: goto 105
  413.  
  414. // 98 →
  415. 102: lv66 = new IllegalStateException
  416. 103: {lv66}/*(non-virtual) java.lang.IllegalStateException*/.<init>({lv61})
  417. // ⚡️ <uncaught exception ⇒ abnormal return>
  418.  
  419. // 103 →
  420. 104: ;
  421.  
  422. // 101, 104 →
  423. 105: throw {lv66, lv63}
  424. // ⚡️ <uncaught exception ⇒ abnormal return>
  425. }
  426.  
  427.  
  428. static void <clinit>() {
  429. /* NO PARAMETERS */
  430. 0: lv0 = opalintegration.Tables.class
  431. 1: lv1 = {lv0}/*java.lang.Class*/.getName()
  432. // ⚡️ <uncaught exception ⇒ abnormal return>
  433.  
  434. // 1 →
  435. 2: lv2 = java.util.logging.Logger.getLogger({lv1})
  436. // ⚡️ <uncaught exception ⇒ abnormal return>
  437.  
  438. // 2 →
  439. 3: opalintegration.Tables.LOGGER = {lv2}
  440. 4: return
  441. }
  442.  
  443.  
  444. private void <init>() {
  445. /* PARAMETERS:
  446. param0: useSites={0} (origin=-1)
  447. */
  448. 0: {param0}/*(non-virtual) java.lang.Object*/.<init>()
  449. // ⚡️ <uncaught exception ⇒ abnormal return>
  450.  
  451. // 0 →
  452. 1: return
  453. }
  454.  
  455.  
  456.  
  457. @org.jetbrains.annotations.NotNull
  458. static java.lang.String annotationsToJava(@org.jetbrains.annotations.NotNull org.opalj.collection.immutable.RefArray,java.lang.String,java.lang.String) {
  459. /* PARAMETERS:
  460. param1: useSites={0,5,3,7} (origin=-2)
  461. param2: useSites={22} (origin=-3)
  462. param3: useSites={24} (origin=-4)
  463. */
  464. 0: if({param1} != null) goto 3
  465.  
  466. // 0 →
  467. 1: lv1 = 0
  468. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  469. // ⚡️ <uncaught exception ⇒ abnormal return>
  470.  
  471. // 0, 2 →
  472. 3: lv3 = {param1}/*org.opalj.collection.immutable.RefArray*/.isEmpty()
  473. // ⚡️ <uncaught exception ⇒ abnormal return>
  474.  
  475. // 3 →
  476. 4: if({lv3} != 0) goto 30
  477.  
  478. // 4 →
  479. 5: lv5 = {param1}/*org.opalj.collection.immutable.RefArray*/.size()
  480. // ⚡️ <uncaught exception ⇒ abnormal return>
  481.  
  482. // 5 →
  483. 6: lv6 = new org.opalj.br.Annotation[{lv5}]
  484. // ⚡️ <uncaught exception ⇒ abnormal return>
  485.  
  486. // 6 →
  487. 7: {param1}/*org.opalj.collection.immutable.RefArray*/.copyToArray({lv6})
  488. // ⚡️ <uncaught exception ⇒ abnormal return>
  489.  
  490. // 7 →
  491. 8: lv8 = java.util.Arrays.stream({lv6})
  492. // ⚡️ <uncaught exception ⇒ abnormal return>
  493.  
  494. // 8 →
  495. 9: lv9 = opalintegration.Tables$annotationsToJava(Lorg$opalj$collection$immutable$RefArray:Ljava$lang$String:Ljava$lang$String:)Ljava$lang$String::32$Lambda.$newInstance()
  496. // ⚡️ <uncaught exception ⇒ abnormal return>
  497.  
  498. // 9 →
  499. 10: lva = {lv8}/*java.util.stream.Stream*/.map({lv9})
  500. // ⚡️ <uncaught exception ⇒ abnormal return>
  501.  
  502. // 10 →
  503. 11: lvb = "
  504. "
  505. 12: lvc = java.util.stream.Collectors.joining({lvb})
  506. // ⚡️ <uncaught exception ⇒ abnormal return>
  507.  
  508. // 12 →
  509. 13: lvd = {lva}/*java.util.stream.Stream*/.collect({lvc})
  510. // ⚡️ <uncaught exception ⇒ abnormal return>
  511.  
  512. // 13 →
  513. 14: (java.lang.String) {lvd}
  514. // ⚡️ <uncaught exception ⇒ abnormal return>
  515.  
  516. // 14 →
  517. 15: lvf = "@scala"
  518. 16: lv10 = {lvd}/*java.lang.String*/.startsWith({lvf})
  519. // ⚡️ <uncaught exception ⇒ abnormal return>
  520.  
  521. // 16 →
  522. 17: if({lv10} == 0) goto 20
  523.  
  524. // 17 →
  525. 18: lv12 = ""
  526.  
  527. // 18 →
  528. 19: return {lv12}
  529.  
  530. // 17 →
  531. 20: lv14 = new StringBuilder
  532. 21: {lv14}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  533. // ⚡️ <uncaught exception ⇒ abnormal return>
  534.  
  535. // 21 →
  536. 22: lv16 = {lv14}/*java.lang.StringBuilder*/.append({param2})
  537. // ⚡️ <uncaught exception ⇒ abnormal return>
  538.  
  539. // 22 →
  540. 23: lv17 = {lv16}/*java.lang.StringBuilder*/.append({lvd})
  541. // ⚡️ <uncaught exception ⇒ abnormal return>
  542.  
  543. // 23 →
  544. 24: lv18 = {lv17}/*java.lang.StringBuilder*/.append({param3})
  545. // ⚡️ <uncaught exception ⇒ abnormal return>
  546.  
  547. // 24 →
  548. 25: lv19 = {lv18}/*java.lang.StringBuilder*/.toString()
  549. // ⚡️ <uncaught exception ⇒ abnormal return>
  550.  
  551. // 25 →
  552. 26: if({lv19} != null) goto 29
  553.  
  554. // 26 →
  555. 27: lv1b = 2
  556. 28: opalintegration.Tables.$$$reportNull$$$0({lv1b})
  557. // ⚡️ <uncaught exception ⇒ abnormal return>
  558.  
  559. // 26, 28 →
  560. 29: return {lv19}
  561.  
  562. // 4 →
  563. 30: lv1e = ""
  564.  
  565. // 30 →
  566. 31: return {lv1e}
  567. }
  568.  
  569.  
  570.  
  571. @org.jetbrains.annotations.NotNull
  572. static java.lang.String exceptionTable(@org.jetbrains.annotations.NotNull scala.Option) {
  573. /* PARAMETERS:
  574. param1: useSites={0,16,5,21,3} (origin=-2)
  575. */
  576. 0: if({param1} != null) goto 3
  577.  
  578. // 0 →
  579. 1: lv1 = 21
  580. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  581. // ⚡️ <uncaught exception ⇒ abnormal return>
  582.  
  583. // 0, 2 →
  584. 3: lv3 = {param1}/*scala.Option*/.isDefined()
  585. // ⚡️ <uncaught exception ⇒ abnormal return>
  586.  
  587. // 3 →
  588. 4: if({lv3} == 0) goto 10
  589.  
  590. // 4 →
  591. 5: lv5 = {param1}/*scala.Option*/.get()
  592. // ⚡️ <uncaught exception ⇒ abnormal return>
  593.  
  594. // 5 →
  595. 6: (org.opalj.br.Code) {lv5}
  596. // ⚡️ <uncaught exception ⇒ abnormal return>
  597.  
  598. // 6 →
  599. 7: lv7 = {lv5}/*org.opalj.br.Code*/.exceptionHandlers()
  600. // ⚡️ <uncaught exception ⇒ abnormal return>
  601.  
  602. // 7 →
  603. 8: lv8 = {lv7}/*org.opalj.collection.immutable.RefArray*/.isEmpty()
  604. // ⚡️ <uncaught exception ⇒ abnormal return>
  605.  
  606. // 8 →
  607. 9: if({lv8} == 0) goto 12
  608.  
  609. // 4, 9 →
  610. 10: lva = ""
  611.  
  612. // 10 →
  613. 11: return {lva}
  614.  
  615. // 9 →
  616. 12: lvc = new StringBuilder
  617. 13: {lvc}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  618. // ⚡️ <uncaught exception ⇒ abnormal return>
  619.  
  620. // 13 →
  621. 14: lve = "
  622. ExceptionTable {
  623. "
  624. 15: /*expression value is ignored:*/{lvc}/*java.lang.StringBuilder*/.append({lve})
  625. // ⚡️ <uncaught exception ⇒ abnormal return>
  626.  
  627. // 15 →
  628. 16: lv10 = {param1}/*scala.Option*/.get()
  629. // ⚡️ <uncaught exception ⇒ abnormal return>
  630.  
  631. // 16 →
  632. 17: (org.opalj.br.Code) {lv10}
  633. // ⚡️ <uncaught exception ⇒ abnormal return>
  634.  
  635. // 17 →
  636. 18: lv12 = {lv10}/*org.opalj.br.Code*/.exceptionHandlers()
  637. // ⚡️ <uncaught exception ⇒ abnormal return>
  638.  
  639. // 18 →
  640. 19: lv13 = {lv12}/*org.opalj.collection.immutable.RefArray*/.size()
  641. // ⚡️ <uncaught exception ⇒ abnormal return>
  642.  
  643. // 19 →
  644. 20: lv14 = new org.opalj.br.ExceptionHandler[{lv13}]
  645. // ⚡️ <uncaught exception ⇒ abnormal return>
  646.  
  647. // 20 →
  648. 21: lv15 = {param1}/*scala.Option*/.get()
  649. // ⚡️ <uncaught exception ⇒ abnormal return>
  650.  
  651. // 21 →
  652. 22: (org.opalj.br.Code) {lv15}
  653. // ⚡️ <uncaught exception ⇒ abnormal return>
  654.  
  655. // 22 →
  656. 23: lv17 = {lv15}/*org.opalj.br.Code*/.exceptionHandlers()
  657. // ⚡️ <uncaught exception ⇒ abnormal return>
  658.  
  659. // 23 →
  660. 24: {lv17}/*org.opalj.collection.immutable.RefArray*/.copyToArray({lv14})
  661. // ⚡️ <uncaught exception ⇒ abnormal return>
  662.  
  663. // 24 →
  664. 25: lv19 = java.util.Arrays.stream({lv14})
  665. // ⚡️ <uncaught exception ⇒ abnormal return>
  666.  
  667. // 25 →
  668. 26: lv1a = opalintegration.Tables$exceptionTable(Lscala$Option:)Ljava$lang$String::95$Lambda.$newInstance()
  669. // ⚡️ <uncaught exception ⇒ abnormal return>
  670.  
  671. // 26 →
  672. 27: lv1b = {lv19}/*java.util.stream.Stream*/.map({lv1a})
  673. // ⚡️ <uncaught exception ⇒ abnormal return>
  674.  
  675. // 27 →
  676. 28: lv1c = "
  677. "
  678. 29: lv1d = java.util.stream.Collectors.joining({lv1c})
  679. // ⚡️ <uncaught exception ⇒ abnormal return>
  680.  
  681. // 29 →
  682. 30: lv1e = {lv1b}/*java.util.stream.Stream*/.collect({lv1d})
  683. // ⚡️ <uncaught exception ⇒ abnormal return>
  684.  
  685. // 30 →
  686. 31: (java.lang.String) {lv1e}
  687. // ⚡️ <uncaught exception ⇒ abnormal return>
  688.  
  689. // 31 →
  690. 32: /*expression value is ignored:*/{lvc}/*java.lang.StringBuilder*/.append({lv1e})
  691. // ⚡️ <uncaught exception ⇒ abnormal return>
  692.  
  693. // 32 →
  694. 33: lv21 = "
  695. }
  696. "
  697. 34: /*expression value is ignored:*/{lvc}/*java.lang.StringBuilder*/.append({lv21})
  698. // ⚡️ <uncaught exception ⇒ abnormal return>
  699.  
  700. // 34 →
  701. 35: lv23 = {lvc}/*java.lang.StringBuilder*/.toString()
  702. // ⚡️ <uncaught exception ⇒ abnormal return>
  703.  
  704. // 35 →
  705. 36: if({lv23} != null) goto 39
  706.  
  707. // 36 →
  708. 37: lv25 = 23
  709. 38: opalintegration.Tables.$$$reportNull$$$0({lv25})
  710. // ⚡️ <uncaught exception ⇒ abnormal return>
  711.  
  712. // 36, 38 →
  713. 39: return {lv23}
  714. }
  715.  
  716.  
  717.  
  718. @org.jetbrains.annotations.NotNull
  719. static java.lang.String innerClassTable(@org.jetbrains.annotations.NotNull org.opalj.br.ClassFile) {
  720. /* PARAMETERS:
  721. param1: useSites={0,14,21,3} (origin=-2)
  722. */
  723. 0: if({param1} != null) goto 3
  724.  
  725. // 0 →
  726. 1: lv1 = 7
  727. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  728. // ⚡️ <uncaught exception ⇒ abnormal return>
  729.  
  730. // 0, 2 →
  731. 3: lv3 = {param1}/*org.opalj.br.ClassFile*/.innerClasses()
  732. // ⚡️ <uncaught exception ⇒ abnormal return>
  733.  
  734. // 3 →
  735. 4: lv4 = {lv3}/*scala.Option*/.isEmpty()
  736. // ⚡️ <uncaught exception ⇒ abnormal return>
  737.  
  738. // 4 →
  739. 5: if({lv4} == 0) goto 8
  740.  
  741. // 5 →
  742. 6: lv6 = ""
  743.  
  744. // 6 →
  745. 7: return {lv6}
  746.  
  747. // 5 →
  748. 8: lv8 = new StringBuilder
  749. 9: {lv8}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  750. // ⚡️ <uncaught exception ⇒ abnormal return>
  751.  
  752. // 9 →
  753. 10: lva = " InnerClasses { "
  754. 11: lvb = {lv8}/*java.lang.StringBuilder*/.append({lva})
  755. // ⚡️ <uncaught exception ⇒ abnormal return>
  756.  
  757. // 11 →
  758. 12: lvc = "// [size: "
  759. 13: lvd = {lvb}/*java.lang.StringBuilder*/.append({lvc})
  760. // ⚡️ <uncaught exception ⇒ abnormal return>
  761.  
  762. // 13 →
  763. 14: lve = {param1}/*org.opalj.br.ClassFile*/.innerClasses()
  764. // ⚡️ <uncaught exception ⇒ abnormal return>
  765.  
  766. // 14 →
  767. 15: lvf = {lve}/*scala.Option*/.get()
  768. // ⚡️ <uncaught exception ⇒ abnormal return>
  769.  
  770. // 15 →
  771. 16: (org.opalj.collection.immutable.RefArray) {lvf}
  772. // ⚡️ <uncaught exception ⇒ abnormal return>
  773.  
  774. // 16 →
  775. 17: lv11 = {lvf}/*org.opalj.collection.immutable.RefArray*/.size()
  776. // ⚡️ <uncaught exception ⇒ abnormal return>
  777.  
  778. // 17 →
  779. 18: lv12 = {lvd}/*java.lang.StringBuilder*/.append({lv11})
  780. // ⚡️ <uncaught exception ⇒ abnormal return>
  781.  
  782. // 18 →
  783. 19: lv13 = " item(s)]
  784. "
  785. 20: /*expression value is ignored:*/{lv12}/*java.lang.StringBuilder*/.append({lv13})
  786. // ⚡️ <uncaught exception ⇒ abnormal return>
  787.  
  788. // 20 →
  789. 21: lv15 = {param1}/*org.opalj.br.ClassFile*/.innerClasses()
  790. // ⚡️ <uncaught exception ⇒ abnormal return>
  791.  
  792. // 21 →
  793. 22: lv16 = {lv15}/*scala.Option*/.get()
  794. // ⚡️ <uncaught exception ⇒ abnormal return>
  795.  
  796. // 22 →
  797. 23: (org.opalj.collection.immutable.RefArray) {lv16}
  798. // ⚡️ <uncaught exception ⇒ abnormal return>
  799.  
  800. // 23 →
  801. 24: lv18 = opalintegration.Tables$innerClassTable(Lorg$opalj$br$ClassFile:)Ljava$lang$String::83$Lambda.$newInstance({lv8})
  802. // ⚡️ <uncaught exception ⇒ abnormal return>
  803.  
  804. // 24 →
  805. 25: {lv16}/*org.opalj.collection.immutable.RefArray*/.foreach({lv18})
  806. // ⚡️ <uncaught exception ⇒ abnormal return>
  807.  
  808. // 25 →
  809. 26: lv1a = " }
  810. "
  811. 27: /*expression value is ignored:*/{lv8}/*java.lang.StringBuilder*/.append({lv1a})
  812. // ⚡️ <uncaught exception ⇒ abnormal return>
  813.  
  814. // 27 →
  815. 28: lv1c = {lv8}/*java.lang.StringBuilder*/.toString()
  816. // ⚡️ <uncaught exception ⇒ abnormal return>
  817.  
  818. // 28 →
  819. 29: if({lv1c} != null) goto 32
  820.  
  821. // 29 →
  822. 30: lv1e = 9
  823. 31: opalintegration.Tables.$$$reportNull$$$0({lv1e})
  824. // ⚡️ <uncaught exception ⇒ abnormal return>
  825.  
  826. // 29, 31 →
  827. 32: return {lv1c}
  828. }
  829.  
  830.  
  831. static /*SYNTHETIC*/ java.lang.String lambda$exceptionTable$2(org.opalj.br.ExceptionHandler) {
  832. /* PARAMETERS:
  833. param1: useSites={16,8,4,12,19} (origin=-2)
  834. */
  835. 0: lv0 = new StringBuilder
  836. 1: {lv0}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  837. // ⚡️ <uncaught exception ⇒ abnormal return>
  838.  
  839. // 1 →
  840. 2: lv2 = " try ["
  841. 3: lv3 = {lv0}/*java.lang.StringBuilder*/.append({lv2})
  842. // ⚡️ <uncaught exception ⇒ abnormal return>
  843.  
  844. // 3 →
  845. 4: lv4 = {param1}/*org.opalj.br.ExceptionHandler*/.startPC()
  846. // ⚡️ <uncaught exception ⇒ abnormal return>
  847.  
  848. // 4 →
  849. 5: lv5 = {lv3}/*java.lang.StringBuilder*/.append({lv4})
  850. // ⚡️ <uncaught exception ⇒ abnormal return>
  851.  
  852. // 5 →
  853. 6: lv6 = ", "
  854. 7: lv7 = {lv5}/*java.lang.StringBuilder*/.append({lv6})
  855. // ⚡️ <uncaught exception ⇒ abnormal return>
  856.  
  857. // 7 →
  858. 8: lv8 = {param1}/*org.opalj.br.ExceptionHandler*/.endPC()
  859. // ⚡️ <uncaught exception ⇒ abnormal return>
  860.  
  861. // 8 →
  862. 9: lv9 = {lv7}/*java.lang.StringBuilder*/.append({lv8})
  863. // ⚡️ <uncaught exception ⇒ abnormal return>
  864.  
  865. // 9 →
  866. 10: lva = ") catch "
  867. 11: lvb = {lv9}/*java.lang.StringBuilder*/.append({lva})
  868. // ⚡️ <uncaught exception ⇒ abnormal return>
  869.  
  870. // 11 →
  871. 12: lvc = {param1}/*org.opalj.br.ExceptionHandler*/.handlerPC()
  872. // ⚡️ <uncaught exception ⇒ abnormal return>
  873.  
  874. // 12 →
  875. 13: lvd = {lvb}/*java.lang.StringBuilder*/.append({lvc})
  876. // ⚡️ <uncaught exception ⇒ abnormal return>
  877.  
  878. // 13 →
  879. 14: lve = " "
  880. 15: lvf = {lvd}/*java.lang.StringBuilder*/.append({lve})
  881. // ⚡️ <uncaught exception ⇒ abnormal return>
  882.  
  883. // 15 →
  884. 16: lv10 = {param1}/*org.opalj.br.ExceptionHandler*/.catchType()
  885. // ⚡️ <uncaught exception ⇒ abnormal return>
  886.  
  887. // 16 →
  888. 17: lv11 = {lv10}/*scala.Option*/.isDefined()
  889. // ⚡️ <uncaught exception ⇒ abnormal return>
  890.  
  891. // 17 →
  892. 18: if({lv11} == 0) goto 24
  893.  
  894. // 18 →
  895. 19: lv13 = {param1}/*org.opalj.br.ExceptionHandler*/.catchType()
  896. // ⚡️ <uncaught exception ⇒ abnormal return>
  897.  
  898. // 19 →
  899. 20: lv14 = {lv13}/*scala.Option*/.get()
  900. // ⚡️ <uncaught exception ⇒ abnormal return>
  901.  
  902. // 20 →
  903. 21: (org.opalj.br.ObjectType) {lv14}
  904. // ⚡️ <uncaught exception ⇒ abnormal return>
  905.  
  906. // 21 →
  907. 22: lv16 = {lv14}/*org.opalj.br.ObjectType*/.toJava()
  908. // ⚡️ <uncaught exception ⇒ abnormal return>
  909.  
  910. // 22 →
  911. 23: goto 25
  912.  
  913. // 18 →
  914. 24: lv18 = "ANY"
  915.  
  916. // 23, 24 →
  917. 25: lv19 = {lvf}/*java.lang.StringBuilder*/.append({lv18, lv16})
  918. // ⚡️ <uncaught exception ⇒ abnormal return>
  919.  
  920. // 25 →
  921. 26: lv1a = {lv19}/*java.lang.StringBuilder*/.toString()
  922. // ⚡️ <uncaught exception ⇒ abnormal return>
  923.  
  924. // 26 →
  925. 27: return {lv1a}
  926. }
  927.  
  928.  
  929. static /*SYNTHETIC*/ java.lang.String lambda$innerClassTable$0(java.lang.StringBuilder,org.opalj.br.InnerClass) {
  930. /* PARAMETERS:
  931. param1: useSites={18} (origin=-2)
  932. param2: useSites={4,10,14} (origin=-3)
  933. */
  934. 0: lv0 = " %s { %s %s }
  935. "
  936. 1: lv1 = 3
  937. 2: lv2 = new java.lang.Object[{lv1}]
  938. 3: lv3 = 0
  939. 4: lv4 = {param2}/*org.opalj.br.InnerClass*/.outerClassType()
  940. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  941.  
  942. // 4 →
  943. 5: lv5 = {lv4}/*scala.Option*/.get()
  944. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  945.  
  946. // 5 →
  947. 6: (org.opalj.br.ObjectType) {lv5}
  948. // ⚡️ <uncaught exception ⇒ abnormal return>
  949.  
  950. // 6 →
  951. 7: lv7 = {lv5}/*org.opalj.br.ObjectType*/.toJava()
  952. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  953.  
  954. // 7 →
  955. 8: {lv2}[{lv3}] = {lv7}
  956. 9: lv9 = 1
  957. 10: lva = {param2}/*org.opalj.br.InnerClass*/.innerClassAccessFlags()
  958. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  959.  
  960. // 10 →
  961. 11: lvb = org.opalj.bi.AccessFlags.classFlagsToJava({lva})
  962. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  963.  
  964. // 11 →
  965. 12: {lv2}[{lv9}] = {lvb}
  966. 13: lvd = 2
  967. 14: lve = {param2}/*org.opalj.br.InnerClass*/.innerName()
  968. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  969.  
  970. // 14 →
  971. 15: lvf = {lve}/*scala.Option*/.get()
  972. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  973.  
  974. // 15 →
  975. 16: {lv2}[{lvd}] = {lvf}
  976. 17: lv11 = java.lang.String.format({lv0}, {lv2})
  977. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  978.  
  979. // 17 →
  980. 18: /*expression value is ignored:*/{param1}/*java.lang.StringBuilder*/.append({lv11})
  981. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.util.NoSuchElementException → 20
  982.  
  983. // 18 →
  984. 19: goto 25
  985.  
  986. // java.util.NoSuchElementException →
  987. 20: caught java.util.NoSuchElementException /* <= {exception@4,exception@14,exception@10,exception@18,exception@15,exception@7,exception@11,exception@5,exception@17}*/
  988. 21: lv15 = opalintegration.Tables.LOGGER
  989. 22: lv16 = java.util.logging.Level.SEVERE
  990. 23: lv17 = {exception@4, exception@14, exception@10, exception@18, exception@15, exception@7, exception@11, exception@5, exception@17}/*java.util.NoSuchElementException*/.toString()
  991. // ⚡️ <uncaught exception ⇒ abnormal return>
  992.  
  993. // 23 →
  994. 24: {lv15}/*java.util.logging.Logger*/.log({lv16}, {lv17}, {exception@4, exception@14, exception@10, exception@18, exception@15, exception@7, exception@11, exception@5, exception@17})
  995. // ⚡️ <uncaught exception ⇒ abnormal return>
  996.  
  997. // 19, 24 →
  998. 25: lv19 = ""
  999. 26: return {lv19}
  1000. }
  1001.  
  1002.  
  1003. static /*SYNTHETIC*/ java.lang.String lambda$localVariableTypeTable$1(java.lang.StringBuilder,org.opalj.collection.immutable.RefArray) {
  1004. /* PARAMETERS:
  1005. param1: useSites={33} (origin=-2)
  1006. param2: useSites={1,3} (origin=-3)
  1007. */
  1008. 0: lv0 = 0
  1009.  
  1010. // 0, 35 →
  1011. 1: lv1 = {param2}/*org.opalj.collection.immutable.RefArray*/.length()
  1012. // ⚡️ <uncaught exception ⇒ abnormal return>
  1013.  
  1014. // 1 →
  1015. 2: if({lv0, lv22} >= {lv1}) goto 36
  1016.  
  1017. // 2 →
  1018. 3: lv3 = {param2}/*org.opalj.collection.immutable.RefArray*/.apply({lv0, lv22})
  1019. // ⚡️ <uncaught exception ⇒ abnormal return>
  1020.  
  1021. // 3 →
  1022. 4: (org.opalj.br.LocalVariableType) {lv3}
  1023. // ⚡️ <uncaught exception ⇒ abnormal return>
  1024.  
  1025. // 4 →
  1026. 5: lv5 = " pc=[%d => %d) / lv=%d => %s: %s
  1027. "
  1028. 6: lv6 = 5
  1029. 7: lv7 = new java.lang.Object[{lv6}]
  1030. 8: lv8 = 0
  1031. 9: lv9 = {lv3}/*org.opalj.br.LocalVariableType*/.startPC()
  1032. // ⚡️ <uncaught exception ⇒ abnormal return>
  1033.  
  1034. // 9 →
  1035. 10: lva = java.lang.Integer.valueOf({lv9})
  1036. // ⚡️ <uncaught exception ⇒ abnormal return>
  1037.  
  1038. // 10 →
  1039. 11: {lv7}[{lv8}] = {lva}
  1040. 12: lvc = 1
  1041. 13: lvd = {lv3}/*org.opalj.br.LocalVariableType*/.startPC()
  1042. // ⚡️ <uncaught exception ⇒ abnormal return>
  1043.  
  1044. // 13 →
  1045. 14: lve = {lv3}/*org.opalj.br.LocalVariableType*/.length()
  1046. // ⚡️ <uncaught exception ⇒ abnormal return>
  1047.  
  1048. // 14 →
  1049. 15: lvf = {lvd} + {lve}
  1050. 16: lv10 = java.lang.Integer.valueOf({lvf})
  1051. // ⚡️ <uncaught exception ⇒ abnormal return>
  1052.  
  1053. // 16 →
  1054. 17: {lv7}[{lvc}] = {lv10}
  1055. 18: lv12 = 2
  1056. 19: lv13 = {lv3}/*org.opalj.br.LocalVariableType*/.index()
  1057. // ⚡️ <uncaught exception ⇒ abnormal return>
  1058.  
  1059. // 19 →
  1060. 20: lv14 = java.lang.Integer.valueOf({lv13})
  1061. // ⚡️ <uncaught exception ⇒ abnormal return>
  1062.  
  1063. // 20 →
  1064. 21: {lv7}[{lv12}] = {lv14}
  1065. 22: lv16 = 3
  1066. 23: lv17 = {lv3}/*org.opalj.br.LocalVariableType*/.name()
  1067. // ⚡️ <uncaught exception ⇒ abnormal return>
  1068.  
  1069. // 23 →
  1070. 24: {lv7}[{lv16}] = {lv17}
  1071. 25: lv19 = 4
  1072. 26: lv1a = {lv3}/*org.opalj.br.LocalVariableType*/.signature()
  1073. // ⚡️ <uncaught exception ⇒ abnormal return>
  1074.  
  1075. // 26 →
  1076. 27: lv1b = {lv1a}/*org.opalj.br.FieldTypeSignature*/.toJVMSignature()
  1077. // ⚡️ <uncaught exception ⇒ abnormal return>
  1078.  
  1079. // 27 →
  1080. 28: lv1c = ";>"
  1081. 29: lv1d = ">"
  1082. 30: lv1e = {lv1b}/*java.lang.String*/.replaceAll({lv1c}, {lv1d})
  1083. // ⚡️ <uncaught exception ⇒ abnormal return>
  1084.  
  1085. // 30 →
  1086. 31: {lv7}[{lv19}] = {lv1e}
  1087. 32: lv20 = java.lang.String.format({lv5}, {lv7})
  1088. // ⚡️ <uncaught exception ⇒ abnormal return>
  1089.  
  1090. // 32 →
  1091. 33: /*expression value is ignored:*/{param1}/*java.lang.StringBuilder*/.append({lv20})
  1092. // ⚡️ <uncaught exception ⇒ abnormal return>
  1093.  
  1094. // 33 →
  1095. 34: lv22 = {lv0, lv22} + 1
  1096. 35: goto 1
  1097.  
  1098. // 2 →
  1099. 36: lv24 = ""
  1100. 37: return {lv24}
  1101. }
  1102.  
  1103.  
  1104.  
  1105. @org.jetbrains.annotations.NotNull
  1106. static java.lang.String localVariableTable(@org.jetbrains.annotations.NotNull org.opalj.br.Code) {
  1107. /* PARAMETERS:
  1108. param1: useSites={0,10,3} (origin=-2)
  1109. */
  1110. 0: if({param1} != null) goto 3
  1111.  
  1112. // 0 →
  1113. 1: lv1 = 10
  1114. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  1115. // ⚡️ <uncaught exception ⇒ abnormal return>
  1116.  
  1117. // 0, 2 →
  1118. 3: lv3 = {param1}/*org.opalj.br.Code*/.localVariableTable()
  1119. // ⚡️ <uncaught exception ⇒ abnormal return>
  1120.  
  1121. // 3 →
  1122. 4: lv4 = {lv3}/*scala.Option*/.isDefined()
  1123. // ⚡️ <uncaught exception ⇒ abnormal return>
  1124.  
  1125. // 4 →
  1126. 5: if({lv4} != 0) goto 8
  1127.  
  1128. // 5 →
  1129. 6: lv6 = ""
  1130.  
  1131. // 6 →
  1132. 7: return {lv6}
  1133.  
  1134. // 5 →
  1135. 8: lv8 = new StringBuilder
  1136. 9: {lv8}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  1137. // ⚡️ <uncaught exception ⇒ abnormal return>
  1138.  
  1139. // 9 →
  1140. 10: lva = {param1}/*org.opalj.br.Code*/.localVariableTable()
  1141. // ⚡️ <uncaught exception ⇒ abnormal return>
  1142.  
  1143. // 10 →
  1144. 11: lvb = {lva}/*scala.Option*/.get()
  1145. // ⚡️ <uncaught exception ⇒ abnormal return>
  1146.  
  1147. // 11 →
  1148. 12: (org.opalj.collection.immutable.RefArray) {lvb}
  1149. // ⚡️ <uncaught exception ⇒ abnormal return>
  1150.  
  1151. // 12 →
  1152. 13: lvd = "
  1153. LocalVariableTable { // [size: "
  1154. 14: lve = {lv8}/*java.lang.StringBuilder*/.append({lvd})
  1155. // ⚡️ <uncaught exception ⇒ abnormal return>
  1156.  
  1157. // 14 →
  1158. 15: lvf = {lvb}/*org.opalj.collection.immutable.RefArray*/.length()
  1159. // ⚡️ <uncaught exception ⇒ abnormal return>
  1160.  
  1161. // 15 →
  1162. 16: lv10 = {lve}/*java.lang.StringBuilder*/.append({lvf})
  1163. // ⚡️ <uncaught exception ⇒ abnormal return>
  1164.  
  1165. // 16 →
  1166. 17: lv11 = " item(s)]
  1167. "
  1168. 18: /*expression value is ignored:*/{lv10}/*java.lang.StringBuilder*/.append({lv11})
  1169. // ⚡️ <uncaught exception ⇒ abnormal return>
  1170.  
  1171. // 18 →
  1172. 19: lv13 = 0
  1173.  
  1174. // 19, 49 →
  1175. 20: lv14 = {lvb}/*org.opalj.collection.immutable.RefArray*/.length()
  1176. // ⚡️ <uncaught exception ⇒ abnormal return>
  1177.  
  1178. // 20 →
  1179. 21: if({lv30, lv13} >= {lv14}) goto 50
  1180.  
  1181. // 21 →
  1182. 22: lv16 = {lvb}/*org.opalj.collection.immutable.RefArray*/.apply({lv30, lv13})
  1183. // ⚡️ <uncaught exception ⇒ abnormal return>
  1184.  
  1185. // 22 →
  1186. 23: (org.opalj.br.LocalVariable) {lv16}
  1187. // ⚡️ <uncaught exception ⇒ abnormal return>
  1188.  
  1189. // 23 →
  1190. 24: lv18 = " pc=[%d > %d) / lv=%d => %s %s
  1191. "
  1192. 25: lv19 = 5
  1193. 26: lv1a = new java.lang.Object[{lv19}]
  1194. 27: lv1b = 0
  1195. 28: lv1c = {lv16}/*org.opalj.br.LocalVariable*/.startPC()
  1196. // ⚡️ <uncaught exception ⇒ abnormal return>
  1197.  
  1198. // 28 →
  1199. 29: lv1d = java.lang.Integer.valueOf({lv1c})
  1200. // ⚡️ <uncaught exception ⇒ abnormal return>
  1201.  
  1202. // 29 →
  1203. 30: {lv1a}[{lv1b}] = {lv1d}
  1204. 31: lv1f = 1
  1205. 32: lv20 = {lv16}/*org.opalj.br.LocalVariable*/.length()
  1206. // ⚡️ <uncaught exception ⇒ abnormal return>
  1207.  
  1208. // 32 →
  1209. 33: lv21 = java.lang.Integer.valueOf({lv20})
  1210. // ⚡️ <uncaught exception ⇒ abnormal return>
  1211.  
  1212. // 33 →
  1213. 34: {lv1a}[{lv1f}] = {lv21}
  1214. 35: lv23 = 2
  1215. 36: lv24 = {lv16}/*org.opalj.br.LocalVariable*/.index()
  1216. // ⚡️ <uncaught exception ⇒ abnormal return>
  1217.  
  1218. // 36 →
  1219. 37: lv25 = java.lang.Integer.valueOf({lv24})
  1220. // ⚡️ <uncaught exception ⇒ abnormal return>
  1221.  
  1222. // 37 →
  1223. 38: {lv1a}[{lv23}] = {lv25}
  1224. 39: lv27 = 3
  1225. 40: lv28 = {lv16}/*org.opalj.br.LocalVariable*/.fieldType()
  1226. // ⚡️ <uncaught exception ⇒ abnormal return>
  1227.  
  1228. // 40 →
  1229. 41: lv29 = {lv28}/*org.opalj.br.FieldType*/.toJava()
  1230. // ⚡️ <uncaught exception ⇒ abnormal return>
  1231.  
  1232. // 41 →
  1233. 42: {lv1a}[{lv27}] = {lv29}
  1234. 43: lv2b = 4
  1235. 44: lv2c = {lv16}/*org.opalj.br.LocalVariable*/.name()
  1236. // ⚡️ <uncaught exception ⇒ abnormal return>
  1237.  
  1238. // 44 →
  1239. 45: {lv1a}[{lv2b}] = {lv2c}
  1240. 46: lv2e = java.lang.String.format({lv18}, {lv1a})
  1241. // ⚡️ <uncaught exception ⇒ abnormal return>
  1242.  
  1243. // 46 →
  1244. 47: /*expression value is ignored:*/{lv8}/*java.lang.StringBuilder*/.append({lv2e})
  1245. // ⚡️ <uncaught exception ⇒ abnormal return>
  1246.  
  1247. // 47 →
  1248. 48: lv30 = {lv30, lv13} + 1
  1249. 49: goto 20
  1250.  
  1251. // 21 →
  1252. 50: lv32 = " }
  1253. "
  1254. 51: /*expression value is ignored:*/{lv8}/*java.lang.StringBuilder*/.append({lv32})
  1255. // ⚡️ <uncaught exception ⇒ abnormal return>
  1256.  
  1257. // 51 →
  1258. 52: lv34 = {lv8}/*java.lang.StringBuilder*/.toString()
  1259. // ⚡️ <uncaught exception ⇒ abnormal return>
  1260.  
  1261. // 52 →
  1262. 53: if({lv34} != null) goto 56
  1263.  
  1264. // 53 →
  1265. 54: lv36 = 12
  1266. 55: opalintegration.Tables.$$$reportNull$$$0({lv36})
  1267. // ⚡️ <uncaught exception ⇒ abnormal return>
  1268.  
  1269. // 53, 55 →
  1270. 56: return {lv34}
  1271. }
  1272.  
  1273.  
  1274.  
  1275. @org.jetbrains.annotations.NotNull
  1276. static java.lang.String localVariableTypeTable(@org.jetbrains.annotations.NotNull org.opalj.br.Code) {
  1277. /* PARAMETERS:
  1278. param1: useSites={0,14,5,19} (origin=-2)
  1279. */
  1280. 0: if({param1} != null) goto 3
  1281.  
  1282. // 0 →
  1283. 1: lv1 = 16
  1284. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  1285. // ⚡️ <uncaught exception ⇒ abnormal return>
  1286.  
  1287. // 0, 2 →
  1288. 3: lv3 = new StringBuilder
  1289. 4: {lv3}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  1290. // ⚡️ <uncaught exception ⇒ abnormal return>
  1291.  
  1292. // 4 →
  1293. 5: lv5 = {param1}/*org.opalj.br.Code*/.localVariableTypeTable()
  1294. // ⚡️ <uncaught exception ⇒ abnormal return>
  1295.  
  1296. // 5 →
  1297. 6: lv6 = {lv5}/*scala.collection.Iterable*/.isEmpty()
  1298. // ⚡️ <uncaught exception ⇒ abnormal return>
  1299.  
  1300. // 6 →
  1301. 7: if({lv6} == 0) goto 10
  1302.  
  1303. // 7 →
  1304. 8: lv8 = ""
  1305.  
  1306. // 8 →
  1307. 9: return {lv8}
  1308.  
  1309. // 7 →
  1310. 10: lva = "
  1311. LocalVariableTypeTable { "
  1312. 11: lvb = {lv3}/*java.lang.StringBuilder*/.append({lva})
  1313. // ⚡️ <uncaught exception ⇒ abnormal return>
  1314.  
  1315. // 11 →
  1316. 12: lvc = "// [size: "
  1317. 13: lvd = {lvb}/*java.lang.StringBuilder*/.append({lvc})
  1318. // ⚡️ <uncaught exception ⇒ abnormal return>
  1319.  
  1320. // 13 →
  1321. 14: lve = {param1}/*org.opalj.br.Code*/.localVariableTypeTable()
  1322. // ⚡️ <uncaught exception ⇒ abnormal return>
  1323.  
  1324. // 14 →
  1325. 15: lvf = {lve}/*scala.collection.Iterable*/.size()
  1326. // ⚡️ <uncaught exception ⇒ abnormal return>
  1327.  
  1328. // 15 →
  1329. 16: lv10 = {lvd}/*java.lang.StringBuilder*/.append({lvf})
  1330. // ⚡️ <uncaught exception ⇒ abnormal return>
  1331.  
  1332. // 16 →
  1333. 17: lv11 = " item(s)]
  1334. "
  1335. 18: /*expression value is ignored:*/{lv10}/*java.lang.StringBuilder*/.append({lv11})
  1336. // ⚡️ <uncaught exception ⇒ abnormal return>
  1337.  
  1338. // 18 →
  1339. 19: lv13 = {param1}/*org.opalj.br.Code*/.localVariableTypeTable()
  1340. // ⚡️ <uncaught exception ⇒ abnormal return>
  1341.  
  1342. // 19 →
  1343. 20: lv14 = opalintegration.Tables$localVariableTypeTable(Lorg$opalj$br$Code:)Ljava$lang$String::75$Lambda.$newInstance({lv3})
  1344. // ⚡️ <uncaught exception ⇒ abnormal return>
  1345.  
  1346. // 20 →
  1347. 21: {lv13}/*scala.collection.Iterable*/.foreach({lv14})
  1348. // ⚡️ <uncaught exception ⇒ abnormal return>
  1349.  
  1350. // 21 →
  1351. 22: lv16 = " }
  1352. "
  1353. 23: /*expression value is ignored:*/{lv3}/*java.lang.StringBuilder*/.append({lv16})
  1354. // ⚡️ <uncaught exception ⇒ abnormal return>
  1355.  
  1356. // 23 →
  1357. 24: lv18 = {lv3}/*java.lang.StringBuilder*/.toString()
  1358. // ⚡️ <uncaught exception ⇒ abnormal return>
  1359.  
  1360. // 24 →
  1361. 25: if({lv18} != null) goto 28
  1362.  
  1363. // 25 →
  1364. 26: lv1a = 18
  1365. 27: opalintegration.Tables.$$$reportNull$$$0({lv1a})
  1366. // ⚡️ <uncaught exception ⇒ abnormal return>
  1367.  
  1368. // 25, 27 →
  1369. 28: return {lv18}
  1370. }
  1371.  
  1372.  
  1373.  
  1374. @org.jetbrains.annotations.NotNull
  1375. static java.lang.String methodTypeSignature(org.opalj.br.Method) {
  1376. /* PARAMETERS:
  1377. param1: useSites={2} (origin=-2)
  1378. */
  1379. 0: lv0 = new StringBuilder
  1380. 1: {lv0}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  1381. // ⚡️ <uncaught exception ⇒ abnormal return>
  1382.  
  1383. // 1 →
  1384. 2: lv2 = {param1}/*org.opalj.br.Method*/.methodTypeSignature()
  1385. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.lang.Exception → 6
  1386.  
  1387. // 2 →
  1388. 3: lv3 = {lv2}/*scala.Option*/.get()
  1389. // ⚡️ <uncaught exception ⇒ abnormal return>, ⚡️ java.lang.Exception → 6
  1390.  
  1391. // 3 →
  1392. 4: (org.opalj.br.MethodTypeSignature) {lv3}
  1393. // ⚡️ java.lang.Exception → 6
  1394.  
  1395. // 4 →
  1396. 5: goto 9
  1397.  
  1398. // java.lang.Exception →
  1399. 6: caught java.lang.Exception /* <= {exception[VM]@4,exception[VM]@2,exception@2,exception[VM]@3,exception@3}*/
  1400. 7: lv7 = ""
  1401.  
  1402. // 7 →
  1403. 8: return {lv7}
  1404.  
  1405. // 5 →
  1406. 9: lv9 = " // MethodTypeSignature: "
  1407. 10: lva = {lv0}/*java.lang.StringBuilder*/.append({lv9})
  1408. // ⚡️ <uncaught exception ⇒ abnormal return>
  1409.  
  1410. // 10 →
  1411. 11: lvb = {lv3}/*org.opalj.br.MethodTypeSignature*/.toJVMSignature()
  1412. // ⚡️ <uncaught exception ⇒ abnormal return>
  1413.  
  1414. // 11 →
  1415. 12: lvc = {lva}/*java.lang.StringBuilder*/.append({lvb})
  1416. // ⚡️ <uncaught exception ⇒ abnormal return>
  1417.  
  1418. // 12 →
  1419. 13: lvd = "
  1420. "
  1421. 14: /*expression value is ignored:*/{lvc}/*java.lang.StringBuilder*/.append({lvd})
  1422. // ⚡️ <uncaught exception ⇒ abnormal return>
  1423.  
  1424. // 14 →
  1425. 15: lvf = {lv0}/*java.lang.StringBuilder*/.toString()
  1426. // ⚡️ <uncaught exception ⇒ abnormal return>
  1427.  
  1428. // 15 →
  1429. 16: if({lvf} != null) goto 19
  1430.  
  1431. // 16 →
  1432. 17: lv11 = 20
  1433. 18: opalintegration.Tables.$$$reportNull$$$0({lv11})
  1434. // ⚡️ <uncaught exception ⇒ abnormal return>
  1435.  
  1436. // 16, 18 →
  1437. 19: return {lvf}
  1438. }
  1439.  
  1440.  
  1441.  
  1442. @org.jetbrains.annotations.NotNull
  1443. static java.lang.String stackMapTable(@org.jetbrains.annotations.NotNull org.opalj.br.Code) {
  1444. /* PARAMETERS:
  1445. param1: useSites={0,10,3} (origin=-2)
  1446. */
  1447. 0: if({param1} != null) goto 3
  1448.  
  1449. // 0 →
  1450. 1: lv1 = 13
  1451. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  1452. // ⚡️ <uncaught exception ⇒ abnormal return>
  1453.  
  1454. // 0, 2 →
  1455. 3: lv3 = {param1}/*org.opalj.br.Code*/.stackMapTable()
  1456. // ⚡️ <uncaught exception ⇒ abnormal return>
  1457.  
  1458. // 3 →
  1459. 4: lv4 = {lv3}/*scala.Option*/.isDefined()
  1460. // ⚡️ <uncaught exception ⇒ abnormal return>
  1461.  
  1462. // 4 →
  1463. 5: if({lv4} != 0) goto 8
  1464.  
  1465. // 5 →
  1466. 6: lv6 = ""
  1467.  
  1468. // 6 →
  1469. 7: return {lv6}
  1470.  
  1471. // 5 →
  1472. 8: lv8 = new StringBuilder
  1473. 9: {lv8}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  1474. // ⚡️ <uncaught exception ⇒ abnormal return>
  1475.  
  1476. // 9 →
  1477. 10: lva = {param1}/*org.opalj.br.Code*/.stackMapTable()
  1478. // ⚡️ <uncaught exception ⇒ abnormal return>
  1479.  
  1480. // 10 →
  1481. 11: lvb = {lva}/*scala.Option*/.get()
  1482. // ⚡️ <uncaught exception ⇒ abnormal return>
  1483.  
  1484. // 11 →
  1485. 12: (org.opalj.br.StackMapTable) {lvb}
  1486. // ⚡️ <uncaught exception ⇒ abnormal return>
  1487.  
  1488. // 12 →
  1489. 13: lvd = {lvb}/*org.opalj.br.StackMapTable*/.stackMapFrames()
  1490. // ⚡️ <uncaught exception ⇒ abnormal return>
  1491.  
  1492. // 13 →
  1493. 14: lve = new StackMapVisitorImpl
  1494. 15: {lve}/*(non-virtual) opalintegration.Visitor.StackMap.StackMapVisitorImpl*/.<init>()
  1495. // ⚡️ <uncaught exception ⇒ abnormal return>
  1496.  
  1497. // 15 →
  1498. 16: lv10 = "
  1499. StackMapTable {"
  1500. 17: lv11 = {lv8}/*java.lang.StringBuilder*/.append({lv10})
  1501. // ⚡️ <uncaught exception ⇒ abnormal return>
  1502.  
  1503. // 17 →
  1504. 18: lv12 = "
  1505. "
  1506. 19: lv13 = {lv11}/*java.lang.StringBuilder*/.append({lv12})
  1507. // ⚡️ <uncaught exception ⇒ abnormal return>
  1508.  
  1509. // 19 →
  1510. 20: lv14 = " //PC Kind Frame Type Offset Delta
  1511. "
  1512. 21: /*expression value is ignored:*/{lv13}/*java.lang.StringBuilder*/.append({lv14})
  1513. // ⚡️ <uncaught exception ⇒ abnormal return>
  1514.  
  1515. // 21 →
  1516. 22: lv16 = {lvb}/*org.opalj.br.StackMapTable*/.pcs()
  1517. // ⚡️ <uncaught exception ⇒ abnormal return>
  1518.  
  1519. // 22 →
  1520. 23: lv17 = {lv16}/*org.opalj.collection.immutable.IntArraySet*/.iterator()
  1521. // ⚡️ <uncaught exception ⇒ abnormal return>
  1522.  
  1523. // 23 →
  1524. 24: lv18 = 0
  1525.  
  1526. // 24, 37 →
  1527. 25: lv19 = {lvd}/*org.opalj.collection.immutable.RefArray*/.length()
  1528. // ⚡️ <uncaught exception ⇒ abnormal return>
  1529.  
  1530. // 25 →
  1531. 26: if({lv18, lv24} >= {lv19}) goto 38
  1532.  
  1533. // 26 →
  1534. 27: lv1b = {lv17}/*org.opalj.collection.IntIterator*/.next()
  1535. // ⚡️ <uncaught exception ⇒ abnormal return>
  1536.  
  1537. // 27 →
  1538. 28: lv1c = {lvd}/*org.opalj.collection.immutable.RefArray*/.apply({lv18, lv24})
  1539. // ⚡️ <uncaught exception ⇒ abnormal return>
  1540.  
  1541. // 28 →
  1542. 29: lv1d = 1
  1543. 30: lv1e = new int[{lv1d}]
  1544. 31: lv1f = 0
  1545. 32: {lv1e}[{lv1f}] = {lv1b}
  1546. 33: lv21 = {lve}/*opalintegration.Visitor.StackMap.StackMapVisitorImpl*/.accept({lv1c}, {lv1e})
  1547. // ⚡️ <uncaught exception ⇒ abnormal return>
  1548.  
  1549. // 33 →
  1550. 34: (java.lang.String) {lv21}
  1551. // ⚡️ <uncaught exception ⇒ abnormal return>
  1552.  
  1553. // 34 →
  1554. 35: /*expression value is ignored:*/{lv8}/*java.lang.StringBuilder*/.append({lv21})
  1555. // ⚡️ <uncaught exception ⇒ abnormal return>
  1556.  
  1557. // 35 →
  1558. 36: lv24 = {lv18, lv24} + 1
  1559. 37: goto 25
  1560.  
  1561. // 26 →
  1562. 38: lv26 = " }
  1563. "
  1564. 39: /*expression value is ignored:*/{lv8}/*java.lang.StringBuilder*/.append({lv26})
  1565. // ⚡️ <uncaught exception ⇒ abnormal return>
  1566.  
  1567. // 39 →
  1568. 40: lv28 = {lv8}/*java.lang.StringBuilder*/.toString()
  1569. // ⚡️ <uncaught exception ⇒ abnormal return>
  1570.  
  1571. // 40 →
  1572. 41: if({lv28} != null) goto 44
  1573.  
  1574. // 41 →
  1575. 42: lv2a = 15
  1576. 43: opalintegration.Tables.$$$reportNull$$$0({lv2a})
  1577. // ⚡️ <uncaught exception ⇒ abnormal return>
  1578.  
  1579. // 41, 43 →
  1580. 44: return {lv28}
  1581. }
  1582.  
  1583.  
  1584.  
  1585. @org.jetbrains.annotations.NotNull
  1586. static java.lang.String thrownExceptions(@org.jetbrains.annotations.NotNull scala.Option) {
  1587. /* PARAMETERS:
  1588. param1: useSites={0,16,3,11} (origin=-2)
  1589. */
  1590. 0: if({param1} != null) goto 3
  1591.  
  1592. // 0 →
  1593. 1: lv1 = 4
  1594. 2: opalintegration.Tables.$$$reportNull$$$0({lv1})
  1595. // ⚡️ <uncaught exception ⇒ abnormal return>
  1596.  
  1597. // 0, 2 →
  1598. 3: lv3 = {param1}/*scala.Option*/.isDefined()
  1599. // ⚡️ <uncaught exception ⇒ abnormal return>
  1600.  
  1601. // 3 →
  1602. 4: if({lv3} != 0) goto 7
  1603.  
  1604. // 4 →
  1605. 5: lv5 = ""
  1606.  
  1607. // 5 →
  1608. 6: return {lv5}
  1609.  
  1610. // 4 →
  1611. 7: lv7 = new StringBuilder
  1612. 8: {lv7}/*(non-virtual) java.lang.StringBuilder*/.<init>()
  1613. // ⚡️ <uncaught exception ⇒ abnormal return>
  1614.  
  1615. // 8 →
  1616. 9: lv9 = " throws "
  1617. 10: /*expression value is ignored:*/{lv7}/*java.lang.StringBuilder*/.append({lv9})
  1618. // ⚡️ <uncaught exception ⇒ abnormal return>
  1619.  
  1620. // 10 →
  1621. 11: lvb = {param1}/*scala.Option*/.get()
  1622. // ⚡️ <uncaught exception ⇒ abnormal return>
  1623.  
  1624. // 11 →
  1625. 12: (org.opalj.br.ExceptionTable) {lvb}
  1626. // ⚡️ <uncaught exception ⇒ abnormal return>
  1627.  
  1628. // 12 →
  1629. 13: lvd = {lvb}/*org.opalj.br.ExceptionTable*/.exceptions()
  1630. // ⚡️ <uncaught exception ⇒ abnormal return>
  1631.  
  1632. // 13 →
  1633. 14: lve = {lvd}/*org.opalj.collection.immutable.RefArray*/.size()
  1634. // ⚡️ <uncaught exception ⇒ abnormal return>
  1635.  
  1636. // 14 →
  1637. 15: lvf = new org.opalj.br.ObjectType[{lve}]
  1638. // ⚡️ <uncaught exception ⇒ abnormal return>
  1639.  
  1640. // 15 →
  1641. 16: lv10 = {param1}/*scala.Option*/.get()
  1642. // ⚡️ <uncaught exception ⇒ abnormal return>
  1643.  
  1644. // 16 →
  1645. 17: (org.opalj.br.ExceptionTable) {lv10}
  1646. // ⚡️ <uncaught exception ⇒ abnormal return>
  1647.  
  1648. // 17 →
  1649. 18: lv12 = {lv10}/*org.opalj.br.ExceptionTable*/.exceptions()
  1650. // ⚡️ <uncaught exception ⇒ abnormal return>
  1651.  
  1652. // 18 →
  1653. 19: {lv12}/*org.opalj.collection.immutable.RefArray*/.copyToArray({lvf})
  1654. // ⚡️ <uncaught exception ⇒ abnormal return>
  1655.  
  1656. // 19 →
  1657. 20: lv14 = java.util.Arrays.stream({lvf})
  1658. // ⚡️ <uncaught exception ⇒ abnormal return>
  1659.  
  1660. // 20 →
  1661. 21: lv15 = opalintegration.Tables$thrownExceptions(Lscala$Option:)Ljava$lang$String::77$Lambda.$newInstance()
  1662. // ⚡️ <uncaught exception ⇒ abnormal return>
  1663.  
  1664. // 21 →
  1665. 22: lv16 = {lv14}/*java.util.stream.Stream*/.map({lv15})
  1666. // ⚡️ <uncaught exception ⇒ abnormal return>
  1667.  
  1668. // 22 →
  1669. 23: lv17 = ", "
  1670. 24: lv18 = java.util.stream.Collectors.joining({lv17})
  1671. // ⚡️ <uncaught exception ⇒ abnormal return>
  1672.  
  1673. // 24 →
  1674. 25: lv19 = {lv16}/*java.util.stream.Stream*/.collect({lv18})
  1675. // ⚡️ <uncaught exception ⇒ abnormal return>
  1676.  
  1677. // 25 →
  1678. 26: (java.lang.String) {lv19}
  1679. // ⚡️ <uncaught exception ⇒ abnormal return>
  1680.  
  1681. // 26 →
  1682. 27: /*expression value is ignored:*/{lv7}/*java.lang.StringBuilder*/.append({lv19})
  1683. // ⚡️ <uncaught exception ⇒ abnormal return>
  1684.  
  1685. // 27 →
  1686. 28: lv1c = {lv7}/*java.lang.StringBuilder*/.toString()
  1687. // ⚡️ <uncaught exception ⇒ abnormal return>
  1688.  
  1689. // 28 →
  1690. 29: if({lv1c} != null) goto 32
  1691.  
  1692. // 29 →
  1693. 30: lv1e = 6
  1694. 31: opalintegration.Tables.$$$reportNull$$$0({lv1e})
  1695. // ⚡️ <uncaught exception ⇒ abnormal return>
  1696.  
  1697. // 29, 31 →
  1698. 32: return {lv1c}
  1699. }
  1700.  
  1701.  
  1702. } //Methods
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement