about summary refs log tree commit diff
path: root/users/grfn/xanthous/test/Xanthous/Data/EntityMap/GraphicsSpec.hs
blob: fd37548ce864420c544a2b599c345d63e5ee3492 (plain) (blame)
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
--------------------------------------------------------------------------------
module Xanthous.Data.EntityMap.GraphicsSpec (main, test) where
--------------------------------------------------------------------------------
import Test.Prelude
import Data.Aeson
--------------------------------------------------------------------------------
import Xanthous.Game.State
import Xanthous.Data
import Xanthous.Data.EntityMap
import Xanthous.Data.EntityMap.Graphics
import Xanthous.Entities.Environment (Wall(..))
--------------------------------------------------------------------------------

main :: IO ()
main = defaultMain test

test :: TestTree
test = testGroup "Xanthous.Data.EntityMap.Graphics"
  [ testGroup "visiblePositions"
    [ testProperty "one step in each cardinal direction is always visible"
      $ \pos (Cardinal dir) (Positive r) (wallPositions :: Set Position)->
          pos `notMember` wallPositions ==>
          let em = review _EntityMap . map (, Wall) . toList $ wallPositions
              em' = em & atPosition (move dir pos) %~ (Wall <|)
              poss = visiblePositions pos r em'
          in counterexample ("visiblePositions: " <> show poss)
             $ move dir pos `member` poss
    , testGroup "bugs"
      [ testCase "non-contiguous bug 1"
        $ let charPos = Position 20 20
              gormlakPos = Position 17 19
              em = insertAt gormlakPos TestEntity
                   . insertAt charPos TestEntity
                   $ mempty
              visPositions = visiblePositions charPos 12 em
          in (gormlakPos `member` visPositions) @?
             ( "not ("
             <> show gormlakPos <> " `member` "
             <> show visPositions
             <> ")"
             )
      ]
    ]
  ]

--------------------------------------------------------------------------------

data TestEntity = TestEntity
  deriving stock (Show, Eq, Ord, Generic)
  deriving anyclass (ToJSON, FromJSON, NFData)

instance Brain TestEntity where
  step _ = pure
instance Draw TestEntity
instance Entity TestEntity where
  description _ = ""
  entityChar _ = "e"