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
|
-- 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.MemberName (test_MemberName) where
import Data.Maybe
import Test.QuickCheck
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.QuickCheck
import DBus
import DBusTests.Util
test_MemberName :: TestTree
test_MemberName = testGroup "MemberName"
[ test_Parse
, test_ParseInvalid
, test_IsVariant
]
test_Parse :: TestTree
test_Parse = testProperty "parse" prop where
prop = forAll gen_MemberName check
check x = case parseMemberName x of
Nothing -> False
Just parsed -> formatMemberName parsed == x
test_ParseInvalid :: TestTree
test_ParseInvalid = testCase "parse-invalid" $ do
-- empty
Nothing @=? parseMemberName ""
-- starts with a digit
Nothing @=? parseMemberName "@foo"
-- trailing chars
Nothing @=? parseMemberName "foo!"
-- at most 255 characters
assertBool "valid parse failed"
$ isJust (parseMemberName (replicate 254 'y'))
assertBool "valid parse failed"
$ isJust (parseMemberName (replicate 255 'y'))
Nothing @=? parseMemberName (replicate 256 'y')
test_IsVariant :: TestTree
test_IsVariant = testCase "IsVariant" $
assertVariant TypeString (memberName_ "foo")
gen_MemberName :: Gen String
gen_MemberName = gen where
alpha = ['a'..'z'] ++ ['A'..'Z'] ++ "_"
alphanum = alpha ++ ['0'..'9']
gen = do
x <- elements alpha
xs <- listOf (elements alphanum)
return (x:xs)
instance Arbitrary MemberName where
arbitrary = fmap memberName_ gen_MemberName
|
