You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

index.html 2.9KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
  2. <!-- NewPage -->
  3. <html lang="en">
  4. <head>
  5. <!-- Generated by javadoc (10.0.1) on Thu Jun 21 01:52:55 JST 2018 -->
  6. <title>Javassist API</title>
  7. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  8. <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
  9. <script type="text/javascript">
  10. tmpTargetPage = "" + window.location.search;
  11. if (tmpTargetPage != "" && tmpTargetPage != "undefined")
  12. tmpTargetPage = tmpTargetPage.substring(1);
  13. if (tmpTargetPage.indexOf(":") != -1 || (tmpTargetPage != "" && !validURL(tmpTargetPage)))
  14. tmpTargetPage = "undefined";
  15. targetPage = tmpTargetPage;
  16. function validURL(url) {
  17. try {
  18. url = decodeURIComponent(url);
  19. }
  20. catch (error) {
  21. return false;
  22. }
  23. var pos = url.indexOf(".html");
  24. if (pos == -1 || pos != url.length - 5)
  25. return false;
  26. var allowNumber = false;
  27. var allowSep = false;
  28. var seenDot = false;
  29. for (var i = 0; i < url.length - 5; i++) {
  30. var ch = url.charAt(i);
  31. if ('a' <= ch && ch <= 'z' ||
  32. 'A' <= ch && ch <= 'Z' ||
  33. ch == '$' ||
  34. ch == '_' ||
  35. ch.charCodeAt(0) > 127) {
  36. allowNumber = true;
  37. allowSep = true;
  38. } else if ('0' <= ch && ch <= '9'
  39. || ch == '-') {
  40. if (!allowNumber)
  41. return false;
  42. } else if (ch == '/' || ch == '.') {
  43. if (!allowSep)
  44. return false;
  45. allowNumber = false;
  46. allowSep = false;
  47. if (ch == '.')
  48. seenDot = true;
  49. if (ch == '/' && seenDot)
  50. return false;
  51. } else {
  52. return false;
  53. }
  54. }
  55. return true;
  56. }
  57. function loadFrames() {
  58. if (targetPage != "" && targetPage != "undefined")
  59. top.classFrame.location = top.targetPage;
  60. }
  61. </script>
  62. </head>
  63. <body onload="loadFrames()">
  64. <script type="text/javascript">
  65. if (targetPage == "" || targetPage == "undefined")
  66. window.location.replace('overview-summary.html');
  67. </script>
  68. <noscript>JavaScript is disabled on your browser.</noscript>
  69. <div class="mainContainer">
  70. <div class="leftContainer">
  71. <div class="leftTop">
  72. <iframe src="overview-frame.html" name="packageListFrame" title="All Packages"></iframe>
  73. </div>
  74. <div class="leftBottom">
  75. <iframe src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)"></iframe>
  76. </div>
  77. </div>
  78. <div class="rightContainer">
  79. <iframe src="overview-summary.html" name="classFrame" title="Package, class and interface descriptions" class="rightIframe"></iframe>
  80. </div>
  81. </div>
  82. </body>
  83. </html>