Skip to content

Commit

Permalink
Generated documentation for 1.3.5
Browse files Browse the repository at this point in the history
  • Loading branch information
jlink committed Aug 26, 2020
1 parent a8a1156 commit 9bfe4d8
Show file tree
Hide file tree
Showing 252 changed files with 79,234 additions and 233 deletions.
6 changes: 0 additions & 6 deletions TODO.md
Original file line number Diff line number Diff line change
@@ -1,11 +1,5 @@
- 1.3.5

- Release
- Generate documentation
- Update website
- Update snapshot
- Push to Maven

- 1.3.x

- Add abstract method DomainContextBase.registrations()
Expand Down
4 changes: 2 additions & 2 deletions build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ ext {
mockitoVersion = '3.3.3'
systemLambdaVersion = '1.0.0'
moduleName = 'net.jqwik'
jqwikVersion = '1.3.5-SNAPSHOT'
jqwikVersion = '1.3.5'
isSnapshotRelease = isSnapshotRelease(jqwikVersion)
}

Expand All @@ -34,7 +34,7 @@ allprojects {
publishing {
repositories {
maven {
// hint: password is in ~/.gradle/gradle.properties
// hint: credentials are in ~/.gradle/gradle.properties
def ossrhUsername = project.hasProperty('ossrhUsername') ? project.ossrhUsername : ''
def ossrhPassword = project.hasProperty('ossrhPassword') ? project.ossrhPassword : ''

Expand Down
2 changes: 1 addition & 1 deletion docs/_layouts/default.html
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
<a id="forkme_banner" href="{{ site.github.repository_url }}">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.3.4</span>
<span style="float:right; padding-top: 1em; font-size:40%;font-weight:lighter">Latest Release: 1.3.5</span>
</h1>
<h2 id="project_tagline"><a href="/property-based-testing.html">Property-Based Testing</a> in Java</h2>

Expand Down
221 changes: 221 additions & 0 deletions docs/docs/1.3.5/javadoc/allclasses-frame.html

Large diffs are not rendered by default.

221 changes: 221 additions & 0 deletions docs/docs/1.3.5/javadoc/allclasses-noframe.html

Large diffs are not rendered by default.

230 changes: 230 additions & 0 deletions docs/docs/1.3.5/javadoc/constant-values.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,230 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="de">
<head>
<!-- Generated by javadoc -->
<title>Constant Field Values (documentation 1.3.5 API)</title>
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<script type="text/javascript" src="script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Constant Field Values (documentation 1.3.5 API)";
}
}
catch(err) {
}
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!-- -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!-- -->
</a>
<ul class="navList" title="Navigation">
<li><a href="overview-summary.html">Overview</a></li>
<li>Package</li>
<li>Class</li>
<li><a href="overview-tree.html">Tree</a></li>
<li><a href="deprecated-list.html">Deprecated</a></li>
<li><a href="index-all.html">Index</a></li>
<li><a href="help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li>Prev</li>
<li>Next</li>
</ul>
<ul class="navList">
<li><a href="index.html?constant-values.html" target="_top">Frames</a></li>
<li><a href="constant-values.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
allClassesLink = document.getElementById("allclasses_navbar_top");
if(window==top) {
allClassesLink.style.display = "block";
}
else {
allClassesLink.style.display = "none";
}
//-->
</script>
</div>
<a name="skip.navbar.top">
<!-- -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<div class="header">
<h1 title="Constant Field Values" class="title">Constant Field Values</h1>
<h2 title="Contents">Contents</h2>
<ul>
<li><a href="#net.jqwik">net.jqwik.*</a></li>
</ul>
</div>
<div class="constantValuesContainer"><a name="net.jqwik">
<!-- -->
</a>
<h2 title="net.jqwik">net.jqwik.*</h2>
<ul class="blockList">
<li class="blockList">
<table class="constantsSummary" border="0" cellpadding="3" cellspacing="0" summary="Constant Field Values table, listing constant fields, and values">
<caption><span>net.jqwik.api.<a href="net/jqwik/api/ExhaustiveGenerator.html" title="interface in net.jqwik.api">ExhaustiveGenerator</a>&lt;<a href="net/jqwik/api/ExhaustiveGenerator.html" title="type parameter in ExhaustiveGenerator">T</a>&gt;</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th scope="col">Constant Field</th>
<th class="colLast" scope="col">Value</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a name="net.jqwik.api.ExhaustiveGenerator.MAXIMUM_SAMPLES_TO_GENERATE">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;long</code></td>
<td><code><a href="net/jqwik/api/ExhaustiveGenerator.html#MAXIMUM_SAMPLES_TO_GENERATE">MAXIMUM_SAMPLES_TO_GENERATE</a></code></td>
<td class="colLast"><code>2147483647L</code></td>
</tr>
</tbody>
</table>
</li>
<li class="blockList">
<table class="constantsSummary" border="0" cellpadding="3" cellspacing="0" summary="Constant Field Values table, listing constant fields, and values">
<caption><span>net.jqwik.api.<a href="net/jqwik/api/ForAll.html" title="annotation in net.jqwik.api">ForAll</a></span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th scope="col">Constant Field</th>
<th class="colLast" scope="col">Value</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a name="net.jqwik.api.ForAll.NO_VALUE">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;java.lang.String</code></td>
<td><code><a href="net/jqwik/api/ForAll.html#NO_VALUE">NO_VALUE</a></code></td>
<td class="colLast"><code>""</code></td>
</tr>
</tbody>
</table>
</li>
<li class="blockList">
<table class="constantsSummary" border="0" cellpadding="3" cellspacing="0" summary="Constant Field Values table, listing constant fields, and values">
<caption><span>net.jqwik.api.<a href="net/jqwik/api/Property.html" title="annotation in net.jqwik.api">Property</a></span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th scope="col">Constant Field</th>
<th class="colLast" scope="col">Value</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a name="net.jqwik.api.Property.MAX_DISCARD_RATIO_NOT_SET">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;int</code></td>
<td><code><a href="net/jqwik/api/Property.html#MAX_DISCARD_RATIO_NOT_SET">MAX_DISCARD_RATIO_NOT_SET</a></code></td>
<td class="colLast"><code>0</code></td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a name="net.jqwik.api.Property.SEED_NOT_SET">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;java.lang.String</code></td>
<td><code><a href="net/jqwik/api/Property.html#SEED_NOT_SET">SEED_NOT_SET</a></code></td>
<td class="colLast"><code>""</code></td>
</tr>
<tr class="altColor">
<td class="colFirst"><a name="net.jqwik.api.Property.STEREOTYPE_NOT_SET">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;java.lang.String</code></td>
<td><code><a href="net/jqwik/api/Property.html#STEREOTYPE_NOT_SET">STEREOTYPE_NOT_SET</a></code></td>
<td class="colLast"><code>""</code></td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a name="net.jqwik.api.Property.TRIES_NOT_SET">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;int</code></td>
<td><code><a href="net/jqwik/api/Property.html#TRIES_NOT_SET">TRIES_NOT_SET</a></code></td>
<td class="colLast"><code>0</code></td>
</tr>
</tbody>
</table>
</li>
</ul>
<ul class="blockList">
<li class="blockList">
<table class="constantsSummary" border="0" cellpadding="3" cellspacing="0" summary="Constant Field Values table, listing constant fields, and values">
<caption><span>net.jqwik.api.domains.<a href="net/jqwik/api/domains/Domain.html" title="annotation in net.jqwik.api.domains">Domain</a></span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th scope="col">Constant Field</th>
<th class="colLast" scope="col">Value</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a name="net.jqwik.api.domains.Domain.PRIORITY_NOT_SET">
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;int</code></td>
<td><code><a href="net/jqwik/api/domains/Domain.html#PRIORITY_NOT_SET">PRIORITY_NOT_SET</a></code></td>
<td class="colLast"><code>-2147483648</code></td>
</tr>
</tbody>
</table>
</li>
</ul>
</div>
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!-- -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!-- -->
</a>
<ul class="navList" title="Navigation">
<li><a href="overview-summary.html">Overview</a></li>
<li>Package</li>
<li>Class</li>
<li><a href="overview-tree.html">Tree</a></li>
<li><a href="deprecated-list.html">Deprecated</a></li>
<li><a href="index-all.html">Index</a></li>
<li><a href="help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li>Prev</li>
<li>Next</li>
</ul>
<ul class="navList">
<li><a href="index.html?constant-values.html" target="_top">Frames</a></li>
<li><a href="constant-values.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
allClassesLink = document.getElementById("allclasses_navbar_bottom");
if(window==top) {
allClassesLink.style.display = "block";
}
else {
allClassesLink.style.display = "none";
}
//-->
</script>
</div>
<a name="skip.navbar.bottom">
<!-- -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
Loading

0 comments on commit 9bfe4d8

Please sign in to comment.