diff options
author | Don Stewart <dons@galois.com> | 2008-03-22 21:18:35 +0100 |
---|---|---|
committer | Don Stewart <dons@galois.com> | 2008-03-22 21:18:35 +0100 |
commit | 3cf27e26df85fd89a8c85b61ec31a27a9c5eff73 (patch) | |
tree | 32fdd93fd24a715aadd765be0e7f2f1444d230ea | |
parent | b37035ccf283376d0d8d23927a828f4b641a547d (diff) | |
download | xmonad-3cf27e26df85fd89a8c85b61ec31a27a9c5eff73.tar.gz xmonad-3cf27e26df85fd89a8c85b61ec31a27a9c5eff73.tar.xz xmonad-3cf27e26df85fd89a8c85b61ec31a27a9c5eff73.zip |
more properties for splitting horizontally and vertically
darcs-hash:20080322201835-cba2c-df24122dea6b44f14c6e20ce94a79708d3a8e777.gz
-rw-r--r-- | tests/Properties.hs | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 0c08f96..dd3dd8e 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -666,6 +666,44 @@ prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster w where _ = rect :: Rectangle pct = 3 % 100 +-- splitting horizontally yields sensible results +prop_split_hoziontal (NonNegative n) x = +{- + trace (show (rect_x x + ,rect_width x + ,rect_x x + fromIntegral (rect_width x) + ,map rect_x xs)) + $ +-} + + sum (map rect_width xs) == rect_width x + && + all (== rect_height x) (map rect_height xs) + && + (map rect_x xs) == (sort $ map rect_x xs) + + where + xs = splitHorizontally n x + +-- splitting horizontally yields sensible results +prop_splitVertically (r :: Rational) x = + + rect_x x == rect_x a && rect_x x == rect_x b + && + rect_width x == rect_width a && rect_width x == rect_width b + +{- + trace (show (rect_x x + ,rect_width x + ,rect_x x + fromIntegral (rect_width x) + ,map rect_x xs)) + $ +-} + + where + (a,b) = splitVerticallyBy r x + + -- pureLayout works. prop_purelayout_tall n r1 r2 rect (t :: T) = isJust (peek t) ==> @@ -752,6 +790,10 @@ prop_desc_full = description Full == show Full ------------------------------------------------------------------------ +prop_desc_mirror n r1 r2 = description (Mirror $! t) == "Mirror Tall" + where t = Tall n r1 r2 + +------------------------------------------------------------------------ noOverlaps [] = True noOverlaps [_] = True @@ -896,6 +938,9 @@ main = do ,("tile 1 window fullsize", mytest prop_tile_fullscreen) ,("tiles never overlap", mytest prop_tile_non_overlap) + ,("split hozizontally", mytest prop_split_hoziontal) + ,("split verticalBy", mytest prop_splitVertically) + ,("pure layout tall", mytest prop_purelayout_tall) ,("send shrink tall", mytest prop_shrink_tall) ,("send expand tall", mytest prop_expand_tall) @@ -907,6 +952,7 @@ main = do ,("send message full", mytest prop_sendmsg_full) ,("describe full", mytest prop_desc_full) + ,("describe mirror", mytest prop_desc_mirror) ] |