>># 
>># 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: dstryntfy.m,v 1.9 92/06/11 17:20:28 rws Exp $
>># 
>>#
>>TITLE DestroyNotify CH08
>>ASSERTION A DestroyNotify-1
When a DestroyNotify event is generated, then all clients
having set StructureNotifyMask event mask bits on the
destroyed window are delivered a DestroyNotify event.
>>STRATEGY
Create clients client2 and client3.
Create window.
Select for DestroyNotify events using StructureNotifyMask.
Select for DestroyNotify events using StructureNotifyMask with client2.
Select for no events with client3.
Generate DestroyNotify event.
Verify that a DestroyNotify event was delivered.
Verify that event member fields are correctly set.
Verify that a DestroyNotify event was delivered to client2.
Verify that no events were delivered to client3.
>>ASSERTION A DestroyNotify-2
When a DestroyNotify event is generated, then all clients
having set SubstructureNotifyMask event mask bits on the
parent of the destroyed window are delivered a DestroyNotify
event.
>>STRATEGY
Create clients client2 and client3.
Create parent window.
Create window.
Select for DestroyNotify events using SubstructureNotifyMask.
Select for DestroyNotify events using SubstructureNotifyMask with client2.
Select for no events with client3.
Generate DestroyNotify event.
Verify that a DestroyNotify event was delivered.
Verify that event member fields are correctly set.
Verify that a DestroyNotify event was delivered to client2.
Verify that no events were delivered to client3.
>>ASSERTION - DestroyNotify-3
When a DestroyNotify event is generated, then clients not
having set StructureNotifyMask event mask bits on the
destroyed window and also not having set
SubstructureNotifyMask event mask bits on the parent of the
destroyed window are not delivered a DestroyNotify event.
