Skip to content

Commit f2b930f

Browse files
AlexanderSchultheissAlexanderSchultheiss
committed
docs: update JavaDocs
1 parent fed1362 commit f2b930f

80 files changed

Lines changed: 14341 additions & 94 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: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,26 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
4+
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
55
<title>All Classes and Interfaces (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">
88
<meta name="dc.created" content="2024-06-04">
99
<meta name="description" content="class index">
1010
<meta name="generator" content="javadoc/AllClassesIndexWriter">
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>
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>
1616
</head>
1717
<body class="all-classes-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-
<div class="flex-box">
24-
<header role="banner" class="flex-header">
23+
<header role="banner">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
2726
<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 @@
4645
<!-- ========= END OF TOP NAVBAR ========= -->
4746
<span class="skip-nav" id="skip-navbar-top"></span></nav>
4847
</header>
49-
<div class="flex-content">
5048
<main role="main">
5149
<div class="header">
5250
<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<
183181
<hr>
184182
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
185183
</footer>
186-
</div>
187-
</div>
188184
</body>
189185
</html>

‎docs/allpackages-index.html‎

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,26 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
4+
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 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">
88
<meta name="dc.created" content="2024-06-04">
99
<meta name="description" content="package index">
1010
<meta name="generator" content="javadoc/AllPackagesIndexWriter">
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>
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>
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-
<div class="flex-box">
24-
<header role="banner" class="flex-header">
23+
<header role="banner">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
2726
<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 @@
4645
<!-- ========= END OF TOP NAVBAR ========= -->
4746
<span class="skip-nav" id="skip-navbar-top"></span></nav>
4847
</header>
49-
<div class="flex-content">
5048
<main role="main">
5149
<div class="header">
5250
<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>
7169
<hr>
7270
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
7371
</footer>
74-
</div>
75-
</div>
7672
</body>
7773
</html>

‎docs/help-doc.html‎

Lines changed: 8 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,26 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
4+
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 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">
88
<meta name="dc.created" content="2024-06-04">
99
<meta name="description" content="help">
1010
<meta name="generator" content="javadoc/HelpWriter">
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>
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>
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-
<div class="flex-box">
24-
<header role="banner" class="flex-header">
23+
<header role="banner">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
2726
<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 @@
6160
<!-- ========= END OF TOP NAVBAR ========= -->
6261
<span class="skip-nav" id="skip-navbar-top"></span></nav>
6362
</header>
64-
<div class="flex-content">
6563
<main role="main">
6664
<h1 class="title">JavaDoc Help</h1>
6765
<ul class="help-toc">
@@ -97,7 +95,7 @@ <h3>Search</h3>
9795
<li><code>"InpStr"</code> matches "java.io.InputStream"</li>
9896
<li><code>"math exact long"</code> matches "java.lang.Math.absExact(long)"</li>
9997
</ul>
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>
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>
10199
</section>
102100
</div>
103101
<hr>
@@ -192,7 +190,5 @@ <h3>Index</h3>
192190
<hr>
193191
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
194192
</footer>
195-
</div>
196-
</div>
197193
</body>
198194
</html>

‎docs/index-all.html‎

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,26 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
4+
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
55
<title>Index (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">
88
<meta name="dc.created" content="2024-06-04">
99
<meta name="description" content="index">
1010
<meta name="generator" content="javadoc/IndexWriter">
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>
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>
1616
</head>
1717
<body class="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-
<div class="flex-box">
24-
<header role="banner" class="flex-header">
23+
<header role="banner">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
2726
<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 @@
4645
<!-- ========= END OF TOP NAVBAR ========= -->
4746
<span class="skip-nav" id="skip-navbar-top"></span></nav>
4847
</header>
49-
<div class="flex-content">
5048
<main role="main">
5149
<div class="header">
5250
<h1>Index</h1>
@@ -1049,7 +1047,5 @@ <h2 class="title" id="I:W">W</h2>
10491047
<hr>
10501048
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
10511049
</footer>
1052-
</div>
1053-
</div>
10541050
</body>
10551051
</html>

‎docs/index.html‎

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,26 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (21) on Tue Jun 04 13:02:50 CEST 2024 -->
4+
<!-- Generated by javadoc (22) on Tue Jun 04 15:18:22 CEST 2024 -->
55
<title>Overview (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">
88
<meta name="dc.created" content="2024-06-04">
99
<meta name="description" content="package index">
1010
<meta name="generator" content="javadoc/PackageIndexWriter">
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>
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>
1616
</head>
1717
<body class="package-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-
<div class="flex-box">
24-
<header role="banner" class="flex-header">
23+
<header role="banner">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
2726
<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 @@
4645
<!-- ========= END OF TOP NAVBAR ========= -->
4746
<span class="skip-nav" id="skip-navbar-top"></span></nav>
4847
</header>
49-
<div class="flex-content">
5048
<main role="main">
5149
<div class="header">
5250
<h1 class="title">trace-boosting 1.0.0 API</h1>
@@ -73,7 +71,5 @@ <h1 class="title">trace-boosting 1.0.0 API</h1>
7371
<hr>
7472
<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
7573
</footer>
76-
</div>
77-
</div>
7874
</body>
7975
</html>

0 commit comments

Comments
 (0)