>># 
>># Copyright 1990, 1991 by the Massachusetts Institute of Technology and
>># UniSoft Group Limited.
>># 
>># Permission to use, copy, modify, distribute, and sell this software and
>># its documentation for any purpose is hereby granted without fee,
>># provided that the above copyright notice appear in all copies and that
>># both that copyright notice and this permission notice appear in
>># supporting documentation, and that the names of MIT and UniSoft not be
>># used in advertising or publicity pertaining to distribution of the
>># software without specific, written prior permission.  MIT and UniSoft
>># make no representations about the suitability of this software for any
>># purpose.  It is provided "as is" without express or implied warranty.
>># 
>># $XConsortium: unmpntfy.m,v 1.8 92/06/11 17:26:14 rws Exp $
>># 
>>#
>>TITLE UnmapNotify CH08
>>ASSERTION A UnmapNotify-1
When an UnmapNotify event is generated, then all clients
having set StructureNotifyMask event mask bits on the
unmapped window are delivered an UnmapNotify event.
>>STRATEGY
Create clients client2 and client3.
Create window.
Select for UnmapNotify events using StructureNotifyMask.
Select for UnmapNotify events using StructureNotifyMask with client2.
Select for no events with client3.
Generate UnmapNotify event.
Verify that a UnmapNotify event was delivered.
Verify that event member fields are correctly set.
Verify that a UnmapNotify event was delivered to client2.
Verify that event member fields are correctly set.
Verify that no events were delivered to client3.
>>ASSERTION A UnmapNotify-2
When an UnmapNotify event is generated, then all clients
having set SubstructureNotifyMask event mask bits on the
parent of the unmapped window are delivered an UnmapNotify
event.
>>STRATEGY
Create clients client2 and client3.
Create window.
Select for UnmapNotify events using SubstructureNotifyMask.
Select for UnmapNotify events using SubstructureNotifyMask with client2.
Select for no events with client3.
Generate UnmapNotify event.
Verify that a UnmapNotify event was delivered.
Verify that event member fields are correctly set.
Verify that a UnmapNotify event was delivered to client2.
Verify that event member fields are correctly set.
Verify that no events were delivered to client3.
>>ASSERTION - UnmapNotify-3
When an UnmapNotify event is generated, then clients not
having set StructureNotifyMask event mask bits on the
unmapped window and also not having set
SubstructureNotifyMask event mask bits on the parent of the
unmapped window are not delivered an UnmapNotify event.
