{-
Copyright 2007 Dino Morelli
This file is part of storylen
storylen is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
storylen is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with storylen; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
02110-1301 USA
-}
module TestDescEpic
( testDescEpic
)
where
import StoryLen.Describe ( describeStory )
import Test.QuickCheck
expectedOutput :: String
goodMin, maxAll :: Int
goodEdges, badEdges :: [Int]
goodRange, badRangeLow :: (Int, Int)
-- These things are specific to this set of tests
expectedOutput = "epic"
goodMin = 200000
-- end of specific values, everything else is const or calculated
maxAll = 250000
goodEdges = [goodMin]
goodRange = (goodMin + 1, maxAll)
badEdges = [goodMin - 1]
badRangeLow = (0, goodMin - 2)
outside :: Eq a => [a] -> a -> Bool
outside xs = not . flip elem xs
newtype GoodValue = GoodValue { fromGood :: Int }
deriving Show
instance Arbitrary GoodValue where
arbitrary = do
value <- frequency
[ (16, elements goodEdges)
, (84, choose goodRange)
]
return $ GoodValue value
coarbitrary = undefined
newtype BadValue = BadValue { fromBad :: Int }
deriving Show
instance Arbitrary BadValue where
arbitrary = do
value <- frequency
[ (16, elements badEdges)
, (84, choose badRangeLow)
]
return $ BadValue value
coarbitrary = undefined
prop_DescEpicPos wc =
outside goodEdges intWc `trivial`
(describeStory intWc == expectedOutput)
where intWc = fromGood wc
prop_DescEpicNeg wc =
outside badEdges intWc `trivial`
(describeStory intWc /= expectedOutput)
where intWc = fromBad wc
testDescEpic :: IO ()
testDescEpic = do
putStr "TestDescEpic (positive): "
quickCheck prop_DescEpicPos
putStr "TestDescEpic (negative): "
quickCheck prop_DescEpicNeg