blob: ac770905c28916650e0370fda1d15dc7ea781055 (
plain)
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
|
{-# LANGUAGE RecordWildCards #-}
{-# OPTIONS -fno-warn-orphans #-}
module Network.BitTorrent.Tracker.MessageSpec
( spec
, validateInfo
, arbitrarySample
) where
import Control.Applicative
import Data.List as L
import Data.Maybe
import Data.Word
import Network
import Test.Hspec
import Test.QuickCheck
import Data.Torrent.InfoHashSpec ()
import Data.Torrent.ProgressSpec ()
import Network.BitTorrent.Core.PeerIdSpec ()
import Network.BitTorrent.Tracker.Message as Message
import Network.BitTorrent.Core.PeerAddr
--prop_bencode :: Eq a => BEncode a => a -> Bool
--prop_bencode a = BE.decode (BL.toStrict (BE.encode a)) == return a
--prop_urlencode :: Eq a => URLDecoded a => URLEncoded a => a -> Bool
--prop_urlencode a = urlDecode (T.pack (urlEncode a)) == a
instance Arbitrary Event where
arbitrary = elements [minBound..maxBound]
instance Arbitrary PortNumber where
arbitrary = fromIntegral <$> (arbitrary :: Gen Word16)
instance Arbitrary AnnounceQuery where
arbitrary = AnnounceQuery
<$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary
<*> arbitrary <*> arbitrary <*> arbitrary
validateInfo :: AnnounceQuery -> AnnounceInfo -> Expectation
validateInfo _ Message.Failure {..} = error "validateInfo: failure"
validateInfo AnnounceQuery {..} AnnounceInfo {..} = do
respComplete `shouldSatisfy` isJust
respIncomplete `shouldSatisfy` isJust
respMinInterval `shouldSatisfy` isNothing
respWarning `shouldSatisfy` isNothing
peerList `shouldSatisfy` L.all (isNothing . peerId)
fromJust respComplete + fromJust respIncomplete `shouldBe` L.length peerList
where
peerList = getPeerList respPeers
arbitrarySample :: Arbitrary a => IO a
arbitrarySample = L.head <$> sample' arbitrary
spec :: Spec
spec = do
describe "Announce" $ do
it "properly url encoded" $ property $ \ q ->
parseAnnounceQuery (renderAnnounceQuery q)
`shouldBe` Right q
describe "Scrape" $ do
return ()
|
