Initial
[frank.git] / report / index.html
1 <html>
2 <head>
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)
13       return false;
14     var allowNumber = false;
15     var allowSep = false;
16     var seenDot = 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' ||
21           ch == '$' ||
22           ch == '_') {
23             allowNumber = true;
24             allowSep = true;
25       } else if ('0' <= ch && ch <= '9' ||
26                  ch == '-') {
27                    if (!allowNumber)
28                      return false;
29       } else if (ch == '/' || ch == '.') {
30         if (!allowSep)
31           return false;
32         allowNumber = false;
33         allowSep = false;
34         if (ch == '.')
35           seenDot = true;
36         if (ch == '/' && seenDot)
37           return false;
38       } else {
39         return false;
40       }
41     }
42     return true;
43   }
44   function loadFrames() {
45     if (targetPage != "" && targetPage != "undefined")
46       top.classFrame.location = top.targetPage;
47   }
48 </script>
49 </head>
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)">
54 </FRAMESET>
55 <FRAME src="overview-summary.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
56 <NOFRAMES>
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.
58 <BR>
59 Link to<A HREF="overview-summary.html">Non-frame version.</A>
60 </NOFRAMES>
61 </FRAMESET>
62 </html>