doc/index.html

   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 on Fri Feb 17 18:37:16 GMT 2012 -->
   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)
  12         targetPage = "undefined";
  13     function loadFrames() {
  14         if (targetPage != "" && targetPage != "undefined")
  15              top.classFrame.location = top.targetPage;
  16     }
  17 </script>
  18 </head>
  19 <frameset cols="20%,80%" title="Documentation frame" onload="top.loadFrames()">
  20 <frame src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)">
  21 <frame src="lib/core/package-summary.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
  22 <noframes>
  23 <noscript>
  24 <div>JavaScript is disabled on your browser.</div>
  25 </noscript>
  26 <h2>Frame Alert</h2>
  27 <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="lib/core/package-summary.html">Non-frame version</a>.</p>
  28 </noframes>
  29 </frameset>
  30 </html>