summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@cse.unsw.edu.au>2007-04-19 02:12:01 +0200
committerDon Stewart <dons@cse.unsw.edu.au>2007-04-19 02:12:01 +0200
commit3685be05ec480a3829383c6ac29a518f16ac1e20 (patch)
tree8003cadb26d76d1ea6942e44ea0c0ff3170c6ad8
parentdebb8785f27d176f5e6ea8b471c606b07feaae8b (diff)
downloadmetatile-3685be05ec480a3829383c6ac29a518f16ac1e20.tar
metatile-3685be05ec480a3829383c6ac29a518f16ac1e20.zip
2 more properties for promote.
darcs-hash:20070419001201-9c5c1-7ab345797094d164e47185bebefe05b1add6e120
-rw-r--r--tests/Properties.hs19
1 files changed, 17 insertions, 2 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 245f02f..e69c7f9 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -103,13 +103,25 @@ prop_screenworkspace x = all test [0..((fromIntegral $ size x)-1)]
Nothing -> True
Just sc -> workspace sc x == Just ws
_ = x :: T
+------------------------------------------------------------------------
+-- promote is idempotent
prop_promote2 x = promote (promote x) == (promote x)
where _ = x :: T
-prop_promotefocus x = focus (promote x) == focus x -- focus doesn't change
+-- focus doesn't change
+prop_promotefocus x = focus (promote x) == focus x
+ where _ = x :: T
+
+-- screen certainly should't change
+prop_promotecurrent x = current (promote x) == current x
where _ = x :: T
+-- promote doesn't mess with other windows
+prop_promoterotate x b = focus (rotate dir (promote x)) == focus (rotate dir x)
+ where _ = x :: T
+ dir = if b then LT else GT
+
------------------------------------------------------------------------
main :: IO ()
@@ -137,8 +149,11 @@ main = do
,("currentwsvisible ", mytest prop_currentwsvisible)
,("ws screen mapping", mytest prop_ws2screen_screen2ws)
,("screen/workspace ", mytest prop_screenworkspace)
+
,("promote idempotent", mytest prop_promote2)
- ,("promote/focus", mytest prop_promotefocus)
+ ,("promote focus", mytest prop_promotefocus)
+ ,("promote current", mytest prop_promotecurrent)
+ ,("promote only swaps", mytest prop_promoterotate)
]
debug = False