sandi 0.1 → 0.1.1
raw patch · 3 files changed
+38/−13 lines, 3 filesdep +test-framework-quickcheck2dep ~test-frameworkdep ~test-framework-hunit
Dependencies added: test-framework-quickcheck2
Dependency ranges changed: test-framework, test-framework-hunit
Files
- sandi.cabal +4/−3
- src/Codec/Binary/Yenc.hs +2/−2
- test-src/Main.hs +32/−8
sandi.cabal view
@@ -1,5 +1,5 @@ name: sandi-version: 0.1+version: 0.1.1 license: BSD3 license-file: LICENSE cabal-version: >= 1.8@@ -65,7 +65,8 @@ bytestring ==0.10.*, HUnit ==1.2.*, test-framework-th ==0.2.*,- test-framework ==0.6.*,- test-framework-hunit ==0.2.*+ test-framework ==0.8.*,+ test-framework-hunit ==0.3.*,+ test-framework-quickcheck2 ==0.3.* else buildable: False
src/Codec/Binary/Yenc.hs view
@@ -55,7 +55,7 @@ remBuf <- peek pRemBuf remLen <- peek pRemLen remBs <- BS.packCStringLen (castPtr remBuf, castEnum remLen)- outBs <- BSU.unsafePackCStringFinalizer newOutBuf (castEnum outLen) (free outBuf)+ outBs <- BSU.unsafePackCStringFinalizer newOutBuf (castEnum outLen) (free newOutBuf) return (outBs, remBs) -- | Decoding function.@@ -82,7 +82,7 @@ remBuf <- peek pRemBuf remLen <- peek pRemLen remBs <- BS.packCStringLen (castPtr remBuf, castEnum remLen)- outBs <- BSU.unsafePackCStringFinalizer newOutBuf (castEnum outLen) (free outBuf)+ outBs <- BSU.unsafePackCStringFinalizer newOutBuf (castEnum outLen) (free newOutBuf) if remLen == 0 then return $ Right outBs else return $ Left (outBs, remBs)
test-src/Main.hs view
@@ -8,6 +8,7 @@ import Test.Framework import Test.Framework.TH import Test.Framework.Providers.HUnit+import Test.Framework.Providers.QuickCheck2 import Test.HUnit import qualified Data.ByteString as BS import qualified Data.ByteString.Char8 as BSC@@ -23,6 +24,9 @@ import qualified Codec.Binary.Xx as Xx import qualified Codec.Binary.Yenc as Y +-- {{{1 utils+fromRight (Right a) = a+ -- {{{1 base16 case_b16_enc_foobar = do BSC.empty @=? B16.encode BSC.empty@@ -34,7 +38,7 @@ BSC.pack "666F6F626172" @=? B16.encode (BSC.pack "foobar") case_b16_dec_foobar = do- Right BS.empty @=? B16.decode BS.empty+ Right BS.empty @=? B16.decode BS.empty Right (BSC.pack "f") @=? B16.decode (BSC.pack "66") Right (BSC.pack "fo") @=? B16.decode (BSC.pack "666F") Right (BSC.pack "foo") @=? B16.decode (BSC.pack "666F6F")@@ -46,6 +50,8 @@ -- odd number of input bytes (Left (BSC.pack "fooba", BS.pack [55])) @=? (B16.decode $ BS.pack [54,54,54,70,54,70,54,50,54,49,55]) +prop_b16_encdec ws = (BS.pack ws) == (fromRight $ B16.decode $ B16.encode $ BS.pack ws)+ -- {{{1 base32 case_b32_enc_foobar = do BSC.empty @=? B32.encode BSC.empty@@ -73,6 +79,8 @@ -- too short Nothing @=? (B32.b32_decode_final $ BSC.pack "MZXW6Y=") +prop_b36_encdec ws = (BS.pack ws) == (fromRight $ B32.decode $ B32.encode $ BS.pack ws)+ -- {{{1 base32hex case_b32h_enc_foobar = do BSC.empty @=? B32H.encode BS.empty@@ -85,11 +93,11 @@ case_b32h_dec_foobar = do Right BS.empty @=? B32H.decode BS.empty- Right (BSC.pack "f") @=? B32H.decode (BSC.pack "CO======")- Right (BSC.pack "fo") @=? B32H.decode (BSC.pack "CPNG====")- Right (BSC.pack "foo") @=? B32H.decode (BSC.pack "CPNMU===")- Right (BSC.pack "foob") @=? B32H.decode (BSC.pack "CPNMUOG=")- Right (BSC.pack "fooba") @=? B32H.decode (BSC.pack "CPNMUOJ1")+ Right (BSC.pack "f") @=? B32H.decode (BSC.pack "CO======")+ Right (BSC.pack "fo") @=? B32H.decode (BSC.pack "CPNG====")+ Right (BSC.pack "foo") @=? B32H.decode (BSC.pack "CPNMU===")+ Right (BSC.pack "foob") @=? B32H.decode (BSC.pack "CPNMUOG=")+ Right (BSC.pack "fooba") @=? B32H.decode (BSC.pack "CPNMUOJ1") Right (BSC.pack "foobar") @=? B32H.decode (BSC.pack "CPNMUOJ1E8======") case_b32h_dec_failures = do@@ -100,6 +108,8 @@ -- too short Nothing @=? (B32H.b32h_decode_final $ BSC.pack "CPNMUO=") +prop_b32H_encdec ws = (BS.pack ws) == (fromRight $ B32H.decode $ B32H.encode $ BS.pack ws)+ -- {{{1 base64 case_b64_enc_foobar = do BSC.empty @=? B64.encode BSC.empty@@ -127,6 +137,8 @@ -- /++/ Right (BS.pack [255,239,191]) @=? B64.decode (BSC.pack "/++/") +prop_b64_encdec ws = (BS.pack ws) == (fromRight $ B64.decode $ B64.encode $ BS.pack ws)+ -- {{{1 base64url case_b64u_enc_foobar = do BSC.empty @=? B64U.encode BSC.empty@@ -154,6 +166,8 @@ -- _--_ Right (BS.pack [255,239,191]) @=? B64U.decode (BSC.pack "_--_") +prop_b64U_encdec ws = (BS.pack ws) == (fromRight $ B64U.decode $ B64U.encode $ BS.pack ws)+ -- {{{1 base85 case_b85_enc_foobar = do BS.empty @=? B85.encode BS.empty@@ -190,15 +204,19 @@ -- double special Right (BS.pack [32,32,32,32,0,0,0,0]) @=? B85.decode (BSC.pack "yz") +prop_b85_encdec ws = (BS.pack ws) == (fromRight $ B85.decode $ B85.encode $ BS.pack ws)+ -- {{{1 quoted printable case_qp_enc_foobar = do- BS.empty @=? QP.encode BS.empty+ BS.empty @=? QP.encode BS.empty BSC.pack "foobar" @=? QP.encode (BSC.pack "foobar") case_qp_dec_foobar = do- Right BS.empty @=? QP.decode BS.empty+ Right BS.empty @=? QP.decode BS.empty Right (BSC.pack "foobar") @=? QP.decode (BSC.pack "foobar") +prop_qp_encdec ws = (BS.pack ws) == (fromRight $ QP.decode $ QP.encode $ BS.pack ws)+ -- {{{1 uu case_uu_enc_foobar = do BS.empty @=? Uu.encode BS.empty@@ -218,6 +236,8 @@ Right (BSC.pack "fooba") @=? Uu.decode (BSC.pack "9F]O8F$") Right (BSC.pack "foobar") @=? Uu.decode (BSC.pack "9F]O8F%R") +prop_uu_encdec ws = (BS.pack ws) == (fromRight $ Uu.decode $ Uu.encode $ BS.pack ws)+ -- {{{1 xx case_xx_enc_foobar = do -- foobar@@ -239,6 +259,8 @@ Right (BSC.pack "fooba") @=? Xx.decode (BSC.pack "NaxjMa2") Right (BSC.pack "foobar") @=? Xx.decode (BSC.pack "NaxjMa3m") +prop_xx_encdec ws = (BS.pack ws) == (fromRight $ Xx.decode $ Xx.encode $ BS.pack ws)+ -- {{{1 yenc case_y_enc_foobar = do BS.empty @=? Y.encode BS.empty@@ -271,6 +293,8 @@ Right (BS.pack [224]) @=? Y.decode (BS.pack [61,74]) Right (BS.pack [227]) @=? Y.decode (BS.pack [61,77]) Right (BS.pack [19]) @=? Y.decode (BS.pack [61,125])++prop_y_encdec ws = (BS.pack ws) == (fromRight $ Y.decode $ Y.encode $ BS.pack ws) -- {{{1 tests & main tests = [$(testGroupGenerator)]