>># 
>># 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: crcltntfy.m,v 1.8 92/06/11 17:19:44 rws Exp $
>># 
>>#
>>TITLE CirculateNotify CH08
>>ASSERTION A CirculateNotify-1
When a CirculateNotify event is generated, then all clients
having set StructureNotifyMask event mask bits on the
restacked window are delivered a CirculateNotify event.
>>STRATEGY
Create clients client2 and client3.
Build and create window hierarchy.
Select for CirculateNotify events using StructureNotifyMask.
Select for CirculateNotify events using StructureNotifyMask with client2.
Select for no events with client3.
Circulate lowest window to top.
Verify that a CirculateNotify event is delivered.
Verify that a CirculateNotify event is delivered to client2.
Verify that no events are delivered to client3.
Verify that, in the delivered event corresponding to the restacked
window which is now on top of all siblings, place is set to PlaceOnTop.
Circulate top window to bottom.
Verify that CirculateNotify events are delivered.
Verify that CirculateNotify events are delivered to client2.
Verify that no events are delivered to client3.
Verify that, in the delivered event corresponding to the restacked
window which is now on below all siblings, place is set to PlaceOnBottom.
>>ASSERTION A CirculateNotify-2
When a CirculateNotify event is generated, then all clients
having set SubstructureNotifyMask event mask bits on the
parent of the restacked window are delivered a
CirculateNotify event.
>>STRATEGY
Create clients client2 and client3.
Build and create window hierarchy.
Select for CirculateNotify events using SubstructureNotifyMask.
Select for CirculateNotify events using SubstructureNotifyMask with client2.
Select for no events with client3.
Circulate lowest window to top.
Verify that a CirculateNotify event is delivered.
Verify that a CirculateNotify event is delivered to client2.
Verify that no events are delivered to client3.
Verify that, in the delivered event corresponding to the restacked
window which is now on top of all siblings, place is set to PlaceOnTop.
Verify that window member is set to restacked window.
>>ASSERTION - CirculateNotify-3
When a CirculateNotify event is generated, then clients not
having set StructureNotifyMask event mask bits on the
restacked window and also not having set
SubstructureNotifyMask event mask bits on the parent of the
restacked window are not delivered a CirculateNotify event.
