rushcheck 0.3 → 0.4

data/Rakefile

@@ -6,7 +6,7 @@ require 'rubygems'
 require 'rake'
 require 'rake/gempackagetask'
 
-RUSHCHECK_VERSION = '0.3'
+RUSHCHECK_VERSION = '0.4'
 
 spec = Gem::Specification.new do |s|
   s.name      = 'rushcheck'

data/data/rushcheck/doc/policy.txt

@@ -518,3 +518,110 @@ QuickCheck.
   Ruby
   class Result
   attr_reader :ok, :stamp, :arguments
+
+3. Test.QuickCheck.Batch
+
+  -- | Run the test.
+  run      :: Testable a => a -> TestOptions -> IO TestResult
+  -- | Prints a one line summary of various tests with common theme
+  runTests :: String -> TestOptions -> [TestOptions -> IO TestResult] -> IO ()
+  defOpt   :: TestOptions
+  data TestOptions = TestOptions {
+    no_of_tests     :: Int,	-- ^ number of tests to run.
+    length_of_tests :: Int,	-- ^ time limit for test, in seconds.
+    debug_tests     :: Bool }
+  data TestResult = TestOk 	String  Int [[String]]
+	| TestExausted 	String  Int [[String]]
+	| TestFailed   [String] Int
+	| TestAborted   Exception
+  isBottom		-- :: a -> Bool
+  bottom		-- :: a 		{- _|_ -}
+
+  private functions
+  tests :: Config -> Gen Result -> StdGen -> Int -> Int -> [[String]]
+           -> IO TestResult
+
+3.1 porting policy for QuickCheck.Batch in Haskell to Ruby
+
+  = testoptions.rb
+  defOpt   :: TestOptions
+  data TestOptions = TestOptions {
+    no_of_tests     :: Int,	-- ^ number of tests to run.
+    length_of_tests :: Int,	-- ^ time limit for test, in seconds.
+    debug_tests     :: Bool }
+
+  data TestResult = 
+     | TestOk       String  Int [[String]] -- message ntest stamps
+     | TestExausted String  Int [[String]] -- message ntest stamps
+     | TestFailed   [String] Int           -- results ntest
+     | TestAborted  Exception              -- exception
+
+  TestOk       ---> class TestOk
+  TestExausted ---> class TestExausted
+  TestFailed   ---> class TestFailed
+  TestAborted  ---> raise
+
+  = testable.rb
+  run      :: Testable a => a -> TestOptions -> IO TestResult
+  runTests :: String -> TestOptions -> [TestOptions -> IO TestResult] -> IO ()
+
+  isBottom and bottom have not been implemented in Ruby yet
+
+  = config.rb
+  tests :: Config -> Gen Result -> StdGen -> Int -> Int -> [[String]]
+           -> IO TestResult
+
+3.1.1 testresult.rb
+
+  Haskell
+  data TestResult = 
+     | TestOk       String  Int [[String]] -- message ntest stamps
+     | TestExausted String  Int [[String]] -- message ntest stamps
+     | TestFailed   [String] Int           -- results ntest
+     | TestAborted  Exception              -- exception
+  -->
+  Ruby
+  class TestResult
+    attr_accessor :message, :ntest, :stamps
+  end
+  class TestOk       < TestResult; end;
+  class TestExausted < TestResult; end;
+  class TestFailed;  end;
+  exception is raised in runtime
+
+3.1.2 testoptions.rb
+
+  Haskell
+  defOpt   :: TestOptions
+  data TestOptions = TestOptions {
+    no_of_tests     :: Int,	-- ^ number of tests to run.
+    length_of_tests :: Int,	-- ^ time limit for test, in seconds.
+    debug_tests     :: Bool }
+  --->
+  Ruby
+  class TestOptions
+  TestOptions#initialize(ntests, len, debug=nil)
+
+  defOpt can be implemented as the default varues of initialize
+
+3.1.3 testable.rb
+
+  Haskell
+  run      :: Testable a => a -> TestOptions -> IO TestResult
+  runTests :: String -> TestOptions -> [TestOptions -> IO TestResult] -> IO ()
+  --->
+  Ruby
+  Testable#run :: [[TestOptions], Result]
+  Testable#run_tests(mes, opts, tests) 
+    :: [[String, TestOptions. [Proc]], [Bool]]
+   should return results
+
+3.1.4 config.rb
+
+  Haskell
+  tests :: Config -> Gen Result -> StdGen -> Int -> Int -> [[String]]
+           -> IO TestResult
+  --->
+  Ruby
+  RushCheckConfig#batch(n, v)
+  RushCheckConfig#test_batch