Skip to content

Commit

Permalink
Added documentation for 1.9.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@jlink
jlink committed Jun 28, 2024
1 parent 016e4bb commit e6c3874
Show file tree
Hide file tree
Showing 478 changed files with 98,245 additions and 325 deletions.
2 changes: 1 addition & 1 deletion _layouts/default.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
<a id="forkme_banner" href=https://github.com/jqwik-team/jqwik>View on GitHub</a>

<h1 id="project_title"><a href="https://jqwik.net">{{ site.title | default: site.github.repository_name }}</a>
<span style="float:right; padding-top: 1em; font-size:40%;font-weight:lighter">Latest Release: 1.8.5</span>
<span style="float:right; padding-top: 1em; font-size:40%;font-weight:lighter">Latest Release: 1.9.0</span>
</h1>
<h2 id="project_tagline"><a href="/property-based-testing.html">Property-Based Testing</a> in Java</h2>

Expand Down
1,138 changes: 1,138 additions & 0 deletions docs/1.9.0/javadoc/allclasses-index.html
View file

Large diffs are not rendered by default.

100 changes: 100 additions & 0 deletions docs/1.9.0/javadoc/allpackages-index.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,100 @@
<!DOCTYPE HTML>
<html lang="de">
<head>
<!-- Generated by javadoc (21) -->
<title>Alle Packages (documentation 1.9.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="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>
</head>
<body class="all-packages-index-page">
<script type="text/javascript">var pathtoroot = "./";
loadScripts(document, 'script');</script>
<noscript>
<div>JavaScript ist im Browser deaktiviert.</div>
</noscript>
<div class="flex-box">
<header role="banner" class="flex-header">
<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="Navigationslinks umschalten"><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>
<div class="skip-nav"><a href="#skip-navbar-top" title="Navigations-Links überspringen">Navigations-Links überspringen</a></div>
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
<li><a href="index.html">Überblick</a></li>
<li>Package</li>
<li>Klasse</li>
<li><a href="overview-tree.html">Baum</a></li>
<li><a href="index-all.html">Index</a></li>
<li><a href="help-doc.html#all-packages">Hilfe</a></li>
</ul>
</div>
<div class="sub-nav">
<div id="navbar-sub-list"></div>
<div class="nav-list-search"><a href="search.html">SEARCH</a>
<input type="text" id="search-input" disabled placeholder="Suchen">
<input type="reset" id="reset-button" disabled value="reset">
</div>
</div>
<!-- ========= 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="Alle&amp;nbsp;Packages" class="title">Alle&nbsp;Packages</h1>
</div>
<div class="caption"><span>Packageübersicht</span></div>
<div class="summary-table two-column-summary">
<div class="table-header col-first">Package</div>
<div class="table-header col-last">Beschreibung</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/package-summary.html">net.jqwik.api</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/arbitraries/package-summary.html">net.jqwik.api.arbitraries</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/configurators/package-summary.html">net.jqwik.api.configurators</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/constraints/package-summary.html">net.jqwik.api.constraints</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/domains/package-summary.html">net.jqwik.api.domains</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/facades/package-summary.html">net.jqwik.api.facades</a></div>
<div class="col-last odd-row-color">
<div class="block">This package contains interfaces that are implemented by engine-module
and also used in other modules, e.g. testing.</div>
</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/footnotes/package-summary.html">net.jqwik.api.footnotes</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/lifecycle/package-summary.html">net.jqwik.api.lifecycle</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/providers/package-summary.html">net.jqwik.api.providers</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/sessions/package-summary.html">net.jqwik.api.sessions</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/state/package-summary.html">net.jqwik.api.state</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/stateful/package-summary.html">net.jqwik.api.stateful</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/api/statistics/package-summary.html">net.jqwik.api.statistics</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/api/support/package-summary.html">net.jqwik.api.support</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/time/api/package-summary.html">net.jqwik.time.api</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/time/api/arbitraries/package-summary.html">net.jqwik.time.api.arbitraries</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
<div class="col-first even-row-color"><a href="net/jqwik/time/api/constraints/package-summary.html">net.jqwik.time.api.constraints</a></div>
<div class="col-last even-row-color">&nbsp;</div>
<div class="col-first odd-row-color"><a href="net/jqwik/web/api/package-summary.html">net.jqwik.web.api</a></div>
<div class="col-last odd-row-color">&nbsp;</div>
</div>
</main>
</div>
</div>
</body>
</html>
146 changes: 146 additions & 0 deletions docs/1.9.0/javadoc/constant-values.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,146 @@
<!DOCTYPE HTML>
<html lang="de">
<head>
<!-- Generated by javadoc (21) -->
<title>Konstantenfeldwerte (documentation 1.9.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="description" content="summary of constants">
<meta name="generator" content="javadoc/ConstantsSummaryWriterImpl">
<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>
</head>
<body class="constants-summary-page">
<script type="text/javascript">var pathtoroot = "./";
loadScripts(document, 'script');</script>
<noscript>
<div>JavaScript ist im Browser deaktiviert.</div>
</noscript>
<div class="flex-box">
<header role="banner" class="flex-header">
<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="Navigationslinks umschalten"><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>
<div class="skip-nav"><a href="#skip-navbar-top" title="Navigations-Links überspringen">Navigations-Links überspringen</a></div>
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
<li><a href="index.html">Überblick</a></li>
<li>Package</li>
<li>Klasse</li>
<li><a href="overview-tree.html">Baum</a></li>
<li><a href="index-all.html">Index</a></li>
<li><a href="help-doc.html#constant-values">Hilfe</a></li>
</ul>
</div>
<div class="sub-nav">
<div id="navbar-sub-list"></div>
<div class="nav-list-search"><a href="search.html">SEARCH</a>
<input type="text" id="search-input" disabled placeholder="Suchen">
<input type="reset" id="reset-button" disabled value="reset">
</div>
</div>
<!-- ========= 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="Konstantenfeldwerte" class="title">Konstantenfeldwerte</h1>
</div>
<section class="packages">
<h2 title="Inhalt">Inhalt</h2>
<ul class="contents-list">
<li><a href="#net.jqwik">net.jqwik.*</a></li>
</ul>
</section>
<section class="constants-summary" id="net.jqwik">
<h2 title="net.jqwik.*">net.jqwik.*</h2>
<ul class="block-list">
<li>
<div class="caption"><span>net.jqwik.api.<a href="net/jqwik/api/ExhaustiveGenerator.html" title="Schnittstelle in net.jqwik.api">ExhaustiveGenerator&lt;T&gt;</a></span></div>
<div class="summary-table three-column-summary">
<div class="table-header col-first">Modifizierer und Typ</div>
<div class="table-header col-second">Konstantenfeld</div>
<div class="table-header col-last">Wert</div>
<div class="col-first even-row-color"><code id="net.jqwik.api.ExhaustiveGenerator.MAXIMUM_SAMPLES_TO_GENERATE">public&nbsp;static&nbsp;final&nbsp;long</code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/ExhaustiveGenerator.html#MAXIMUM_SAMPLES_TO_GENERATE">MAXIMUM_SAMPLES_TO_GENERATE</a></code></div>
<div class="col-last even-row-color"><code>2147483647L</code></div>
</div>
</li>
<li>
<div class="caption"><span>net.jqwik.api.<a href="net/jqwik/api/ForAll.html" title="Annotationsschnittstelle in net.jqwik.api">ForAll</a></span></div>
<div class="summary-table three-column-summary">
<div class="table-header col-first">Modifizierer und Typ</div>
<div class="table-header col-second">Konstantenfeld</div>
<div class="table-header col-last">Wert</div>
<div class="col-first even-row-color"><code id="net.jqwik.api.ForAll.NO_VALUE">public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/String.html" title="Klasse oder Schnittstelle in java.lang" class="external-link">String</a></code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/ForAll.html#NO_VALUE">NO_VALUE</a></code></div>
<div class="col-last even-row-color"><code>""</code></div>
</div>
</li>
<li>
<div class="caption"><span>net.jqwik.api.<a href="net/jqwik/api/From.html" title="Annotationsschnittstelle in net.jqwik.api">From</a></span></div>
<div class="summary-table three-column-summary">
<div class="table-header col-first">Modifizierer und Typ</div>
<div class="table-header col-second">Konstantenfeld</div>
<div class="table-header col-last">Wert</div>
<div class="col-first even-row-color"><code id="net.jqwik.api.From.NO_VALUE">public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/String.html" title="Klasse oder Schnittstelle in java.lang" class="external-link">String</a></code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/From.html#NO_VALUE">NO_VALUE</a></code></div>
<div class="col-last even-row-color"><code>""</code></div>
</div>
</li>
<li>
<div class="caption"><span>net.jqwik.api.<a href="net/jqwik/api/Property.html" title="Annotationsschnittstelle in net.jqwik.api">Property</a></span></div>
<div class="summary-table three-column-summary">
<div class="table-header col-first">Modifizierer und Typ</div>
<div class="table-header col-second">Konstantenfeld</div>
<div class="table-header col-last">Wert</div>
<div class="col-first even-row-color"><code id="net.jqwik.api.Property.MAX_DISCARD_RATIO_NOT_SET">public&nbsp;static&nbsp;final&nbsp;int</code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/Property.html#MAX_DISCARD_RATIO_NOT_SET">MAX_DISCARD_RATIO_NOT_SET</a></code></div>
<div class="col-last even-row-color"><code>0</code></div>
<div class="col-first odd-row-color"><code id="net.jqwik.api.Property.SEED_NOT_SET">public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/String.html" title="Klasse oder Schnittstelle in java.lang" class="external-link">String</a></code></div>
<div class="col-second odd-row-color"><code><a href="net/jqwik/api/Property.html#SEED_NOT_SET">SEED_NOT_SET</a></code></div>
<div class="col-last odd-row-color"><code>""</code></div>
<div class="col-first even-row-color"><code id="net.jqwik.api.Property.STEREOTYPE_NOT_SET">public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/String.html" title="Klasse oder Schnittstelle in java.lang" class="external-link">String</a></code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/Property.html#STEREOTYPE_NOT_SET">STEREOTYPE_NOT_SET</a></code></div>
<div class="col-last even-row-color"><code>""</code></div>
<div class="col-first odd-row-color"><code id="net.jqwik.api.Property.TRIES_NOT_SET">public&nbsp;static&nbsp;final&nbsp;int</code></div>
<div class="col-second odd-row-color"><code><a href="net/jqwik/api/Property.html#TRIES_NOT_SET">TRIES_NOT_SET</a></code></div>
<div class="col-last odd-row-color"><code>0</code></div>
</div>
</li>
</ul>
<ul class="block-list">
<li>
<div class="caption"><span>net.jqwik.api.domains.<a href="net/jqwik/api/domains/Domain.html" title="Annotationsschnittstelle in net.jqwik.api.domains">Domain</a></span></div>
<div class="summary-table three-column-summary">
<div class="table-header col-first">Modifizierer und Typ</div>
<div class="table-header col-second">Konstantenfeld</div>
<div class="table-header col-last">Wert</div>
<div class="col-first even-row-color"><code id="net.jqwik.api.domains.Domain.PRIORITY_NOT_SET">public&nbsp;static&nbsp;final&nbsp;int</code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/domains/Domain.html#PRIORITY_NOT_SET">PRIORITY_NOT_SET</a></code></div>
<div class="col-last even-row-color"><code>-2147483648</code></div>
</div>
</li>
</ul>
<ul class="block-list">
<li>
<div class="caption"><span>net.jqwik.api.statistics.<a href="net/jqwik/api/statistics/StatisticsReport.html" title="Annotationsschnittstelle in net.jqwik.api.statistics">StatisticsReport</a></span></div>
<div class="summary-table three-column-summary">
<div class="table-header col-first">Modifizierer und Typ</div>
<div class="table-header col-second">Konstantenfeld</div>
<div class="table-header col-last">Wert</div>
<div class="col-first even-row-color"><code id="net.jqwik.api.statistics.StatisticsReport.ALL_LABELS">public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/String.html" title="Klasse oder Schnittstelle in java.lang" class="external-link">String</a></code></div>
<div class="col-second even-row-color"><code><a href="net/jqwik/api/statistics/StatisticsReport.html#ALL_LABELS">ALL_LABELS</a></code></div>
<div class="col-last even-row-color"><code>""</code></div>
</div>
</li>
</ul>
</section>
</main>
</div>
</div>
</body>
</html>
33 changes: 33 additions & 0 deletions docs/1.9.0/javadoc/copy.svg
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
18 changes: 18 additions & 0 deletions docs/1.9.0/javadoc/element-list
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
net.jqwik.api
net.jqwik.api.arbitraries
net.jqwik.api.configurators
net.jqwik.api.constraints
net.jqwik.api.domains
net.jqwik.api.facades
net.jqwik.api.footnotes
net.jqwik.api.lifecycle
net.jqwik.api.providers
net.jqwik.api.sessions
net.jqwik.api.state
net.jqwik.api.stateful
net.jqwik.api.statistics
net.jqwik.api.support
net.jqwik.time.api
net.jqwik.time.api.arbitraries
net.jqwik.time.api.constraints
net.jqwik.web.api
Loading

0 comments on commit e6c3874

Please sign in to comment.