RubyGems - rushcheck - Versions diffs - 0.4 → 0.5 - Mend

rushcheck 0.4 → 0.5

Files changed (162) hide show

data/data/rushcheck/rdoc/classes/Integer.src/M000001.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>bound (Integer)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/integer.rb, line 21</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
+    [<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-ivar">@@max_bound</span>]
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Integer.src/M000002.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>arbitrary (Integer)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/integer.rb, line 26</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
+    <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">sized</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">n</span><span class="ruby-operator">|</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-operator">-</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">n</span>) }
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Integer.src/M000003.html ADDED Viewed

@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>random_range (Integer)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/integer.rb, line 31</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_bound</span>)
+    <span class="ruby-identifier">hi</span>, <span class="ruby-identifier">lo</span> = <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">hi</span> <span class="ruby-operator">&lt;</span> <span class="ruby-identifier">lo</span>
+    <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">gen_next</span>
+    <span class="ruby-identifier">d</span> = <span class="ruby-identifier">hi</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">lo</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
+    <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">d</span> <span class="ruby-operator">==</span> <span class="ruby-value">1</span>
+    <span class="ruby-keyword kw">then</span> [<span class="ruby-identifier">lo</span>, <span class="ruby-identifier">g</span>]
+    <span class="ruby-keyword kw">else</span> [(<span class="ruby-identifier">v</span> <span class="ruby-operator">%</span> <span class="ruby-identifier">d</span>) <span class="ruby-operator">+</span> <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">g</span>]
+    <span class="ruby-keyword kw">end</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Integer.src/M000004.html ADDED Viewed

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>coarbitrary (Integer)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/integer.rb, line 43</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">m</span> = (<span class="ruby-keyword kw">self</span> <span class="ruby-operator">&gt;=</span> <span class="ruby-value">0</span>) <span class="ruby-operator">?</span> <span class="ruby-value">2</span> <span class="ruby-operator">*</span> <span class="ruby-keyword kw">self</span>  <span class="ruby-operator">:</span> (<span class="ruby-value">-2</span>) <span class="ruby-operator">*</span> <span class="ruby-keyword kw">self</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
+    <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-identifier">m</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/NilClass.html CHANGED Viewed

@@ -86,9 +86,9 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000064">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000065">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000066">property</a>&nbsp;&nbsp;
+      <a href="#M000023">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000024">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000025">property</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -100,8 +100,8 @@
       <h3 class="section-bar">Included Modules</h3>
       <div id="includes-list">
-        <span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
-        <span class="include-name"><a href="Testable.html">Testable</a></span>
+        <span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
+        <span class="include-name"><a href="RushCheck/Testable.html">RushCheck::Testable</a></span>
       </div>
     </div>
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000064" class="method-detail">
-        <a name="M000064"></a>
+      <div id="method-M000023" class="method-detail">
+        <a name="M000023"></a>
         <div class="method-heading">
-          <a href="NilClass.src/M000064.html" target="Code" class="method-signature"
-            onclick="popupCode('NilClass.src/M000064.html');return false;">
+          <a href="NilClass.src/M000023.html" target="Code" class="method-signature"
+            onclick="popupCode('NilClass.src/M000023.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
@@ -134,12 +134,12 @@
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000065" class="method-detail">
-        <a name="M000065"></a>
+      <div id="method-M000024" class="method-detail">
+        <a name="M000024"></a>
         <div class="method-heading">
-          <a href="NilClass.src/M000065.html" target="Code" class="method-signature"
-            onclick="popupCode('NilClass.src/M000065.html');return false;">
+          <a href="NilClass.src/M000024.html" target="Code" class="method-signature"
+            onclick="popupCode('NilClass.src/M000024.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>
@@ -148,12 +148,12 @@
         </div>
       </div>
-      <div id="method-M000066" class="method-detail">
-        <a name="M000066"></a>
+      <div id="method-M000025" class="method-detail">
+        <a name="M000025"></a>
         <div class="method-heading">
-          <a href="NilClass.src/M000066.html" target="Code" class="method-signature"
-            onclick="popupCode('NilClass.src/M000066.html');return false;">
+          <a href="NilClass.src/M000025.html" target="Code" class="method-signature"
+            onclick="popupCode('NilClass.src/M000025.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/NilClass.src/M000023.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>arbitrary (NilClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 80</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
+    <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>(<span class="ruby-keyword kw">nil</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/NilClass.src/M000024.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>coarbitrary (NilClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 84</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/NilClass.src/M000025.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>property (NilClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 88</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+    <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">nothing</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RandomArray.html CHANGED Viewed

@@ -94,9 +94,9 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000026">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000027">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000025">set_pattern</a>&nbsp;&nbsp;
+      <a href="#M000010">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000011">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000009">set_pattern</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -108,7 +108,7 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
       <h3 class="section-bar">Included Modules</h3>
       <div id="includes-list">
-        <span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
+        <span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
       </div>
     </div>
@@ -125,12 +125,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000026" class="method-detail">
-        <a name="M000026"></a>
+      <div id="method-M000010" class="method-detail">
+        <a name="M000010"></a>
         <div class="method-heading">
-          <a href="RandomArray.src/M000026.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomArray.src/M000026.html');return false;">
+          <a href="RandomArray.src/M000010.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomArray.src/M000010.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
@@ -139,12 +139,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
         </div>
       </div>
-      <div id="method-M000025" class="method-detail">
-        <a name="M000025"></a>
+      <div id="method-M000009" class="method-detail">
+        <a name="M000009"></a>
         <div class="method-heading">
-          <a href="RandomArray.src/M000025.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomArray.src/M000025.html');return false;">
+          <a href="RandomArray.src/M000009.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomArray.src/M000009.html');return false;">
           <span class="method-name">set_pattern</span><span class="method-args">(base, &amp;f)</span>
           </a>
         </div>
@@ -155,12 +155,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000027" class="method-detail">
-        <a name="M000027"></a>
+      <div id="method-M000011" class="method-detail">
+        <a name="M000011"></a>
         <div class="method-heading">
-          <a href="RandomArray.src/M000027.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomArray.src/M000027.html');return false;">
+          <a href="RandomArray.src/M000011.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomArray.src/M000011.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RandomArray.src/M000009.html ADDED Viewed

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>set_pattern (RandomArray)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/array.rb, line 16</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">set_pattern</span>(<span class="ruby-identifier">base</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
+    <span class="ruby-ivar">@@base</span>, <span class="ruby-ivar">@@indp</span> = <span class="ruby-identifier">base</span>, <span class="ruby-identifier">f</span>
+    <span class="ruby-keyword kw">self</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RandomArray.src/M000010.html ADDED Viewed

@@ -0,0 +1,35 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>arbitrary (RandomArray)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/array.rb, line 21</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
+    <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">sized</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">m</span><span class="ruby-operator">|</span>
+      <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">m</span>).<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">len</span><span class="ruby-operator">|</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">len</span> = <span class="ruby-value">0</span>
+        <span class="ruby-keyword kw">then</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>([])
+        <span class="ruby-keyword kw">else</span>
+          <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
+            <span class="ruby-identifier">ary</span> = [<span class="ruby-ivar">@@base</span>.<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>)]
+            <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
+            (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">len</span>).<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
+              <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
+              <span class="ruby-identifier">ary</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-ivar">@@indp</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ary</span>, <span class="ruby-identifier">i</span>).<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
+            <span class="ruby-keyword kw">end</span>
+            <span class="ruby-identifier">ary</span>
+          <span class="ruby-keyword kw">end</span>
+        <span class="ruby-keyword kw">end</span>
+      <span class="ruby-keyword kw">end</span>
+    <span class="ruby-keyword kw">end</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RandomArray.src/M000011.html ADDED Viewed

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>coarbitrary (RandomArray)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/array.rb, line 42</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">r</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
+    <span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
+      <span class="ruby-identifier">r</span> = <span class="ruby-identifier">c</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">r</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>))
+    <span class="ruby-keyword kw">end</span>
+    <span class="ruby-identifier">r</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RandomHash.html CHANGED Viewed

@@ -95,9 +95,9 @@ of Hash.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000050">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000051">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000049">set_pattern</a>&nbsp;&nbsp;
+      <a href="#M000013">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000014">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000012">set_pattern</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -109,7 +109,7 @@ of Hash.
       <h3 class="section-bar">Included Modules</h3>
       <div id="includes-list">
-        <span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
+        <span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
       </div>
     </div>
@@ -126,12 +126,12 @@ of Hash.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000050" class="method-detail">
-        <a name="M000050"></a>
+      <div id="method-M000013" class="method-detail">
+        <a name="M000013"></a>
         <div class="method-heading">
-          <a href="RandomHash.src/M000050.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomHash.src/M000050.html');return false;">
+          <a href="RandomHash.src/M000013.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomHash.src/M000013.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
@@ -140,19 +140,19 @@ of Hash.
         </div>
       </div>
-      <div id="method-M000049" class="method-detail">
-        <a name="M000049"></a>
+      <div id="method-M000012" class="method-detail">
+        <a name="M000012"></a>
         <div class="method-heading">
-          <a href="RandomHash.src/M000049.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomHash.src/M000049.html');return false;">
+          <a href="RandomHash.src/M000012.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomHash.src/M000012.html');return false;">
           <span class="method-name">set_pattern</span><span class="method-args">(pat)</span>
           </a>
         </div>
         <div class="method-description">
           <p>
-class method <a href="RandomHash.html#M000049">set_pattern</a> takes a hash
+class method <a href="RandomHash.html#M000012">set_pattern</a> takes a hash
 object of random pattern. For example, the following pattern
 </p>
 <pre>
@@ -168,12 +168,12 @@ as its values.
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000051" class="method-detail">
-        <a name="M000051"></a>
+      <div id="method-M000014" class="method-detail">
+        <a name="M000014"></a>
         <div class="method-heading">
-          <a href="RandomHash.src/M000051.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomHash.src/M000051.html');return false;">
+          <a href="RandomHash.src/M000014.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomHash.src/M000014.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>