3 <title>Coverage report </title>
4 <script type="text/javascript">
5 targetPage = "" + window.location.search;
6 if (targetPage != "" && targetPage != "undefined")
7 targetPage = targetPage.substring(1);
8 if (targetPage.indexOf(":") != -1 || (targetPage != "" && !validURL(targetPage)))
9 targetPage = "undefined";
10 function validURL(url) {
11 var pos = url.indexOf(".html");
12 if (pos == -1 || pos != url.length - 5)
14 var allowNumber = false;
17 for (var i = 0; i < url.length - 5; i++) {
18 var ch = url.charAt(i);
19 if ('a' <= ch && ch <= 'z' ||
20 'A' <= ch && ch <= 'Z' ||
25 } else if ('0' <= ch && ch <= '9' ||
29 } else if (ch == '/' || ch == '.') {
36 if (ch == '/' && seenDot)
44 function loadFrames() {
45 if (targetPage != "" && targetPage != "undefined")
46 top.classFrame.location = top.targetPage;
50 <FRAMESET cols="20%,80%" title="Documentation frame" onclick="top.loadFrames()">
51 <FRAMESET rows="30%,70%" title="Left frames" onload="top.loadFrames()">
52 <FRAME src="overview-frame.html" name="packageListFrame" title="All Packages">
53 <FRAME src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)">
55 <FRAME src="overview-summary.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
57 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.
59 Link to<A HREF="overview-summary.html">Non-frame version.</A>