2 Copyright (C) 2002-2008 John Goerzen <jgoerzen@complete.org>
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2 of the License, or
7 (at your option) any later version.
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, write to the Free Software
16 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 import Test.QuickCheck
21 import Test.QuickCheck.Batch
22 import qualified Test.HUnit as HU
23 import Test.HUnit.Utils
24 import qualified Data.Map as Map
26 import System.IO(stderr)
29 import TestInfrastructure
33 syncThem emptymap emptymap emptymap == ([], [], []) -- ([DeleteItem 5], [], [])
35 prop_delAllFromChild :: SyncCollection Int -> Bool
36 prop_delAllFromChild inp =
37 let (resMaster, resChild, resState) = syncThem emptymap inp inp
38 expectedResChild = sort . map DeleteItem . Map.keys $ inp
40 (sort resChild == expectedResChild) &&
41 (sort resState == expectedResChild)
43 prop_addFromMaster :: SyncCollection Int -> Bool
44 prop_addFromMaster inp =
45 let (resMaster, resChild, resState) = syncThem inp emptymap emptymap
46 expectedResChild = sort . map CopyItem . Map.keys $ inp
47 in (resMaster == []) &&
48 (sort resChild == expectedResChild) &&
49 (sort resState == expectedResChild)
51 allt = [qctest "Empty" prop_empty,
52 qctest "Del all from child" prop_delAllFromChild]
54 testh = HU.runTestTT $ HU.TestList allt
55 testv = runVerbTestText (HU.putTextToHandle stderr True) $ HU.TestList allt