update javadoc to 0.9.2

jqwik-team · Nov 5, 2018 · c993c35 · c993c35
1 parent 73d8c20
commit c993c35
Show file tree

Hide file tree

Showing 141 changed files with 600 additions and 585 deletions.
diff --git a/docs/javadoc/allclasses-frame.html b/docs/javadoc/allclasses-frame.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>All Classes (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>All Classes (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

diff --git a/docs/javadoc/allclasses-noframe.html b/docs/javadoc/allclasses-noframe.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>All Classes (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>All Classes (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

diff --git a/docs/javadoc/constant-values.html b/docs/javadoc/constant-values.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Constant Field Values (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>Constant Field Values (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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 (jqwik 0.9.1 API)";
+            parent.document.title="Constant Field Values (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/deprecated-list.html b/docs/javadoc/deprecated-list.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Deprecated List (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>Deprecated List (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Deprecated List (jqwik 0.9.1 API)";
+            parent.document.title="Deprecated List (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/help-doc.html b/docs/javadoc/help-doc.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>API Help (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>API Help (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="API Help (jqwik 0.9.1 API)";
+            parent.document.title="API Help (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/index-all.html b/docs/javadoc/index-all.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Index (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>Index (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Index (jqwik 0.9.1 API)";
+            parent.document.title="Index (jqwik 0.9.2 API)";
         }
     }
     catch(err) {
@@ -702,6 +702,8 @@ <h2 class="title">H</h2>
 </a>
 <h2 class="title">I</h2>
 <dl>
+<dt><span class="memberNameLink"><a href="net/jqwik/api/ShrinkingSequence.html#init-net.jqwik.api.FalsificationResult-">init(FalsificationResult&lt;T&gt;)</a></span> - Method in interface net.jqwik.api.<a href="net/jqwik/api/ShrinkingSequence.html" title="interface in net.jqwik.api">ShrinkingSequence</a></dt>
+<dd>&nbsp;</dd>
 <dt><span class="memberNameLink"><a href="net/jqwik/api/Arbitrary.html#injectNull-double-">injectNull(double)</a></span> - Method in interface net.jqwik.api.<a href="net/jqwik/api/Arbitrary.html" title="interface in net.jqwik.api">Arbitrary</a></dt>
 <dd>
 <div class="block">Create a new arbitrary of the same type but inject null values with a probability of <code>nullProbability</code>.</div>

diff --git a/docs/javadoc/index.html b/docs/javadoc/index.html
@@ -2,8 +2,8 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>jqwik 0.9.1 API</title>
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:07 CET 2018 -->
+<title>jqwik 0.9.2 API</title>
 <script type="text/javascript">
     tmpTargetPage = "" + window.location.search;
     if (tmpTargetPage != "" && tmpTargetPage != "undefined")

diff --git a/docs/javadoc/net/jqwik/api/Arbitraries.html b/docs/javadoc/net/jqwik/api/Arbitraries.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Arbitraries (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Arbitraries (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Arbitraries (jqwik 0.9.1 API)";
+            parent.document.title="Arbitraries (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Arbitrary.html b/docs/javadoc/net/jqwik/api/Arbitrary.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Arbitrary (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Arbitrary (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Arbitrary (jqwik 0.9.1 API)";
+            parent.document.title="Arbitrary (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Assume.html b/docs/javadoc/net/jqwik/api/Assume.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Assume (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Assume (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Assume (jqwik 0.9.1 API)";
+            parent.document.title="Assume (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/CannotFindArbitraryException.html b/docs/javadoc/net/jqwik/api/CannotFindArbitraryException.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>CannotFindArbitraryException (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>CannotFindArbitraryException (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="CannotFindArbitraryException (jqwik 0.9.1 API)";
+            parent.document.title="CannotFindArbitraryException (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator2.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator2.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator2 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator2 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator2 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator2 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator3.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator3.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator3 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator3 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator3 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator3 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator4.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator4.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator4 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator4 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator4 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator4 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator5.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator5.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator5 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator5 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator5 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator5 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator6.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator6.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator6 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator6 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator6 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator6 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator7.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator7.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator7 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator7 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator7 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator7 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.Combinator8.html b/docs/javadoc/net/jqwik/api/Combinators.Combinator8.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.Combinator8 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.Combinator8 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.Combinator8 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.Combinator8 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {

diff --git a/docs/javadoc/net/jqwik/api/Combinators.F2.html b/docs/javadoc/net/jqwik/api/Combinators.F2.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="de">
 <head>
-<!-- Generated by javadoc (1.8.0_151) on Sun Oct 28 17:07:58 CET 2018 -->
-<title>Combinators.F2 (jqwik 0.9.1 API)</title>
-<meta name="date" content="2018-10-28">
+<!-- Generated by javadoc (1.8.0_151) on Mon Nov 05 16:07:06 CET 2018 -->
+<title>Combinators.F2 (jqwik 0.9.2 API)</title>
+<meta name="date" content="2018-11-05">
 <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="Combinators.F2 (jqwik 0.9.1 API)";
+            parent.document.title="Combinators.F2 (jqwik 0.9.2 API)";
         }
     }
     catch(err) {