blob: 9c8ca8ce390871f949ad6824cf7000cf386fad97 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
{-# LANGUAGE ScopedTypeVariables #-}
-------------------------------------
--
-- Tests for XPrompt and ShellPrompt
--
-------------------------------------
module XPrompt where
import Data.Char
import Test.QuickCheck
import Data.List
import XMonad.Prompt
import qualified XMonad.Prompt.Shell as S
import Properties
{-
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 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 and newCommand have since been renamed or are no longer used
-- 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 spliInSubListsAt"
deepCheck prop_spliInSubListsAt
putStrLn "Testing skip + get lastWord"
deepCheck prop_skipGetLastWord
|
