rushcheck 0.4 → 0.5

data/lib/rushcheck.rb

@@ -8,6 +8,7 @@ require 'rushcheck/gen'
 require 'rushcheck/guard'
 require 'rushcheck/random'
 require 'rushcheck/testable'
+require 'rushcheck/version'
 
 require 'rushcheck/array'
 require 'rushcheck/bool'

data/lib/rushcheck/assertion.rb

@@ -12,12 +12,14 @@ module RushCheck
   # Assertion class is one of main features of RushCheck.
   # You can write a testcase for random testing as follows:
   # 
-  # Assertion.new(Integer, String) do |x, y, g|
-  #   g.guard { precondition }
+  # Assertion.new(Integer, String) do |x, y|
+  #   RushCheck::guard { precondition }
   #   body
   # end
   #
-  # See also documents and several examples.
+  # Note that the number of arguments in the block must be
+  # equal to the number of arguments of Assertion.new.
+  # See also the RushCheck tutorial and several examples.
   #
   class Assertion
     
@@ -43,7 +45,10 @@ module RushCheck
         end
       end.bind do |args|
         test = begin
-                 @proc.call(*args)
+                 if @proc.call(*args)
+                 then RushCheck::Result.new(true)
+                 else RushCheck::Result.new(false)
+                 end
                rescue Exception => ex
                  case ex
                  when RushCheck::GuardException

data/lib/rushcheck/gen.rb

@@ -170,7 +170,7 @@ module RushCheck
     # 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.
+    # random generator of RandomGen. The block should return a Gen object.
     def bind
       self.class.new do |n, r| 
         r1, r2 = r.split

data/lib/rushcheck/version.rb

@@ -0,0 +1,8 @@
+# version.rb
+#
+
+module RushCheck
+
+  VERSION = "0.5"
+
+end

data/lib/rushcheck/version.rb.in

@@ -0,0 +1,8 @@
+# version.rb
+#
+
+module RushCheck
+
+  VERSION = "@VERSION@"
+
+end

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.9.0
 specification_version: 1
 name: rushcheck
 version: !ruby/object:Gem::Version 
-  version: "0.4"
-date: 2006-10-06 00:00:00.000000 +09:00
+  version: "0.5"
+date: 2006-10-08 00:00:00.000000 +09:00
 summary: A lightweight random testing tool
 require_paths: 
   - lib
@@ -50,6 +50,8 @@ files:
   - lib/rushcheck/testable.rb
   - lib/rushcheck/testoptions.rb
   - lib/rushcheck/testresult.rb
+  - lib/rushcheck/version.rb
+  - lib/rushcheck/version.rb.in
   - data/rushcheck
   - data/rushcheck/doc
   - data/rushcheck/examples
@@ -103,6 +105,9 @@ files:
   - data/rushcheck/rdoc/classes/RandomProc.src
   - data/rushcheck/rdoc/classes/Result.html
   - data/rushcheck/rdoc/classes/Result.src
+  - data/rushcheck/rdoc/classes/RushCheck
+  - data/rushcheck/rdoc/classes/RushCheck.html
+  - data/rushcheck/rdoc/classes/RushCheck.src
   - data/rushcheck/rdoc/classes/RushCheckConfig.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src
   - data/rushcheck/rdoc/classes/RushCheckGuard.html
@@ -136,12 +141,19 @@ files:
   - data/rushcheck/rdoc/classes/Coarbitrary.src/M000095.html
   - data/rushcheck/rdoc/classes/Coarbitrary.src/M000096.html
   - data/rushcheck/rdoc/classes/Coarbitrary.src/M000105.html
+  - data/rushcheck/rdoc/classes/FalseClass.src/M000006.html
+  - data/rushcheck/rdoc/classes/FalseClass.src/M000007.html
+  - data/rushcheck/rdoc/classes/FalseClass.src/M000008.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000018.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000019.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000020.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000022.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000023.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000024.html
+  - data/rushcheck/rdoc/classes/Float.src/M000015.html
+  - data/rushcheck/rdoc/classes/Float.src/M000016.html
+  - data/rushcheck/rdoc/classes/Float.src/M000017.html
+  - data/rushcheck/rdoc/classes/Float.src/M000018.html
   - data/rushcheck/rdoc/classes/Float.src/M000047.html
   - data/rushcheck/rdoc/classes/Float.src/M000048.html
   - data/rushcheck/rdoc/classes/Float.src/M000049.html
@@ -185,6 +197,10 @@ files:
   - data/rushcheck/rdoc/classes/HsRandom.src/M000088.html
   - data/rushcheck/rdoc/classes/HsRandom.src/M000089.html
   - data/rushcheck/rdoc/classes/HsRandom.src/M000090.html
+  - data/rushcheck/rdoc/classes/Integer.src/M000001.html
+  - data/rushcheck/rdoc/classes/Integer.src/M000002.html
+  - data/rushcheck/rdoc/classes/Integer.src/M000003.html
+  - data/rushcheck/rdoc/classes/Integer.src/M000004.html
   - data/rushcheck/rdoc/classes/Integer.src/M000006.html
   - data/rushcheck/rdoc/classes/Integer.src/M000007.html
   - data/rushcheck/rdoc/classes/Integer.src/M000008.html
@@ -193,6 +209,9 @@ files:
   - data/rushcheck/rdoc/classes/Integer.src/M000011.html
   - data/rushcheck/rdoc/classes/Integer.src/M000012.html
   - data/rushcheck/rdoc/classes/Integer.src/M000013.html
+  - data/rushcheck/rdoc/classes/NilClass.src/M000023.html
+  - data/rushcheck/rdoc/classes/NilClass.src/M000024.html
+  - data/rushcheck/rdoc/classes/NilClass.src/M000025.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000059.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000060.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000061.html
@@ -205,6 +224,9 @@ files:
   - data/rushcheck/rdoc/classes/Property.src/M000072.html
   - data/rushcheck/rdoc/classes/Property.src/M000077.html
   - data/rushcheck/rdoc/classes/Property.src/M000078.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000009.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000010.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000011.html
   - data/rushcheck/rdoc/classes/RandomArray.src/M000021.html
   - data/rushcheck/rdoc/classes/RandomArray.src/M000022.html
   - data/rushcheck/rdoc/classes/RandomArray.src/M000023.html
@@ -223,6 +245,9 @@ files:
   - data/rushcheck/rdoc/classes/RandomGen.src/M000083.html
   - data/rushcheck/rdoc/classes/RandomGen.src/M000084.html
   - data/rushcheck/rdoc/classes/RandomGen.src/M000085.html
+  - data/rushcheck/rdoc/classes/RandomHash.src/M000012.html
+  - data/rushcheck/rdoc/classes/RandomHash.src/M000013.html
+  - data/rushcheck/rdoc/classes/RandomHash.src/M000014.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000044.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000045.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000046.html
@@ -230,6 +255,10 @@ files:
   - data/rushcheck/rdoc/classes/RandomHash.src/M000049.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000050.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000051.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000019.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000020.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000021.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000022.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000055.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000056.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000057.html
@@ -246,6 +275,110 @@ files:
   - data/rushcheck/rdoc/classes/Result.src/M000056.html
   - data/rushcheck/rdoc/classes/Result.src/M000057.html
   - data/rushcheck/rdoc/classes/Result.src/M000058.html
+  - data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html
+  - 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/Coarbitrary.html
+  - data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src
+  - data/rushcheck/rdoc/classes/RushCheck/Config.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src
+  - data/rushcheck/rdoc/classes/RushCheck/GuardException.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.src
+  - data/rushcheck/rdoc/classes/RushCheck/Property.html
+  - data/rushcheck/rdoc/classes/RushCheck/Property.src
+  - data/rushcheck/rdoc/classes/RushCheck/RandomBool.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.src
+  - data/rushcheck/rdoc/classes/RushCheck/Result.html
+  - data/rushcheck/rdoc/classes/RushCheck/Result.src
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src
+  - data/rushcheck/rdoc/classes/RushCheck/TestExausted.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestFailed.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestFailed.src
+  - data/rushcheck/rdoc/classes/RushCheck/TestOk.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestOptions.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src
+  - data/rushcheck/rdoc/classes/RushCheck/TestResult.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestResult.src
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src
+  - 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/Coarbitrary.src/M000058.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000066.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000067.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000068.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000069.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000070.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000071.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000072.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000075.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000076.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000077.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000078.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000079.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000080.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000081.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000082.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000041.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000042.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000043.html
+  - data/rushcheck/rdoc/classes/RushCheck/Property.src/M000105.html
+  - data/rushcheck/rdoc/classes/RushCheck/Property.src/M000106.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000039.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000040.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000036.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000037.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000038.html
+  - data/rushcheck/rdoc/classes/RushCheck/Result.src/M000095.html
+  - data/rushcheck/rdoc/classes/RushCheck/Result.src/M000096.html
+  - data/rushcheck/rdoc/classes/RushCheck/Result.src/M000097.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000061.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000062.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000063.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000064.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000065.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000044.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000045.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000048.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000049.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000050.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000054.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000099.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000059.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000060.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000100.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000101.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000102.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000103.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000104.html
+  - data/rushcheck/rdoc/classes/RushCheck.src/M000033.html
+  - data/rushcheck/rdoc/classes/RushCheck.src/M000034.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html
@@ -253,6 +386,7 @@ files:
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000006.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000007.html
+  - data/rushcheck/rdoc/classes/SpecialString.src/M000005.html
   - data/rushcheck/rdoc/classes/SpecialString.src/M000017.html
   - data/rushcheck/rdoc/classes/SpecialString.src/M000021.html
   - data/rushcheck/rdoc/classes/StdGen.src/M000010.html
@@ -264,6 +398,10 @@ files:
   - data/rushcheck/rdoc/classes/StdGen.src/M000016.html
   - data/rushcheck/rdoc/classes/StdGen.src/M000017.html
   - data/rushcheck/rdoc/classes/StdGen.src/M000018.html
+  - data/rushcheck/rdoc/classes/String.src/M000026.html
+  - data/rushcheck/rdoc/classes/String.src/M000027.html
+  - data/rushcheck/rdoc/classes/String.src/M000028.html
+  - data/rushcheck/rdoc/classes/String.src/M000029.html
   - data/rushcheck/rdoc/classes/String.src/M000066.html
   - data/rushcheck/rdoc/classes/String.src/M000067.html
   - data/rushcheck/rdoc/classes/String.src/M000068.html
@@ -304,6 +442,9 @@ files:
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000070.html
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000071.html
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000072.html
+  - data/rushcheck/rdoc/classes/TrueClass.src/M000030.html
+  - data/rushcheck/rdoc/classes/TrueClass.src/M000031.html
+  - data/rushcheck/rdoc/classes/TrueClass.src/M000032.html
   - data/rushcheck/rdoc/classes/TrueClass.src/M000072.html
   - data/rushcheck/rdoc/classes/TrueClass.src/M000073.html
   - data/rushcheck/rdoc/classes/TrueClass.src/M000074.html
@@ -336,6 +477,7 @@ files:
   - INSTALL
   - LICENSE
   - Rakefile
+  - Rakefile.in
   - README
   - copying.txt
 test_files: []