rushcheck 0.2 → 0.3

data/Rakefile

@@ -6,7 +6,7 @@ require 'rubygems'
 require 'rake'
 require 'rake/gempackagetask'
 
-RUSHCHECK_VERSION = '0.2'
+RUSHCHECK_VERSION = '0.3'
 
 spec = Gem::Specification.new do |s|
   s.name      = 'rushcheck'

data/data/rushcheck/doc/rushcheck.txt

@@ -1,5 +1,5 @@
 RushCheck - a random testing tool for Ruby
-Tutorial for version 0.2
+Tutorial for version 0.3
 2006-08-08 Daisuke IKEGAMI <ikegami@madscientist.jp>
 
 This document is a draft and may be obsoleted in future. 
@@ -433,6 +433,7 @@ Check also the web page
   class Candy
 
     def initialize(name, price)
+      raise unless price >= 0
       @name, @price = name, price
     end
 
@@ -448,16 +449,42 @@ Check also the web page
 
   To write random generator, we have to look up 'initialize'.
   Here, assume that @name belongs String and @price belongs Integer.
+  It is natural that we assumes @price should be positive.
   
   One simple random generator for Candy:
 
-  (1) using Gen#bind and Gen.unit
+  (1) using Gen.create
   class Candy
     extend Arbitrary
 
     def self.arbitrary
-      Integer.arbitrary.bind do |name|
-        String.arbitrary.bind do |price|
+      xs = [String, Integer].map {|c| c.arbitrary}
+      Gen.create(xs) do |name, price, g|
+        g.guard { price >= 0 }
+        new(name, price)
+      end
+    end
+  end
+
+  Gen.create takes an array of Gen object (here, [Integer.arbitrary,
+  String.arbitrary]) and a block. The block takes variables which is
+  corresponded to the array, as Assertion.new. If guard is failed,
+  then RushCheck retry to create another random instance. 
+
+  Note that we can use a trick instead of the guard property.
+    price = - price if price < 0   # g.guard { price >= 0 }
+  In this case, this is more efficient to generate random instance
+  than with the guard. However, sometimes we don't have this kind
+  trick and we can use some guards.
+
+  (2) using Gen#bind and Gen.unit
+  class Candy
+    extend Arbitrary
+
+    def self.arbitrary
+      String.arbitrary.bind do |name|
+        Integer.arbitrary.bind do |price|
+          price = - price if price < 0   # trick
           Gen.unit(new(name, price))
         end
       end
@@ -466,8 +493,8 @@ Check also the web page
 
   Puzzled? OK, they can be readed as follows:
 
-    take a random (arbitrary) integer and call it 'name'
-      take a random string and call it 'price'
+    take a random (arbitrary) string and call it 'name'
+      take a random integer and call it 'price'
         return a Gen object which has a new Candy(name, price)
 
   In general, the class method arbitrary should return a Gen object.
@@ -477,17 +504,18 @@ Check also the web page
   There are several way to implement random generators. The next
   example is to use Gen.new without bind and unit.
 
-  (2) using Gen.new
+  (3) using Gen.new
   class Candy
     extend Arbitrary
 
     def self.arbitrary
       Gen.new do |n, r|
         r2 = r
-        name, price = [Integer, String].map do |c|
+        name, price = [String, Integer].map do |c|
           r1, r2 = r2.split
           c.arbitrary.value(n. r1)
         end
+	price = - price if price < 0 # trick
         new(name, price)
       end
     end
@@ -506,6 +534,7 @@ Check also the web page
         get new two random generator r1 and r2 from old r2
         assign a random value by generating 'arbitrary.value(n, r1)'
           and discard the random generator r1 
+            ...
 
   Note that we need new random generator for each random object.
   Here we create new random generator by spliting. If you use same
@@ -513,13 +542,32 @@ Check also the web page
   distribution of objects are same (not generated randomly).
 
   Because sometimes the initialize of YourClass is complecated,
-  then the random generator self.arbitrary turns to be complecated
+  then the random generator self.arbitrary turns to be complicated
   also.
 
   In next sections, I will introduce several generators in gen.rb.
   They may be useful to create your own random genrator. See also rdoc
   of Gen.
 
+  Appendix: expensive candy.
+
+  Using Gen.create to generate random instance, if we gives another
+  guard such as   
+    g.guard { price >= 100000 }  # very expensive candy!
+  then it consumes much time to generate random instance because the
+  guard fails so many times. When RushCheck creates random instances,
+  it starts smallest as   possible, then the size becomes larger in
+  repeating tests. Therefore, if the guard instance seems failed so
+  often, then we need another seeds of generators. Here is another
+  generators for expensive candy instance.
+
+    lo = 100000
+    g = Gen.sized { |n| Gen.choose(lo, n + lo)}
+    xs = [String.arbitrary, g]
+
+  See gen.rb and the following sections in details for how to get
+  another generator. 
+  
   6.2 Gen.choose
 
   Gen.choose(lo, hi) returns a Gen object which generates a random
@@ -596,7 +644,17 @@ Check also the web page
 
   Gen.vector(Integer, 3) # => Gen [Integer, Integer, Integer]
 
-7. Further information
+7. how to write random Proc which returns objects in YourClass
+
+  It is complecated, and see some examples.
+   - rushcheck/bool.rb
+   - rushcheck/integer.rb
+   - rushcheck/string.rb
+   so on, grep 'coarbitrary'
+
+  FIXME: how to write coarbitrary
+
+8. Further information
 
   Webpage should have another useful information:
     http://rushcheck.rubyforge.org/

data/data/rushcheck/examples/candy.rb

@@ -0,0 +1,43 @@
+# candy.rb
+# an example to write a random generator
+
+require 'rushcheck/rushcheck'
+
+class Candy
+
+  extend Arbitrary
+
+  def initialize(name, price)
+    raise unless price >= 0
+    @name, @price = name, price
+  end
+
+  def self.arbitrary
+    xs = [String, Integer].map {|c| c.arbitrary}
+    Gen.create(xs) do |name, price, g|
+      g.guard { price >= 0 }
+      new(name, price)
+    end
+  end
+
+end
+
+class ExpensiveCandy < Candy
+
+  def initialize(name, price)
+    raise unless price >= 100000
+    @name, @price = name, price
+  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 }
+      new(name, price)
+    end
+  end
+
+end

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="#M000075">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000076">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-M000075" class="method-detail">
-        <a name="M000075"></a>
+      <div id="method-M000076" class="method-detail">
+        <a name="M000076"></a>
 
         <div class="method-heading">
-          <a href="Arbitrary.src/M000075.html" target="Code" class="method-signature"
-            onclick="popupCode('Arbitrary.src/M000075.html');return false;">
+          <a href="Arbitrary.src/M000076.html" target="Code" class="method-signature"
+            onclick="popupCode('Arbitrary.src/M000076.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Arbitrary.src/M000076.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.src/M000016.html

@@ -14,12 +14,17 @@
   <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-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">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-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-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>)

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

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

data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000096.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/Float.html

@@ -86,10 +86,10 @@
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000047">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000048">bound</a>&nbsp;&nbsp;
-      <a href="#M000050">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000049">random_range</a>&nbsp;&nbsp;
+      <a href="#M000048">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000049">bound</a>&nbsp;&nbsp;
+      <a href="#M000051">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000050">random_range</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000047" class="method-detail">
-        <a name="M000047"></a>
+      <div id="method-M000048" class="method-detail">
+        <a name="M000048"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000047.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000047.html');return false;">
+          <a href="Float.src/M000048.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000048.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
@@ -132,12 +132,12 @@
         </div>
       </div>
 
-      <div id="method-M000048" class="method-detail">
-        <a name="M000048"></a>
+      <div id="method-M000049" class="method-detail">
+        <a name="M000049"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000048.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000048.html');return false;">
+          <a href="Float.src/M000049.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000049.html');return false;">
           <span class="method-name">bound</span><span class="method-args">()</span>
           </a>
         </div>
@@ -146,12 +146,12 @@
         </div>
       </div>
 
-      <div id="method-M000049" class="method-detail">
-        <a name="M000049"></a>
+      <div id="method-M000050" class="method-detail">
+        <a name="M000050"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000049.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000049.html');return false;">
+          <a href="Float.src/M000050.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000050.html');return false;">
           <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
           </a>
         </div>
@@ -162,12 +162,12 @@
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000050" class="method-detail">
-        <a name="M000050"></a>
+      <div id="method-M000051" class="method-detail">
+        <a name="M000051"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000050.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000050.html');return false;">
+          <a href="Float.src/M000051.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000051.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Float.src/M000048.html

@@ -5,14 +5,17 @@
 
 <html>
 <head>
-  <title>bound (Float)</title>
+  <title>arbitrary (Float)</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/float.rb, line 25</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>]
+  <pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 18</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">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">a</span>, <span class="ruby-identifier">b</span>, <span class="ruby-identifier">c</span> = (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">3</span>).<span class="ruby-identifier">map</span> { <span class="ruby-constant">Integer</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">a</span> <span class="ruby-operator">+</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">c</span>.<span class="ruby-identifier">abs</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>))
+    <span class="ruby-keyword kw">end</span>
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/Float.src/M000049.html

@@ -5,18 +5,14 @@
 
 <html>
 <head>
-  <title>random_range (Float)</title>
+  <title>bound (Float)</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/float.rb, line 29</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">x</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>)
-    <span class="ruby-identifier">a</span>, <span class="ruby-identifier">b</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">bound</span>
-    <span class="ruby-identifier">r</span> = (<span class="ruby-identifier">lo</span><span class="ruby-operator">+</span><span class="ruby-identifier">hi</span><span class="ruby-operator">/</span><span class="ruby-value">2</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">+</span> ((<span class="ruby-identifier">hi</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">lo</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">a</span>) <span class="ruby-operator">*</span> <span class="ruby-identifier">x</span>)
-
-    [<span class="ruby-identifier">r</span>, <span class="ruby-identifier">g</span>]
+  <pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 25</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/Float.src/M000050.html

@@ -5,16 +5,18 @@
 
 <html>
 <head>
-  <title>coarbitrary (Float)</title>
+  <title>random_range (Float)</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/float.rb, line 37</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
-    <span class="ruby-identifier">h</span> = <span class="ruby-identifier">truncate</span>
-    <span class="ruby-identifier">t</span> = (<span class="ruby-keyword kw">self</span> <span class="ruby-operator">*</span> (<span class="ruby-value">10</span> <span class="ruby-operator">**</span> ((<span class="ruby-keyword kw">self</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">h</span>).<span class="ruby-identifier">to_s</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">-</span> <span class="ruby-value">2</span>))).<span class="ruby-identifier">truncate</span>
-    <span class="ruby-identifier">h</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">t</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>))
+  <pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 29</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">x</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>)
+    <span class="ruby-identifier">a</span>, <span class="ruby-identifier">b</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">bound</span>
+    <span class="ruby-identifier">r</span> = (<span class="ruby-identifier">lo</span><span class="ruby-operator">+</span><span class="ruby-identifier">hi</span><span class="ruby-operator">/</span><span class="ruby-value">2</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">+</span> ((<span class="ruby-identifier">hi</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">lo</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">a</span>) <span class="ruby-operator">*</span> <span class="ruby-identifier">x</span>)
+
+    [<span class="ruby-identifier">r</span>, <span class="ruby-identifier">g</span>]
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/Float.src/M000051.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>coarbitrary (Float)</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/float.rb, line 37</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">h</span> = <span class="ruby-identifier">truncate</span>
+    <span class="ruby-identifier">t</span> = (<span class="ruby-keyword kw">self</span> <span class="ruby-operator">*</span> (<span class="ruby-value">10</span> <span class="ruby-operator">**</span> ((<span class="ruby-keyword kw">self</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">h</span>).<span class="ruby-identifier">to_s</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">-</span> <span class="ruby-value">2</span>))).<span class="ruby-identifier">truncate</span>
+    <span class="ruby-identifier">h</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">t</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>))
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>