>># 
>># 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: rmdstrydtb.m,v 1.4 92/06/11 17:39:17 rws Exp $
>># 
>>#
>>TITLE XrmDestroyDatabase CH10
>>ASSERTION B XrmDestroyDatabase-1
A call to XrmDestroyDatabase destroys the specified
database.
>>STRATEGY
Create a database.
Call XrmDestroyDatabase to destroy the database.
>>ASSERTION B XrmDestroyDatabase-2
When database is NULL, then a call to XrmDestroyDatabase
returns immediately.
>>STRATEGY
Call XrmDestroyDatabase with a NULL database.
Verify that XrmDestroyDatabase returns.
(It is not possible to test that return is immediate).
>>ASSERTION B XrmDestroyDatabase-3
A call to XrmDestroyDatabase frees the memory associated
with the database.
>>STRATEGY
Report UNTESTED
