Skip to content

Commit 2059d07

Browse files
author
Jazzer release pipeline
committed
Automated update: jazzer-api docs
1 parent 562d6f4 commit 2059d07

File tree

109 files changed

+5858
-3597
lines changed

Some content is hidden

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

109 files changed

+5858
-3597
lines changed

jazzer-api/allclasses-index.html

Lines changed: 105 additions & 56 deletions
Large diffs are not rendered by default.

jazzer-api/allpackages-index.html

Lines changed: 16 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (21) on Tue Sep 23 10:30:18 UTC 2025 -->
55
<title>All Packages</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
7-
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
7+
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8+
<meta name="dc.created" content="2025-09-23">
89
<meta name="description" content="package index">
910
<meta name="generator" content="javadoc/AllPackagesIndexWriter">
1011
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
1112
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
1313
<script type="text/javascript" src="script.js"></script>
14-
<script type="text/javascript" src="script-dir/jquery-3.6.0.min.js"></script>
14+
<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
1515
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
1616
</head>
1717
<body class="all-packages-index-page">
@@ -24,22 +24,22 @@
2424
<header role="banner" class="flex-header">
2525
<nav role="navigation">
2626
<!-- ========= START OF TOP NAVBAR ======= -->
27-
<div class="top-nav" id="navbar-top">
27+
<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>
2828
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2929
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3030
<li><a href="index.html">Overview</a></li>
3131
<li>Package</li>
3232
<li>Class</li>
33-
<li>Use</li>
3433
<li><a href="overview-tree.html">Tree</a></li>
3534
<li><a href="index-all.html">Index</a></li>
3635
<li><a href="help-doc.html#all-packages">Help</a></li>
3736
</ul>
3837
</div>
3938
<div class="sub-nav">
40-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
41-
<input type="text" id="search-input" value="search" disabled="disabled">
42-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
39+
<div id="navbar-sub-list"></div>
40+
<div class="nav-list-search"><a href="search.html">SEARCH</a>
41+
<input type="text" id="search-input" disabled placeholder="Search">
42+
<input type="reset" id="reset-button" disabled value="reset">
4343
</div>
4444
</div>
4545
<!-- ========= END OF TOP NAVBAR ========= -->
@@ -56,8 +56,14 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
5656
<div class="table-header col-last">Description</div>
5757
<div class="col-first even-row-color"><a href="com/code_intelligence/jazzer/api/package-summary.html">com.code_intelligence.jazzer.api</a></div>
5858
<div class="col-last even-row-color">&nbsp;</div>
59-
<div class="col-first odd-row-color"><a href="jaz/package-summary.html">jaz</a></div>
59+
<div class="col-first odd-row-color"><a href="com/code_intelligence/jazzer/mutation/annotation/package-summary.html">com.code_intelligence.jazzer.mutation.annotation</a></div>
6060
<div class="col-last odd-row-color">&nbsp;</div>
61+
<div class="col-first even-row-color"><a href="com/code_intelligence/jazzer/mutation/annotation/proto/package-summary.html">com.code_intelligence.jazzer.mutation.annotation.proto</a></div>
62+
<div class="col-last even-row-color">&nbsp;</div>
63+
<div class="col-first odd-row-color"><a href="com/code_intelligence/jazzer/mutation/utils/package-summary.html">com.code_intelligence.jazzer.mutation.utils</a></div>
64+
<div class="col-last odd-row-color">&nbsp;</div>
65+
<div class="col-first even-row-color"><a href="jaz/package-summary.html">jaz</a></div>
66+
<div class="col-last even-row-color">&nbsp;</div>
6167
</div>
6268
</main>
6369
</div>

jazzer-api/com/code_intelligence/jazzer/api/Autofuzz.html

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

jazzer-api/com/code_intelligence/jazzer/api/AutofuzzConstructionException.html

Lines changed: 29 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (21) on Tue Sep 23 10:30:18 UTC 2025 -->
55
<title>AutofuzzConstructionException</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
7-
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
7+
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8+
<meta name="dc.created" content="2025-09-23">
89
<meta name="description" content="declaration: package: com.code_intelligence.jazzer.api, class: AutofuzzConstructionException">
910
<meta name="generator" content="javadoc/ClassWriterImpl">
1011
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
1112
<link rel="stylesheet" type="text/css" href="../../../../script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="../../../../jquery-ui.overrides.css" title="Style">
1313
<script type="text/javascript" src="../../../../script.js"></script>
14-
<script type="text/javascript" src="../../../../script-dir/jquery-3.6.0.min.js"></script>
14+
<script type="text/javascript" src="../../../../script-dir/jquery-3.6.1.min.js"></script>
1515
<script type="text/javascript" src="../../../../script-dir/jquery-ui.min.js"></script>
1616
</head>
1717
<body class="class-declaration-page">
@@ -24,20 +24,38 @@
2424
<header role="banner" class="flex-header">
2525
<nav role="navigation">
2626
<!-- ========= START OF TOP NAVBAR ======= -->
27-
<div class="top-nav" id="navbar-top">
27+
<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>
2828
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2929
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3030
<li><a href="../../../../index.html">Overview</a></li>
3131
<li><a href="package-summary.html">Package</a></li>
3232
<li class="nav-bar-cell1-rev">Class</li>
33-
<li><a href="class-use/AutofuzzConstructionException.html">Use</a></li>
3433
<li><a href="package-tree.html">Tree</a></li>
3534
<li><a href="../../../../index-all.html">Index</a></li>
3635
<li><a href="../../../../help-doc.html#class">Help</a></li>
3736
</ul>
37+
<ul class="sub-nav-list-small">
38+
<li>
39+
<p>Summary:</p>
40+
<ul>
41+
<li>Nested</li>
42+
<li>Field</li>
43+
<li><a href="#constructor-summary">Constr</a></li>
44+
<li><a href="#method-summary">Method</a></li>
45+
</ul>
46+
</li>
47+
<li>
48+
<p>Detail:</p>
49+
<ul>
50+
<li>Field</li>
51+
<li><a href="#constructor-detail">Constr</a></li>
52+
<li>Method</li>
53+
</ul>
54+
</li>
55+
</ul>
3856
</div>
3957
<div class="sub-nav">
40-
<div>
58+
<div id="navbar-sub-list">
4159
<ul class="sub-nav-list">
4260
<li>Summary:&nbsp;</li>
4361
<li>Nested&nbsp;|&nbsp;</li>
@@ -52,9 +70,9 @@
5270
<li>Method</li>
5371
</ul>
5472
</div>
55-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
56-
<input type="text" id="search-input" value="search" disabled="disabled">
57-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
73+
<div class="nav-list-search"><a href="../../../../search.html">SEARCH</a>
74+
<input type="text" id="search-input" disabled placeholder="Search">
75+
<input type="reset" id="reset-button" disabled value="reset">
5876
</div>
5977
</div>
6078
<!-- ========= END OF TOP NAVBAR ========= -->
@@ -88,7 +106,7 @@ <h1 title="Class AutofuzzConstructionException" class="title">Class AutofuzzCons
88106
<dl class="notes">
89107
<dt>See Also:</dt>
90108
<dd>
91-
<ul class="see-list">
109+
<ul class="tag-list">
92110
<li><a href="../../../../serialized-form.html#com.code_intelligence.jazzer.api.AutofuzzConstructionException">Serialized Form</a></li>
93111
</ul>
94112
</dd>

jazzer-api/com/code_intelligence/jazzer/api/AutofuzzInvocationException.html

Lines changed: 29 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (21) on Tue Sep 23 10:30:18 UTC 2025 -->
55
<title>AutofuzzInvocationException</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
7-
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
7+
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8+
<meta name="dc.created" content="2025-09-23">
89
<meta name="description" content="declaration: package: com.code_intelligence.jazzer.api, class: AutofuzzInvocationException">
910
<meta name="generator" content="javadoc/ClassWriterImpl">
1011
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
1112
<link rel="stylesheet" type="text/css" href="../../../../script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="../../../../jquery-ui.overrides.css" title="Style">
1313
<script type="text/javascript" src="../../../../script.js"></script>
14-
<script type="text/javascript" src="../../../../script-dir/jquery-3.6.0.min.js"></script>
14+
<script type="text/javascript" src="../../../../script-dir/jquery-3.6.1.min.js"></script>
1515
<script type="text/javascript" src="../../../../script-dir/jquery-ui.min.js"></script>
1616
</head>
1717
<body class="class-declaration-page">
@@ -24,20 +24,38 @@
2424
<header role="banner" class="flex-header">
2525
<nav role="navigation">
2626
<!-- ========= START OF TOP NAVBAR ======= -->
27-
<div class="top-nav" id="navbar-top">
27+
<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>
2828
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2929
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3030
<li><a href="../../../../index.html">Overview</a></li>
3131
<li><a href="package-summary.html">Package</a></li>
3232
<li class="nav-bar-cell1-rev">Class</li>
33-
<li><a href="class-use/AutofuzzInvocationException.html">Use</a></li>
3433
<li><a href="package-tree.html">Tree</a></li>
3534
<li><a href="../../../../index-all.html">Index</a></li>
3635
<li><a href="../../../../help-doc.html#class">Help</a></li>
3736
</ul>
37+
<ul class="sub-nav-list-small">
38+
<li>
39+
<p>Summary:</p>
40+
<ul>
41+
<li>Nested</li>
42+
<li>Field</li>
43+
<li><a href="#constructor-summary">Constr</a></li>
44+
<li><a href="#method-summary">Method</a></li>
45+
</ul>
46+
</li>
47+
<li>
48+
<p>Detail:</p>
49+
<ul>
50+
<li>Field</li>
51+
<li><a href="#constructor-detail">Constr</a></li>
52+
<li>Method</li>
53+
</ul>
54+
</li>
55+
</ul>
3856
</div>
3957
<div class="sub-nav">
40-
<div>
58+
<div id="navbar-sub-list">
4159
<ul class="sub-nav-list">
4260
<li>Summary:&nbsp;</li>
4361
<li>Nested&nbsp;|&nbsp;</li>
@@ -52,9 +70,9 @@
5270
<li>Method</li>
5371
</ul>
5472
</div>
55-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
56-
<input type="text" id="search-input" value="search" disabled="disabled">
57-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
73+
<div class="nav-list-search"><a href="../../../../search.html">SEARCH</a>
74+
<input type="text" id="search-input" disabled placeholder="Search">
75+
<input type="reset" id="reset-button" disabled value="reset">
5876
</div>
5977
</div>
6078
<!-- ========= END OF TOP NAVBAR ========= -->
@@ -88,7 +106,7 @@ <h1 title="Class AutofuzzInvocationException" class="title">Class AutofuzzInvoca
88106
<dl class="notes">
89107
<dt>See Also:</dt>
90108
<dd>
91-
<ul class="see-list">
109+
<ul class="tag-list">
92110
<li><a href="../../../../serialized-form.html#com.code_intelligence.jazzer.api.AutofuzzInvocationException">Serialized Form</a></li>
93111
</ul>
94112
</dd>

0 commit comments

Comments
 (0)