docs: update JavaDocs

VariantSync · Jun 4, 2024 · f2b930f · f2b930f
1 parent fed1362
commit f2b930f
Show file tree

Hide file tree

Showing 80 changed files with 14,341 additions and 94 deletions.
diff --git a/docs/allclasses-index.html b/docs/allclasses-index.html
@@ -1,27 +1,26 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
+<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
 <title>All Classes and Interfaces (trace-boosting 1.0.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <meta name="dc.created" content="2024-06-04">
 <meta name="description" content="class index">
 <meta name="generator" content="javadoc/AllClassesIndexWriter">
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
-<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
-<script type="text/javascript" src="script.js"></script>
-<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
-<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
+<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
+<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
+<script type="text/javascript" src="script-files/script.js"></script>
+<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
+<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
 </head>
 <body class="all-classes-index-page">
 <script type="text/javascript">var pathtoroot = "./";
 loadScripts(document, 'script');</script>
 <noscript>
 <div>JavaScript is disabled on your browser.</div>
 </noscript>
-<div class="flex-box">
-<header role="banner" class="flex-header">
+<header role="banner">
 <nav role="navigation">
 <!-- ========= START OF TOP NAVBAR ======= -->
 <div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
@@ -46,7 +45,6 @@
 <!-- ========= END OF TOP NAVBAR ========= -->
 <span class="skip-nav" id="skip-navbar-top"></span></nav>
 </header>
-<div class="flex-content">
 <main role="main">
 <div class="header">
 <h1 title="All Classes and Interfaces" class="title">All Classes and Interfaces</h1>
@@ -183,7 +181,5 @@ <h1 title="All Classes and Interfaces" class="title">All Classes and Interfaces<
 <hr>
 <p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
-</div>
-</div>
 </body>
 </html>
diff --git a/docs/allpackages-index.html b/docs/allpackages-index.html
@@ -1,27 +1,26 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
+<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
 <title>All Packages (trace-boosting 1.0.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <meta name="dc.created" content="2024-06-04">
 <meta name="description" content="package index">
 <meta name="generator" content="javadoc/AllPackagesIndexWriter">
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
-<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
-<script type="text/javascript" src="script.js"></script>
-<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
-<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
+<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
+<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
+<script type="text/javascript" src="script-files/script.js"></script>
+<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
+<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
 </head>
 <body class="all-packages-index-page">
 <script type="text/javascript">var pathtoroot = "./";
 loadScripts(document, 'script');</script>
 <noscript>
 <div>JavaScript is disabled on your browser.</div>
 </noscript>
-<div class="flex-box">
-<header role="banner" class="flex-header">
+<header role="banner">
 <nav role="navigation">
 <!-- ========= START OF TOP NAVBAR ======= -->
 <div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
@@ -46,7 +45,6 @@
 <!-- ========= END OF TOP NAVBAR ========= -->
 <span class="skip-nav" id="skip-navbar-top"></span></nav>
 </header>
-<div class="flex-content">
 <main role="main">
 <div class="header">
 <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
@@ -71,7 +69,5 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
 <hr>
 <p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
-</div>
-</div>
 </body>
 </html>
diff --git a/docs/help-doc.html b/docs/help-doc.html
@@ -1,27 +1,26 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
+<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
 <title>API Help (trace-boosting 1.0.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <meta name="dc.created" content="2024-06-04">
 <meta name="description" content="help">
 <meta name="generator" content="javadoc/HelpWriter">
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
-<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
-<script type="text/javascript" src="script.js"></script>
-<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
-<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
+<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
+<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
+<script type="text/javascript" src="script-files/script.js"></script>
+<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
+<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
 </head>
 <body class="help-page">
 <script type="text/javascript">var pathtoroot = "./";
 loadScripts(document, 'script');</script>
 <noscript>
 <div>JavaScript is disabled on your browser.</div>
 </noscript>
-<div class="flex-box">
-<header role="banner" class="flex-header">
+<header role="banner">
 <nav role="navigation">
 <!-- ========= START OF TOP NAVBAR ======= -->
 <div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
@@ -61,7 +60,6 @@
 <!-- ========= END OF TOP NAVBAR ========= -->
 <span class="skip-nav" id="skip-navbar-top"></span></nav>
 </header>
-<div class="flex-content">
 <main role="main">
 <h1 class="title">JavaDoc Help</h1>
 <ul class="help-toc">
@@ -97,7 +95,7 @@ <h3>Search</h3>
 <li><code>"InpStr"</code> matches "java.io.InputStream"</li>
 <li><code>"math exact long"</code> matches "java.lang.Math.absExact(long)"</li>
 </ul>
-<p>Refer to the <a href="https://docs.oracle.com/en/java/javase/21/docs/specs/javadoc/javadoc-search-spec.html">Javadoc Search Specification</a> for a full description of search features.</p>
+<p>Refer to the <a href="https://docs.oracle.com/en/java/javase/22/docs/specs/javadoc/javadoc-search-spec.html">Javadoc Search Specification</a> for a full description of search features.</p>
 </section>
 </div>
 <hr>
@@ -192,7 +190,5 @@ <h3>Index</h3>
 <hr>
 <p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
-</div>
-</div>
 </body>
 </html>
diff --git a/docs/index-all.html b/docs/index-all.html
@@ -1,27 +1,26 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
+<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
 <title>Index (trace-boosting 1.0.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <meta name="dc.created" content="2024-06-04">
 <meta name="description" content="index">
 <meta name="generator" content="javadoc/IndexWriter">
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
-<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
-<script type="text/javascript" src="script.js"></script>
-<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
-<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
+<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
+<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
+<script type="text/javascript" src="script-files/script.js"></script>
+<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
+<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
 </head>
 <body class="index-page">
 <script type="text/javascript">var pathtoroot = "./";
 loadScripts(document, 'script');</script>
 <noscript>
 <div>JavaScript is disabled on your browser.</div>
 </noscript>
-<div class="flex-box">
-<header role="banner" class="flex-header">
+<header role="banner">
 <nav role="navigation">
 <!-- ========= START OF TOP NAVBAR ======= -->
 <div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
@@ -46,7 +45,6 @@
 <!-- ========= END OF TOP NAVBAR ========= -->
 <span class="skip-nav" id="skip-navbar-top"></span></nav>
 </header>
-<div class="flex-content">
 <main role="main">
 <div class="header">
 <h1>Index</h1>
@@ -1049,7 +1047,5 @@ <h2 class="title" id="I:W">W</h2>
 <hr>
 <p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
-</div>
-</div>
 </body>
 </html>
diff --git a/docs/index.html b/docs/index.html
@@ -1,27 +1,26 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
+<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
 <title>Overview (trace-boosting 1.0.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <meta name="dc.created" content="2024-06-04">
 <meta name="description" content="package index">
 <meta name="generator" content="javadoc/PackageIndexWriter">
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
-<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
-<script type="text/javascript" src="script.js"></script>
-<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
-<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
+<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
+<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
+<script type="text/javascript" src="script-files/script.js"></script>
+<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
+<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
 </head>
 <body class="package-index-page">
 <script type="text/javascript">var pathtoroot = "./";
 loadScripts(document, 'script');</script>
 <noscript>
 <div>JavaScript is disabled on your browser.</div>
 </noscript>
-<div class="flex-box">
-<header role="banner" class="flex-header">
+<header role="banner">
 <nav role="navigation">
 <!-- ========= START OF TOP NAVBAR ======= -->
 <div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
@@ -46,7 +45,6 @@
 <!-- ========= END OF TOP NAVBAR ========= -->
 <span class="skip-nav" id="skip-navbar-top"></span></nav>
 </header>
-<div class="flex-content">
 <main role="main">
 <div class="header">
 <h1 class="title">trace-boosting 1.0.0 API</h1>
@@ -73,7 +71,5 @@ <h1 class="title">trace-boosting 1.0.0 API</h1>
 <hr>
 <p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
-</div>
-</div>
 </body>
 </html>