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> 5<!-- Generated by javadoc --> 6<title>library 3.9.0 API</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> 75