>># 
>># 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: crcltrqst.m,v 1.11 92/06/11 17:19:51 rws Exp $
>># 
>>#
>>TITLE CirculateRequest CH08
>>ASSERTION A CirculateRequest-1
When a CirculateRequest event is generated, then all
clients having set SubstructureRedirectMask event mask bits
on the parent of the window for which the circulate request
was issued are delivered a CirculateRequest event.
>>STRATEGY
Create clients client2 and client3.
Build and create window hierarchy.
Create inferiors with override-redirect set to True.
Change one inferior's override-redirect attribute to False.
Select for CirculateRequest events using SubstructureRedirectMask.
Select for no events with client3.
Circulate lowest window to top.
Initialize for expected events.
Verify that a CirculateRequest event is delivered.
Verify that no events are delivered to client3.
Verify members of event structure.
Verify that no events were delivered to client3.
Circulate highest window (override-redirect set to False) to bottom.
Initialize for expected events.
Verify that a CirculateRequest event is delivered.
Verify that no events are delivered to client3.
Verify members of event structure.
Verify that no events were delivered to client3.
>>ASSERTION - CirculateRequest-2
When a CirculateRequest event is generated, then clients
not having set SubstructureRedirectMask event mask bits on
the event window are not delivered a CirculateRequest event.
