rushcheck 0.6 → 0.7

data/lib/rushcheck/array.rb

@@ -13,28 +13,59 @@ class RandomArray < Array
   extend RushCheck::Arbitrary
   include RushCheck::Coarbitrary
 
+  # self.set_pattern must be executed before calling self.arbitrary.
+  # self.set_pattern defines pattern of random arrays for self.arbitrary.
+  # self.set_pattern takes a variable and a block, where the variable
+  # should be a class which is used for the first element of random array.
+  # On the other hand,
+  # the block should define random array by inductive way; the block
+  # takes two variables and the first variable is assumed as an array
+  # and the second variable is the index of array.
   def self.set_pattern(base, &f)
     @@base, @@indp = base, f
-    self
+    nil
   end
-  
-  def self.arbitrary
+
+  def self.create_components(cs, n, r)
+    case cs
+    when Class
+      cs.arbitrary.value(n, r)
+    when Array
+      cs.map {|c| self.create_components(c, n, r)}
+    else
+      raise RuntimeError, "Unexpected arguments #{cs.inspect}. Maybe forgotten calling set_pattern before?"
+    end
+  end
+
+  # a private method for self.arbitrary
+  def self.create_array(len)
+    RushCheck::Gen.new do |n, r|
+      ary = [self.create_components(@@base, n, r)]
+      r2 = r
+      (1..len).each do |i|
+        r1, r2 = r2.split
+        ary << self.create_components(@@indp.call(ary, i), n, r1)
+      end
+      
+      ary
+    end
+  end
+
+  # a private method for self.arbitrary
+  def self.arrange_len
     RushCheck::Gen.sized do |m|
+      m = 1 - m if m <= 0
       RushCheck::Gen.choose(0, m).bind do |len|
-        if len = 0
-        then RushCheck::Gen.unit([])
-        else
-          RushCheck::Gen.new do |n, r|
-            ary = [@@base.arbitrary.value(n, r)]
-            r2 = r
-            (1..len).each do |i|
-              r1, r2 = r2.split
-              ary << @@indp.call(ary, i).arbitrary.value(n, r1)
-            end
-
-            ary
-          end
-        end
+        yield len
+      end
+    end
+  end
+  
+  def self.arbitrary
+    self.arrange_len do |len|
+      if len == 0
+      then RushCheck::Gen.unit([])
+      else self.create_array(len)
       end
     end
   end
@@ -48,3 +79,13 @@ class RandomArray < Array
   end
 
 end
+
+class NonEmptyRandomArray < RandomArray
+
+  def self.arbitrary
+    self.arrange_len do |len|
+      self.create_array(len + 1)
+    end
+  end
+
+end

data/lib/rushcheck/assertion.rb

@@ -53,7 +53,7 @@ module RushCheck
         end
       end.bind do |args|
         test = begin
-                 yield(args)
+                 @proc.call(*args) # not yield here!
                rescue Exception => ex
                  case ex
                  when RushCheck::GuardException

data/lib/rushcheck/gen.rb

@@ -51,11 +51,11 @@ module RushCheck
     end
 
     # create is one of primitive generators to create a random Gen object.
-    # create takes an array of classes, and any block to generate object.
+    # create takes at least a class, and any block to generate object.
     # Then create returns a Gen object. It may useful to implement
     # arbitrary method into your class.
-    def self.create(cs, &f)
-      self.create_by_gen(cs.map {|c| c.arbitrary}) { yield f }
+    def self.create(*cs, &f)
+      self.create_by_gen(cs.map {|c| c.arbitrary}, &f) 
     end
 
     # elements is one of primitive generators to create a random Gen
@@ -196,7 +196,7 @@ module RushCheck
     # a generator of the property.
     def forall
       bind do |*a|
-        yield(*a).property.bind do |res|
+        yield(*a).property.gen.bind do |res|
           res.arguments.push(a.to_s)
           self.class.unit(res)
         end
@@ -222,11 +222,9 @@ module RushCheck
     # Integer. variant is needed to generate rundom functions.
     def variant(v)
       self.class.new do |n, r| 
-        g = (1..v).inject(r) do |gen, i| 
-          gen, dummy = gen.split 
-          gen
-        end
-        value(n, g)
+        gen = r
+        v.times { gen, dummy = gen.split }
+        value(n, gen)
       end
     end
 

data/lib/rushcheck/integer.rb

@@ -46,3 +46,59 @@ class Integer
   end
 
 end
+
+class PositiveInteger < Integer
+
+  @@max_bound = 2**30 - 1
+  @@min_bound = 1
+
+  # this method is needed to include HsRandom.
+  def self.random_range(gen, lo=@@min_bound, hi=@@max_bound)
+    hi, lo = lo, hi if hi < lo 
+    raise RuntimeError, "PositiveInteger requires positive lower bound." if lo <= 0
+    v, g = gen.gen_next
+    d = hi - lo + 1
+
+    if d == 1
+    then [lo, g]
+    else [(v % d) + lo, g]
+    end
+  end
+
+  # this method is needed to use Arbitrary.
+  def self.arbitrary
+    RushCheck::Gen.sized do |n| 
+      n = 1 - n if n <= 0
+      RushCheck::Gen.choose(1, n) 
+    end
+  end
+
+end
+
+class NegativeInteger < Integer
+
+  @@max_bound = -1
+  @@min_bound = -(2**30)
+
+  # this method is needed to include HsRandom.
+  def self.random_range(gen, lo=@@min_bound, hi=@@max_bound)
+    hi, lo = lo, hi if hi < lo 
+    raise RuntimeError, "NegativeInteger requires negative upper bound." if hi >= 0
+    v, g = gen.gen_next
+    d = hi - lo + 1
+
+    if d == 1
+    then [lo, g]
+    else [(v % d) + lo, g]
+    end
+  end
+
+  # this method is needed to use Arbitrary.
+  def self.arbitrary
+    RushCheck::Gen.sized do |n| 
+      n = (-1) - n if n >= 0
+      RushCheck::Gen.choose(-n, -1) 
+    end
+  end
+
+end

data/lib/rushcheck/property.rb

@@ -16,7 +16,7 @@ module RushCheck
       case obj
       when nil, true, false
         result = RushCheck::Result.new(obj, stamp, arguments)
-        @gen    = RushCheck::Gen.unit(result)
+        @gen   = RushCheck::Gen.unit(result)
       when Gen
         @gen = obj
       else

data/lib/rushcheck/random.rb

@@ -121,7 +121,7 @@ module RushCheck
 
   # TheStdGen is a singleton class to get the unique random number
   # generator using StdGen. TheStdGen includes ruby's Singleton module.
-  class TheStdGen 
+  class TheStdGen < StdGen
 
     include Singleton
     include RushCheck::RandomGen  
@@ -143,6 +143,10 @@ module RushCheck
       result
     end
 
+    def to_s
+      @gen.to_s
+    end
+
     def gen_range
       @gen.gen_range
     end

data/lib/rushcheck/version.rb

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

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.9.0
 specification_version: 1
 name: rushcheck
 version: !ruby/object:Gem::Version 
-  version: "0.6"
-date: 2006-10-13 00:00:00.000000 +09:00
+  version: "0.7"
+date: 2006-10-28 00:00:00 +09:00
 summary: A lightweight random testing tool
 require_paths: 
   - lib
@@ -93,8 +93,14 @@ files:
   - data/rushcheck/rdoc/classes/HsRandom.src
   - data/rushcheck/rdoc/classes/Integer.html
   - data/rushcheck/rdoc/classes/Integer.src
+  - data/rushcheck/rdoc/classes/NegativeInteger.html
+  - data/rushcheck/rdoc/classes/NegativeInteger.src
   - data/rushcheck/rdoc/classes/NilClass.html
   - data/rushcheck/rdoc/classes/NilClass.src
+  - data/rushcheck/rdoc/classes/NonEmptyRandomArray.html
+  - data/rushcheck/rdoc/classes/NonEmptyRandomArray.src
+  - data/rushcheck/rdoc/classes/PositiveInteger.html
+  - data/rushcheck/rdoc/classes/PositiveInteger.src
   - data/rushcheck/rdoc/classes/Property.html
   - data/rushcheck/rdoc/classes/Property.src
   - data/rushcheck/rdoc/classes/RandomArray.html
@@ -148,6 +154,8 @@ files:
   - 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/M000009.html
+  - data/rushcheck/rdoc/classes/FalseClass.src/M000010.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
@@ -158,6 +166,10 @@ files:
   - 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/M000021.html
+  - data/rushcheck/rdoc/classes/Float.src/M000022.html
+  - data/rushcheck/rdoc/classes/Float.src/M000023.html
+  - data/rushcheck/rdoc/classes/Float.src/M000024.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
@@ -213,9 +225,14 @@ 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/NegativeInteger.src/M000005.html
+  - data/rushcheck/rdoc/classes/NegativeInteger.src/M000006.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/M000029.html
+  - data/rushcheck/rdoc/classes/NilClass.src/M000030.html
+  - data/rushcheck/rdoc/classes/NilClass.src/M000031.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
@@ -223,6 +240,9 @@ files:
   - data/rushcheck/rdoc/classes/NilClass.src/M000064.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000065.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000066.html
+  - data/rushcheck/rdoc/classes/NonEmptyRandomArray.src/M000011.html
+  - data/rushcheck/rdoc/classes/PositiveInteger.src/M000032.html
+  - data/rushcheck/rdoc/classes/PositiveInteger.src/M000033.html
   - data/rushcheck/rdoc/classes/Property.src/M000070.html
   - data/rushcheck/rdoc/classes/Property.src/M000071.html
   - data/rushcheck/rdoc/classes/Property.src/M000072.html
@@ -231,6 +251,12 @@ files:
   - 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/M000012.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000013.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000014.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000015.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000016.html
+  - data/rushcheck/rdoc/classes/RandomArray.src/M000017.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
@@ -252,6 +278,9 @@ files:
   - 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/M000018.html
+  - data/rushcheck/rdoc/classes/RandomHash.src/M000019.html
+  - data/rushcheck/rdoc/classes/RandomHash.src/M000020.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
@@ -263,6 +292,10 @@ files:
   - 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/M000025.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000026.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000027.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000028.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
@@ -317,10 +350,15 @@ files:
   - 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/Arbitrary.src/M000043.html
   - data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000073.html
   - data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000074.html
+  - data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000081.html
+  - data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000082.html
   - data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000107.html
+  - data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000116.html
   - data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000058.html
+  - data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000066.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
@@ -328,6 +366,13 @@ files:
   - 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/Config.src/M000074.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000075.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000076.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000077.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000078.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000079.html
+  - data/rushcheck/rdoc/classes/RushCheck/Config.src/M000080.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
@@ -348,24 +393,50 @@ files:
   - 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/Gen.src/M000095.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000096.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000097.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000098.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000099.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000100.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000101.html
+  - data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000102.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/HsRandom.src/M000049.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000050.html
+  - data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000051.html
   - data/rushcheck/rdoc/classes/RushCheck/Property.src/M000105.html
   - data/rushcheck/rdoc/classes/RushCheck/Property.src/M000106.html
+  - data/rushcheck/rdoc/classes/RushCheck/Property.src/M000114.html
+  - data/rushcheck/rdoc/classes/RushCheck/Property.src/M000115.html
   - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000039.html
   - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000040.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000047.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000048.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/RandomGen.src/M000044.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000045.html
+  - data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000046.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/Result.src/M000103.html
+  - data/rushcheck/rdoc/classes/RushCheck/Result.src/M000104.html
+  - data/rushcheck/rdoc/classes/RushCheck/Result.src/M000105.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/StdGen.src/M000069.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000070.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000071.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000072.html
+  - data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000073.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
@@ -376,16 +447,33 @@ files:
   - 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/Testable.src/M000058.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000060.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000061.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000062.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000064.html
+  - data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000065.html
   - data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000099.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000107.html
   - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000059.html
   - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000060.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000067.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000068.html
   - data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000100.html
+  - data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000108.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/TheStdGen.src/M000109.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000110.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000111.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000112.html
+  - data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000113.html
   - data/rushcheck/rdoc/classes/RushCheck.src/M000033.html
   - data/rushcheck/rdoc/classes/RushCheck.src/M000034.html
+  - data/rushcheck/rdoc/classes/RushCheck.src/M000041.html
+  - data/rushcheck/rdoc/classes/RushCheck.src/M000042.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
@@ -394,6 +482,7 @@ files:
   - 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/M000007.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
@@ -409,6 +498,10 @@ files:
   - 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/M000034.html
+  - data/rushcheck/rdoc/classes/String.src/M000035.html
+  - data/rushcheck/rdoc/classes/String.src/M000036.html
+  - data/rushcheck/rdoc/classes/String.src/M000037.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
@@ -452,6 +545,9 @@ files:
   - 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/M000038.html
+  - data/rushcheck/rdoc/classes/TrueClass.src/M000039.html
+  - data/rushcheck/rdoc/classes/TrueClass.src/M000040.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