RubyGems - rushcheck - Versions diffs - 0.6 → 0.7 - Mend

rushcheck 0.6 → 0.7

Files changed (162) hide show

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000076.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>batch (RushCheck::Config)</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/config.rb, line 31</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">batch</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">v</span>)
+      <span class="ruby-identifier">new</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">n</span> <span class="ruby-operator">*</span> <span class="ruby-value">10</span>,
+          <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span>{<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> (<span class="ruby-identifier">x</span> <span class="ruby-operator">/</span> <span class="ruby-value">2</span> <span class="ruby-operator">+</span> <span class="ruby-value">3</span>).<span class="ruby-identifier">to_i</span>},
+          <span class="ruby-constant">Proc</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">args</span><span class="ruby-operator">|</span>
+            <span class="ruby-identifier">v</span> <span class="ruby-value">? </span><span class="ruby-identifier">n</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;:\n&quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;\n&quot;</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;\n&quot;</span> <span class="ruby-operator">:</span> <span class="ruby-value str">&quot;&quot;</span>
+          <span class="ruby-keyword kw">end</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000077.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>new (RushCheck::Config)</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/config.rb, line 39</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">max_fail</span>, <span class="ruby-identifier">size</span>, <span class="ruby-identifier">every</span>)
+      <span class="ruby-ivar">@max_test</span>, <span class="ruby-ivar">@max_fail</span>, <span class="ruby-ivar">@size</span>, <span class="ruby-ivar">@every</span> = <span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">max_fail</span>, <span class="ruby-identifier">size</span>, <span class="ruby-identifier">every</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000078.html ADDED Viewed

@@ -0,0 +1,38 @@
+<?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>done (RushCheck::Config)</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/config.rb, line 44</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">done</span>(<span class="ruby-identifier">mesg</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
+      <span class="ruby-identifier">print</span> <span class="ruby-identifier">mesg</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' '</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">ntest</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' tests'</span>
+      <span class="ruby-identifier">bag</span> = <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">compact</span>.<span class="ruby-identifier">find_all</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-operator">!</span> <span class="ruby-identifier">x</span>.<span class="ruby-identifier">empty?</span>}.<span class="ruby-identifier">sort</span>.
+        <span class="ruby-identifier">inject</span>(<span class="ruby-constant">Hash</span>.<span class="ruby-identifier">new</span>) <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">r</span>, <span class="ruby-identifier">m</span><span class="ruby-operator">|</span>
+        <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>] = <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>].<span class="ruby-identifier">nil?</span> <span class="ruby-value">? </span><span class="ruby-value">1</span> <span class="ruby-operator">:</span> <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>] <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
+        <span class="ruby-identifier">r</span>
+      <span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">sort_by</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">k</span>, <span class="ruby-identifier">v</span><span class="ruby-operator">|</span> <span class="ruby-identifier">v</span>}.<span class="ruby-identifier">reverse</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">pair</span><span class="ruby-operator">|</span>
+        <span class="ruby-identifier">percentage</span> = ((<span class="ruby-value">100</span> <span class="ruby-operator">*</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">1</span>]) <span class="ruby-operator">/</span> <span class="ruby-identifier">ntest</span>).<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">'%'</span>
+        ([<span class="ruby-identifier">percentage</span>] <span class="ruby-operator">+</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]).<span class="ruby-identifier">join</span>(<span class="ruby-value str">', '</span>)
+      <span class="ruby-keyword kw">end</span>
+      <span class="ruby-identifier">mes</span> = <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">bag</span>.<span class="ruby-identifier">length</span>
+            <span class="ruby-keyword kw">when</span> <span class="ruby-value">0</span>
+              <span class="ruby-value str">&quot;.\n&quot;</span>
+            <span class="ruby-keyword kw">when</span> <span class="ruby-value">1</span>
+              <span class="ruby-value str">'('</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">bag</span>[<span class="ruby-value">0</span>] <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;).\n&quot;</span>
+            <span class="ruby-keyword kw">else</span>
+              <span class="ruby-value str">&quot;.\n&quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">bag</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;.\n&quot;</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;.\n&quot;</span>
+            <span class="ruby-keyword kw">end</span>
+      <span class="ruby-identifier">print</span> <span class="ruby-identifier">mes</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000079.html ADDED Viewed

@@ -0,0 +1,55 @@
+<?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>tests (RushCheck::Config)</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/config.rb, line 69</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">tests</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">rnd</span>, <span class="ruby-identifier">nt</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">nf</span>=<span class="ruby-value">0</span>, <span class="ruby-identifier">stamps</span>=[])
+      <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">nfail</span> = <span class="ruby-identifier">nt</span>, <span class="ruby-identifier">nf</span>
+      <span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">true</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">ntest</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_test</span>
+          <span class="ruby-identifier">done</span>(<span class="ruby-value str">'OK, passed'</span>, <span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">stamps</span>)
+          <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">true</span>
+          <span class="ruby-keyword kw">break</span>
+        <span class="ruby-keyword kw">end</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">nfail</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_fail</span>
+          <span class="ruby-identifier">done</span>(<span class="ruby-value str">'Arguments exhausted after '</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
+          <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">nil</span>
+          <span class="ruby-keyword kw">break</span>
+        <span class="ruby-keyword kw">end</span>
+        <span class="ruby-identifier">rnd_l</span>, <span class="ruby-identifier">rnd_r</span> = <span class="ruby-identifier">rnd</span>.<span class="ruby-identifier">split</span>
+        <span class="ruby-identifier">result</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">generate</span>(<span class="ruby-identifier">size</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>), <span class="ruby-identifier">rnd_r</span>)
+        <span class="ruby-identifier">message</span> = <span class="ruby-identifier">every</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>)
+        <span class="ruby-identifier">print</span> <span class="ruby-identifier">message</span> <span class="ruby-comment cmt"># don't puts</span>
+        <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">result</span>.<span class="ruby-identifier">ok</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>
+          <span class="ruby-identifier">nfail</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
+          <span class="ruby-keyword kw">redo</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">true</span>
+          <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">push</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">stamp</span>)
+          <span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
+          <span class="ruby-keyword kw">redo</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">false</span>
+          <span class="ruby-identifier">error</span> = <span class="ruby-value str">&quot;Falsifiable, after &quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">ntest</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">&quot; tests:\n&quot;</span> <span class="ruby-operator">+</span>
+            <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;\n&quot;</span>)
+          <span class="ruby-identifier">puts</span> <span class="ruby-identifier">error</span>
+          <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">false</span>
+          <span class="ruby-keyword kw">break</span>
+        <span class="ruby-keyword kw">else</span>
+          <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;RushCheck: illegal result&quot;</span>)
+        <span class="ruby-keyword kw">end</span>
+      <span class="ruby-keyword kw">end</span>
+      <span class="ruby-identifier">tests_result</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000080.html ADDED Viewed

@@ -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>test_batch (RushCheck::Config)</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/config.rb, line 110</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test_batch</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">rnd</span>, <span class="ruby-identifier">nt</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">nf</span>=<span class="ruby-value">0</span>, <span class="ruby-identifier">stamps</span>=[])
+      <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">nfail</span> = <span class="ruby-identifier">nt</span>, <span class="ruby-identifier">nf</span>
+      <span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">true</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">ntest</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_test</span>
+          <span class="ruby-identifier">tests_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestOk</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;OK, passed&quot;</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
+          <span class="ruby-keyword kw">break</span>
+        <span class="ruby-keyword kw">end</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">nfail</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_fail</span>
+          <span class="ruby-identifier">test_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestExausted</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">'Arguments exhausted after '</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
+          <span class="ruby-keyword kw">break</span>
+        <span class="ruby-keyword kw">end</span>
+        <span class="ruby-identifier">rnd_l</span>, <span class="ruby-identifier">rnd_r</span> = <span class="ruby-identifier">rnd</span>.<span class="ruby-identifier">split</span>
+        <span class="ruby-identifier">result</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">generate</span>(<span class="ruby-identifier">size</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>), <span class="ruby-identifier">rnd_r</span>)
+        <span class="ruby-identifier">message</span> = <span class="ruby-identifier">every</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>)
+        <span class="ruby-identifier">print</span> <span class="ruby-identifier">message</span> <span class="ruby-comment cmt"># don't puts</span>
+        <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">result</span>.<span class="ruby-identifier">ok</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>
+          <span class="ruby-identifier">nfail</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
+          <span class="ruby-keyword kw">redo</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">true</span>
+          <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">push</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">stamp</span>)
+          <span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
+          <span class="ruby-keyword kw">redo</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">false</span>
+          <span class="ruby-identifier">tests_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestFailed</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>, <span class="ruby-identifier">ntest</span>)
+          <span class="ruby-keyword kw">break</span>
+        <span class="ruby-keyword kw">else</span>
+          <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;RushCheck: illegal result&quot;</span>)
+        <span class="ruby-keyword kw">end</span>
+      <span class="ruby-keyword kw">end</span>
+      <span class="ruby-identifier">test_result</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Gen.html CHANGED Viewed

@@ -93,26 +93,26 @@ instances.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000088">bind</a>&nbsp;&nbsp;
-      <a href="#M000075">choose</a>&nbsp;&nbsp;
-      <a href="#M000077">create</a>&nbsp;&nbsp;
-      <a href="#M000076">create_by_gen</a>&nbsp;&nbsp;
-      <a href="#M000078">elements</a>&nbsp;&nbsp;
-      <a href="#M000090">fmap</a>&nbsp;&nbsp;
-      <a href="#M000091">forall</a>&nbsp;&nbsp;
-      <a href="#M000079">frequency</a>&nbsp;&nbsp;
-      <a href="#M000092">generate</a>&nbsp;&nbsp;
-      <a href="#M000080">lift_array</a>&nbsp;&nbsp;
-      <a href="#M000087">new</a>&nbsp;&nbsp;
-      <a href="#M000081">oneof</a>&nbsp;&nbsp;
-      <a href="#M000082">promote</a>&nbsp;&nbsp;
-      <a href="#M000083">rand</a>&nbsp;&nbsp;
-      <a href="#M000093">resize</a>&nbsp;&nbsp;
-      <a href="#M000084">sized</a>&nbsp;&nbsp;
-      <a href="#M000085">unit</a>&nbsp;&nbsp;
-      <a href="#M000089">value</a>&nbsp;&nbsp;
-      <a href="#M000094">variant</a>&nbsp;&nbsp;
-      <a href="#M000086">vector</a>&nbsp;&nbsp;
+      <a href="#M000096">bind</a>&nbsp;&nbsp;
+      <a href="#M000083">choose</a>&nbsp;&nbsp;
+      <a href="#M000085">create</a>&nbsp;&nbsp;
+      <a href="#M000084">create_by_gen</a>&nbsp;&nbsp;
+      <a href="#M000086">elements</a>&nbsp;&nbsp;
+      <a href="#M000098">fmap</a>&nbsp;&nbsp;
+      <a href="#M000099">forall</a>&nbsp;&nbsp;
+      <a href="#M000087">frequency</a>&nbsp;&nbsp;
+      <a href="#M000100">generate</a>&nbsp;&nbsp;
+      <a href="#M000088">lift_array</a>&nbsp;&nbsp;
+      <a href="#M000095">new</a>&nbsp;&nbsp;
+      <a href="#M000089">oneof</a>&nbsp;&nbsp;
+      <a href="#M000090">promote</a>&nbsp;&nbsp;
+      <a href="#M000091">rand</a>&nbsp;&nbsp;
+      <a href="#M000101">resize</a>&nbsp;&nbsp;
+      <a href="#M000092">sized</a>&nbsp;&nbsp;
+      <a href="#M000093">unit</a>&nbsp;&nbsp;
+      <a href="#M000097">value</a>&nbsp;&nbsp;
+      <a href="#M000102">variant</a>&nbsp;&nbsp;
+      <a href="#M000094">vector</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -134,12 +134,12 @@ instances.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000075" class="method-detail">
-        <a name="M000075"></a>
+      <div id="method-M000083" class="method-detail">
+        <a name="M000083"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000075.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000075.html');return false;">
+          <a href="Gen.src/M000083.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000083.html');return false;">
           <span class="method-name">choose</span><span class="method-args">(lo=nil, hi=nil)</span>
           </a>
         </div>
@@ -154,32 +154,32 @@ implement arbitrary method into your class.
         </div>
       </div>
-      <div id="method-M000077" class="method-detail">
-        <a name="M000077"></a>
+      <div id="method-M000085" class="method-detail">
+        <a name="M000085"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000077.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000077.html');return false;">
-          <span class="method-name">create</span><span class="method-args">(cs) {|f| ...}</span>
+          <a href="Gen.src/M000085.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000085.html');return false;">
+          <span class="method-name">create</span><span class="method-args">(*cs, &amp;f)</span>
           </a>
         </div>
         <div class="method-description">
           <p>
 create is one of primitive generators to create a random <a
-href="Gen.html">Gen</a> object. create takes an array of classes, and any
+href="Gen.html">Gen</a> object. create takes at least a class, and any
 block to generate object. Then create returns a <a href="Gen.html">Gen</a>
 object. It may useful to implement arbitrary method into your class.
 </p>
         </div>
       </div>
-      <div id="method-M000076" class="method-detail">
-        <a name="M000076"></a>
+      <div id="method-M000084" class="method-detail">
+        <a name="M000084"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000076.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000076.html');return false;">
+          <a href="Gen.src/M000084.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000084.html');return false;">
           <span class="method-name">create_by_gen</span><span class="method-args">(xs, &amp;f)</span>
           </a>
         </div>
@@ -195,12 +195,12 @@ implement arbitrary method into your class.
         </div>
       </div>
-      <div id="method-M000078" class="method-detail">
-        <a name="M000078"></a>
+      <div id="method-M000086" class="method-detail">
+        <a name="M000086"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000078.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000078.html');return false;">
+          <a href="Gen.src/M000086.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000086.html');return false;">
           <span class="method-name">elements</span><span class="method-args">(xs)</span>
           </a>
         </div>
@@ -215,12 +215,12 @@ randomly. It may useful to implement arbitrary method into your class.
         </div>
       </div>
-      <div id="method-M000079" class="method-detail">
-        <a name="M000079"></a>
+      <div id="method-M000087" class="method-detail">
+        <a name="M000087"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000079.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000079.html');return false;">
+          <a href="Gen.src/M000087.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000087.html');return false;">
           <span class="method-name">frequency</span><span class="method-args">(xs)</span>
           </a>
         </div>
@@ -233,44 +233,44 @@ returns a <a href="Gen.html">Gen</a> object. The first component of pair
 should be a positive <a href="../Integer.html">Integer</a> and the second
 one should be a <a href="Gen.html">Gen</a> object. The integer acts as a
 weight for choosing random <a href="Gen.html">Gen</a> object in the array.
-For example, frequency([[1, <a href="Gen.html#M000083">Gen.rand</a>], [2,
+For example, frequency([[1, <a href="Gen.html#M000091">Gen.rand</a>], [2,
 <a href="../Integer.html#M000002">Integer.arbitrary</a>]]) returns the
-random generator <a href="Gen.html#M000083">Gen.rand</a> in 33%, while
+random generator <a href="Gen.html#M000091">Gen.rand</a> in 33%, while
 another random generator of <a href="../Integer.html">Integer</a> (<a
 href="../Integer.html#M000002">Integer.arbitrary</a>) in 67%.
 </p>
         </div>
       </div>
-      <div id="method-M000080" class="method-detail">
-        <a name="M000080"></a>
+      <div id="method-M000088" class="method-detail">
+        <a name="M000088"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000080.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000080.html');return false;">
+          <a href="Gen.src/M000088.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000088.html');return false;">
           <span class="method-name">lift_array</span><span class="method-args">(xs) {|.value(n, r1)| ...}</span>
           </a>
         </div>
         <div class="method-description">
           <p>
-<a href="Gen.html#M000080">lift_array</a> is one of primitive generators to
+<a href="Gen.html#M000088">lift_array</a> is one of primitive generators to
 create a randam <a href="Gen.html">Gen</a> object. <a
-href="Gen.html#M000080">lift_array</a> takes an array and a block which has
+href="Gen.html#M000088">lift_array</a> takes an array and a block which has
 a variable. The block should return a <a href="Gen.html">Gen</a> object. <a
-href="Gen.html#M000080">lift_array</a> returns a <a href="Gen.html">Gen</a>
+href="Gen.html#M000088">lift_array</a> returns a <a href="Gen.html">Gen</a>
 object which generates an array of the result of given block for applying
 each member of given array.
 </p>
         </div>
       </div>
-      <div id="method-M000087" class="method-detail">
-        <a name="M000087"></a>
+      <div id="method-M000095" class="method-detail">
+        <a name="M000095"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000087.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000087.html');return false;">
+          <a href="Gen.src/M000095.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000095.html');return false;">
           <span class="method-name">new</span><span class="method-args">(&amp;f)</span>
           </a>
         </div>
@@ -285,12 +285,12 @@ href="RandomGen.html">RandomGen</a>.
         </div>
       </div>
-      <div id="method-M000081" class="method-detail">
-        <a name="M000081"></a>
+      <div id="method-M000089" class="method-detail">
+        <a name="M000089"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000081.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000081.html');return false;">
+          <a href="Gen.src/M000089.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000089.html');return false;">
           <span class="method-name">oneof</span><span class="method-args">(gens)</span>
           </a>
         </div>
@@ -306,12 +306,12 @@ randomly. It may useful to implement arbitrary method into your class.
         </div>
       </div>
-      <div id="method-M000082" class="method-detail">
-        <a name="M000082"></a>
+      <div id="method-M000090" class="method-detail">
+        <a name="M000090"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000082.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000082.html');return false;">
+          <a href="Gen.src/M000090.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000090.html');return false;">
           <span class="method-name">promote</span><span class="method-args">() {|a| ...}</span>
           </a>
         </div>
@@ -328,12 +328,12 @@ coarbitrary method into your class.
         </div>
       </div>
-      <div id="method-M000083" class="method-detail">
-        <a name="M000083"></a>
+      <div id="method-M000091" class="method-detail">
+        <a name="M000091"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000083.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000083.html');return false;">
+          <a href="Gen.src/M000091.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000091.html');return false;">
           <span class="method-name">rand</span><span class="method-args">()</span>
           </a>
         </div>
@@ -346,12 +346,12 @@ number generator.
         </div>
       </div>
-      <div id="method-M000084" class="method-detail">
-        <a name="M000084"></a>
+      <div id="method-M000092" class="method-detail">
+        <a name="M000092"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000084.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000084.html');return false;">
+          <a href="Gen.src/M000092.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000092.html');return false;">
           <span class="method-name">sized</span><span class="method-args">() {|n| ...}</span>
           </a>
         </div>
@@ -365,12 +365,12 @@ The block should be a function which changes the size of random instances.
         </div>
       </div>
-      <div id="method-M000085" class="method-detail">
-        <a name="M000085"></a>
+      <div id="method-M000093" class="method-detail">
+        <a name="M000093"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000085.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000085.html');return false;">
+          <a href="Gen.src/M000093.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000093.html');return false;">
           <span class="method-name">unit</span><span class="method-args">(x)</span>
           </a>
         </div>
@@ -384,12 +384,12 @@ href="Gen.html">Gen</a> object which generates the given object.
         </div>
       </div>
-      <div id="method-M000086" class="method-detail">
-        <a name="M000086"></a>
+      <div id="method-M000094" class="method-detail">
+        <a name="M000094"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000086.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000086.html');return false;">
+          <a href="Gen.src/M000094.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000094.html');return false;">
           <span class="method-name">vector</span><span class="method-args">(c, len)</span>
           </a>
         </div>
@@ -407,12 +407,12 @@ belongs the given class and given length.
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000088" class="method-detail">
-        <a name="M000088"></a>
+      <div id="method-M000096" class="method-detail">
+        <a name="M000096"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000088.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000088.html');return false;">
+          <a href="Gen.src/M000096.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000096.html');return false;">
           <span class="method-name">bind</span><span class="method-args">() {|value(n, r1)| ...}</span>
           </a>
         </div>
@@ -427,12 +427,12 @@ href="Gen.html">Gen</a> object.
         </div>
       </div>
-      <div id="method-M000090" class="method-detail">
-        <a name="M000090"></a>
+      <div id="method-M000098" class="method-detail">
+        <a name="M000098"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000090.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000090.html');return false;">
+          <a href="Gen.src/M000098.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000098.html');return false;">
           <span class="method-name">fmap</span><span class="method-args">() {|x| ...}</span>
           </a>
         </div>
@@ -445,12 +445,12 @@ which takes one variable.
         </div>
       </div>
-      <div id="method-M000091" class="method-detail">
-        <a name="M000091"></a>
+      <div id="method-M000099" class="method-detail">
+        <a name="M000099"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000091.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000091.html');return false;">
+          <a href="Gen.src/M000099.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000099.html');return false;">
           <span class="method-name">forall</span><span class="method-args">() {|*a| ...}</span>
           </a>
         </div>
@@ -465,12 +465,12 @@ of the property.
         </div>
       </div>
-      <div id="method-M000092" class="method-detail">
-        <a name="M000092"></a>
+      <div id="method-M000100" class="method-detail">
+        <a name="M000100"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000092.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000092.html');return false;">
+          <a href="Gen.src/M000100.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000100.html');return false;">
           <span class="method-name">generate</span><span class="method-args">(n, rnd)</span>
           </a>
         </div>
@@ -484,12 +484,12 @@ number generator such as <a href="StdGen.html">StdGen</a>.
         </div>
       </div>
-      <div id="method-M000093" class="method-detail">
-        <a name="M000093"></a>
+      <div id="method-M000101" class="method-detail">
+        <a name="M000101"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000093.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000093.html');return false;">
+          <a href="Gen.src/M000101.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000101.html');return false;">
           <span class="method-name">resize</span><span class="method-args">(n)</span>
           </a>
         </div>
@@ -503,12 +503,12 @@ href="../Integer.html">Integer</a>.
         </div>
       </div>
-      <div id="method-M000089" class="method-detail">
-        <a name="M000089"></a>
+      <div id="method-M000097" class="method-detail">
+        <a name="M000097"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000089.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000089.html');return false;">
+          <a href="Gen.src/M000097.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000097.html');return false;">
           <span class="method-name">value</span><span class="method-args">(n, g)</span>
           </a>
         </div>
@@ -523,12 +523,12 @@ href="RandomGen.html">RandomGen</a>.
         </div>
       </div>
-      <div id="method-M000094" class="method-detail">
-        <a name="M000094"></a>
+      <div id="method-M000102" class="method-detail">
+        <a name="M000102"></a>
         <div class="method-heading">
-          <a href="Gen.src/M000094.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000094.html');return false;">
+          <a href="Gen.src/M000102.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000102.html');return false;">
           <span class="method-name">variant</span><span class="method-args">(v)</span>
           </a>
         </div>