test message handling of Full layout

darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024

1 files changed, 10 insertions, 2 deletions

diff --git a/tests/Properties.hs b/tests/Properties.hs
index c4d2b8b..0c08f96 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -744,6 +744,11 @@ prop_purelayout_full rect (t :: T) =
           st = fromJust . stack . workspace . current $ t
           ts = pureLayout layoot rect st
 
+-- what happens when we send an IncMaster message to Full --- Nothing
+prop_sendmsg_full (NonNegative k) =
+         isNothing (Full `pureMessage` (SomeMessage (IncMasterN k)))
+
+prop_desc_full = description Full == show Full
 
 ------------------------------------------------------------------------
 
@@ -887,17 +892,20 @@ main = do
         ,("new fails with abort",   mytest prop_new_abort)
         ,("shiftWin identity",      mytest prop_shift_win_indentity)
 
-        -- renaming
+        -- tall layout
 
         ,("tile 1 window fullsize", mytest prop_tile_fullscreen)
         ,("tiles never overlap",    mytest prop_tile_non_overlap)
         ,("pure layout tall",       mytest prop_purelayout_tall)
-
         ,("send shrink    tall",    mytest prop_shrink_tall)
         ,("send expand    tall",    mytest prop_expand_tall)
         ,("send incmaster tall",    mytest prop_incmaster_tall)
 
+        -- full layout
+
         ,("pure layout full",       mytest prop_purelayout_full)
+        ,("send message full",      mytest prop_sendmsg_full)
+        ,("describe full",          mytest prop_desc_full)
 
 
         ]