twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-07-31 04:01:52 -07:00
Code Issues Packages Projects Releases Wiki Activity

add rotate all and view idempotency tests

Browse Source
This commit is contained in:
Don Stewart
2007-04-30 05:57:51 +00:00
parent 14773f6300
commit 17f70344ec
1 changed files with 19 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
tests/Properties.hs
View File

@@ -119,8 +119,15 @@ prop_delete2 i x =
prop_focus1 i x = member i x ==> peek (raiseFocus i x) == Just i
where _ = x :: T
prop_rotaterotate x = rotate LT (rotate GT x) == x
where _ = x :: T
-- rotation is reversible in two directions
prop_rotaterotate1 (x :: T) = rotate LT (rotate GT x) == x
prop_rotaterotate2 (x :: T) = rotate GT (rotate LT x) == x
-- rotation through the height of a stack gets us back to the start
prop_rotate_all (x :: T) = foldr (\_ y -> rotate GT y) x [1..n] == x
where
n = height (current x) x
prop_viewview r x =
let n = current x
@@ -130,6 +137,11 @@ prop_viewview r x =
where _ = x :: T
prop_view_idem (x :: T) r =
let i = fromIntegral $ r `mod` sz
sz = size x
in view i (view i x) == (view i x)
prop_shiftshift r x =
let n = current x
in shift n (shift r x) == x
@@ -304,9 +316,13 @@ main = do
,("focus", mytest prop_focus1)
,("rotate/rotate ", mytest prop_rotaterotate)
,("rotate l >> rotate r", mytest prop_rotaterotate1)
,("rotate r >> rotate l", mytest prop_rotaterotate2)
,("rotate all", mytest prop_rotate_all)
,("view/view ", mytest prop_viewview)
,("view idem ", mytest prop_view_idem)
,("fullcache ", mytest prop_fullcache)
,("currentwsvisible ", mytest prop_currentwsvisible)
,("ws screen mapping", mytest prop_ws2screen_screen2ws)