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

rushcheck 0.4 → 0.5

Files changed (162) hide show

data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000105.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/M000106.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 ADDED Viewed

@@ -0,0 +1,146 @@
+<?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 xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+  <title>Module: RushCheck::RandomBool</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <meta http-equiv="Content-Script-Type" content="text/javascript" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+  <script type="text/javascript">
+  // <![CDATA[
+  function popupCode( url ) {
+    window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
+  }
+  function toggleCode( id ) {
+    if ( document.getElementById )
+      elem = document.getElementById( id );
+    else if ( document.all )
+      elem = eval( "document.all." + id );
+    else
+      return false;
+    elemStyle = elem.style;
+    if ( elemStyle.display != "block" ) {
+      elemStyle.display = "block"
+    } else {
+      elemStyle.display = "none"
+    }
+    return true;
+  }
+  // Make codeblocks hidden by default
+  document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
+  // ]]>
+  </script>
+</head>
+<body>
+    <div id="classHeader">
+        <table class="header-table">
+        <tr class="top-aligned-row">
+          <td><strong>Module</strong></td>
+          <td class="class-name-in-header">RushCheck::RandomBool</td>
+        </tr>
+        <tr class="top-aligned-row">
+            <td><strong>In:</strong></td>
+            <td>
+                <a href="../../files/rushcheck/bool_rb.html">
+                rushcheck/bool.rb
+                </a>
+        <br />
+            </td>
+        </tr>
+        </table>
+    </div>
+  <!-- banner header -->
+  <div id="bodyContent">
+  <div id="contextContent">
+   </div>
+    <div id="method-list">
+      <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;
+      </div>
+    </div>
+  </div>
+    <!-- if includes -->
+    <div id="section">
+    <!-- if method_list -->
+    <div id="methods">
+      <h3 class="section-bar">Public Instance methods</h3>
+      <div id="method-M000039" class="method-detail">
+        <a name="M000039"></a>
+        <div class="method-heading">
+          <a href="RandomBool.src/M000039.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomBool.src/M000039.html');return false;">
+          <span class="method-name">arbitrary</span><span class="method-args">()</span>
+          </a>
+        </div>
+        <div class="method-description">
+        </div>
+      </div>
+      <div id="method-M000040" class="method-detail">
+        <a name="M000040"></a>
+        <div class="method-heading">
+          <a href="RandomBool.src/M000040.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomBool.src/M000040.html');return false;">
+          <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
+          </a>
+        </div>
+        <div class="method-description">
+        </div>
+      </div>
+    </div>
+  </div>
+<div id="validator-badges">
+  <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
+</div>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000039.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/M000040.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 ADDED Viewed

@@ -0,0 +1,196 @@
+<?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 xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+  <title>Module: RushCheck::RandomGen</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <meta http-equiv="Content-Script-Type" content="text/javascript" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+  <script type="text/javascript">
+  // <![CDATA[
+  function popupCode( url ) {
+    window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
+  }
+  function toggleCode( id ) {
+    if ( document.getElementById )
+      elem = document.getElementById( id );
+    else if ( document.all )
+      elem = eval( "document.all." + id );
+    else
+      return false;
+    elemStyle = elem.style;
+    if ( elemStyle.display != "block" ) {
+      elemStyle.display = "block"
+    } else {
+      elemStyle.display = "none"
+    }
+    return true;
+  }
+  // Make codeblocks hidden by default
+  document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
+  // ]]>
+  </script>
+</head>
+<body>
+    <div id="classHeader">
+        <table class="header-table">
+        <tr class="top-aligned-row">
+          <td><strong>Module</strong></td>
+          <td class="class-name-in-header">RushCheck::RandomGen</td>
+        </tr>
+        <tr class="top-aligned-row">
+            <td><strong>In:</strong></td>
+            <td>
+                <a href="../../files/rushcheck/random_rb.html">
+                rushcheck/random.rb
+                </a>
+        <br />
+            </td>
+        </tr>
+        </table>
+    </div>
+  <!-- banner header -->
+  <div id="bodyContent">
+  <div id="contextContent">
+    <div id="description">
+      <p>
+The module <a href="RandomGen.html">RandomGen</a> is an abstract module.
+This is included to add instance methods. The author considers that few
+developers need to read this implementation. See <a
+href="StdGen.html">StdGen</a> as an example. Check also Haskell&#8217;s
+System.Random library.
+</p>
+    </div>
+   </div>
+    <div id="method-list">
+      <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;
+      </div>
+    </div>
+  </div>
+    <!-- if includes -->
+    <div id="section">
+    <!-- if method_list -->
+    <div id="methods">
+      <h3 class="section-bar">Public Instance methods</h3>
+      <div id="method-M000036" class="method-detail">
+        <a name="M000036"></a>
+        <div class="method-heading">
+          <a href="RandomGen.src/M000036.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomGen.src/M000036.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
+instance method. It is assumed that <a
+href="RandomGen.html#M000036">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
+belongs to the class Foo.
+</p>
+        </div>
+      </div>
+      <div id="method-M000038" class="method-detail">
+        <a name="M000038"></a>
+        <div class="method-heading">
+          <a href="RandomGen.src/M000038.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomGen.src/M000038.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
+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
+be the highest bound of the first components of <a
+href="RandomGen.html#M000036">gen_next</a>.
+</p>
+        </div>
+      </div>
+      <div id="method-M000037" class="method-detail">
+        <a name="M000037"></a>
+        <div class="method-heading">
+          <a href="RandomGen.src/M000037.html" target="Code" class="method-signature"
+            onclick="popupCode('RandomGen.src/M000037.html');return false;">
+          <span class="method-name">split</span><span class="method-args">()</span>
+          </a>
+        </div>
+        <div class="method-description">
+          <p>
+split 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 objects which belongs to the class Foo.
+</p>
+        </div>
+      </div>
+    </div>
+  </div>
+<div id="validator-badges">
+  <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
+</div>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000036.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>gen_next (RushCheck::RandomGen)</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 27</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
+      <span class="ruby-identifier">raise_not_implemented_error</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>