rushcheck 0.2

data/lib/rushcheck/random.rb

@@ -0,0 +1,215 @@
+# = random.rb - A library for psuedo-random number from Haskell
+#
+# This library deals with the common task of 
+# psuedo-random number generation from Haskell98. The library 
+# makes it possible to generate repeatable results, by starting
+# with a specified initial random number generator; or to get
+# different results on each run by using the system-initialised
+# generator, or by supplying a seed from some other source.
+#
+# This file provides two module RandomGen, HsRandom, two classes
+# StdGen and TheStdGen.
+
+
+# The module RandomGen is an abstract module. This is included
+# to add instance methods. The author considers that few developers 
+# need to read this implementation. See StdGen as an example.
+# Check also Haskell's System.Random library.
+module RandomGen
+  
+  # gen_next should be overrided as an instance method.
+  # It is assumed that gen_next returns an array with length 2.
+  # Here, call 'Foo' the class which includes RandomGen.
+  # The first components of the result should be an integer, and the
+  # last components should be an object which belongs to the class
+  # Foo. 
+  def gen_next
+    raise_not_implemented_error
+  end
+
+  # split should be overrided as an instance method.
+  # It is assumed that split returns an array with length 2.
+  # Here, call 'Foo' the class which includes RandomGen.
+  # Then the components of the result are objects which belongs to the
+  # class Foo.
+  def split
+    raise_not_implemented_error
+  end
+
+  # gen_range should be overrided as an instance method.
+  # It is assumed that split returns an array with length 2.
+  # Here, call 'Foo' the class which includes RandomGen.
+  # Then the components of the result are integers where
+  # the first components should be the lowest bound of
+  # the first components of gen_next. Another should be
+  # the highest bound of the first components of gen_next.
+  def gen_range
+    raise_not_implemented_error
+  end
+
+  private 
+  def raise_not_implemented_error
+    raise(NotImplementedError, "This method should be overrided.")
+  end
+
+end
+
+# StdGen is a class (and the unique class) which includes RandomGen.
+# This class provides a functional random number generator.
+class StdGen 
+
+  include RandomGen
+
+  @@min_bound = -(2**30)
+  @@max_bound = 2**30 - 1
+
+  # left and right are two seeds of random number generator.
+  attr_reader :left, :right
+  def initialize(left=nil, right=nil)
+    @left, @right = [left, right].map do |x| 
+      if x.nil?
+      then random
+      else in_range(x) 
+      end
+    end
+  end
+
+  # gen_next returns an array with length 2. The first component of
+  # result is a random integer. The last component is a new StdGen
+  # object as a new random number generator. See also RandomGen.
+  def gen_next
+    s, t = [@left, @right].map {|x| random(x) }
+    z = ((s - t) % (@@max_bound - @@min_bound)) + @@min_bound
+
+    [z, StdGen.new(s, t)]
+  end
+
+  # split returns an array with length 2. The components are
+  # two new StdGen objects as two new random number generators.
+  def split
+    g = gen_next[1]
+    s, t = g.left, g.right
+
+    [StdGen.new(s + 1, t), StdGen.new(s, t + 1)]
+  end
+
+  # gen_range returns an array with length 2 which represents
+  # a bound of generated random numbers.
+  def gen_range
+    [@@min_bound, @@max_bound]
+  end
+
+  def to_s
+    @left.to_s + ' ' + @right.to_s
+  end
+
+  private
+  def random(s=nil)
+    if s.nil? then srand else srand s end
+    rand(@@max_bound - @@min_bound) + @@min_bound
+  end
+
+  def in_range(n)
+    (n % (@@max_bound - @@min_bound)) + @@min_bound
+  end
+
+end
+
+
+require 'singleton'
+
+# TheStdGen is a singleton class to get the unique random number
+# generator using StdGen. TheStdGen includes ruby's Singleton module.
+class TheStdGen 
+
+  include RandomGen  
+  include Singleton
+
+  def initialize
+    @gen = StdGen.new
+  end
+
+  def gen_next
+    @gen, result = @gen.split
+    
+    result.gen_next
+  end
+
+  def split
+    result = @gen.split
+    @gen = @gen.gen_next[1]
+
+    result
+  end
+
+  def gen_range
+    @gen.gen_range
+  end
+
+end
+
+
+# HsRandom module provides several random number function with the
+# functional random generator. This module is implemented Haskell\'s
+# System.Random library. This module assumes that the class which
+# includes HsRandom should have an instance method random_range to
+# generate a random number and a new random number generator.
+# It assumes also that the class which includes HsRandom should have
+# a class method bound to give a bound of random numbers.
+module HsRandom
+
+  # random requires the functional random number generater (StdGen
+  # object) and optionally requires the bound of random numbers.
+  # It returns an array with length 2, where the first component
+  # should be a new random number, and the last should be a new random
+  # number generator.
+  def random(gen, lo=nil, hi=nil)
+    lo = bound[0] if lo.nil?
+    hi = bound[1] if hi.nil?
+    random_range(gen, hi, lo) if lo > hi
+
+    random_range(gen, lo, hi)
+  end
+
+  # random_array requires the functional random number generater
+  # (StdGen object). Optionally, it requires the length of results and
+  # the bound of random numbers. This method returns different result
+  # whether the second argument length is nil or not. When the second
+  # argument is nil, then random_array returns a Proc which takes one
+  # variable as an integer and return a new random value, such as an
+  # infinite sequence of random numbers. Otherwise, the second
+  # argument of random_array is not nil but some integer, then
+  # random_array returns an array of random numbers with the length.
+  def random_array(gen, len=nil, lo=nil, hi=nil)
+    g = gen
+    if len.nil?
+    then
+      Proc.new do |i|
+        (i+1).times do
+          v, g = random(g, lo, hi)
+        end
+        v
+      end
+    else
+      (1..len).map do
+        v, g = random(g, lo, hi)
+        v
+      end
+    end
+  end
+
+  # random_std requires optionally the bound of random numbers.
+  # It returns an array with length 2, where the first component
+  # should be a new random number, and the last should be a new random
+  # number generator. This method uses the unique standard random
+  # generator TheStdGen.
+  def random_std(lo=nil, hi=nil)
+    random(TheStdGen.instance, lo, hi)
+  end
+
+  def random_range(gen, lo=nil, hi=nil)
+    raise(NotImplementedError, "This method should be overrided.")
+  end
+  private :random_range
+
+end

data/lib/rushcheck/result.rb

@@ -0,0 +1,26 @@
+# = result.rb
+# This file defines results of testcase
+# class Result is used for RushCheck internally
+
+require 'rushcheck/property'
+require 'rushcheck/testable'
+
+class Result
+
+  include Testable
+
+  def self.nothing
+    Result.new(false)
+  end
+
+  attr_reader :ok, :stamp, :arguments
+  def initialize(ok=nil, stamp=[], arguments=[])
+    @ok, @stamp, @arguments = ok, stamp, arguments
+  end
+
+  def result
+    Property.new(@ok, @stamp, @arguments)
+  end
+  alias property :result
+
+end

data/lib/rushcheck/rushcheck.rb

@@ -0,0 +1,17 @@
+# = rushcheck.rb
+# this is just a prelude include file
+# this provides all of feature of RushCheck for random testing.
+
+require 'rushcheck/arbitrary'
+require 'rushcheck/assertion'
+require 'rushcheck/gen'
+require 'rushcheck/random'
+require 'rushcheck/testable'
+
+require 'rushcheck/array'
+require 'rushcheck/bool'
+require 'rushcheck/hash'
+require 'rushcheck/integer'
+require 'rushcheck/float'
+require 'rushcheck/proc'
+require 'rushcheck/string'

data/lib/rushcheck/string.rb

@@ -0,0 +1,100 @@
+# = string.rb
+# an extension to String class for RushCheck
+# this file provides two classes String and SpecialString
+
+require 'rushcheck/arbitrary'
+require 'rushcheck/gen'
+require 'rushcheck/integer'
+require 'rushcheck/random'
+
+class String
+
+  extend Arbitrary
+  extend HsRandom
+
+  include Coarbitrary
+
+  @@min_range = 0
+  @@max_range = 1024
+
+  def self.arbitrary
+    Gen.sized do |n|
+      Gen.choose(0, n).bind do |len|
+        Gen.vector(Integer, len).bind do |xs|
+          Gen.unit(xs.map{|x| (x % 128).chr}.join)
+        end
+      end
+    end
+  end
+
+  def self.bound
+    [@@min_range, @@max_range]
+  end
+
+  def self.random_range(gen, lo=@@min_range, hi=@@max_range)
+    len, g = Integer.random(gen, lo, hi)
+    result = ''
+    len.times do
+      v, g = Integer.random(g, 0, 127)
+      result += v.chr
+    end
+    
+    [result. g]
+  end
+
+  def coarbitrary(g)
+    r = g.variant(0)
+    each_byte do |c|
+      r = c.coarbitrary(r.variant(1))
+    end
+    r
+  end
+
+end
+
+# class SpecialString is a subclass of String.
+# SpecialString provides another generator which prefers 
+# control codes and special unprinted codes than usual alphabets or numbers.
+# This class maybe useful to find a counter example efficiently than
+# using the standard generator of String.
+class SpecialString < String
+
+  # ASCII code (see man ascii)
+  @@alphabet = (65..90).to_a + (97..122).to_a
+  @@control  = (0..32).to_a + [177]
+  @@number   = (48..57).to_a
+  @@special  = 
+    [[33,47],[58,64],[91,96],[123,126]].inject([]) do |ary, pair|
+      lo, hi = pair
+      ary = ary + (lo..hi).to_a 
+    end
+
+  @@frequency = { 'alphabet' => 3,
+                  'control'  => 10,
+                  'number'   => 2,
+                  'special'  => 5 }
+
+  def self.arbitrary
+    f = @@frequency
+    frq = []
+    [f['alphabet'],f['control'],f['number'],f['special']].zip(
+    [ @@alphabet,   @@control,   @@number,   @@special]) do 
+      |weight, table|
+        gen = Gen.oneof(table.map {|n| Gen.unit(n.chr)})
+        frq << [weight, gen]
+    end
+
+    Gen.sized do |m|
+      Gen.choose(0, m).bind do |len|
+        Gen.new do |n, r|
+          r2 = r
+          (1..len).map do
+            r1, r2 = r2.split
+            Gen.frequency(frq).value(n, r1)
+          end.join
+        end
+      end
+    end
+  end
+
+end

data/lib/rushcheck/testable.rb

@@ -0,0 +1,41 @@
+# = testable.rb
+# this provides an abstract interface of Testable
+# See also QuickCheck in Haskell
+
+require 'rushcheck/config'
+
+module Testable 
+
+  def property
+    raise(NotImplementedError, "This method should be overrided.")    
+  end
+
+  def check(config=RushCheckConfig.quick)
+    config.tests(property.gen, TheStdGen.instance)
+  end
+  alias quick_check :check
+  alias quickcheck  :check
+
+  def classify(name)
+    yield ? label(name) : property
+  end
+
+  def imply
+    yield ? property : Result.nothing.result
+  end
+
+  def label(s)
+    Property.new(property.gen.fmap {|res| res.stamp << s.to_s; res })
+  end
+  alias collect :label
+
+  def test
+    check(RushCheckConfig.verbose)
+  end
+  alias verbose_check :test
+
+  def trivial
+    classify('trivial') { yield }
+  end
+
+end

metadata

@@ -0,0 +1,238 @@
+--- !ruby/object:Gem::Specification 
+rubygems_version: 0.9.0
+specification_version: 1
+name: rushcheck
+version: !ruby/object:Gem::Version 
+  version: "0.2"
+date: 2006-08-09 00:00:00.000000 +09:00
+summary: A lightweight random testing tool
+require_paths: 
+  - lib
+email: ikegami@madscientist.jp
+homepage: http://rushcheck.rubyforge.org
+rubyforge_project: 
+description: RushCheck is a random testing tool which is one of implementations of QuichCheck in Haskell.
+autorequire: rushcheck
+default_executable: 
+bindir: bin
+has_rdoc: true
+required_ruby_version: !ruby/object:Gem::Version::Requirement 
+  requirements: 
+    - 
+      - ">"
+      - !ruby/object:Gem::Version 
+        version: 0.0.0
+  version: 
+platform: ruby
+signing_key: 
+cert_chain: 
+post_install_message: 
+authors: 
+  - Daisuke IKEGAMI
+files: 
+  - lib/rushcheck
+  - lib/rushcheck/arbitrary.rb
+  - lib/rushcheck/array.rb
+  - lib/rushcheck/assertion.rb
+  - lib/rushcheck/bool.rb
+  - lib/rushcheck/config.rb
+  - lib/rushcheck/float.rb
+  - lib/rushcheck/gen.rb
+  - lib/rushcheck/guard.rb
+  - lib/rushcheck/hash.rb
+  - lib/rushcheck/integer.rb
+  - lib/rushcheck/proc.rb
+  - lib/rushcheck/property.rb
+  - lib/rushcheck/random.rb
+  - lib/rushcheck/result.rb
+  - lib/rushcheck/rushcheck.rb
+  - lib/rushcheck/string.rb
+  - lib/rushcheck/testable.rb
+  - data/rushcheck
+  - data/rushcheck/doc
+  - data/rushcheck/examples
+  - data/rushcheck/rdoc
+  - data/rushcheck/doc/policy.txt
+  - data/rushcheck/doc/rushcheck.txt
+  - data/rushcheck/examples/printf.rb
+  - data/rushcheck/examples/proc.rb
+  - data/rushcheck/examples/roguetile.rb
+  - data/rushcheck/examples/sample.rb
+  - data/rushcheck/rdoc/classes
+  - data/rushcheck/rdoc/created.rid
+  - data/rushcheck/rdoc/files
+  - data/rushcheck/rdoc/fr_class_index.html
+  - data/rushcheck/rdoc/fr_file_index.html
+  - data/rushcheck/rdoc/fr_method_index.html
+  - data/rushcheck/rdoc/index.html
+  - data/rushcheck/rdoc/rdoc-style.css
+  - data/rushcheck/rdoc/classes/Arbitrary.html
+  - data/rushcheck/rdoc/classes/Arbitrary.src
+  - data/rushcheck/rdoc/classes/Assertion.html
+  - data/rushcheck/rdoc/classes/Assertion.src
+  - data/rushcheck/rdoc/classes/Coarbitrary.html
+  - data/rushcheck/rdoc/classes/Coarbitrary.src
+  - data/rushcheck/rdoc/classes/FalseClass.html
+  - data/rushcheck/rdoc/classes/FalseClass.src
+  - data/rushcheck/rdoc/classes/Float.html
+  - data/rushcheck/rdoc/classes/Float.src
+  - data/rushcheck/rdoc/classes/Gen.html
+  - data/rushcheck/rdoc/classes/Gen.src
+  - data/rushcheck/rdoc/classes/Guard.html
+  - data/rushcheck/rdoc/classes/Guard.src
+  - data/rushcheck/rdoc/classes/HsRandom.html
+  - data/rushcheck/rdoc/classes/HsRandom.src
+  - data/rushcheck/rdoc/classes/Integer.html
+  - data/rushcheck/rdoc/classes/Integer.src
+  - data/rushcheck/rdoc/classes/NilClass.html
+  - data/rushcheck/rdoc/classes/NilClass.src
+  - data/rushcheck/rdoc/classes/Property.html
+  - data/rushcheck/rdoc/classes/Property.src
+  - data/rushcheck/rdoc/classes/RandomArray.html
+  - data/rushcheck/rdoc/classes/RandomArray.src
+  - data/rushcheck/rdoc/classes/RandomBool.html
+  - data/rushcheck/rdoc/classes/RandomBool.src
+  - data/rushcheck/rdoc/classes/RandomGen.html
+  - data/rushcheck/rdoc/classes/RandomGen.src
+  - data/rushcheck/rdoc/classes/RandomHash.html
+  - data/rushcheck/rdoc/classes/RandomHash.src
+  - data/rushcheck/rdoc/classes/RandomProc.html
+  - data/rushcheck/rdoc/classes/RandomProc.src
+  - data/rushcheck/rdoc/classes/Result.html
+  - data/rushcheck/rdoc/classes/Result.src
+  - data/rushcheck/rdoc/classes/RushCheckConfig.html
+  - data/rushcheck/rdoc/classes/RushCheckConfig.src
+  - data/rushcheck/rdoc/classes/RushCheckGuard.html
+  - data/rushcheck/rdoc/classes/SpecialString.html
+  - data/rushcheck/rdoc/classes/SpecialString.src
+  - data/rushcheck/rdoc/classes/StdGen.html
+  - data/rushcheck/rdoc/classes/StdGen.src
+  - data/rushcheck/rdoc/classes/String.html
+  - data/rushcheck/rdoc/classes/String.src
+  - data/rushcheck/rdoc/classes/Testable.html
+  - data/rushcheck/rdoc/classes/Testable.src
+  - data/rushcheck/rdoc/classes/TheStdGen.html
+  - data/rushcheck/rdoc/classes/TheStdGen.src
+  - data/rushcheck/rdoc/classes/TrueClass.html
+  - data/rushcheck/rdoc/classes/TrueClass.src
+  - data/rushcheck/rdoc/classes/Arbitrary.src/M000075.html
+  - data/rushcheck/rdoc/classes/Assertion.src/M000015.html
+  - data/rushcheck/rdoc/classes/Assertion.src/M000016.html
+  - data/rushcheck/rdoc/classes/Coarbitrary.src/M000095.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/Float.src/M000047.html
+  - data/rushcheck/rdoc/classes/Float.src/M000048.html
+  - data/rushcheck/rdoc/classes/Float.src/M000049.html
+  - data/rushcheck/rdoc/classes/Float.src/M000050.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000026.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000027.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000028.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000029.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000030.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000031.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000032.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000033.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000034.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000035.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000036.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000037.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000038.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000039.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000040.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000041.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000042.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000043.html
+  - data/rushcheck/rdoc/classes/Guard.src/M000024.html
+  - data/rushcheck/rdoc/classes/Guard.src/M000025.html
+  - data/rushcheck/rdoc/classes/HsRandom.src/M000081.html
+  - data/rushcheck/rdoc/classes/HsRandom.src/M000082.html
+  - data/rushcheck/rdoc/classes/HsRandom.src/M000083.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
+  - data/rushcheck/rdoc/classes/Integer.src/M000009.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
+  - data/rushcheck/rdoc/classes/Property.src/M000070.html
+  - data/rushcheck/rdoc/classes/Property.src/M000071.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
+  - data/rushcheck/rdoc/classes/RandomBool.src/M000079.html
+  - data/rushcheck/rdoc/classes/RandomBool.src/M000080.html
+  - data/rushcheck/rdoc/classes/RandomGen.src/M000076.html
+  - data/rushcheck/rdoc/classes/RandomGen.src/M000077.html
+  - data/rushcheck/rdoc/classes/RandomGen.src/M000078.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
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000055.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000056.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000057.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000058.html
+  - data/rushcheck/rdoc/classes/Result.src/M000051.html
+  - data/rushcheck/rdoc/classes/Result.src/M000052.html
+  - data/rushcheck/rdoc/classes/Result.src/M000053.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
+  - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html
+  - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html
+  - data/rushcheck/rdoc/classes/SpecialString.src/M000017.html
+  - data/rushcheck/rdoc/classes/StdGen.src/M000010.html
+  - data/rushcheck/rdoc/classes/StdGen.src/M000011.html
+  - data/rushcheck/rdoc/classes/StdGen.src/M000012.html
+  - data/rushcheck/rdoc/classes/StdGen.src/M000013.html
+  - data/rushcheck/rdoc/classes/StdGen.src/M000014.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
+  - data/rushcheck/rdoc/classes/String.src/M000069.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000084.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000085.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000088.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000089.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000090.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000092.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000094.html
+  - data/rushcheck/rdoc/classes/TheStdGen.src/M000062.html
+  - data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html
+  - data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html
+  - data/rushcheck/rdoc/classes/TheStdGen.src/M000065.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
+  - data/rushcheck/rdoc/files/rushcheck
+  - data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html
+  - 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/config_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/float_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/gen_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/guard_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/hash_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/integer_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/proc_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/property_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/random_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/result_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/string_rb.html
+  - data/rushcheck/rdoc/files/rushcheck/testable_rb.html
+  - COPYING
+  - INSTALL
+  - LICENSE
+  - Rakefile
+  - README
+  - copying.txt
+test_files: []
+rdoc_options: []
+extra_rdoc_files: []
+executables: []
+extensions: []
+requirements: []
+dependencies: []