summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2008-03-22 20:27:28 +0100
committerDon Stewart <dons@galois.com>2008-03-22 20:27:28 +0100
commit167d6f8e229ba140f7e954bcf93bbd73181b92ed (patch)
tree7111eeef084e7218cb66590a77d9dd77e2972b88
parentce25a7fd566f3eb8bab40496c67fd9fb7ea25ff9 (diff)
downloadmetatile-167d6f8e229ba140f7e954bcf93bbd73181b92ed.tar
metatile-167d6f8e229ba140f7e954bcf93bbd73181b92ed.zip
test message handling of Full layout
darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024
-rw-r--r--tests/Properties.hs12
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)
]