>># 
>># 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: nxtevnt.m,v 1.9 92/06/11 17:23:43 rws Exp $
>># 
>>#
>>TITLE XNextEvent CH08
>>ASSERTION A XNextEvent-1
When the event queue is not empty, the a call to XNextEvent
returns the first event from the event queue in event_return.
>>STRATEGY
Discard all events on the event queue.
Call XPutBackEvent to put events on the event queue.
Call XNextEvent.
Verify that XNextEvent returned the correct event.
>>ASSERTION A XNextEvent-2
A call to XNextEvent removes the returned event from the
event queue.
>>STRATEGY
Discard all events on the event queue.
Call XPutBackEvent to put a three events on the event queue.
Call XNextEvent.
Verify that XNextEvent returned the correct event.
Call XNextEvent.
Verify that XNextEvent returned the correct event.
Call XNextEvent.
Verify that XNextEvent returned the correct event.
Verify that the event queue is now empty.
>>ASSERTION A XNextEvent-3
When the event queue is empty, then a call to XNextEvent
flushes the output buffer and blocks until an event is
received and returns the event in event_return.
>>STRATEGY
Create bad pixmap.
Discard all events on the event queue.
Call XFreePixmap with bad pixmap.
Call XNextEvent and verify that blocking did occur.
Verify that output buffer was flushed.
