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

rushcheck 0.5 → 0.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (52) hide show

data/data/rushcheck/rdoc/classes/RushCheck/Claim.html ADDED Viewed

@@ -0,0 +1,199 @@
+<?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>Class: RushCheck::Claim</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>Class</strong></td>
+          <td class="class-name-in-header">RushCheck::Claim</td>
+        </tr>
+        <tr class="top-aligned-row">
+            <td><strong>In:</strong></td>
+            <td>
+                <a href="../../files/rushcheck/claim_rb.html">
+                rushcheck/claim.rb
+                </a>
+        <br />
+            </td>
+        </tr>
+        <tr class="top-aligned-row">
+            <td><strong>Parent:</strong></td>
+            <td>
+                <a href="Assertion.html">
+                Assertion
+               </a>
+            </td>
+        </tr>
+        </table>
+    </div>
+  <!-- banner header -->
+  <div id="bodyContent">
+  <div id="contextContent">
+    <div id="description">
+      <p>
+class <a href="Claim.html">Claim</a> is one of main features of <a
+href="../RushCheck.html">RushCheck</a>. You can write a testcase for random
+testing as follows:
+</p>
+<p>
+Claim.new(<a href="../Integer.html">Integer</a>, <a
+href="../String.html">String</a>) do |x, y|
+</p>
+<pre>
+  RushCheck::guard { precondition }
+  body
+</pre>
+<p>
+end
+</p>
+<p>
+The notation of Claim.new is same as <a
+href="Assertion.html#M000073">Assertion.new</a> is, however the semantics
+are different. When checking the body of testcase, the returned value is
+ignored. In other words, the body is executed but not checked the result.
+However, if an exception is raised while executing the body, then checking
+is failed. This means that the above testing case can be written by <a
+href="Assertion.html#M000073">Assertion.new</a> as follows:
+</p>
+<p>
+# meaning of Claim.new is similar to <a
+href="Assertion.html#M000073">Assertion.new</a> <a
+href="Assertion.html#M000073">Assertion.new</a>(<a
+href="../Integer.html">Integer</a>, <a href="../String.html">String</a>) do
+|x, y|
+</p>
+<pre>
+  RushCheck::guard { precondition }
+  body
+  true
+</pre>
+<p>
+end
+</p>
+<p>
+<a href="Claim.html">Claim</a> maybe useful for combining unit testing
+library, because sometimes we want to execute several assertions of unit
+testing library such as assert_equal(x, y). The assertions of unit testing
+library does not return true or false, but return nil (just only testing).
+</p>
+<p>
+<a href="Claim.html">Claim</a> is-an <a href="Assertion.html">Assertion</a>
+so its subclass. See also <a href="Assertion.html">Assertion</a>.
+</p>
+    </div>
+   </div>
+    <div id="method-list">
+      <h3 class="section-bar">Methods</h3>
+      <div class="name-list">
+      <a href="#M000107">property</a>&nbsp;&nbsp;
+      </div>
+    </div>
+  </div>
+    <!-- if includes -->
+    <div id="includes">
+      <h3 class="section-bar">Included Modules</h3>
+      <div id="includes-list">
+        <span class="include-name"><a href="Testable.html">RushCheck::Testable</a></span>
+      </div>
+    </div>
+    <div id="section">
+    <!-- if method_list -->
+    <div id="methods">
+      <h3 class="section-bar">Public Instance methods</h3>
+      <div id="method-M000107" class="method-detail">
+        <a name="M000107"></a>
+        <div class="method-heading">
+          <a href="Claim.src/M000107.html" target="Code" class="method-signature"
+            onclick="popupCode('Claim.src/M000107.html');return false;">
+          <span class="method-name">property</span><span class="method-args">()</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/Claim.src/M000107.html ADDED Viewed

@@ -0,0 +1,21 @@
+<?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::Claim)</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/claim.rb, line 48</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+      <span class="ruby-identifier">_property</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
+        <span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</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-keyword kw">true</span>)
+      }
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000058.html CHANGED Viewed

@@ -10,7 +10,7 @@
   <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 26</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/arbitrary.rb, line 40</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>

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

@@ -420,9 +420,9 @@ belongs the given class and given length.
         <div class="method-description">
           <p>
 bind is a monadic function such as Haskel&#8217;s (&gt;&gt;=). bind takes a
-block which has two variables where the first one is assumed as an integer,
-and the second one is assumed as a random generator of <a
-href="RandomGen.html">RandomGen</a>.
+block which has a variable where is the return value of the <a
+href="Gen.html">Gen</a> object. The block should return a <a
+href="Gen.html">Gen</a> object.
 </p>
         </div>
       </div>

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

@@ -12,7 +12,6 @@
 <body class="standalone-code">
   <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 27</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">create_by_gen</span>(<span class="ruby-identifier">xs</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
-      <span class="ruby-identifier">raise</span> <span class="ruby-constant">ArgumentError</span> <span class="ruby-keyword kw">unless</span> <span class="ruby-identifier">f</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">length</span>
       <span class="ruby-keyword kw">self</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>

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

@@ -10,7 +10,7 @@
   <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 58</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 57</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">create</span>(<span class="ruby-identifier">cs</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
       <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">create_by_gen</span>(<span class="ruby-identifier">cs</span>.<span class="ruby-identifier">map</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span> <span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span>}) { <span class="ruby-keyword kw">yield</span> <span class="ruby-identifier">f</span> }
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 66</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 65</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">elements</span>(<span class="ruby-identifier">xs</span>)
       <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;given argument is empty&quot;</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">empty?</span>

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

@@ -10,7 +10,7 @@
   <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 80</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 79</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">frequency</span>(<span class="ruby-identifier">xs</span>)
       <span class="ruby-identifier">tot</span> = <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">inject</span>(<span class="ruby-value">0</span>) {<span class="ruby-operator">|</span><span class="ruby-identifier">r</span>, <span class="ruby-identifier">pair</span><span class="ruby-operator">|</span> <span class="ruby-identifier">r</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]}
       <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-node">&quot;Illegal frequency:#{xs.inspect}&quot;</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">tot</span> <span class="ruby-operator">==</span> <span class="ruby-value">0</span>

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

@@ -10,7 +10,7 @@
   <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 99</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 98</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">lift_array</span>(<span class="ruby-identifier">xs</span>)
       <span class="ruby-keyword kw">self</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>

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

@@ -10,7 +10,7 @@
   <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 113</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 112</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">oneof</span>(<span class="ruby-identifier">gens</span>)
       <span class="ruby-identifier">elements</span>(<span class="ruby-identifier">gens</span>).<span class="ruby-identifier">bind</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-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 123</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 122</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">promote</span>
       <span class="ruby-identifier">new</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-constant">Proc</span>.<span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">yield</span>(<span class="ruby-identifier">a</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>) } }
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 129</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 128</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">rand</span>
       <span class="ruby-identifier">new</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">r</span>}
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 137</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 136</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">sized</span>
       <span class="ruby-identifier">new</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-keyword kw">yield</span>(<span class="ruby-identifier">n</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>) }
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 144</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 143</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">unit</span>(<span class="ruby-identifier">x</span>)
       <span class="ruby-identifier">new</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">x</span>}
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 153</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 152</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">vector</span>(<span class="ruby-identifier">c</span>, <span class="ruby-identifier">len</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>

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

@@ -10,7 +10,7 @@
   <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 166</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 165</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
       <span class="ruby-ivar">@proc</span> = <span class="ruby-identifier">f</span>
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 174</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 172</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">bind</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">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>.<span class="ruby-identifier">split</span>

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

@@ -10,7 +10,7 @@
   <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 185</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 183</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">g</span>)
       <span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">g</span>)
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 191</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 189</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">fmap</span>
       <span class="ruby-identifier">bind</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">class</span>.<span class="ruby-identifier">unit</span>(<span class="ruby-keyword kw">yield</span>(<span class="ruby-identifier">x</span>)) }
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 199</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 197</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">forall</span>
       <span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span>
         <span class="ruby-keyword kw">yield</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">a</span>).<span class="ruby-identifier">property</span>.<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">res</span><span class="ruby-operator">|</span>

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

@@ -10,7 +10,7 @@
   <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 211</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 209</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">generate</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">rnd</span>)
       <span class="ruby-identifier">s</span>, <span class="ruby-identifier">r</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">rnd</span>, <span class="ruby-value">0</span>, <span class="ruby-identifier">n</span>)
       <span class="ruby-identifier">value</span>(<span class="ruby-identifier">s</span>, <span class="ruby-identifier">r</span>)

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

@@ -10,7 +10,7 @@
   <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 218</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 216</span>
     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">resize</span>(<span class="ruby-identifier">n</span>)
       <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">class</span>.<span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span> <span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>) }
     <span class="ruby-keyword kw">end</span></pre>

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

@@ -10,7 +10,7 @@
   <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 225</span>
+  <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">g</span> = (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">v</span>).<span class="ruby-identifier">inject</span>(<span class="ruby-identifier">r</span>) <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">gen</span>, <span class="ruby-identifier">i</span><span class="ruby-operator">|</span>

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

@@ -66,6 +66,10 @@
                 <a href="../files/rushcheck/bool_rb.html">
                 rushcheck/bool.rb
                 </a>
+        <br />
+                <a href="../files/rushcheck/claim_rb.html">
+                rushcheck/claim.rb
+                </a>
         <br />
                 <a href="../files/rushcheck/config_rb.html">
                 rushcheck/config.rb
@@ -102,6 +106,10 @@
                 <a href="../files/rushcheck/testresult_rb.html">
                 rushcheck/testresult.rb
                 </a>
+        <br />
+                <a href="../files/rushcheck/version_rb.html">
+                rushcheck/version.rb
+                </a>
         <br />
             </td>
         </tr>
@@ -117,7 +125,9 @@
   <div id="contextContent">
     <div id="description">
-      <h1>testresult.rb</h1>
+      <p>
+version.rb
+</p>
     </div>
@@ -150,6 +160,7 @@ Module <a href="RushCheck/RandomBool.html" class="link">RushCheck::RandomBool</a
 Module <a href="RushCheck/RandomGen.html" class="link">RushCheck::RandomGen</a><br />
 Module <a href="RushCheck/Testable.html" class="link">RushCheck::Testable</a><br />
 Class <a href="RushCheck/Assertion.html" class="link">RushCheck::Assertion</a><br />
+Class <a href="RushCheck/Claim.html" class="link">RushCheck::Claim</a><br />
 Class <a href="RushCheck/Config.html" class="link">RushCheck::Config</a><br />
 Class <a href="RushCheck/Gen.html" class="link">RushCheck::Gen</a><br />
 Class <a href="RushCheck/GuardException.html" class="link">RushCheck::GuardException</a><br />
@@ -165,6 +176,19 @@ Class <a href="RushCheck/TheStdGen.html" class="link">RushCheck::TheStdGen</a><b
     </div>
+    <div id="constants-list">
+      <h3 class="section-bar">Constants</h3>
+      <div class="name-list">
+        <table summary="Constants">
+        <tr class="top-aligned-row context-row">
+          <td class="context-item-name">VERSION</td>
+          <td>=</td>
+          <td class="context-item-value">&quot;0.6&quot;</td>
+        </tr>
+        </table>
+      </div>
+    </div>

data/data/rushcheck/rdoc/created.rid CHANGED Viewed

	@@ -1 +1 @@
1	- ~~Sat~~ Oct 07 04:24:00 JST 2006
1	+ Fri Oct 13 02:41:06 JST 2006

data/data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Sep 16 04:09:26 JST 2006</td>
+      <td>Sun Oct 08 16:59:22 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -74,7 +74,25 @@
 This file includes two modules Arbitrary and Coarbitrary. Arbitrary
 provides an instance method arbitrary. Coarbitrary provides a class method
 coarbitrary. However they are abstract methods and should be overrided in
-each class after include/extend them.
+each class after extend/include them.
+</p>
+<p>
+class YourClass
+</p>
+<pre>
+  extend  RushCheck::Arbitrary
+  include RushCheck::Coarbitrary
+  def self.arbitrary
+  # must be overrided
+  end
+  def coarbitrary
+  # must be overrided also
+  end
+</pre>
+<p>
+end
 </p>
     </div>

data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Oct 07 03:53:10 JST 2006</td>
+      <td>Fri Oct 13 02:38:30 JST 2006</td>
     </tr>
     </table>
   </div>