|
|
- import Datatypes
- import VM
-
- import Data.Hashable (hash, Hashable(..))
- import Data.Set (Set)
- import qualified Data.Set as Set
- import Test.QuickCheck
-
- test :: (Cell -> Cell) -> [Bool]
- test f = [f (0,3) == (2,5), f (1,3) == (3, 6), f (2,3) == (3,7), f (3, 3) == (4,8), f (2, 4) == (2,7)]
-
- test2 :: (Cell -> Cell) -> [Bool]
- test2 f = [f (2,5) == (3,6), f (3,6) == (2, 7), f (2,7) == (1,7), f (1, 7) == (1,6), f (1, 6) == (1,5), f (1, 5) == (2, 5)]
-
- deepCheck p = quickCheckWith (stdArgs { maxSuccess = 10000 }) p
-
- testTutto = do
- deepCheck (\pivot cell -> let r2 = rotateCell pivot in (r2 . r2 . r2 . r2 . r2 . r2) cell == cell)
- deepCheck (\pivot cell -> cell == counterRotateCell pivot (rotateCell pivot cell))
- deepCheck (\pivot cell -> cell == counterRotateCell2 pivot (rotateCell pivot cell))
-
-
- checkForNothing::[Maybe(Cell, Fallimento)] -> Maybe(Cell, Fallimento)
- checkForNothing (Nothing:xs) = checkForNothing xs
- checkForNothing ((Just v):xs) = Just v
- checkForNothing [] = Nothing
-
- testTutteRotazioni = checkForNothing [
- testDoppieRotazioni (2,3) [(2,0), (4,1), (5,4), (3,6), (0,5), (0,2), (2,0)],
- testDoppieRotazioni (2,4) [(2,1), (4,3), (4,6), (1,7), (-1,5), (0,2), (2,1)],
- testDoppieRotazioni (1,5) [(1,3), (3,4), (3,6), (1,7), (0,6), (0,4), (1,3)]
- ]
-
- testCentering = deepCheck (\up um um1 -> let b = Board 5 10 (Set.fromList [])
- u = Unit (Set.fromList (um1:um)) up
- c = centerUnit u b
- bw = 5
- xCoords = Set.map (\(x, y) -> x) (unitMembers c)
- yCoords = Set.map (\(x, y) -> y) (unitMembers c)
- unitLeft = Set.findMin xCoords
- unitRight = Set.findMax xCoords
- unitTop = Set.findMin yCoords
- deltaLeft = unitLeft
- deltaRight = bw - unitRight - 1
- in (deltaLeft == deltaRight || (deltaRight - deltaLeft) == 1) && unitTop == 0)
-
- testGame = let board = Board 5 10 (Set.fromList [])
- unit = Unit (Set.fromList [(2, 8)]) (2, 8)
- game = Game board [unit] (Set.fromList [hash unit])
- in game
-
- data Fallimento = Rotazione | ControRotazione deriving Show
-
- testDoppieRotazioni :: Cell -> [Cell] -> Maybe (Cell, Fallimento)
- testDoppieRotazioni pivot cells =
- case testRotazioni pivot cells of
- Just v -> Just (v, Rotazione)
- Nothing -> case testControRotazioni pivot (reverse cells) of
- Just w -> Just (w, ControRotazione)
- Nothing -> Nothing
-
- -- restituisce eventualmente il primo valore per cui fallisce
- testRotazioni :: Cell -> [Cell] -> Maybe Cell
- testRotazioni _ [] = Nothing
- testRotazioni _ [x] = Nothing
- testRotazioni pivot (x:y:xs) = if rotateCell pivot x == y
- then testRotazioni pivot (y:xs)
- else Just x
-
- -- restituisce eventualmente il primo valore per cui fallisce
- testControRotazioni :: Cell -> [Cell] -> Maybe Cell
- testControRotazioni _ [] = Nothing
- testControRotazioni _ [x] = Nothing
- testControRotazioni pivot (x:y:xs) = if counterRotateCell pivot x == y
- then testControRotazioni pivot (y:xs)
- else Just x
|
