>># 
>># 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: stwdwbrdrw.m,v 1.5 92/06/11 16:11:24 rws Exp $
>># 
>>#      SCCS:  @(#)  EMat4.mc Rel 1.3	    (7/19/91)
>>#      SCCS:  @(#)  EWin.mc Rel 1.4	    (7/19/91)
>>#
>>TITLE XSetWindowBorderWidth CH03
>>ASSERTION A XSetWindowBorderWidth-1
A call to XSetWindowBorderWidth sets the border width of
the specified window to width.
>>STRATEGY
Create parent window with a child.
Call XSetWindowBorderWidth to set the window border width to 4.
Verify that window border width was set using Pixchecking
Call XSetWindowBorderWidth to set the window border width to 10.
Verify that window border width was set using Pixchecking
>>ASSERTION B XSetWindowBorderWidth-2
When the window is a root window, then a call to
XSetWindowBorderWidth has no affect.
>>STRATEGY
Report UNTESTED
>>ASSERTION A XSetWindowBorderWidth-3
When the override-redirect attribute of the window is False
and some other client has selected SubstructureRedirectMask
on the parent window, then a ConfigureRequest event is
generated, and the window configuration is not changed.
>>STRATEGY
Create client1 and client2.
Create a window and child window one
Save parent window image as reference image.
Set override-redirect on window one to False.
Select SubstructureRedirectMask events on the parent window for client2.
Call XSetWindowBorderWidth on window one for client1.
Verify that no events were delivered to client1.
Verify that a correct ConfigureRequest event was delivered to client2.
Verify that no further processing occurred by comparing the window
	to our reference window.
>>ASSERTION A XSetWindowBorderWidth-4
When the border width actually changes, then a
ConfigureNotify event is generated.
>>STRATEGY
Create client1 and client2.
Create a window and child window one
Select StructureNotifyMask events on the window one for client1. 
Select SubstructureNotifyMask events on the parent window for client2.
Call XSetWindowBorderWidth on window one for client1.
Verify that a single ConfigureNotify event was delivered to client1.
Verify that a single ConfigureNotify event was delivered to client2.
>>ASSERTION A XSetWindowBorderWidth-5
When a call to XSetWindowBorderWidth uncovers part of any
window that was formerly obscured, then either Expose events
are generated or the contents are restored from backing
store.
>>STRATEGY
Create a parent window, and the test windows win1 and win2. 
Select ExposureMask events on win1
Set window border on win2 to cover some of win1
Set window border on win2 to expose some of win1
Verify that Expose events were generated or that win2 was
	recovered from Backing Store.
>>ASSERTION A XSetWindowBorderWidth-6
When the window argument is an InputOnly window then a
BadMatch error occurs.
>>STRATEGY
Create an InputOnly window.
Call test function using InputOnly window as the window argument.
Verify that a BadMatch error occurs.
>>ASSERTION A XSetWindowBorderWidth-7
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.
