>># 
>># 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: wthdrwwdw.m,v 1.12 92/06/11 17:32:38 rws Exp $
>># 
>>#      SCCS:  @(#)  EWin.mc Rel 1.4	    (7/19/91)
>>#
>>TITLE XWithdrawWindow CH09
>>ASSERTION A XWithdrawWindow-1
A call to XWithdrawWindow unmaps the window specified by
the w argument and sends, to the root window of the screen
specified by the screen_number argument, a synthetic
UnmapNotify event with a window of w, an event equal to the
receiving root window and a from_configure element of False
using an event mask of SubstructureRedirectMask|
SubstructureNotifyMask and returns non-zero.
>>STRATEGY
Create a window using XCreateWindow.
Select UnmapNotify events on the root using XSelectInput with SubstructureNotifyMask.
Unmap the window using XWithdrawWindow.
Verify that the window is unmapped using XGetWindowAttributes.
Verify that a non-synthetic UnmapNotify event is generated.
Verify that a synthetic UnmapNotify event is generated.

Create a window using XCreateWindow.
Select UnmapNotify events on the root using XSelectInput with SubstructureRedirectMask.
Unmap the window using XWithdrawWindow.
Verify that the window is unmapped using XGetWindowAttributes.
Verify that a non-synthetic UnmapNotify event is generated.
>>ASSERTION B XWithdrawWindow-2
When the UnmapNotify event is not successfully sent, then
XWithdrawWindow returns zero.
>>STRATEGY
Report UNTESTED
>>ASSERTION A XWithdrawWindow-3
When a window argument does not name a valid Window, then a
BadWindow error occurs.
>>STRATEGY
Create a bad window by creating and destroying a window.
Call test function using bad window as the window argument.
Verify that a BadWindow error occurs.
