>># 
>># 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: chngpntrcn.m,v 1.5 92/06/11 17:11:58 rws Exp $
>># 
>>#      SCCS:  @(#)  EVal.mc Rel 1.5	    (10/10/91)
>>#      SCCS:  @(#)  EVal.mc Rel 1.5	    (10/10/91)
>>#
>>TITLE XChangePointerControl CH07
>>ASSERTION A XChangePointerControl-1
When do_accel is True, then the acceleration of the
pointer is set to the fraction accel_numerator over
accel_denominator.
>>STRATEGY
Set do_accel to True.
Set numerator and denominator values.
Call XChangePointerControl.
Verify that acceleration values have been set.
>>ASSERTION A XChangePointerControl-2
When do_threshold is True, then the threshold is set to
the value in the threshold argument.
>>STRATEGY
Set do_threshold to True.
Set value for threshold.
Call XChangePointerControl.
Verify that threshold value is set correctly.
>>ASSERTION A XChangePointerControl-3
When threshold is -1, then the threshold is set to the
default.
>>STRATEGY
Set do_threshold to True.
Set threshold to -1.
Call XChangePointerControl.
Obtain default value for threshold.
Set threshold to new value. 
Call XChangePointerControl.
Verify that threshold value is set correctly.
Set threshold to -1.
Call XChangePointerControl.
Verify that threshold value is set to default value.
>>ASSERTION A XChangePointerControl-4
When accel_numerator is -1, then the numerator of the
acceleration is set to the default.
>>STRATEGY
Set do_accel to True.
Set numerator to -1.
Call XChangePointerControl.
Obtain default value for numerator.
Set numerator to new value. 
Call XChangePointerControl.
Verify that numerator value is set correctly.
Set numerator to -1.
Call XChangePointerControl.
Verify that numerator value is set to default value.
>>ASSERTION A XChangePointerControl-5
When accel_denominator is -1, then the denominator of the
acceleration is set to the default.
>>STRATEGY
Set do_accel to True.
Set denominator to -1.
Call XChangePointerControl.
Obtain default value for denominator.
Set denominator to new value. 
Call XChangePointerControl.
Verify that denominator value is set correctly.
Set denominator to -1.
Call XChangePointerControl.
Verify that denominator value is set to default value.
>>ASSERTION A XChangePointerControl-6
When the value of the do_accel or do_threshold arguments
are False, then the corresponding parameter is not changed.
>>STRATEGY
Get old values of parameters.
Call XChangePointerControl with do_accel and do_threshold False.
Verify no change to parameters.
>>ASSERTION A XChangePointerControl-7
When threshold is a negative number other than -1, then a
BadValue error occurs.
>>STRATEGY
Set do_threshold to True.
Set threshold to negative value other than -1.
Verify BadValue error.
>>ASSERTION A XChangePointerControl-8
When accel_numerator or accel_denominator are negative
numbers other than -1, then a BadValue error occurs.
>>STRATEGY
Set do_accel to True.
Set accel parameters to invalid values.
Verify BadValue error.
>>ASSERTION A XChangePointerControl-9
When the accel_denominator argument is zero, then a
BadValue error occurs.
>>STRATEGY
Set do_accel to True.
Set accel_denominator to zero.
Verify that a BadValue error occurs.
>>ASSERTION A XChangePointerControl-10
When the value of do_accel is other than True or False,
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 XChangePointerControl-11
When the value of do_threshold is other than True or False,
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.
