>># 
>># 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: stscrnsvr.m,v 1.5 92/06/11 17:16:55 rws Exp $
>># 
>>#      SCCS:  @(#)  EVal.mc Rel 1.5	    (10/10/91)
>>#      SCCS:  @(#)  EVal.mc Rel 1.5	    (10/10/91)
>>#
>>TITLE XSetScreenSaver CH07
>>ASSERTION B XSetScreenSaver-1
When the timeout argument is greater than zero, then the
screen saver is enabled and the value of timeout specifies
the time in seconds, until the screen saver is activated.
>>STRATEGY
Touch test with timeout greater than zero.
>>ASSERTION B XSetScreenSaver-2
When timeout is 0, then the screen saver is disabled.
>>STRATEGY
Touch test for timeout zero.
>>ASSERTION B XSetScreenSaver-3
When timeout is 0 and the screen saver is activated, then a
call to XSetScreenSaver does not deactivate the screen
saver.
>>STRATEGY
Report UNTESTED
>>ASSERTION B XSetScreenSaver-4
When timeout is -1, then the default timeout is restored.
>>STRATEGY
Touch test for timeout of -1.
>>ASSERTION B XSetScreenSaver-5
If the server-dependent screen saver method uses periodic
change: The interval argument serves as a hint about how
long the change period should be, and zero hints that no
periodic change should be made.
>>STRATEGY
Touch test for interval, including zero.
>>ASSERTION B XSetScreenSaver-6
When interval is -1, then the default interval is restored.
>>STRATEGY
Touch test for default interval.
>>ASSERTION B XSetScreenSaver-7
When no input from devices is generated for the specified
number of timeout seconds once the screen saver is enabled,
then the screen saver is activated.
>>STRATEGY
Report UNTESTED
>>ASSERTION D XSetScreenSaver-8
If the hardware supports video blanking: When
prefer_blanking is PreferBlanking and the screen saver is
subsequently activated, then the screen goes blank.
>>STRATEGY
Touch test for PreferBlanking.
>>ASSERTION B XSetScreenSaver-9
When prefer_blanking is DontPreferBlanking and
allow_exposures is AllowExposures or the screen can be
regenerated without sending Expose events and the screen
saver is subsequently activated, then the screen is altered
in an implementation defined way that avoids phosphor burn.
>>STRATEGY
Touch test for DontPreferBlanking.
>>ASSERTION B XSetScreenSaver-10
When prefer_blanking is DefaultBlanking, then the default
value for the server is restored.
>>STRATEGY
Touch test for DefaultBlanking.
>>ASSERTION B XSetScreenSaver-11
When allow_exposures is DontAllowExposures, and the screen
can not be blanked or regenerated without sending Expose
events and the screen saver would subsequently be activated,
then the screen's state does not change and the screen saver
is not activated.
>>STRATEGY
Touch test for DontAllowExposures.
>>ASSERTION B XSetScreenSaver-12
When allow_exposures is DefaultExposures, then the servers
default value is restored.
>>STRATEGY
Touch test for DefaultExposures.
>>ASSERTION B XSetScreenSaver-13
The screen saver is deactivated, and all screen states are
restored at the next keyboard or pointer input or at the
next call to XForceScreenSaver with mode ScreenSaverReset.
>>STRATEGY
Report UNTESTED
>>ASSERTION A XSetScreenSaver-14
When timeout is a negative number other than -1, then a
BadValue error occurs.
>>STRATEGY
Call XSetScreenSaver with timeout of -2.
Verify that a BadValue error occurs.
>>ASSERTION A XSetScreenSaver-15
When interval is a negative number other than -1, then a
BadValue error occurs.
>>STRATEGY
Call XSetScreenSaver with interval of -2.
Verify that a BadValue error occurs.
>>ASSERTION A XSetScreenSaver-16
When the value of prefer_blanking is other than
DontPreferBlanking, PreferBlanking or DefaultBlanking,
then a BadValue error occurs.
>>STRATEGY
Obtain a sequence of values which are not in the list specified by VALUE_LIST.
For each value:
  Call test function with this value in the VALUE_ARG argument.
  Verify that a BadValue error occurs.
>>ASSERTION A XSetScreenSaver-17
When the value of allow_exposures is other than
DontAllowExposures, AllowExposures or DefaultExposures,
then a BadValue error occurs.
>>STRATEGY
Obtain a sequence of values which are not in the list specified by VALUE_LIST.
For each value:
  Call test function with this value in the VALUE_ARG argument.
  Verify that a BadValue error occurs.
