code.delx.au - offlineimap/blob - testsrc/runtests.hs

   1 {-
   2 Copyright (C) 2002-2008 John Goerzen <jgoerzen@complete.org>
   3
   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.
   8
   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.
  13
  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
  17 -}
  18
  19 module Main where
  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
  25 import Data.List
  26 import System.IO(stderr)
  27
  28 import Data.Syncable
  29 import TestInfrastructure
  30
  31 prop_empty :: Bool
  32 prop_empty =
  33     syncThem (emptymap::Map.Map Int ()) emptymap emptymap == ([], []) -- ([DeleteItem 5], [], [])
  34
  35 prop_delAllFromChild :: SyncCollection Int -> Result
  36 prop_delAllFromChild inp =
  37     let (resMaster, resChild) = syncThem emptymap inp inp
  38         expectedResChild = sort . map DeleteItem . Map.keys $ inp
  39         in ([], expectedResChild) @=?
  40            (resMaster, sort resChild)
  41
  42 prop_delAllFromMaster :: SyncCollection Int -> Result
  43 prop_delAllFromMaster inp =
  44     let (resMaster, resChild) = syncThem inp emptymap inp
  45         expectedResMaster = sort . map DeleteItem . Map.keys $ inp
  46         in (expectedResMaster, []) @=?
  47            (sort resMaster, resChild)
  48
  49 prop_addFromMaster :: SyncCollection Int -> Result
  50 prop_addFromMaster inp =
  51     let (resMaster, resChild) = syncThem inp emptymap emptymap
  52         expectedResChild = sort . map CopyItem . Map.keys $ inp
  53         in ([], expectedResChild) @=?
  54            (resMaster, sort resChild)
  55
  56 allt = [qctest "Empty" prop_empty,
  57         qctest "Del all from child" prop_delAllFromChild,
  58         qctest "Del all from master" prop_delAllFromMaster,
  59         qctest "Add from master" prop_addFromMaster
  60        ]
  61
  62 testh = HU.runTestTT $ HU.TestList allt
  63 testv = runVerbTestText (HU.putTextToHandle stderr True) $ HU.TestList allt
  64
  65
  66 main =
  67     do testv
  68        return ()
  69