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

rushcheck 0.5 → 0.6

Files changed (52) hide show

data/data/rushcheck/rdoc/files/rushcheck/claim_rb.html ADDED Viewed

@@ -0,0 +1,119 @@
+<?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>File: claim.rb</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="fileHeader">
+    <h1>claim.rb</h1>
+    <table class="header-table">
+    <tr class="top-aligned-row">
+      <td><strong>Path:</strong></td>
+      <td>rushcheck/claim.rb
+      </td>
+    </tr>
+    <tr class="top-aligned-row">
+      <td><strong>Last Update:</strong></td>
+      <td>Fri Oct 13 01:43:00 JST 2006</td>
+    </tr>
+    </table>
+  </div>
+  <!-- banner header -->
+  <div id="bodyContent">
+  <div id="contextContent">
+    <div id="description">
+      <h1>claim.rb</h1>
+<pre>
+ this file provides a class Claim for random testing.
+</pre>
+    </div>
+    <div id="requires-list">
+      <h3 class="section-bar">Required files</h3>
+      <div class="name-list">
+      <a href="gen_rb.html">rushcheck/gen</a>&nbsp;&nbsp;
+      <a href="guard_rb.html">rushcheck/guard</a>&nbsp;&nbsp;
+      <a href="property_rb.html">rushcheck/property</a>&nbsp;&nbsp;
+      <a href="result_rb.html">rushcheck/result</a>&nbsp;&nbsp;
+      <a href="testable_rb.html">rushcheck/testable</a>&nbsp;&nbsp;
+      </div>
+    </div>
+   </div>
+  </div>
+    <!-- if includes -->
+    <div id="section">
+    <!-- if method_list -->
+  </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/files/rushcheck/gen_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Wed Oct 04 18:39:24 JST 2006</td>
+      <td>Sun Oct 08 17:36:52 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/random_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:39:36 JST 2006</td>
+      <td>Sat Oct 07 12:32:29 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/version_rb.html ADDED Viewed

@@ -0,0 +1,107 @@
+<?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>File: version.rb</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="fileHeader">
+    <h1>version.rb</h1>
+    <table class="header-table">
+    <tr class="top-aligned-row">
+      <td><strong>Path:</strong></td>
+      <td>rushcheck/version.rb
+      </td>
+    </tr>
+    <tr class="top-aligned-row">
+      <td><strong>Last Update:</strong></td>
+      <td>Fri Oct 13 02:25:29 JST 2006</td>
+    </tr>
+    </table>
+  </div>
+  <!-- banner header -->
+  <div id="bodyContent">
+  <div id="contextContent">
+    <div id="description">
+      <p>
+version.rb
+</p>
+    </div>
+   </div>
+  </div>
+    <!-- if includes -->
+    <div id="section">
+    <!-- if method_list -->
+  </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/files/rushcheck_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Wed Oct 04 18:26:24 JST 2006</td>
+      <td>Fri Oct 13 01:42:09 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -83,10 +83,12 @@ href="../classes/RushCheck.html">RushCheck</a> for random testing.
       <div class="name-list">
       <a href="rushcheck/arbitrary_rb.html">rushcheck/arbitrary</a>&nbsp;&nbsp;
       <a href="rushcheck/assertion_rb.html">rushcheck/assertion</a>&nbsp;&nbsp;
+      <a href="rushcheck/claim_rb.html">rushcheck/claim</a>&nbsp;&nbsp;
       <a href="rushcheck/gen_rb.html">rushcheck/gen</a>&nbsp;&nbsp;
       <a href="rushcheck/guard_rb.html">rushcheck/guard</a>&nbsp;&nbsp;
       <a href="rushcheck/random_rb.html">rushcheck/random</a>&nbsp;&nbsp;
       <a href="rushcheck/testable_rb.html">rushcheck/testable</a>&nbsp;&nbsp;
+      <a href="rushcheck/version_rb.html">rushcheck/version</a>&nbsp;&nbsp;
       <a href="rushcheck/array_rb.html">rushcheck/array</a>&nbsp;&nbsp;
       <a href="rushcheck/bool_rb.html">rushcheck/bool</a>&nbsp;&nbsp;
       <a href="rushcheck/float_rb.html">rushcheck/float</a>&nbsp;&nbsp;

data/data/rushcheck/rdoc/fr_class_index.html CHANGED Viewed

@@ -30,6 +30,7 @@
     <a href="classes/RushCheck.html">RushCheck</a><br />
     <a href="classes/RushCheck/Arbitrary.html">RushCheck::Arbitrary</a><br />
     <a href="classes/RushCheck/Assertion.html">RushCheck::Assertion</a><br />
+    <a href="classes/RushCheck/Claim.html">RushCheck::Claim</a><br />
     <a href="classes/RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a><br />
     <a href="classes/RushCheck/Config.html">RushCheck::Config</a><br />
     <a href="classes/RushCheck/Gen.html">RushCheck::Gen</a><br />

data/data/rushcheck/rdoc/fr_file_index.html CHANGED Viewed

@@ -25,6 +25,7 @@
     <a href="files/rushcheck/array_rb.html">rushcheck/array.rb</a><br />
     <a href="files/rushcheck/assertion_rb.html">rushcheck/assertion.rb</a><br />
     <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</a><br />
     <a href="files/rushcheck/float_rb.html">rushcheck/float.rb</a><br />
     <a href="files/rushcheck/gen_rb.html">rushcheck/gen.rb</a><br />
@@ -39,6 +40,7 @@
     <a href="files/rushcheck/testable_rb.html">rushcheck/testable.rb</a><br />
     <a href="files/rushcheck/testoptions_rb.html">rushcheck/testoptions.rb</a><br />
     <a href="files/rushcheck/testresult_rb.html">rushcheck/testresult.rb</a><br />
+    <a href="files/rushcheck/version_rb.html">rushcheck/version.rb</a><br />
   </div>
 </div>
 </body>

data/data/rushcheck/rdoc/fr_method_index.html CHANGED Viewed

@@ -74,41 +74,42 @@
     <a href="classes/RushCheck/Property.html#M000105">new (RushCheck::Property)</a><br />
     <a href="classes/RushCheck/Config.html#M000069">new (RushCheck::Config)</a><br />
     <a href="classes/RushCheck/Assertion.html#M000073">new (RushCheck::Assertion)</a><br />
+    <a href="classes/RushCheck/Result.html#M000096">new (RushCheck::Result)</a><br />
     <a href="classes/RushCheck/TheStdGen.html#M000101">new (RushCheck::TheStdGen)</a><br />
     <a href="classes/RushCheck/TestResult.html#M000100">new (RushCheck::TestResult)</a><br />
-    <a href="classes/RushCheck/TestFailed.html#M000099">new (RushCheck::TestFailed)</a><br />
     <a href="classes/RushCheck/StdGen.html#M000061">new (RushCheck::StdGen)</a><br />
     <a href="classes/RushCheck/TestOptions.html#M000059">new (RushCheck::TestOptions)</a><br />
-    <a href="classes/RushCheck/Result.html#M000096">new (RushCheck::Result)</a><br />
     <a href="classes/RushCheck/Gen.html#M000087">new (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/TestFailed.html#M000099">new (RushCheck::TestFailed)</a><br />
     <a href="classes/RushCheck/Result.html#M000095">nothing (RushCheck::Result)</a><br />
     <a href="classes/RushCheck/Gen.html#M000081">oneof (RushCheck::Gen)</a><br />
     <a href="classes/RushCheck/Gen.html#M000082">promote (RushCheck::Gen)</a><br />
     <a href="classes/RushCheck/Testable.html#M000044">property (RushCheck::Testable)</a><br />
     <a href="classes/RushCheck/Result.html#M000098">property (RushCheck::Result)</a><br />
-    <a href="classes/RandomProc.html#M000022">property (RandomProc)</a><br />
     <a href="classes/FalseClass.html#M000008">property (FalseClass)</a><br />
+    <a href="classes/RushCheck/Claim.html#M000107">property (RushCheck::Claim)</a><br />
     <a href="classes/RushCheck/Property.html#M000106">property (RushCheck::Property)</a><br />
+    <a href="classes/NilClass.html#M000025">property (NilClass)</a><br />
     <a href="classes/TrueClass.html#M000032">property (TrueClass)</a><br />
     <a href="classes/RushCheck/Assertion.html#M000074">property (RushCheck::Assertion)</a><br />
-    <a href="classes/NilClass.html#M000025">property (NilClass)</a><br />
+    <a href="classes/RandomProc.html#M000022">property (RandomProc)</a><br />
     <a href="classes/RushCheck/Config.html#M000066">quick (RushCheck::Config)</a><br />
     <a href="classes/RushCheck/Testable.html#M000046">quick_check (RushCheck::Testable)</a><br />
     <a href="classes/RushCheck/Testable.html#M000047">quickcheck (RushCheck::Testable)</a><br />
     <a href="classes/RushCheck/Gen.html#M000083">rand (RushCheck::Gen)</a><br />
     <a href="classes/RushCheck/HsRandom.html#M000041">random (RushCheck::HsRandom)</a><br />
     <a href="classes/RushCheck/HsRandom.html#M000042">random_array (RushCheck::HsRandom)</a><br />
-    <a href="classes/Float.html#M000017">random_range (Float)</a><br />
     <a href="classes/Integer.html#M000003">random_range (Integer)</a><br />
-    <a href="classes/String.html#M000028">random_range (String)</a><br />
     <a href="classes/RushCheck/RandomBool.html#M000040">random_range (RushCheck::RandomBool)</a><br />
+    <a href="classes/String.html#M000028">random_range (String)</a><br />
+    <a href="classes/Float.html#M000017">random_range (Float)</a><br />
     <a href="classes/RushCheck/HsRandom.html#M000043">random_std (RushCheck::HsRandom)</a><br />
     <a href="classes/RushCheck/Gen.html#M000093">resize (RushCheck::Gen)</a><br />
     <a href="classes/RushCheck/Result.html#M000097">result (RushCheck::Result)</a><br />
     <a href="classes/RushCheck/Testable.html#M000052">run (RushCheck::Testable)</a><br />
     <a href="classes/RushCheck/Testable.html#M000053">run_tests (RushCheck::Testable)</a><br />
-    <a href="classes/RandomProc.html#M000019">set_pattern (RandomProc)</a><br />
     <a href="classes/RandomArray.html#M000009">set_pattern (RandomArray)</a><br />
+    <a href="classes/RandomProc.html#M000019">set_pattern (RandomProc)</a><br />
     <a href="classes/RandomHash.html#M000012">set_pattern (RandomHash)</a><br />
     <a href="classes/RushCheck/Gen.html#M000084">sized (RushCheck::Gen)</a><br />
     <a href="classes/RushCheck/RandomGen.html#M000037">split (RushCheck::RandomGen)</a><br />

data/lib/rushcheck/arbitrary.rb CHANGED Viewed

@@ -4,7 +4,21 @@
 # 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.
+# in each class after extend/include them.
+#
+# class YourClass
+#   extend  RushCheck::Arbitrary
+#   include RushCheck::Coarbitrary
+#
+#   def self.arbitrary
+#   # must be overrided
+#   end
+#
+#   def coarbitrary
+#   # must be overrided also
+#   end
+# end
+#
 module RushCheck

data/lib/rushcheck/assertion.rb CHANGED Viewed

@@ -17,8 +17,15 @@ module RushCheck
   #   body
   # end
   #
+  # The return value of the body of testcase is checked by
+  # the method 'check'.
+  #
   # Note that the number of arguments in the block must be
   # equal to the number of arguments of Assertion.new.
+  # However, for a curried block, we can write also
+  #   Assertion.new(*cs) {|*xs| ...}
+  #
+  # See also class Claim, which is a subclass of Assertion
   # See also the RushCheck tutorial and several examples.
   #
   class Assertion
@@ -26,12 +33,13 @@ module RushCheck
     include RushCheck::Testable
     def initialize(*xs, &f)
-      raise ArgumentError unless f.arity == xs.length
       @inputs = xs[0..(f.arity - 1)]
       @proc = f
     end
-    def property
+    def _property
+      # :nodoc:
+      # should be raise when the number of arguments are differ?
       g = RushCheck::Gen.new do |n, r|
         r2 = r
         if @inputs
@@ -45,10 +53,7 @@ module RushCheck
         end
       end.bind do |args|
         test = begin
-                 if @proc.call(*args)
-                 then RushCheck::Result.new(true)
-                 else RushCheck::Result.new(false)
-                 end
+                 yield(args)
                rescue Exception => ex
                  case ex
                  when RushCheck::GuardException
@@ -69,6 +74,16 @@ module RushCheck
       RushCheck::Property.new(g)
     end
+    private :_property
+    def property
+      _property { |args|
+        if @proc.call(*args)
+        then RushCheck::Result.new(true)
+        else RushCheck::Result.new(false)
+        end
+        }
+    end
   end

data/lib/rushcheck/claim.rb ADDED Viewed

@@ -0,0 +1,56 @@
+#= claim.rb
+# this file provides a class Claim for random testing.
+require 'rushcheck/gen'
+require 'rushcheck/guard'
+require 'rushcheck/property'
+require 'rushcheck/result'
+require 'rushcheck/testable'
+module RushCheck
+  # class Claim is one of main features of RushCheck.
+  # You can write a testcase for random testing as follows:
+  #
+  # Claim.new(Integer, String) do |x, y|
+  #   RushCheck::guard { precondition }
+  #   body
+  # end
+  #
+  # The notation of Claim.new is same as Assertion.new 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 Assertion.new
+  # as follows:
+  #
+  # # meaning of Claim.new is similar to Assertion.new
+  # Assertion.new(Integer, String) do |x, y|
+  #   RushCheck::guard { precondition }
+  #   body
+  #   true
+  # end
+  #
+  # Claim 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).
+  #
+  # Claim is-an Assertion so its subclass. See also Assertion.
+  class Claim < Assertion
+    include RushCheck::Testable
+    def property
+      _property { |args|
+        @proc.call(*args)
+        RushCheck::Result.new(true)
+      }
+    end
+  end
+end

data/lib/rushcheck/gen.rb CHANGED Viewed

@@ -25,7 +25,6 @@ module RushCheck
     # Then create_gen returns a Gen object. It may useful to implement
     # arbitrary method into your class.
     def self.create_by_gen(xs, &f)
-      raise ArgumentError unless f.arity == xs.length
       self.new do |n, r|
         r2 = r
@@ -168,9 +167,8 @@ module RushCheck
     end
     # bind is a monadic function such as Haskel's (>>=).
-    # 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 RandomGen. The block should return a Gen object.
+    # bind takes a block which has a variable where is the return value
+    # of the Gen object. The block should return a Gen object.
     def bind
       self.class.new do |n, r|
         r1, r2 = r.split

data/lib/rushcheck/version.rb CHANGED Viewed

@@ -3,6 +3,6 @@
 module RushCheck
-  VERSION = "0.5"
+  VERSION = "0.6"
 end

data/lib/rushcheck.rb CHANGED Viewed

@@ -4,6 +4,7 @@
 require 'rushcheck/arbitrary'
 require 'rushcheck/assertion'
+require 'rushcheck/claim'
 require 'rushcheck/gen'
 require 'rushcheck/guard'
 require 'rushcheck/random'

metadata CHANGED Viewed

@@ -3,8 +3,8 @@ rubygems_version: 0.9.0
 specification_version: 1
 name: rushcheck
 version: !ruby/object:Gem::Version
-  version: "0.5"
-date: 2006-10-08 00:00:00.000000 +09:00
+  version: "0.6"
+date: 2006-10-13 00:00:00.000000 +09:00
 summary: A lightweight random testing tool
 require_paths:
   - lib
@@ -36,6 +36,7 @@ files:
   - lib/rushcheck/array.rb
   - lib/rushcheck/assertion.rb
   - lib/rushcheck/bool.rb
+  - lib/rushcheck/claim.rb
   - lib/rushcheck/config.rb
   - lib/rushcheck/float.rb
   - lib/rushcheck/gen.rb
@@ -62,7 +63,10 @@ files:
   - data/rushcheck/examples/printf.rb
   - data/rushcheck/examples/proc.rb
   - data/rushcheck/examples/roguetile.rb
+  - data/rushcheck/examples/rspec
   - data/rushcheck/examples/sample.rb
+  - data/rushcheck/examples/rspec/stack.rb
+  - data/rushcheck/examples/rspec/stack_spec.rb
   - data/rushcheck/rdoc/classes
   - data/rushcheck/rdoc/created.rid
   - data/rushcheck/rdoc/files
@@ -279,6 +283,8 @@ files:
   - data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src
   - data/rushcheck/rdoc/classes/RushCheck/Assertion.html
   - data/rushcheck/rdoc/classes/RushCheck/Assertion.src
+  - data/rushcheck/rdoc/classes/RushCheck/Claim.html
+  - data/rushcheck/rdoc/classes/RushCheck/Claim.src
   - data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html
   - data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src
   - data/rushcheck/rdoc/classes/RushCheck/Config.html
@@ -313,6 +319,7 @@ files:
   - data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000035.html
   - data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000073.html
   - data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000074.html
+  - data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000107.html
   - data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000058.html
   - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000066.html
   - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000067.html
@@ -458,6 +465,7 @@ files:
   - data/rushcheck/rdoc/files/rushcheck/array_rb.html
   - data/rushcheck/rdoc/files/rushcheck/assertion_rb.html
   - data/rushcheck/rdoc/files/rushcheck/bool_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/claim_rb.html
   - data/rushcheck/rdoc/files/rushcheck/config_rb.html
   - data/rushcheck/rdoc/files/rushcheck/float_rb.html
   - data/rushcheck/rdoc/files/rushcheck/gen_rb.html
@@ -473,6 +481,7 @@ files:
   - data/rushcheck/rdoc/files/rushcheck/testable_rb.html
   - data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html
   - data/rushcheck/rdoc/files/rushcheck/testresult_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/version_rb.html
   - COPYING
   - INSTALL
   - LICENSE