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
|
-- File created: 2008-10-11 11:18:31
module Tests.Optimizer (tests) where
import Test.Framework
import Test.Framework.Providers.QuickCheck2
import Test.QuickCheck (Property, (==>))
import System.FilePath.Glob.Base
(Token(..), optimize, liftP, tokenize, unPattern)
import System.FilePath.Glob.Match
import Tests.Base
tests :: Test
tests = testGroup "Optimizer"
[ testProperty "optimize-1" prop_optimize1
, testProperty "optimize-2" prop_optimize2
, testProperty "optimize-3" prop_optimize3
]
-- Optimizing twice should give the same result as optimizing once
prop_optimize1 :: COpts -> PString -> Property
prop_optimize1 o s =
let pat = tokenize (unCOpts o) (unPS s)
xs = iterate optimize (fromRight pat)
in isRight pat ==> xs !! 1 == xs !! 2
-- Optimizing shouldn't affect whether a match succeeds
--
-- ...except for some things that are explicitly not handled in matching:
-- * ExtSeparator removal
-- * AnyNonPathSeparator flattening
prop_optimize2 :: COpts -> PString -> Path -> Property
prop_optimize2 o p s =
let x = tokenize (unCOpts o) (unPS p)
pat = fromRight x
pth = unP s
in isRight x ==> match (liftP miniOptimize pat) pth
== match (optimize pat) pth
where
miniOptimize = go
go (ExtSeparator : xs) = Literal '.' : go xs
go (AnyNonPathSeparator : xs@(AnyNonPathSeparator : _)) = go xs
go (x:xs) = x : go xs
go [] = []
-- Optimizing should remove all ExtSeparators
prop_optimize3 :: COpts -> PString -> Property
prop_optimize3 o p =
let x = tokenize (unCOpts o) (unPS p)
pat = fromRight x
in isRight x && ExtSeparator `elem` unPattern pat
==> ExtSeparator `notElem` unPattern (optimize pat)
|
