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/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