rushcheck 0.3 → 0.4

data/data/rushcheck/examples/candy.rb

@@ -1,11 +1,11 @@
 # candy.rb
 # an example to write a random generator
 
-require 'rushcheck/rushcheck'
+require 'rushcheck'
 
 class Candy
 
-  extend Arbitrary
+  extend RushCheck::Arbitrary
 
   def initialize(name, price)
     raise unless price >= 0
@@ -13,9 +13,8 @@ class Candy
   end
 
   def self.arbitrary
-    xs = [String, Integer].map {|c| c.arbitrary}
-    Gen.create(xs) do |name, price, g|
-      g.guard { price >= 0 }
+    RushCheck::Gen.create(String, Integer) do |name, price|
+      RushCheck::guard { price >= 0 }
       new(name, price)
     end
   end
@@ -30,12 +29,11 @@ class ExpensiveCandy < Candy
   end
 
   def self.arbitrary
-    # xs = [String, Integer].map {|c| c.arbitrary}
     lo = 100000
     g = Gen.sized { |n| Gen.choose(lo, n + lo)}
     xs = [String.arbitrary, g]
-    Gen.create(xs) do |name, price, g|
-      g.guard { price >= 100000 }
+    Gen.create_by_gen(xs) do |name, price|
+      RushCheck::guard { price >= 100000 }
       new(name, price)
     end
   end

data/data/rushcheck/examples/printf.rb

@@ -4,10 +4,10 @@
 # this news tells that a japanese handy-phone hungs when it receives
 # an email which contains the special format string "%s".
 
-require 'rushcheck/rushcheck'
+require 'rushcheck'
 
 def malformed_format_string
-  Assertion.new(String) { |s|
+  RushCheck::Assertion.new(String) { |s|
     sprintf(s)
     true
   }.check
@@ -15,7 +15,7 @@ end
 
 def malformed_format_string2
   # SpecialString is used to find special format more likely
-  Assertion.new(SpecialString) { |s|
+  RushCheck::Assertion.new(SpecialString) { |s|
     sprintf(s)
     true
   }.check

data/data/rushcheck/examples/proc.rb

@@ -1,7 +1,7 @@
 # proc.rb
 # a sample of RushCheck
 
-require 'rushcheck/rushcheck'
+require 'rushcheck'
 
 class Proc
   # application
@@ -13,11 +13,11 @@ class Proc
   end
 end
 
-class MyRandomProc < RandomProc; end
+class MyRandomProc < RushCheck::RandomProc; end
 
 def associativity_integer
   MyRandomProc.set_pattern([Integer], [Integer])
-  Assertion.new(MyRandomProc, MyRandomProc, MyRandomProc, Integer) do
+  RushCheck::Assertion.new(MyRandomProc, MyRandomProc, MyRandomProc, Integer) do
     |a, b, c, x|
     (a ** (b ** c)).call(x) == ((a ** b) ** c).call(x)
   end.check
@@ -26,7 +26,7 @@ end
 # this test takes much time than associativity_integer
 def associativity_string
   MyRandomProc.set_pattern([String], [String])
-  Assertion.new(MyRandomProc, MyRandomProc, MyRandomProc, String) do
+  RushCheck::Assertion.new(MyRandomProc, MyRandomProc, MyRandomProc, String) do
     |a, b, c, x|
     (a ** (b ** c)).call(x) == ((a ** b) ** c).call(x)
   end.check

data/data/rushcheck/examples/roguetile.rb

@@ -60,14 +60,14 @@ end
 
 # ok, then let's test them and find a bug.
 
-require 'rushcheck/rushcheck'
+require 'rushcheck'
 
 class Tree
-  extend Arbitrary
-  include Coarbitrary
+  extend RushCheck::Arbitrary
+  include RushCheck::Coarbitrary
 
   def self.arbitrary
-    Gen.frequency([[3, Leaf.arbitrary], [1, Branch.arbitrary]])
+    RushCheck::Gen.frequency([[3, Leaf.arbitrary], [1, Branch.arbitrary]])
   end
 
   # In this example, coarbitrary isn't needed, however,
@@ -78,11 +78,11 @@ class Tree
 end
 
 class Leaf
-  extend Arbitrary
-  include Coarbitrary
+  extend RushCheck::Arbitrary
+  include RushCheck::Coarbitrary
   
   def self.arbitrary
-    Integer.arbitrary.bind {|x| Gen.unit(new(x)) }
+    Integer.arbitrary.bind {|x| RushCheck::Gen.unit(new(x)) }
   end
 
   def coarbitrary(g)
@@ -91,11 +91,11 @@ class Leaf
 end
 
 class Branch
-  extend Arbitrary
-  include Coarbitrary
+  extend RushCheck::Arbitrary
+  include RushCheck::Coarbitrary
 
   def self.arbitrary
-    Gen.new do |n, g|
+    RushCheck::Gen.new do |n, g|
       g2 = g
       v, l, r = [Integer.arbitrary, Tree.arbitrary, Tree.arbitrary].map do |x|
         g1, g2 = g2.split
@@ -111,15 +111,15 @@ class Branch
 end
 
 def prop_leaf_add
-  Assertion.new(Leaf) {|x| x.add == x.value }.check
+  RushCheck::Assertion.new(Leaf) {|x| x.add == x.value }.check
 end
 
 def prop_leaf_multiply
-  Assertion.new(Leaf) {|x| x.multiply == x.value }.check
+  RushCheck::Assertion.new(Leaf) {|x| x.multiply == x.value }.check
 end
 
 def prop_branch_add
-  Assertion.new(Branch) do |t|
+  RushCheck::Assertion.new(Branch) do |t|
     t.add == t.value + t.left.add + t.right.add
   end.check
 end
@@ -129,7 +129,7 @@ def prop_branch_multiply
   # If the tester write a wrong test case by copying the code snippet?
   # Then we will meet the same problem! Even this test is passed, but
   # it is wrong.
-  Assertion.new(Branch) do |t|
+  RushCheck::Assertion.new(Branch) do |t|
     t.add == t.value * t.left.add + t.right.add # Oops, a bug in testcase.
   end.check
 end
@@ -137,13 +137,13 @@ end
 # But, we can test another /primitive/ properties about
 # branch_multiply.
 def prop_branch_multiply_zero
-  Assertion.new(Leaf) do |x|
+  RushCheck::Assertion.new(Leaf) do |x|
     Branch.new(0, x, x).multiply == 0
   end.check
 end
 
 def prop_branch_multiply_power
-  Assertion.new(Leaf) do |x|
+  RushCheck::Assertion.new(Leaf) do |x|
     Branch.new(1, x, x).multiply == x.value * x.value
   end.check
 end

data/data/rushcheck/examples/sample.rb

@@ -1,15 +1,15 @@
 # a simple example
 
-require 'rushcheck/rushcheck'
+require 'rushcheck'
 
 # first boring example
 def assert_sort
-  Assertion.new { [].sort == [] }.check
+  RushCheck::Assertion.new { [].sort == [] }.check
 end
 
 # assert_sort_one should be true
 def assert_sort_one
-  Assertion.new(Integer) { |x|
+  RushCheck::Assertion.new(Integer) { |x|
     [x].sort == [x]
   }.check
 end
@@ -17,7 +17,7 @@ end
 # however, assert_sort_two is not true generally,
 # and RushCheck finds a counter example.
 def assert_sort_two
-  Assertion.new(Integer, Integer) { |x, y|
+  RushCheck::Assertion.new(Integer, Integer) { |x, y|
     ary = [x, y]
     ary.sort == ary
   }.check
@@ -26,8 +26,8 @@ end
 # if given array is already sorted, then the
 # assertion turns true.
 def assert_sort_two_sorted
-  Assertion.new(Integer, Integer) { |x, y, g|
-    g.guard {x <= y}
+  RushCheck::Assertion.new(Integer, Integer) { |x, y|
+    RushCheck::guard {x <= y}
     ary = [x, y]
     ary.sort == ary
   }.check
@@ -35,16 +35,16 @@ end
 
 # watch statistics 
 def assert_sort_two_sorted_trivial
-  Assertion.new(Integer, Integer) { |x, y, g|
-    g.guard {x <= y}
+  RushCheck::Assertion.new(Integer, Integer) { |x, y|
+    RushCheck::guard {x <= y}
     ary = [x, y]
     (ary.sort == ary).trivial{x == y}
   }.check
 end
 
 def assert_sort_two_sorted_classify
-  Assertion.new(Integer, Integer) { |x, y, g|
-    g.guard {x <= y}
+  RushCheck::Assertion.new(Integer, Integer) { |x, y|
+    RushCheck::guard {x <= y}
     ary = [x, y]
     (ary.sort == ary).classify('same'){x == y}.
       classify('bit diff') { (x - y).abs == 1 }

data/data/rushcheck/rdoc/classes/Arbitrary.html

@@ -92,7 +92,7 @@ each class after include/extend them.
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000076">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000082">arbitrary</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -114,12 +114,12 @@ each class after include/extend them.
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000076" class="method-detail">
-        <a name="M000076"></a>
+      <div id="method-M000082" class="method-detail">
+        <a name="M000082"></a>
 
         <div class="method-heading">
-          <a href="Arbitrary.src/M000076.html" target="Code" class="method-signature"
-            onclick="popupCode('Arbitrary.src/M000076.html');return false;">
+          <a href="Arbitrary.src/M000082.html" target="Code" class="method-signature"
+            onclick="popupCode('Arbitrary.src/M000082.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Arbitrary.src/M000082.html

@@ -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 (Arbitrary)</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/arbitrary.rb, line 14</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">arbitrary</span>
+    <span class="ruby-identifier">raise</span>(<span class="ruby-constant">NotImplementedError</span>, <span class="ruby-value str">&quot;This method should be overrided.&quot;</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Assertion.html

@@ -84,7 +84,7 @@
 RushCheck. You can write a testcase for random testing as follows:
 </p>
 <p>
-<a href="Assertion.html#M000015">Assertion.new</a>(<a
+<a href="Assertion.html#M000019">Assertion.new</a>(<a
 href="Integer.html">Integer</a>, <a href="String.html">String</a>) do |x,
 y, g|
 </p>
@@ -108,8 +108,8 @@ See also documents and several examples.
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000015">new</a>&nbsp;&nbsp;
-      <a href="#M000016">property</a>&nbsp;&nbsp;
+      <a href="#M000019">new</a>&nbsp;&nbsp;
+      <a href="#M000020">property</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -138,12 +138,12 @@ See also documents and several examples.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000015" class="method-detail">
-        <a name="M000015"></a>
+      <div id="method-M000019" class="method-detail">
+        <a name="M000019"></a>
 
         <div class="method-heading">
-          <a href="Assertion.src/M000015.html" target="Code" class="method-signature"
-            onclick="popupCode('Assertion.src/M000015.html');return false;">
+          <a href="Assertion.src/M000019.html" target="Code" class="method-signature"
+            onclick="popupCode('Assertion.src/M000019.html');return false;">
           <span class="method-name">new</span><span class="method-args">(*xs, &amp;f)</span>
           </a>
         </div>
@@ -154,12 +154,12 @@ See also documents and several examples.
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000016" class="method-detail">
-        <a name="M000016"></a>
+      <div id="method-M000020" class="method-detail">
+        <a name="M000020"></a>
 
         <div class="method-heading">
-          <a href="Assertion.src/M000016.html" target="Code" class="method-signature"
-            onclick="popupCode('Assertion.src/M000016.html');return false;">
+          <a href="Assertion.src/M000020.html" target="Code" class="method-signature"
+            onclick="popupCode('Assertion.src/M000020.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Assertion.src/M000019.html

@@ -0,0 +1,20 @@
+<?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>new (Assertion)</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/assertion.rb, line 24</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">xs</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
+    <span class="ruby-ivar">@inputs</span> = <span class="ruby-identifier">xs</span>[<span class="ruby-value">0</span><span class="ruby-operator">..</span>(<span class="ruby-identifier">f</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>)]
+    <span class="ruby-ivar">@nguard</span> = <span class="ruby-identifier">f</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">length</span> 
+    <span class="ruby-ivar">@proc</span> = <span class="ruby-identifier">f</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Assertion.src/M000020.html

@@ -0,0 +1,50 @@
+<?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 (Assertion)</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/assertion.rb, line 30</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+    <span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</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">r2</span> = <span class="ruby-identifier">r</span>
+      <span class="ruby-keyword kw">if</span> <span class="ruby-ivar">@inputs</span>
+      <span class="ruby-keyword kw">then</span>
+        <span class="ruby-ivar">@inputs</span>.<span class="ruby-identifier">map</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">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
+          <span class="ruby-identifier">c</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-keyword kw">else</span>
+        []
+      <span class="ruby-keyword kw">end</span>
+    <span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
+      <span class="ruby-identifier">guards</span> = <span class="ruby-ivar">@nguard</span> <span class="ruby-operator">&gt;=</span> <span class="ruby-value">0</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Array</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@nguard</span>, <span class="ruby-constant">Guard</span>.<span class="ruby-identifier">new</span>) <span class="ruby-operator">:</span> []
+      <span class="ruby-identifier">test</span> = <span class="ruby-keyword kw">begin</span>
+               <span class="ruby-identifier">xs</span> = <span class="ruby-identifier">args</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">guards</span>
+               <span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">xs</span>)
+             <span class="ruby-keyword kw">rescue</span> <span class="ruby-constant">Exception</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-identifier">ex</span>
+               <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">ex</span>
+               <span class="ruby-keyword kw">when</span> <span class="ruby-constant">RushCheckGuard</span>
+                 <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">nil</span>)
+               <span class="ruby-keyword kw">else</span>
+                 <span class="ruby-identifier">err</span> = <span class="ruby-node">&quot;Unexpected exception: #{ex.inspect}\n&quot;</span> <span class="ruby-operator">+</span> 
+                       <span class="ruby-identifier">ex</span>.<span class="ruby-identifier">backtrace</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;\n&quot;</span>)
+                 <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">false</span>, [], [<span class="ruby-identifier">err</span>])
+               <span class="ruby-keyword kw">end</span>
+             <span class="ruby-keyword kw">end</span>
+      <span class="ruby-comment cmt"># not use ensure here because ensure clause</span>
+      <span class="ruby-comment cmt"># does not return values</span>
+      <span class="ruby-identifier">test</span>.<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>.<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">res</span><span class="ruby-operator">|</span>
+        <span class="ruby-identifier">res</span>.<span class="ruby-identifier">arguments</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">inspect</span>
+        <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>(<span class="ruby-identifier">res</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/Coarbitrary.html

@@ -80,7 +80,7 @@
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000096">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000105">coarbitrary</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -102,12 +102,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000096" class="method-detail">
-        <a name="M000096"></a>
+      <div id="method-M000105" class="method-detail">
+        <a name="M000105"></a>
 
         <div class="method-heading">
-          <a href="Coarbitrary.src/M000096.html" target="Code" class="method-signature"
-            onclick="popupCode('Coarbitrary.src/M000096.html');return false;">
+          <a href="Coarbitrary.src/M000105.html" target="Code" class="method-signature"
+            onclick="popupCode('Coarbitrary.src/M000105.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000105.html

@@ -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 (Coarbitrary)</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/arbitrary.rb, line 24</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">raise</span>(<span class="ruby-constant">NotImplementedError</span>, <span class="ruby-value str">&quot;This method should be overrided.&quot;</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/FalseClass.html

@@ -86,9 +86,9 @@
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000018">bound</a>&nbsp;&nbsp;
-      <a href="#M000019">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000020">property</a>&nbsp;&nbsp;
+      <a href="#M000022">bound</a>&nbsp;&nbsp;
+      <a href="#M000023">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000024">property</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000018" class="method-detail">
-        <a name="M000018"></a>
+      <div id="method-M000022" class="method-detail">
+        <a name="M000022"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000018.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000018.html');return false;">
+          <a href="FalseClass.src/M000022.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000022.html');return false;">
           <span class="method-name">bound</span><span class="method-args">()</span>
           </a>
         </div>
@@ -134,12 +134,12 @@
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000019" class="method-detail">
-        <a name="M000019"></a>
+      <div id="method-M000023" class="method-detail">
+        <a name="M000023"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000019.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000019.html');return false;">
+          <a href="FalseClass.src/M000023.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000023.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-M000020" class="method-detail">
-        <a name="M000020"></a>
+      <div id="method-M000024" class="method-detail">
+        <a name="M000024"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000020.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000020.html');return false;">
+          <a href="FalseClass.src/M000024.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000024.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000022.html

@@ -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 (FalseClass)</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 59</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/FalseClass.src/M000023.html

@@ -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 (FalseClass)</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 63</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">1</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000024.html

@@ -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 (FalseClass)</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 67</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+    <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">self</span>).<span class="ruby-identifier">result</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>