index.html 2.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
  2. <!-- NewPage -->
  3. <html lang="de">
  4. <head>
  5. <!-- Generated by javadoc (1.8.0_231) on Sun Nov 17 02:11:03 CET 2019 -->
  6. <title>Generated Documentation (Untitled)</title>
  7. <script type="text/javascript">
  8. tmpTargetPage = "" + window.location.search;
  9. if (tmpTargetPage != "" && tmpTargetPage != "undefined")
  10. tmpTargetPage = tmpTargetPage.substring(1);
  11. if (tmpTargetPage.indexOf(":") != -1 || (tmpTargetPage != "" && !validURL(tmpTargetPage)))
  12. tmpTargetPage = "undefined";
  13. targetPage = tmpTargetPage;
  14. function validURL(url) {
  15. try {
  16. url = decodeURIComponent(url);
  17. }
  18. catch (error) {
  19. return false;
  20. }
  21. var pos = url.indexOf(".html");
  22. if (pos == -1 || pos != url.length - 5)
  23. return false;
  24. var allowNumber = false;
  25. var allowSep = false;
  26. var seenDot = false;
  27. for (var i = 0; i < url.length - 5; i++) {
  28. var ch = url.charAt(i);
  29. if ('a' <= ch && ch <= 'z' ||
  30. 'A' <= ch && ch <= 'Z' ||
  31. ch == '$' ||
  32. ch == '_' ||
  33. ch.charCodeAt(0) > 127) {
  34. allowNumber = true;
  35. allowSep = true;
  36. } else if ('0' <= ch && ch <= '9'
  37. || ch == '-') {
  38. if (!allowNumber)
  39. return false;
  40. } else if (ch == '/' || ch == '.') {
  41. if (!allowSep)
  42. return false;
  43. allowNumber = false;
  44. allowSep = false;
  45. if (ch == '.')
  46. seenDot = true;
  47. if (ch == '/' && seenDot)
  48. return false;
  49. } else {
  50. return false;
  51. }
  52. }
  53. return true;
  54. }
  55. function loadFrames() {
  56. if (targetPage != "" && targetPage != "undefined")
  57. top.classFrame.location = top.targetPage;
  58. }
  59. </script>
  60. </head>
  61. <frameset cols="20%,80%" title="Documentation frame" onload="top.loadFrames()">
  62. <frameset rows="30%,70%" title="Left frames" onload="top.loadFrames()">
  63. <frame src="overview-frame.html" name="packageListFrame" title="All Packages">
  64. <frame src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)">
  65. </frameset>
  66. <frame src="overview-summary.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
  67. <noframes>
  68. <noscript>
  69. <div>JavaScript is disabled on your browser.</div>
  70. </noscript>
  71. <h2>Frame Alert</h2>
  72. <p>This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client. Link to <a href="overview-summary.html">Non-frame version</a>.</p>
  73. </noframes>
  74. </frameset>
  75. </html>