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
|
-- Copyright (C) 2010-2012 John Millikin <john@john-millikin.com>
--
-- Licensed under the Apache License, Version 2.0 (the "License");
-- you may not use this file except in compliance with the License.
-- You may obtain a copy of the License at
--
-- http://www.apache.org/licenses/LICENSE-2.0
--
-- Unless required by applicable law or agreed to in writing, software
-- distributed under the License is distributed on an "AS IS" BASIS,
-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-- See the License for the specific language governing permissions and
-- limitations under the License.
module DBusTests.ObjectPath (test_ObjectPath) where
import Data.List (intercalate)
import Test.QuickCheck
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.QuickCheck
import DBus
test_ObjectPath :: TestTree
test_ObjectPath = testGroup "ObjectPath"
[ test_Parse
, test_ParseInvalid
]
test_Parse :: TestTree
test_Parse = testProperty "parse" prop where
prop = forAll gen_ObjectPath check
check x = case parseObjectPath x of
Nothing -> False
Just parsed -> formatObjectPath parsed == x
test_ParseInvalid :: TestTree
test_ParseInvalid = testCase "parse-invalid" $ do
-- empty
Nothing @=? parseObjectPath ""
-- bad char
Nothing @=? parseObjectPath "/f!oo"
-- ends with a slash
Nothing @=? parseObjectPath "/foo/"
-- empty element
Nothing @=? parseObjectPath "/foo//bar"
-- trailing chars
Nothing @=? parseObjectPath "/foo!"
gen_ObjectPath :: Gen String
gen_ObjectPath = gen where
chars = ['a'..'z'] ++ ['A'..'Z'] ++ ['0'..'9'] ++ "_"
gen = do
xs <- listOf (listOf1 (elements chars))
return ("/" ++ intercalate "/" xs)
instance Arbitrary ObjectPath where
arbitrary = fmap objectPath_ gen_ObjectPath
|
