>># 
>># 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: mpntfy.m,v 1.8 92/06/11 17:22:54 rws Exp $
>># 
>>#
>>TITLE MapNotify CH08
>>ASSERTION A MapNotify-1
When a window's state changes from unmapped to mapped as a
result of save-set processing, then a MapNotify event is
generated.
>>STRATEGY
Create client2.
Create parent window with client2.
Create child window as inferior to parent.
Add child window to client2's save-set.
Set client2's shut down mode to DestroyAll.
Select for MapNotify events on child.
Call XCloseDisplay with client2.
Verify that a MapNotify event was delivered.
Verify that event member fields are correctly set.
>>ASSERTION A MapNotify-2
When a MapNotify event is generated, then all clients
having set StructureNotifyMask event mask bits on the mapped
window are delivered a MapNotify event.
>>STRATEGY
Create clients client2 and client3.
Create window.
Select for MapNotify events using StructureNotifyMask.
Select for MapNotify events using StructureNotifyMask with client2.
Select for no events with client3.
Generate MapNotify event.
Verify that a MapNotify event was delivered.
Verify that event member fields are correctly set.
Verify that a MapNotify event was delivered to client2.
Verify that event member fields are correctly set.
Verify that no events were delivered to client3.
>>ASSERTION A MapNotify-3
When a MapNotify event is generated, then all clients
having set SubstructureNotifyMask event mask bits on the
parent of the mapped window are delivered a MapNotify event.
>>STRATEGY
Create clients client2 and client3.
Create window.
Select for MapNotify events using SubstructureNotifyMask.
Select for MapNotify events using SubstructureNotifyMask with client2.
Select for no events with client3.
Generate MapNotify event.
Verify that a MapNotify event was delivered.
Verify that event member fields are correctly set.
Verify that a MapNotify event was delivered to client2.
Verify that event member fields are correctly set.
Verify that no events were delivered to client3.
>>ASSERTION - MapNotify-4
When a MapNotify event is generated, then clients not
having set StructureNotifyMask event mask bits on the mapped
window and also not having set SubstructureNotifyMask event
mask bits on the parent of the mapped window are not
delivered a MapNotify event.
