Update javadoc API to version 0.8.11

jqwik-team · May 13, 2018 · 840a9c8 · 840a9c8
1 parent 4d48a1d
commit 840a9c8
Show file tree

Hide file tree

Showing 112 changed files with 2,693 additions and 538 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 Fri Apr 20 09:45:43 CEST 2018 -->
-<title>All Classes (jqwik 0.8.10 API)</title>
-<meta name="date" content="2018-04-20">
+<!-- Generated by javadoc (1.8.0_151) on Sun May 13 16:16:23 CEST 2018 -->
+<title>All Classes (jqwik 0.8.11 API)</title>
+<meta name="date" content="2018-05-13">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
@@ -47,10 +47,14 @@ <h1 class="bar">All&nbsp;Classes</h1>
 <li><a href="net/jqwik/api/Combinators.F6.html" title="interface in net.jqwik.api" target="classFrame"><span class="interfaceName">Combinators.F6</span></a></li>
 <li><a href="net/jqwik/api/Combinators.F7.html" title="interface in net.jqwik.api" target="classFrame"><span class="interfaceName">Combinators.F7</span></a></li>
 <li><a href="net/jqwik/api/Combinators.F8.html" title="interface in net.jqwik.api" target="classFrame"><span class="interfaceName">Combinators.F8</span></a></li>
+<li><a href="net/jqwik/api/Combinators.ListCombinator.html" title="class in net.jqwik.api" target="classFrame">Combinators.ListCombinator</a></li>
 <li><a href="net/jqwik/api/constraints/Digits.html" title="annotation in net.jqwik.api.constraints" target="classFrame">Digits</a></li>
 <li><a href="net/jqwik/api/arbitraries/DoubleArbitrary.html" title="interface in net.jqwik.api.arbitraries" target="classFrame"><span class="interfaceName">DoubleArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/DoubleRange.html" title="annotation in net.jqwik.api.constraints" target="classFrame">DoubleRange</a></li>
 <li><a href="net/jqwik/api/Example.html" title="annotation in net.jqwik.api" target="classFrame">Example</a></li>
+<li><a href="net/jqwik/api/FalsificationResult.html" title="class in net.jqwik.api" target="classFrame">FalsificationResult</a></li>
+<li><a href="net/jqwik/api/FalsificationResult.Status.html" title="enum in net.jqwik.api" target="classFrame">FalsificationResult.Status</a></li>
+<li><a href="net/jqwik/api/Falsifier.html" title="interface in net.jqwik.api" target="classFrame"><span class="interfaceName">Falsifier</span></a></li>
 <li><a href="net/jqwik/api/arbitraries/FloatArbitrary.html" title="interface in net.jqwik.api.arbitraries" target="classFrame"><span class="interfaceName">FloatArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/FloatRange.html" title="annotation in net.jqwik.api.constraints" target="classFrame">FloatRange</a></li>
 <li><a href="net/jqwik/api/ForAll.html" title="annotation in net.jqwik.api" target="classFrame">ForAll</a></li>
@@ -74,10 +78,11 @@ <h1 class="bar">All&nbsp;Classes</h1>
 <li><a href="net/jqwik/api/arbitraries/ShortArbitrary.html" title="interface in net.jqwik.api.arbitraries" target="classFrame"><span class="interfaceName">ShortArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/ShortRange.html" title="annotation in net.jqwik.api.constraints" target="classFrame">ShortRange</a></li>
 <li><a href="net/jqwik/api/Shrinkable.html" title="interface in net.jqwik.api" target="classFrame"><span class="interfaceName">Shrinkable</span></a></li>
+<li><a href="net/jqwik/api/ShrinkingDistance.html" title="class in net.jqwik.api" target="classFrame">ShrinkingDistance</a></li>
 <li><a href="net/jqwik/api/ShrinkingMode.html" title="enum in net.jqwik.api" target="classFrame">ShrinkingMode</a></li>
+<li><a href="net/jqwik/api/ShrinkingSequence.html" title="interface in net.jqwik.api" target="classFrame"><span class="interfaceName">ShrinkingSequence</span></a></li>
 <li><a href="net/jqwik/api/arbitraries/SizableArbitrary.html" title="interface in net.jqwik.api.arbitraries" target="classFrame"><span class="interfaceName">SizableArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/Size.html" title="annotation in net.jqwik.api.constraints" target="classFrame">Size</a></li>
-<li><a href="net/jqwik/api/stateful/StateMachine.html" title="interface in net.jqwik.api.stateful" target="classFrame"><span class="interfaceName">StateMachine</span></a></li>
 <li><a href="net/jqwik/api/Statistics.html" title="class in net.jqwik.api" target="classFrame">Statistics</a></li>
 <li><a href="net/jqwik/api/arbitraries/StringArbitrary.html" title="interface in net.jqwik.api.arbitraries" target="classFrame"><span class="interfaceName">StringArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/StringLength.html" title="annotation in net.jqwik.api.constraints" target="classFrame">StringLength</a></li>

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 Fri Apr 20 09:45:43 CEST 2018 -->
-<title>All Classes (jqwik 0.8.10 API)</title>
-<meta name="date" content="2018-04-20">
+<!-- Generated by javadoc (1.8.0_151) on Sun May 13 16:16:23 CEST 2018 -->
+<title>All Classes (jqwik 0.8.11 API)</title>
+<meta name="date" content="2018-05-13">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
@@ -47,10 +47,14 @@ <h1 class="bar">All&nbsp;Classes</h1>
 <li><a href="net/jqwik/api/Combinators.F6.html" title="interface in net.jqwik.api"><span class="interfaceName">Combinators.F6</span></a></li>
 <li><a href="net/jqwik/api/Combinators.F7.html" title="interface in net.jqwik.api"><span class="interfaceName">Combinators.F7</span></a></li>
 <li><a href="net/jqwik/api/Combinators.F8.html" title="interface in net.jqwik.api"><span class="interfaceName">Combinators.F8</span></a></li>
+<li><a href="net/jqwik/api/Combinators.ListCombinator.html" title="class in net.jqwik.api">Combinators.ListCombinator</a></li>
 <li><a href="net/jqwik/api/constraints/Digits.html" title="annotation in net.jqwik.api.constraints">Digits</a></li>
 <li><a href="net/jqwik/api/arbitraries/DoubleArbitrary.html" title="interface in net.jqwik.api.arbitraries"><span class="interfaceName">DoubleArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/DoubleRange.html" title="annotation in net.jqwik.api.constraints">DoubleRange</a></li>
 <li><a href="net/jqwik/api/Example.html" title="annotation in net.jqwik.api">Example</a></li>
+<li><a href="net/jqwik/api/FalsificationResult.html" title="class in net.jqwik.api">FalsificationResult</a></li>
+<li><a href="net/jqwik/api/FalsificationResult.Status.html" title="enum in net.jqwik.api">FalsificationResult.Status</a></li>
+<li><a href="net/jqwik/api/Falsifier.html" title="interface in net.jqwik.api"><span class="interfaceName">Falsifier</span></a></li>
 <li><a href="net/jqwik/api/arbitraries/FloatArbitrary.html" title="interface in net.jqwik.api.arbitraries"><span class="interfaceName">FloatArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/FloatRange.html" title="annotation in net.jqwik.api.constraints">FloatRange</a></li>
 <li><a href="net/jqwik/api/ForAll.html" title="annotation in net.jqwik.api">ForAll</a></li>
@@ -74,10 +78,11 @@ <h1 class="bar">All&nbsp;Classes</h1>
 <li><a href="net/jqwik/api/arbitraries/ShortArbitrary.html" title="interface in net.jqwik.api.arbitraries"><span class="interfaceName">ShortArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/ShortRange.html" title="annotation in net.jqwik.api.constraints">ShortRange</a></li>
 <li><a href="net/jqwik/api/Shrinkable.html" title="interface in net.jqwik.api"><span class="interfaceName">Shrinkable</span></a></li>
+<li><a href="net/jqwik/api/ShrinkingDistance.html" title="class in net.jqwik.api">ShrinkingDistance</a></li>
 <li><a href="net/jqwik/api/ShrinkingMode.html" title="enum in net.jqwik.api">ShrinkingMode</a></li>
+<li><a href="net/jqwik/api/ShrinkingSequence.html" title="interface in net.jqwik.api"><span class="interfaceName">ShrinkingSequence</span></a></li>
 <li><a href="net/jqwik/api/arbitraries/SizableArbitrary.html" title="interface in net.jqwik.api.arbitraries"><span class="interfaceName">SizableArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/Size.html" title="annotation in net.jqwik.api.constraints">Size</a></li>
-<li><a href="net/jqwik/api/stateful/StateMachine.html" title="interface in net.jqwik.api.stateful"><span class="interfaceName">StateMachine</span></a></li>
 <li><a href="net/jqwik/api/Statistics.html" title="class in net.jqwik.api">Statistics</a></li>
 <li><a href="net/jqwik/api/arbitraries/StringArbitrary.html" title="interface in net.jqwik.api.arbitraries"><span class="interfaceName">StringArbitrary</span></a></li>
 <li><a href="net/jqwik/api/constraints/StringLength.html" title="annotation in net.jqwik.api.constraints">StringLength</a></li>

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 Fri Apr 20 09:45:43 CEST 2018 -->
-<title>Constant Field Values (jqwik 0.8.10 API)</title>
-<meta name="date" content="2018-04-20">
+<!-- Generated by javadoc (1.8.0_151) on Sun May 13 16:16:23 CEST 2018 -->
+<title>Constant Field Values (jqwik 0.8.11 API)</title>
+<meta name="date" content="2018-05-13">
 <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.8.10 API)";
+            parent.document.title="Constant Field Values (jqwik 0.8.11 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 Fri Apr 20 09:45:43 CEST 2018 -->
-<title>Deprecated List (jqwik 0.8.10 API)</title>
-<meta name="date" content="2018-04-20">
+<!-- Generated by javadoc (1.8.0_151) on Sun May 13 16:16:23 CEST 2018 -->
+<title>Deprecated List (jqwik 0.8.11 API)</title>
+<meta name="date" content="2018-05-13">
 <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.8.10 API)";
+            parent.document.title="Deprecated List (jqwik 0.8.11 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 Fri Apr 20 09:45:43 CEST 2018 -->
-<title>API Help (jqwik 0.8.10 API)</title>
-<meta name="date" content="2018-04-20">
+<!-- Generated by javadoc (1.8.0_151) on Sun May 13 16:16:23 CEST 2018 -->
+<title>API Help (jqwik 0.8.11 API)</title>
+<meta name="date" content="2018-05-13">
 <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.8.10 API)";
+            parent.document.title="API Help (jqwik 0.8.11 API)";
         }
     }
     catch(err) {