index.html 2.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374
  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_74) on Tue Sep 27 12:48:17 CEST 2016 -->
  6. <title>Generated Documentation (Untitled)</title>
  7. <script type="text/javascript">
  8. targetPage = "" + window.location.search;
  9. if (targetPage != "" && targetPage != "undefined")
  10. targetPage = targetPage.substring(1);
  11. if (targetPage.indexOf(":") != -1 || (targetPage != "" && !validURL(targetPage)))
  12. targetPage = "undefined";
  13. function validURL(url) {
  14. try {
  15. url = decodeURIComponent(url);
  16. }
  17. catch (error) {
  18. return false;
  19. }
  20. var pos = url.indexOf(".html");
  21. if (pos == -1 || pos != url.length - 5)
  22. return false;
  23. var allowNumber = false;
  24. var allowSep = false;
  25. var seenDot = false;
  26. for (var i = 0; i < url.length - 5; i++) {
  27. var ch = url.charAt(i);
  28. if ('a' <= ch && ch <= 'z' ||
  29. 'A' <= ch && ch <= 'Z' ||
  30. ch == '$' ||
  31. ch == '_' ||
  32. ch.charCodeAt(0) > 127) {
  33. allowNumber = true;
  34. allowSep = true;
  35. } else if ('0' <= ch && ch <= '9'
  36. || ch == '-') {
  37. if (!allowNumber)
  38. return false;
  39. } else if (ch == '/' || ch == '.') {
  40. if (!allowSep)
  41. return false;
  42. allowNumber = false;
  43. allowSep = false;
  44. if (ch == '.')
  45. seenDot = true;
  46. if (ch == '/' && seenDot)
  47. return false;
  48. } else {
  49. return false;
  50. }
  51. }
  52. return true;
  53. }
  54. function loadFrames() {
  55. if (targetPage != "" && targetPage != "undefined")
  56. top.classFrame.location = top.targetPage;
  57. }
  58. </script>
  59. </head>
  60. <frameset cols="20%,80%" title="Documentation frame" onload="top.loadFrames()">
  61. <frameset rows="30%,70%" title="Left frames" onload="top.loadFrames()">
  62. <frame src="overview-frame.html" name="packageListFrame" title="All Packages">
  63. <frame src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)">
  64. </frameset>
  65. <frame src="overview-summary.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
  66. <noframes>
  67. <noscript>
  68. <div>JavaScript is disabled on your browser.</div>
  69. </noscript>
  70. <h2>Frame Alert</h2>
  71. <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>
  72. </noframes>
  73. </frameset>
  74. </html>