| File: System\Windows\Input\Manipulations\DoubleUtil.cs | Web Access |
| Project: src\wpf\src\Microsoft.DotNet.Wpf\src\System.Windows.Input.Manipulations\System.Windows.Input.Manipulations.csproj (System.Windows.Input.Manipulations) |
// Licensed to the .NET Foundation under one or more agreements. // The .NET Foundation licenses this file to you under the MIT license. // This file contains the implementation of DoubleUtil, which // provides "fuzzy" comparison functionality for doubles. // The file is based on the similar util class from the Avalon tree. namespace System.Windows.Input.Manipulations { internal static class DoubleUtil { // Const values come from sdk\inc\crt\float.h private const double DBL_EPSILON = 2.2204460492503131e-016; /* smallest such that 1.0+DBL_EPSILON != 1.0 */ #if false // unused /// <summary> /// AreClose - Returns whether or not two doubles are "close". That is, whether or /// not they are within epsilon of each other. Note that this epsilon is proportional /// to the numbers themselves to that AreClose survives scalar multiplication. /// There are plenty of ways for this to return false even for numbers which /// are theoretically identical, so no code calling this should fail to work if this /// returns false. This is important enough to repeat: /// NB: NO CODE CALLING THIS FUNCTION SHOULD DEPEND ON ACCURATE RESULTS - this should be /// used for optimizations *only*. /// </summary> /// <returns> /// bool - the result of the AreClose comparision. /// </returns> /// <param name="value1"> The first double to compare. </param> /// <param name="value2"> The second double to compare. </param> public static bool AreClose(double value1, double value2) { //in case they are Infinities (then epsilon check does not work) if (value1 == value2) return true; // This computes (|value1-value2| / (|value1| + |value2| + 10.0)) < DBL_EPSILON double eps = (Math.Abs(value1) + Math.Abs(value2) + 10.0) * DBL_EPSILON; double delta = value1 - value2; return (-eps < delta) && (eps > delta); } /// <summary> /// LessThan - Returns whether or not the first double is less than the second double. /// That is, whether or not the first is strictly less than *and* not within epsilon of /// the other number. Note that this epsilon is proportional to the numbers themselves /// to that AreClose survives scalar multiplication. Note, /// There are plenty of ways for this to return false even for numbers which /// are theoretically identical, so no code calling this should fail to work if this /// returns false. This is important enough to repeat: /// NB: NO CODE CALLING THIS FUNCTION SHOULD DEPEND ON ACCURATE RESULTS - this should be /// used for optimizations *only*. /// </summary> /// <returns> /// bool - the result of the LessThan comparision. /// </returns> /// <param name="value1"> The first double to compare. </param> /// <param name="value2"> The second double to compare. </param> public static bool LessThan(double value1, double value2) { return (value1 < value2) && !AreClose(value1, value2); } /// <summary> /// GreaterThan - Returns whether or not the first double is greater than the second double. /// That is, whether or not the first is strictly greater than *and* not within epsilon of /// the other number. Note that this epsilon is proportional to the numbers themselves /// to that AreClose survives scalar multiplication. Note, /// There are plenty of ways for this to return false even for numbers which /// are theoretically identical, so no code calling this should fail to work if this /// returns false. This is important enough to repeat: /// NB: NO CODE CALLING THIS FUNCTION SHOULD DEPEND ON ACCURATE RESULTS - this should be /// used for optimizations *only*. /// </summary> /// <returns> /// bool - the result of the GreaterThan comparision. /// </returns> /// <param name="value1"> The first double to compare. </param> /// <param name="value2"> The second double to compare. </param> public static bool GreaterThan(double value1, double value2) { return (value1 > value2) && !AreClose(value1, value2); } /// <summary> /// LessThanOrClose - Returns whether or not the first double is less than or close to /// the second double. That is, whether or not the first is strictly less than or within /// epsilon of the other number. Note that this epsilon is proportional to the numbers /// themselves to that AreClose survives scalar multiplication. Note, /// There are plenty of ways for this to return false even for numbers which /// are theoretically identical, so no code calling this should fail to work if this /// returns false. This is important enough to repeat: /// NB: NO CODE CALLING THIS FUNCTION SHOULD DEPEND ON ACCURATE RESULTS - this should be /// used for optimizations *only*. /// </summary> /// <returns> /// bool - the result of the LessThanOrClose comparision. /// </returns> /// <param name="value1"> The first double to compare. </param> /// <param name="value2"> The second double to compare. </param> public static bool LessThanOrClose(double value1, double value2) { return (value1 < value2) || AreClose(value1, value2); } /// <summary> /// GreaterThanOrClose - Returns whether or not the first double is greater than or close to /// the second double. That is, whether or not the first is strictly greater than or within /// epsilon of the other number. Note that this epsilon is proportional to the numbers /// themselves to that AreClose survives scalar multiplication. Note, /// There are plenty of ways for this to return false even for numbers which /// are theoretically identical, so no code calling this should fail to work if this /// returns false. This is important enough to repeat: /// NB: NO CODE CALLING THIS FUNCTION SHOULD DEPEND ON ACCURATE RESULTS - this should be /// used for optimizations *only*. /// </summary> /// <returns> /// bool - the result of the GreaterThanOrClose comparision. /// </returns> /// <param name="value1"> The first double to compare. </param> /// <param name="value2"> The second double to compare. </param> public static bool GreaterThanOrClose(double value1, double value2) { return (value1 > value2) || AreClose(value1, value2); } /// <summary> /// Verifies if the given value is a finite number. /// </summary> /// <param name="d"></param> /// <returns></returns> public static bool IsDoubleFinite(double d) { return !(double.IsInfinity(d) || double.IsNaN(d)); } /// <summary> /// Verifies if the given value is a finite number or 0. /// </summary> /// <param name="d"></param> /// <returns></returns> public static bool IsDoubleFiniteNonZero(double d) { return IsDoubleFinite(d) && !IsZero(d); } #endif /// <summary> /// Verifies if the given value is close to 0. /// </summary> /// <param name="d"></param> /// <returns></returns> public static bool IsZero(double d) { // IsZero(d) check can be used to make sure that dividing by 'd' will never produce Infinity. // use DBL_EPSILON instead of double.Epsilon because double.Epsilon is too small and doesn't guarantee that. return Math.Abs(d) <= DBL_EPSILON; } /// <summary> /// Limits a value to the given internal. /// </summary> /// <param name="d"></param> /// <param name="min"></param> /// <param name="max"></param> /// <returns></returns> public static double Limit(double d, double min, double max) { if (!double.IsNaN(max) && d > max) { return max; } if (!double.IsNaN(min) && d < min) { return min; } return d; } #if false // unused /// <summary> /// Converts a double to a float. /// </summary> /// <param name="d">the double value to convert</param> /// <returns></returns> public static float ConvertToFloat(double d) { float f = (float)d; if (!double.IsInfinity(d) && float.IsInfinity(f)) { // The conversion exceeded the size of a float and the value became infinity. // Instead, set the value to the min/max for float. if (d > float.MaxValue) { f = float.MaxValue; } else if (d < float.MinValue) { f = float.MinValue; } } return f; } #endif } }