Skip to content

Commit 9975a92

Browse files
sandragreinersandragreiner
committed
doc for refactorings
1 parent d1d7829 commit 9975a92

103 files changed

Lines changed: 2494 additions & 2926 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎docs/allclasses-index.html‎

Lines changed: 69 additions & 60 deletions
Large diffs are not rendered by default.

‎docs/allpackages-index.html‎

Lines changed: 19 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,27 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
4+
<!-- Generated by javadoc (21) on Mon Jun 17 07:51:11 CEST 2024 -->
55
<title>All Packages (trace-boosting 1.0.0 API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
8-
<meta name="dc.created" content="2024-06-04">
8+
<meta name="dc.created" content="2024-06-17">
99
<meta name="description" content="package index">
1010
<meta name="generator" content="javadoc/AllPackagesIndexWriter">
11-
<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
13-
<script type="text/javascript" src="script-files/script.js"></script>
14-
<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
15-
<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
11+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
12+
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
13+
<script type="text/javascript" src="script.js"></script>
14+
<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
15+
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
1616
</head>
1717
<body class="all-packages-index-page">
1818
<script type="text/javascript">var pathtoroot = "./";
1919
loadScripts(document, 'script');</script>
2020
<noscript>
2121
<div>JavaScript is disabled on your browser.</div>
2222
</noscript>
23-
<header role="banner">
23+
<div class="flex-box">
24+
<header role="banner" class="flex-header">
2425
<nav role="navigation">
2526
<!-- ========= START OF TOP NAVBAR ======= -->
2627
<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>
@@ -45,6 +46,7 @@
4546
<!-- ========= END OF TOP NAVBAR ========= -->
4647
<span class="skip-nav" id="skip-navbar-top"></span></nav>
4748
</header>
49+
<div class="flex-content">
4850
<main role="main">
4951
<div class="header">
5052
<h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
@@ -53,21 +55,25 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
5355
<div class="summary-table two-column-summary">
5456
<div class="table-header col-first">Package</div>
5557
<div class="table-header col-last">Description</div>
56-
<div class="col-first even-row-color"><a href="org/variantsync/boosting/package-summary.html">org.variantsync.boosting</a></div>
58+
<div class="col-first even-row-color"><a href="package-summary.html">Unnamed Package</a></div>
5759
<div class="col-last even-row-color">&nbsp;</div>
58-
<div class="col-first odd-row-color"><a href="org/variantsync/boosting/datastructure/package-summary.html">org.variantsync.boosting.datastructure</a></div>
60+
<div class="col-first odd-row-color"><a href="org/variantsync/boosting/package-summary.html">org.variantsync.boosting</a></div>
5961
<div class="col-last odd-row-color">&nbsp;</div>
60-
<div class="col-first even-row-color"><a href="org/variantsync/boosting/parsing/package-summary.html">org.variantsync.boosting.parsing</a></div>
62+
<div class="col-first even-row-color"><a href="org/variantsync/boosting/datastructure/package-summary.html">org.variantsync.boosting.datastructure</a></div>
6163
<div class="col-last even-row-color">&nbsp;</div>
62-
<div class="col-first odd-row-color"><a href="org/variantsync/boosting/position/package-summary.html">org.variantsync.boosting.position</a></div>
64+
<div class="col-first odd-row-color"><a href="org/variantsync/boosting/parsing/package-summary.html">org.variantsync.boosting.parsing</a></div>
6365
<div class="col-last odd-row-color">&nbsp;</div>
64-
<div class="col-first even-row-color"><a href="org/variantsync/boosting/product/package-summary.html">org.variantsync.boosting.product</a></div>
66+
<div class="col-first even-row-color"><a href="org/variantsync/boosting/position/package-summary.html">org.variantsync.boosting.position</a></div>
6567
<div class="col-last even-row-color">&nbsp;</div>
68+
<div class="col-first odd-row-color"><a href="org/variantsync/boosting/product/package-summary.html">org.variantsync.boosting.product</a></div>
69+
<div class="col-last odd-row-color">&nbsp;</div>
6670
</div>
6771
</main>
6872
<footer role="contentinfo">
6973
<hr>
7074
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
7175
</footer>
76+
</div>
77+
</div>
7278
</body>
7379
</html>

docs/resource-files/copy.svg renamed to docs/copy.svg

File renamed without changes.

‎docs/element-list‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
unnamed package
12
org.variantsync.boosting
23
org.variantsync.boosting.datastructure
34
org.variantsync.boosting.parsing

‎docs/help-doc.html‎

Lines changed: 13 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,27 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
4+
<!-- Generated by javadoc (21) on Mon Jun 17 07:51:11 CEST 2024 -->
55
<title>API Help (trace-boosting 1.0.0 API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
8-
<meta name="dc.created" content="2024-06-04">
8+
<meta name="dc.created" content="2024-06-17">
99
<meta name="description" content="help">
1010
<meta name="generator" content="javadoc/HelpWriter">
11-
<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
13-
<script type="text/javascript" src="script-files/script.js"></script>
14-
<script type="text/javascript" src="script-files/jquery-3.6.1.min.js"></script>
15-
<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
11+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
12+
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
13+
<script type="text/javascript" src="script.js"></script>
14+
<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
15+
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
1616
</head>
1717
<body class="help-page">
1818
<script type="text/javascript">var pathtoroot = "./";
1919
loadScripts(document, 'script');</script>
2020
<noscript>
2121
<div>JavaScript is disabled on your browser.</div>
2222
</noscript>
23-
<header role="banner">
23+
<div class="flex-box">
24+
<header role="banner" class="flex-header">
2425
<nav role="navigation">
2526
<!-- ========= START OF TOP NAVBAR ======= -->
2627
<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>
@@ -60,6 +61,7 @@
6061
<!-- ========= END OF TOP NAVBAR ========= -->
6162
<span class="skip-nav" id="skip-navbar-top"></span></nav>
6263
</header>
64+
<div class="flex-content">
6365
<main role="main">
6466
<h1 class="title">JavaDoc Help</h1>
6567
<ul class="help-toc">
@@ -95,7 +97,7 @@ <h3>Search</h3>
9597
<li><code>"InpStr"</code> matches "java.io.InputStream"</li>
9698
<li><code>"math exact long"</code> matches "java.lang.Math.absExact(long)"</li>
9799
</ul>
98-
<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>
100+
<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>
99101
</section>
100102
</div>
101103
<hr>
@@ -190,5 +192,7 @@ <h3>Index</h3>
190192
<hr>
191193
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
192194
</footer>
195+
</div>
196+
</div>
193197
</body>
194198
</html>

0 commit comments

Comments
 (0)