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
18 module TestParserPrim where
20 import qualified Test.HUnit as HU
21 import Test.HUnit.Utils
23 import Test.QuickCheck
24 import TestInfrastructure
26 import Network.IMAP.Parser.Prim
27 import Network.IMAP.Types
29 import TestInfrastructure
30 import Text.ParserCombinators.Parsec
31 import Text.ParserCombinators.Parsec.Error
33 {- | Test a parser, forcing it to apply to all input. -}
35 case parse parseTest "(none)" input of
38 where parseTest = do r <- parser
42 prop_quoted :: String -> Result
44 p quoted (gen_quoted s) @?= Just s
46 gen_quoted :: String -> String
47 gen_quoted s = '"' : concatMap quoteChar s ++ "\""
48 where quoteChar '\\' = "\\\\"
49 quoteChar '"' = "\\\""
52 prop_literal :: String -> Result
54 p literal (gen_literal s) @?= Just s
56 gen_literal :: String -> String
58 "{" ++ show (length s) ++ "}\r\n" ++ s
60 prop_string3501 :: String -> Bool -> Result
61 prop_string3501 s True = p string3501 (gen_quoted s) @?= Just s
62 prop_string3501 s False = p string3501 (gen_literal s) @?= Just s
64 prop_atom :: String -> Result
66 p atom s @?= if isvalid
69 where isvalid = not (null s) && all (`notElem` atomSpecials) s
71 allt = [q "quoted" prop_quoted,
72 q "literal" prop_literal,
73 q "string3501" prop_string3501,