rushcheck 0.6 → 0.7

data/README

@@ -29,21 +29,3 @@ is distributed under LGPL. Because the RushCheck library does
 not use any output of setup.rb and not linked to setup.rb,
 the LGPL is applied to setup.rb only. (Let me know if I am
 misunderstanding about the license issue)
-
-= Changes from setup.rb ver 3.4.1
-
-The installer setup.rb is distributed under LGPL by Minero Aoki.
-  http://raa.ruby-lang.org/project/setup/
-  http://i.loveruby.net/en/projects/setup/
-
-There are two changes from the original setup.rb ver 3.4.1.
-
-1. change for the test command of setup.rb
-
-I have to modify setup.rb to work with darcs. Darcs requires
-the test script that it should be change the status to 1 when
-any test is failed. However, the original setup.rb (ver 3.4.1)
-does not change unless a test is failed.
-
-2. add the rdoc command to setup.rb and distclean the rdoc dir
-

data/Rakefile

@@ -1,15 +1,16 @@
 # Rakefile for RushCheck
-#
+# Do NOT edit Rakefile but edit Rakefile.in!
 #
 
 require 'rubygems'
 require 'rake'
 require 'rake/gempackagetask'
 
-RUSHCHECK_VERSION="0.6"
+RUSHCHECK_VERSION="0.7"
 task :default => ["dist", "gem"]
 
 task :dist do
+  system "darcs push -a"
   system "darcs dist -d rushcheck-#{RUSHCHECK_VERSION}"
   system "mv rushcheck-#{RUSHCHECK_VERSION}.tar.gz pkg/"
 end
@@ -43,3 +44,18 @@ Rake::GemPackageTask.new(spec) do |pkg|
   pkg.need_zip = true
   pkg.need_tar = true
 end
+
+task :rdoc do
+  Dir.chdir('./lib') do
+    system ['rdoc', '-o', '../data/rushcheck/rdoc'].join(' ')
+  end
+end
+
+task :test_all => Dir.glob("test/spec_*.rb") do |t|
+  Dir.chdir('./test') do
+    specs = t.prerequisites.map {|f| File.basename f}
+    specs.each do |spec|
+    raise RuntimeError, "a test is failed" unless system ['spec', spec, '-f', 's', '-c', '-b'].join(' ')
+    end
+  end
+end

data/Rakefile.in

@@ -1,5 +1,5 @@
 # Rakefile for RushCheck
-#
+# Do NOT edit Rakefile but edit Rakefile.in!
 #
 
 require 'rubygems'
@@ -10,6 +10,7 @@ RUSHCHECK_VERSION="@VERSION@"
 task :default => ["dist", "gem"]
 
 task :dist do
+  system "darcs push -a"
   system "darcs dist -d rushcheck-#{RUSHCHECK_VERSION}"
   system "mv rushcheck-#{RUSHCHECK_VERSION}.tar.gz pkg/"
 end
@@ -43,3 +44,18 @@ Rake::GemPackageTask.new(spec) do |pkg|
   pkg.need_zip = true
   pkg.need_tar = true
 end
+
+task :rdoc do
+  Dir.chdir('./lib') do
+    system ['rdoc', '-o', '../data/rushcheck/rdoc'].join(' ')
+  end
+end
+
+task :test_all => Dir.glob("test/spec_*.rb") do |t|
+  Dir.chdir('./test') do
+    specs = t.prerequisites.map {|f| File.basename f}
+    specs.each do |spec|
+    raise RuntimeError, "a test is failed" unless system ['spec', spec, '-f', 's', '-c', '-b'].join(' ')
+    end
+  end
+end

data/data/rushcheck/doc/rushcheck.thtml

@@ -1,5 +1,5 @@
 <address>
-last-modified: 2006-10-06 Daisuke IKEGAMI <ikegami@madscientist.jp>
+last-modified: 2006-10-13 Daisuke IKEGAMI <ikegami@madscientist.jp>
 </address>
 
 This tutorial is written in a simple markup language 
@@ -19,8 +19,8 @@ h1. Index
 ## <a href="#Watching the statistics">Watching the statistics</a>
 ### <a href="#trivial">'trivial'</a>
 ### <a href="#classify">'classify'</a>
-# <a href="Combining unit testing and RushCheck">Combining unit testing and RushCheck</a>
-# <a href="Combining RSpec and RushCheck">Combining RSpec and RushCheck</a>
+# <a href="#Combining unit testing and RushCheck">Combining unit testing and RushCheck</a>
+# <a href="#Combining RSpec and RushCheck">Combining RSpec and RushCheck</a>
 ## <a href="#With another basic classes for assertions">With another basic classes for assertions</a>
 ### <a href="#SpecialString">SpecialString</a>
 ### <a href="#Array and RandomArray">Array and RandomArray</a>
@@ -337,6 +337,7 @@ Example:
 </pre>
 
 h2. <a name="Combining RSpec and RushCheck">Combining RSpec and RushCheck</a>
+
 "RSpec":http://rspec.rubyforge.org is another testing framework which helps Behaviour Driven Development (BDD).
 To combine RSpec and RushCheck, the following trick maybe useful and easy to read:
 <pre>

data/data/rushcheck/examples/roguetile.rb

@@ -77,7 +77,7 @@ class Tree
   end
 end
 
-class Leaf
+class Leaf < Tree
   extend RushCheck::Arbitrary
   include RushCheck::Coarbitrary
   
@@ -90,7 +90,7 @@ class Leaf
   end
 end
 
-class Branch
+class Branch < Tree
   extend RushCheck::Arbitrary
   include RushCheck::Coarbitrary
 

data/data/rushcheck/examples/rspec/stack_spec.rb

@@ -19,7 +19,7 @@ rescue LoadError
   require 'rushcheck'
 end
 
-def forall(*cs, &f)
+def for_all(*cs, &f)
   RushCheck::Claim.new(*cs, &f).check.should_equal true
 end
 
@@ -28,7 +28,7 @@ require 'stack'
 context "An empty stack" do
 
   specify "should not be empty after 'push'" do
-    forall(Integer) do |item|
+    for_all(Integer) do |item|
       stack = Stack.new
       stack.push item
       stack.should_not_be_empty
@@ -59,14 +59,14 @@ context "A stack (in general)" do
   end
 
   specify "should add the top when sent 'push'" do
-    forall(NotEmptyAndFullStack, String) do |stack, item|
+    for_all(NotEmptyAndFullStack, String) do |stack, item|
       stack.push item
       stack.peek.should_equal item
     end
   end
 
   specify "should NOT remove the top item when sent 'peek'" do
-    forall(NotEmptyAndFullStack, Integer) do |stack, item| 
+    for_all(NotEmptyAndFullStack, Integer) do |stack, item| 
       stack.push item
       stack.peek.should_equal item
       stack.peek.should_equal item
@@ -74,14 +74,14 @@ context "A stack (in general)" do
   end
 
  specify "should return the top item when sent 'pop'" do
-   forall(NotEmptyAndFullStack, Integer) do |stack, item| 
+   for_all(NotEmptyAndFullStack, Integer) do |stack, item| 
      stack.push item
      stack.pop.should_equal item
    end
  end
 
   specify "should remove the top item when sent 'pop'" do
-    forall(NotEmptyAndFullStack, Integer, Integer) do |stack, dummy, item| 
+    for_all(NotEmptyAndFullStack, Integer, Integer) do |stack, dummy, item| 
       stack.push item
       stack.push dummy
       stack.pop
@@ -98,7 +98,7 @@ context "An empty stack" do
   end
 
   specify "should no longer be empty" do
-    forall(Integer) do |item|
+    for_all(Integer) do |item|
       stack = Stack.new
       stack.push item
       stack.should_not_be_empty
@@ -116,7 +116,7 @@ end
 
 context "An almost empty stack (with one item)" do
   specify "should not be empty" do
-    forall(Integer) do |item|
+    for_all(Integer) do |item|
       stack = Stack.new
       stack.push item
       stack.should_not_be_empty
@@ -124,7 +124,7 @@ context "An almost empty stack (with one item)" do
   end
   
   specify "should remain not empty after 'peek'" do
-    forall(Integer) do |item|
+    for_all(Integer) do |item|
       stack = Stack.new
       stack.push item
       stack.peek
@@ -133,7 +133,7 @@ context "An almost empty stack (with one item)" do
   end
   
   specify "should become empty after 'pop'" do
-    forall(Integer) do |item|
+    for_all(Integer) do |item|
       stack = Stack.new
       stack.push item
       stack.pop
@@ -163,15 +163,15 @@ context "An almost full stack (with one item less than capacity)" do
   end
 
   specify "should not be full" do
-    forall(AlmostFullStack) do |stack|
-      stack.should.not.be.full
+    for_all(AlmostFullStack) do |stack|
+      stack.should_not_be_full
     end
   end
   
   specify "should become full when sent 'push'" do
-    forall(AlmostFullStack, Integer) do |stack, item|
+    for_all(AlmostFullStack, Integer) do |stack, item|
       stack.push item
-      stack.should.be.full
+      stack.should_be_full
     end
   end
 end
@@ -196,28 +196,28 @@ context "A full stack" do
    end
 
   specify "should be full" do
-    forall(FullStack) do |stack|
-      stack.should.be.full
+    for_all(FullStack) do |stack|
+      stack.should_be_full
     end
   end
   
   specify "should remain full after 'peek'" do
-    forall(FullStack) do |stack|
+    for_all(FullStack) do |stack|
       stack.peek
-      stack.should.be.full
+      stack.should_be_full
     end
   end
   
   specify "should no longer be full after 'pop'" do
-    forall(FullStack) do |stack|
+    for_all(FullStack) do |stack|
       stack.pop
-      stack.should.not.be.full
+      stack.should_not_be_full
     end
   end
 
   specify "should complain on 'push'" do
-    forall(FullStack, Integer) do |stack, item|
-      lambda { stack.push item }.should.raise StackOverflowError
+    for_all(FullStack, Integer) do |stack, item|
+      lambda { stack.push item }.should_raise StackOverflowError
     end
   end
 end

data/data/rushcheck/rdoc/classes/FalseClass.html

@@ -86,9 +86,9 @@
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000006">bound</a>&nbsp;&nbsp;
-      <a href="#M000007">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000008">property</a>&nbsp;&nbsp;
+      <a href="#M000008">bound</a>&nbsp;&nbsp;
+      <a href="#M000009">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000010">property</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000006" class="method-detail">
-        <a name="M000006"></a>
+      <div id="method-M000008" class="method-detail">
+        <a name="M000008"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000006.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000006.html');return false;">
+          <a href="FalseClass.src/M000008.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000008.html');return false;">
           <span class="method-name">bound</span><span class="method-args">()</span>
           </a>
         </div>
@@ -134,12 +134,12 @@
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000007" class="method-detail">
-        <a name="M000007"></a>
+      <div id="method-M000009" class="method-detail">
+        <a name="M000009"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000007.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000007.html');return false;">
+          <a href="FalseClass.src/M000009.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000009.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>
@@ -148,12 +148,12 @@
         </div>
       </div>
 
-      <div id="method-M000008" class="method-detail">
-        <a name="M000008"></a>
+      <div id="method-M000010" class="method-detail">
+        <a name="M000010"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000008.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000008.html');return false;">
+          <a href="FalseClass.src/M000010.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000010.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html

@@ -5,14 +5,14 @@
 
 <html>
 <head>
-  <title>property (FalseClass)</title>
+  <title>bound (FalseClass)</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 69</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</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">self</span>).<span class="ruby-identifier">result</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 61</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
+    [<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-ivar">@@max_bound</span>]
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000009.html

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html 
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+
+<html>
+<head>
+  <title>coarbitrary (FalseClass)</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 65</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000010.html

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html 
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+
+<html>
+<head>
+  <title>property (FalseClass)</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 69</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</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">self</span>).<span class="ruby-identifier">result</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

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

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