| David Morrissey | d94cb88 | 2017-11-16 14:55:41 +0000 | [diff] [blame] | 1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd"> |
| 2 | <!-- NewPage --> |
| 3 | <html lang="en"> |
| 4 | <head> |
| David Morrissey | 3b0a9d1 | 2017-12-03 09:13:27 +0000 | [diff] [blame] | 5 | <!-- Generated by javadoc --> |
| David Morrissey | dea2a39 | 2017-12-02 08:46:32 +0000 | [diff] [blame] | 6 | <title>library 3.9.0 API</title> |
| David Morrissey | d94cb88 | 2017-11-16 14:55:41 +0000 | [diff] [blame] | 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> |