From ecba69065b77c4df302c704af2b92c858496fa37 Mon Sep 17 00:00:00 2001
From: Andrea Rossato <andrea.rossato@unibz.it>
Date: Fri, 17 Aug 2007 17:56:34 +0200
Subject: added a tests directory with quickcheck tests for XPrompt and
 ShellPrompt

darcs-hash:20070817155634-32816-85ed226b544cf1ca2946b1bc1ae1ea61f5301339.gz
---
 tests/test_XPrompt.hs | 81 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 81 insertions(+)
 create mode 100644 tests/test_XPrompt.hs

(limited to 'tests/test_XPrompt.hs')

diff --git a/tests/test_XPrompt.hs b/tests/test_XPrompt.hs
new file mode 100644
index 0000000..fa5207d
--- /dev/null
+++ b/tests/test_XPrompt.hs
@@ -0,0 +1,81 @@
+{-# OPTIONS -fglasgow-exts #-}
+-------------------------------------
+--
+-- Tests for XPrompt and ShellPrompt
+--
+-------------------------------------
+
+import Data.Char
+import Test.QuickCheck
+
+import Data.List
+
+import XMonadContrib.XPrompt
+import qualified XMonadContrib.ShellPrompt as S
+ 
+instance Arbitrary Char where
+    arbitrary     = choose ('\32', '\255')
+    coarbitrary c = variant (ord c `rem` 4)
+
+
+doubleCheck p = check (defaultConfig { configMaxTest = 1000}) p
+deepCheck p = check (defaultConfig { configMaxTest = 10000}) p
+deepestCheck p = check (defaultConfig { configMaxTest = 100000}) p
+
+-- brute force check for exceptions
+prop_split (str :: [Char]) =
+    forAll (elements str) $ \e -> S.split e str == S.split e str
+
+-- check for exceptions
+prop_rmPath (str :: [[Char]]) =
+    S.rmPath str == S.rmPath str
+
+-- check if the first element of the new list is indeed the first part
+-- of the string.
+prop_spliInSubListsAt (x :: Int) (str :: [Char]) =
+    x < length str ==> result == take x str
+    where result = case splitInSubListsAt x str of
+                     [] -> []
+                     x -> head x
+
+-- skipLastWord is complementary to getLastWord, unless the only space
+-- in the string is the final character, in which case skipLastWord
+-- and getLastWord will produce the same result.
+prop_skipGetLastWord (str :: [Char]) =
+    skipLastWord str ++ getLastWord str == str || skipLastWord str == getLastWord str
+
+-- newIndex and newCommand get only non empy lists
+elemGen :: Gen ([String],String)
+elemGen = do
+  a <- arbitrary :: Gen [[Char]]
+  let l = case filter (/= []) a of
+            [] -> ["a"]
+            x -> x
+  e <- elements l
+  return (l,e)
+
+-- newIndex calculates the index of the next completion in the
+-- completion list, so the index must be within the range of the
+-- copletions list
+prop_newIndex_range =
+    forAll elemGen $ \(l,c) -> newIndex c l >= 0 &&  newIndex c l < length l
+
+-- this is actually the definition of newCommand...
+-- just to check something.
+prop_newCommandIndex = 
+    forAll elemGen $ \(l,c) -> (skipLastWord c ++ (l !! (newIndex c l)))  == newCommand c l
+
+main = do
+  putStrLn "Testing ShellPrompt.split"
+  deepCheck prop_split
+  putStrLn "Testing ShellPrompt.rmPath"
+  doubleCheck prop_rmPath
+  putStrLn "Testing spliInSubListsAt"
+  deepCheck prop_spliInSubListsAt
+  putStrLn "Testing newIndex + newCommand"
+  deepCheck prop_newCommandIndex
+  putStrLn "Testing skip + get lastWord"
+  deepCheck prop_skipGetLastWord
+  putStrLn "Testing range of XPrompt.newIndex"
+  deepCheck prop_newIndex_range
+  
-- 
cgit v1.2.3