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/Gen.src/M000102.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>variant (RushCheck::Gen)</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/gen.rb, line 223</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">variant</span>(<span class="ruby-identifier">v</span>)
+      <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">class</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">gen</span> = <span class="ruby-identifier">r</span>
+        <span class="ruby-identifier">v</span>.<span class="ruby-identifier">times</span> { <span class="ruby-identifier">gen</span>, <span class="ruby-identifier">dummy</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">split</span> }
+        <span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">gen</span>)
+      <span class="ruby-keyword kw">end</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

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

@@ -93,9 +93,9 @@ a bound of random numbers.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000041">random</a>&nbsp;&nbsp;
-      <a href="#M000042">random_array</a>&nbsp;&nbsp;
-      <a href="#M000043">random_std</a>&nbsp;&nbsp;
+      <a href="#M000049">random</a>&nbsp;&nbsp;
+      <a href="#M000050">random_array</a>&nbsp;&nbsp;
+      <a href="#M000051">random_std</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -117,12 +117,12 @@ a bound of random numbers.
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000041" class="method-detail">
-        <a name="M000041"></a>
+      <div id="method-M000049" class="method-detail">
+        <a name="M000049"></a>
         <div class="method-heading">
-          <a href="HsRandom.src/M000041.html" target="Code" class="method-signature"
-            onclick="popupCode('HsRandom.src/M000041.html');return false;">
+          <a href="HsRandom.src/M000049.html" target="Code" class="method-signature"
+            onclick="popupCode('HsRandom.src/M000049.html');return false;">
           <span class="method-name">random</span><span class="method-args">(gen, lo=nil, hi=nil)</span>
           </a>
         </div>
@@ -138,46 +138,46 @@ random number generator.
         </div>
       </div>
-      <div id="method-M000042" class="method-detail">
-        <a name="M000042"></a>
+      <div id="method-M000050" class="method-detail">
+        <a name="M000050"></a>
         <div class="method-heading">
-          <a href="HsRandom.src/M000042.html" target="Code" class="method-signature"
-            onclick="popupCode('HsRandom.src/M000042.html');return false;">
+          <a href="HsRandom.src/M000050.html" target="Code" class="method-signature"
+            onclick="popupCode('HsRandom.src/M000050.html');return false;">
           <span class="method-name">random_array</span><span class="method-args">(gen, len=nil, lo=nil, hi=nil)</span>
           </a>
         </div>
         <div class="method-description">
           <p>
-<a href="HsRandom.html#M000042">random_array</a> requires the functional
+<a href="HsRandom.html#M000050">random_array</a> requires the functional
 random number generater (<a href="StdGen.html">StdGen</a> object).
 Optionally, it requires the length of results and the bound of random
 numbers. This method returns different result whether the second argument
 length is nil or not. When the second argument is nil, then <a
-href="HsRandom.html#M000042">random_array</a> returns a Proc which takes
+href="HsRandom.html#M000050">random_array</a> returns a Proc which takes
 one variable as an integer and return a new random value, such as an
 infinite sequence of random numbers. Otherwise, the second argument of <a
-href="HsRandom.html#M000042">random_array</a> is not nil but some integer,
-then <a href="HsRandom.html#M000042">random_array</a> returns an array of
+href="HsRandom.html#M000050">random_array</a> is not nil but some integer,
+then <a href="HsRandom.html#M000050">random_array</a> returns an array of
 random numbers with the length.
 </p>
         </div>
       </div>
-      <div id="method-M000043" class="method-detail">
-        <a name="M000043"></a>
+      <div id="method-M000051" class="method-detail">
+        <a name="M000051"></a>
         <div class="method-heading">
-          <a href="HsRandom.src/M000043.html" target="Code" class="method-signature"
-            onclick="popupCode('HsRandom.src/M000043.html');return false;">
+          <a href="HsRandom.src/M000051.html" target="Code" class="method-signature"
+            onclick="popupCode('HsRandom.src/M000051.html');return false;">
           <span class="method-name">random_std</span><span class="method-args">(lo=nil, hi=nil)</span>
           </a>
         </div>
         <div class="method-description">
           <p>
-<a href="HsRandom.html#M000043">random_std</a> requires optionally the
+<a href="HsRandom.html#M000051">random_std</a> requires optionally the
 bound of random numbers. It returns an array with length 2, where the first
 component should be a new random number, and the last should be a new
 random number generator. This method uses the unique standard random

data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000049.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>random (RushCheck::HsRandom)</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/random.rb, line 171</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-keyword kw">nil</span>)
+      <span class="ruby-identifier">lo</span> = <span class="ruby-identifier">bound</span>[<span class="ruby-value">0</span>] <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">lo</span>.<span class="ruby-identifier">nil?</span>
+      <span class="ruby-identifier">hi</span> = <span class="ruby-identifier">bound</span>[<span class="ruby-value">1</span>] <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">hi</span>.<span class="ruby-identifier">nil?</span>
+      <span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">hi</span>, <span class="ruby-identifier">lo</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">lo</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">hi</span>
+      <span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000050.html ADDED Viewed

@@ -0,0 +1,32 @@
+<?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_array (RushCheck::HsRandom)</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/random.rb, line 188</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">random_array</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">len</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-keyword kw">nil</span>)
+      <span class="ruby-identifier">g</span> = <span class="ruby-identifier">gen</span>
+      <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">len</span>.<span class="ruby-identifier">nil?</span>
+      <span class="ruby-keyword kw">then</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">i</span><span class="ruby-operator">|</span>
+          (<span class="ruby-identifier">i</span><span class="ruby-operator">+</span><span class="ruby-value">1</span>).<span class="ruby-identifier">times</span> <span class="ruby-keyword kw">do</span>
+            <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-identifier">random</span>(<span class="ruby-identifier">g</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
+          <span class="ruby-keyword kw">end</span>
+          <span class="ruby-identifier">v</span>
+        <span class="ruby-keyword kw">end</span>
+      <span class="ruby-keyword kw">else</span>
+        (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">len</span>).<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span>
+          <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-identifier">random</span>(<span class="ruby-identifier">g</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
+          <span class="ruby-identifier">v</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/RushCheck/HsRandom.src/M000051.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>random_std (RushCheck::HsRandom)</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/random.rb, line 211</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">random_std</span>(<span class="ruby-identifier">lo</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-keyword kw">nil</span>)
+      <span class="ruby-identifier">random</span>(<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TheStdGen</span>.<span class="ruby-identifier">instance</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

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

@@ -86,8 +86,8 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000105">new</a>&nbsp;&nbsp;
-      <a href="#M000106">property</a>&nbsp;&nbsp;
+      <a href="#M000114">new</a>&nbsp;&nbsp;
+      <a href="#M000115">property</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -129,12 +129,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000105" class="method-detail">
-        <a name="M000105"></a>
+      <div id="method-M000114" class="method-detail">
+        <a name="M000114"></a>
         <div class="method-heading">
-          <a href="Property.src/M000105.html" target="Code" class="method-signature"
-            onclick="popupCode('Property.src/M000105.html');return false;">
+          <a href="Property.src/M000114.html" target="Code" class="method-signature"
+            onclick="popupCode('Property.src/M000114.html');return false;">
           <span class="method-name">new</span><span class="method-args">(obj=nil, stamp=[], arguments=[])</span>
           </a>
         </div>
@@ -145,12 +145,12 @@
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000106" class="method-detail">
-        <a name="M000106"></a>
+      <div id="method-M000115" class="method-detail">
+        <a name="M000115"></a>
         <div class="method-heading">
-          <a href="Property.src/M000106.html" target="Code" class="method-signature"
-            onclick="popupCode('Property.src/M000106.html');return false;">
+          <a href="Property.src/M000115.html" target="Code" class="method-signature"
+            onclick="popupCode('Property.src/M000115.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000114.html ADDED Viewed

@@ -0,0 +1,26 @@
+<?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::Property)</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/property.rb, line 15</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">obj</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">stamp</span>=[], <span class="ruby-identifier">arguments</span>=[])
+      <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">obj</span>
+      <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>, <span class="ruby-keyword kw">true</span>, <span class="ruby-keyword kw">false</span>
+        <span class="ruby-identifier">result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">stamp</span>, <span class="ruby-identifier">arguments</span>)
+        <span class="ruby-ivar">@gen</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-identifier">result</span>)
+      <span class="ruby-keyword kw">when</span> <span class="ruby-constant">Gen</span>
+        <span class="ruby-ivar">@gen</span> = <span class="ruby-identifier">obj</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;illegal arguments&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/Property.src/M000115.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 (RushCheck::Property)</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/property.rb, line 27</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+      <span class="ruby-keyword kw">self</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

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

@@ -80,8 +80,8 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000039">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000040">random_range</a>&nbsp;&nbsp;
+      <a href="#M000047">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000048">random_range</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -103,12 +103,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000039" class="method-detail">
-        <a name="M000039"></a>
+      <div id="method-M000047" class="method-detail">
+        <a name="M000047"></a>
         <div class="method-heading">
-          <a href="RandomBool.src/M000039.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomBool.src/M000039.html');return false;">
+          <a href="RandomBool.src/M000047.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomBool.src/M000047.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
@@ -117,12 +117,12 @@
         </div>
       </div>
-      <div id="method-M000040" class="method-detail">
-        <a name="M000040"></a>
+      <div id="method-M000048" class="method-detail">
+        <a name="M000048"></a>
         <div class="method-heading">
-          <a href="RandomBool.src/M000040.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomBool.src/M000040.html');return false;">
+          <a href="RandomBool.src/M000048.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomBool.src/M000048.html');return false;">
           <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000047.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 (RushCheck::RandomBool)</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 12</span>
+    <span class="ruby-keyword kw">def</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">elements</span>([<span class="ruby-keyword kw">true</span>, <span class="ruby-keyword kw">false</span>])
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000048.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>random_range (RushCheck::RandomBool)</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 16</span>
+    <span class="ruby-keyword kw">def</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">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-value">0</span>, <span class="ruby-value">1</span>)
+      [<span class="ruby-identifier">v</span><span class="ruby-operator">==</span><span class="ruby-value">0</span>, <span class="ruby-identifier">g</span>]
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

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

@@ -90,9 +90,9 @@ System.Random library.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000036">gen_next</a>&nbsp;&nbsp;
-      <a href="#M000038">gen_range</a>&nbsp;&nbsp;
-      <a href="#M000037">split</a>&nbsp;&nbsp;
+      <a href="#M000044">gen_next</a>&nbsp;&nbsp;
+      <a href="#M000046">gen_range</a>&nbsp;&nbsp;
+      <a href="#M000045">split</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -114,21 +114,21 @@ System.Random library.
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000036" class="method-detail">
-        <a name="M000036"></a>
+      <div id="method-M000044" class="method-detail">
+        <a name="M000044"></a>
         <div class="method-heading">
-          <a href="RandomGen.src/M000036.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomGen.src/M000036.html');return false;">
+          <a href="RandomGen.src/M000044.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomGen.src/M000044.html');return false;">
           <span class="method-name">gen_next</span><span class="method-args">()</span>
           </a>
         </div>
         <div class="method-description">
           <p>
-<a href="RandomGen.html#M000036">gen_next</a> should be overrided as an
+<a href="RandomGen.html#M000044">gen_next</a> should be overrided as an
 instance method. It is assumed that <a
-href="RandomGen.html#M000036">gen_next</a> returns an array with length 2.
+href="RandomGen.html#M000044">gen_next</a> returns an array with length 2.
 Here, call &#8216;Foo&#8217; the class which includes <a
 href="RandomGen.html">RandomGen</a>. The first components of the result
 should be an integer, and the last components should be an object which
@@ -137,36 +137,36 @@ belongs to the class Foo.
         </div>
       </div>
-      <div id="method-M000038" class="method-detail">
-        <a name="M000038"></a>
+      <div id="method-M000046" class="method-detail">
+        <a name="M000046"></a>
         <div class="method-heading">
-          <a href="RandomGen.src/M000038.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomGen.src/M000038.html');return false;">
+          <a href="RandomGen.src/M000046.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomGen.src/M000046.html');return false;">
           <span class="method-name">gen_range</span><span class="method-args">()</span>
           </a>
         </div>
         <div class="method-description">
           <p>
-<a href="RandomGen.html#M000038">gen_range</a> should be overrided as an
+<a href="RandomGen.html#M000046">gen_range</a> should be overrided as an
 instance method. It is assumed that split returns an array with length 2.
 Here, call &#8216;Foo&#8217; the class which includes <a
 href="RandomGen.html">RandomGen</a>. Then the components of the result are
 integers where the first components should be the lowest bound of the first
-components of <a href="RandomGen.html#M000036">gen_next</a>. Another should
+components of <a href="RandomGen.html#M000044">gen_next</a>. Another should
 be the highest bound of the first components of <a
-href="RandomGen.html#M000036">gen_next</a>.
+href="RandomGen.html#M000044">gen_next</a>.
 </p>
         </div>
       </div>
-      <div id="method-M000037" class="method-detail">
-        <a name="M000037"></a>
+      <div id="method-M000045" class="method-detail">
+        <a name="M000045"></a>
         <div class="method-heading">
-          <a href="RandomGen.src/M000037.html" target="Code" class="method-signature"
-            onclick="popupCode('RandomGen.src/M000037.html');return false;">
+          <a href="RandomGen.src/M000045.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomGen.src/M000045.html');return false;">
           <span class="method-name">split</span><span class="method-args">()</span>
           </a>
         </div>