>># 
>># 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: gttxtprprt.m,v 1.10 92/06/11 17:28:28 rws Exp $
>># 
>>#      SCCS:  @(#)  EAto.mc Rel 1.6	    (10/4/91)
>>#      SCCS:  @(#)  EWin.mc Rel 1.4	    (7/19/91)
>>#
>>TITLE XGetTextProperty CH09
>>ASSERTION A XGetTextProperty-1
When the property specified by the property argument exists
on the window specified by the w argument, then a call to
XGetTextProperty stores the data, which can be freed with
XFree, in the value field, the type of the data in the
encoding field, the format of the data in the format field,
and the number of items of data in the nitems field of the
XTextProperty structure named by the text_prop_return
argument and returns non-zero.
>>STRATEGY
Create a window with XCreateWindow.
Set the property WM_NAME for the window with XSetTextProperty.
Obtain the value of the WM_NAME property with XGetTextProperty.
Verify that the encoding, format, value and nitems fields of the returned structure are correct.
Release the allocated memory using XFree.
>>ASSERTION A XGetTextProperty-2
When the property specified by the property argument does
not exist on the window specified by the w argument, then a
call to XGetTextProperty sets the value field to NULL, the
encoding field to None, the format field to 0 and the nitems
field to 0 of the XTextProperty structure named by the
text_prop_return argument and returns zero.
>>STRATEGY
Create a window with XCreateWindow
Get the value of the unset property WM_NAME with XGetTextProperty
Verify that the call returned False
Verify that in the returned structure the encoding field was none,
  the format component was 0, the nitems component was 0 and the
  value component was NULL.
>>ASSERTION A XGetTextProperty-3
When an atom argument does not name a valid Atom, then a
BadAtom error occurs.
>>STRATEGY
Call test function using a value with the top bits set as the atom argument.
Verify that a BadAtom error occurs.
>>ASSERTION A XGetTextProperty-4
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.
