>># 
>># 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: rdbtmpfl.m,v 1.11 92/06/11 17:39:01 rws Exp $
>># 
>>#      SCCS:  @(#)  EAll.mc Rel 1.5	    (3/12/92)
>>#
>>TITLE XReadBitmapFile CH10
>>ASSERTION A XReadBitmapFile-1
When the file filename is readable and in the X11 bitmap
format, then a call to XReadBitmapFile returns BitmapSuccess.
>>STRATEGY
Create a valid, readable, bitmap file.
Call XReadBitmapFile to read the bitmap file.
Verify that BitmapSuccess was returned.
>>ASSERTION A XReadBitmapFile-2
When the file filename is readable and in the X11 bitmap
format, then a call to XReadBitmapFile returns the bitmap's
height and width as read from the file in width_return and
height_return, and a pixmap containing the bitmap with the
bitmap's height and width, on the same screen as the
drawable, in bitmap_return.
>>STRATEGY
Create a valid, readable, bitmap file.
Call XReadBitmapFile to read the bitmap file.
Verify that the width was returned as expected.
Verify that the height was returned as expected.
Call XGetGeometry to obtain the bitmap width, height and depth.
Verify that the bitmap was of the correct height, width and depth.
Verify that the bitmap contents were correct.
Verify that the bitmap was created on the correct screen.
>>ASSERTION A XReadBitmapFile-3
When the file filename is readable, and in the X11 bitmap
format, and contains name_x_hot and name_y_hot, then a call
to XReadBitmapFile returns the value of name_x_hot to
x_hot_return, and the value of name_y_hot to y_hot_return.
>>STRATEGY
Create a valid, readable, bitmap file containing a hotspot.
Call XReadBitmapFile to read the bitmap file.
Verify that the x_hot_return was returned as expected.
Verify that the y_hot_return was returned as expected.
>>ASSERTION A XReadBitmapFile-4
When the file filename is readable, and in the X11 bitmap
format, and does not contain name_x_hot and name_y_hot,
then a call to XReadBitmapFile returns -1 to x_hot_return
and y_hot_return.
>>STRATEGY
Create a valid, readable, bitmap file containing no hotspot.
Call XReadBitmapFile to read the bitmap file.
Verify that the x_hot_return was returned as expected.
Verify that the y_hot_return was returned as expected.
>>ASSERTION A XReadBitmapFile-5
When the file filename cannot be opened, then a call to
XReadBitmapFile returns BitmapOpenFailed.
>>STRATEGY
Call XReadBitmapFile with a non-existant bitmap filename.
Verify that BitmapOpenFailed was returned.
>>ASSERTION A XReadBitmapFile-6
When the file filename is readable and does not contain
valid bitmap data, then a call to XReadBitmapFile returns
BitmapFileInvalid.
>>STRATEGY
Create an invalid, bitmap file.
Call XReadBitmapFile to read the bitmap file.
Verify that BitmapFileInvalid was returned.
>>ASSERTION B XReadBitmapFile-7
When insufficient memory is allocated, then a call to
XReadBitmapFile returns BitmapNoMemory.
>>STRATEGY
Report UNTESTED
>>ASSERTION B XReadBitmapFile-8
When the server fails to allocate a required resource, then
a BadAlloc error occurs.
>>STRATEGY
Report UNTESTED
>>ASSERTION A XReadBitmapFile-9
When a drawable argument does not name a valid drawable,
then one or more BadDrawable errors, one or more BadGC
errors or both types of error occur.
>>STRATEGY
Create a bad drawable by creating and destroying a window.
Call test function using bad drawable as the drawable argument.
Verify that a BadDrawable and BadGC error occurs.
