1*88d15eacSSasha Smundak// Copyright 2017, The Go Authors. All rights reserved. 2*88d15eacSSasha Smundak// Use of this source code is governed by a BSD-style 3*88d15eacSSasha Smundak// license that can be found in the LICENSE file. 4*88d15eacSSasha Smundak 5*88d15eacSSasha Smundak// Package cmpopts provides common options for the cmp package. 6*88d15eacSSasha Smundakpackage cmpopts 7*88d15eacSSasha Smundak 8*88d15eacSSasha Smundakimport ( 9*88d15eacSSasha Smundak "errors" 10*88d15eacSSasha Smundak "math" 11*88d15eacSSasha Smundak "reflect" 12*88d15eacSSasha Smundak "time" 13*88d15eacSSasha Smundak 14*88d15eacSSasha Smundak "github.com/google/go-cmp/cmp" 15*88d15eacSSasha Smundak) 16*88d15eacSSasha Smundak 17*88d15eacSSasha Smundakfunc equateAlways(_, _ interface{}) bool { return true } 18*88d15eacSSasha Smundak 19*88d15eacSSasha Smundak// EquateEmpty returns a Comparer option that determines all maps and slices 20*88d15eacSSasha Smundak// with a length of zero to be equal, regardless of whether they are nil. 21*88d15eacSSasha Smundak// 22*88d15eacSSasha Smundak// EquateEmpty can be used in conjunction with SortSlices and SortMaps. 23*88d15eacSSasha Smundakfunc EquateEmpty() cmp.Option { 24*88d15eacSSasha Smundak return cmp.FilterValues(isEmpty, cmp.Comparer(equateAlways)) 25*88d15eacSSasha Smundak} 26*88d15eacSSasha Smundak 27*88d15eacSSasha Smundakfunc isEmpty(x, y interface{}) bool { 28*88d15eacSSasha Smundak vx, vy := reflect.ValueOf(x), reflect.ValueOf(y) 29*88d15eacSSasha Smundak return (x != nil && y != nil && vx.Type() == vy.Type()) && 30*88d15eacSSasha Smundak (vx.Kind() == reflect.Slice || vx.Kind() == reflect.Map) && 31*88d15eacSSasha Smundak (vx.Len() == 0 && vy.Len() == 0) 32*88d15eacSSasha Smundak} 33*88d15eacSSasha Smundak 34*88d15eacSSasha Smundak// EquateApprox returns a Comparer option that determines float32 or float64 35*88d15eacSSasha Smundak// values to be equal if they are within a relative fraction or absolute margin. 36*88d15eacSSasha Smundak// This option is not used when either x or y is NaN or infinite. 37*88d15eacSSasha Smundak// 38*88d15eacSSasha Smundak// The fraction determines that the difference of two values must be within the 39*88d15eacSSasha Smundak// smaller fraction of the two values, while the margin determines that the two 40*88d15eacSSasha Smundak// values must be within some absolute margin. 41*88d15eacSSasha Smundak// To express only a fraction or only a margin, use 0 for the other parameter. 42*88d15eacSSasha Smundak// The fraction and margin must be non-negative. 43*88d15eacSSasha Smundak// 44*88d15eacSSasha Smundak// The mathematical expression used is equivalent to: 45*88d15eacSSasha Smundak// 46*88d15eacSSasha Smundak// |x-y| ≤ max(fraction*min(|x|, |y|), margin) 47*88d15eacSSasha Smundak// 48*88d15eacSSasha Smundak// EquateApprox can be used in conjunction with EquateNaNs. 49*88d15eacSSasha Smundakfunc EquateApprox(fraction, margin float64) cmp.Option { 50*88d15eacSSasha Smundak if margin < 0 || fraction < 0 || math.IsNaN(margin) || math.IsNaN(fraction) { 51*88d15eacSSasha Smundak panic("margin or fraction must be a non-negative number") 52*88d15eacSSasha Smundak } 53*88d15eacSSasha Smundak a := approximator{fraction, margin} 54*88d15eacSSasha Smundak return cmp.Options{ 55*88d15eacSSasha Smundak cmp.FilterValues(areRealF64s, cmp.Comparer(a.compareF64)), 56*88d15eacSSasha Smundak cmp.FilterValues(areRealF32s, cmp.Comparer(a.compareF32)), 57*88d15eacSSasha Smundak } 58*88d15eacSSasha Smundak} 59*88d15eacSSasha Smundak 60*88d15eacSSasha Smundaktype approximator struct{ frac, marg float64 } 61*88d15eacSSasha Smundak 62*88d15eacSSasha Smundakfunc areRealF64s(x, y float64) bool { 63*88d15eacSSasha Smundak return !math.IsNaN(x) && !math.IsNaN(y) && !math.IsInf(x, 0) && !math.IsInf(y, 0) 64*88d15eacSSasha Smundak} 65*88d15eacSSasha Smundakfunc areRealF32s(x, y float32) bool { 66*88d15eacSSasha Smundak return areRealF64s(float64(x), float64(y)) 67*88d15eacSSasha Smundak} 68*88d15eacSSasha Smundakfunc (a approximator) compareF64(x, y float64) bool { 69*88d15eacSSasha Smundak relMarg := a.frac * math.Min(math.Abs(x), math.Abs(y)) 70*88d15eacSSasha Smundak return math.Abs(x-y) <= math.Max(a.marg, relMarg) 71*88d15eacSSasha Smundak} 72*88d15eacSSasha Smundakfunc (a approximator) compareF32(x, y float32) bool { 73*88d15eacSSasha Smundak return a.compareF64(float64(x), float64(y)) 74*88d15eacSSasha Smundak} 75*88d15eacSSasha Smundak 76*88d15eacSSasha Smundak// EquateNaNs returns a Comparer option that determines float32 and float64 77*88d15eacSSasha Smundak// NaN values to be equal. 78*88d15eacSSasha Smundak// 79*88d15eacSSasha Smundak// EquateNaNs can be used in conjunction with EquateApprox. 80*88d15eacSSasha Smundakfunc EquateNaNs() cmp.Option { 81*88d15eacSSasha Smundak return cmp.Options{ 82*88d15eacSSasha Smundak cmp.FilterValues(areNaNsF64s, cmp.Comparer(equateAlways)), 83*88d15eacSSasha Smundak cmp.FilterValues(areNaNsF32s, cmp.Comparer(equateAlways)), 84*88d15eacSSasha Smundak } 85*88d15eacSSasha Smundak} 86*88d15eacSSasha Smundak 87*88d15eacSSasha Smundakfunc areNaNsF64s(x, y float64) bool { 88*88d15eacSSasha Smundak return math.IsNaN(x) && math.IsNaN(y) 89*88d15eacSSasha Smundak} 90*88d15eacSSasha Smundakfunc areNaNsF32s(x, y float32) bool { 91*88d15eacSSasha Smundak return areNaNsF64s(float64(x), float64(y)) 92*88d15eacSSasha Smundak} 93*88d15eacSSasha Smundak 94*88d15eacSSasha Smundak// EquateApproxTime returns a Comparer option that determines two non-zero 95*88d15eacSSasha Smundak// time.Time values to be equal if they are within some margin of one another. 96*88d15eacSSasha Smundak// If both times have a monotonic clock reading, then the monotonic time 97*88d15eacSSasha Smundak// difference will be used. The margin must be non-negative. 98*88d15eacSSasha Smundakfunc EquateApproxTime(margin time.Duration) cmp.Option { 99*88d15eacSSasha Smundak if margin < 0 { 100*88d15eacSSasha Smundak panic("margin must be a non-negative number") 101*88d15eacSSasha Smundak } 102*88d15eacSSasha Smundak a := timeApproximator{margin} 103*88d15eacSSasha Smundak return cmp.FilterValues(areNonZeroTimes, cmp.Comparer(a.compare)) 104*88d15eacSSasha Smundak} 105*88d15eacSSasha Smundak 106*88d15eacSSasha Smundakfunc areNonZeroTimes(x, y time.Time) bool { 107*88d15eacSSasha Smundak return !x.IsZero() && !y.IsZero() 108*88d15eacSSasha Smundak} 109*88d15eacSSasha Smundak 110*88d15eacSSasha Smundaktype timeApproximator struct { 111*88d15eacSSasha Smundak margin time.Duration 112*88d15eacSSasha Smundak} 113*88d15eacSSasha Smundak 114*88d15eacSSasha Smundakfunc (a timeApproximator) compare(x, y time.Time) bool { 115*88d15eacSSasha Smundak // Avoid subtracting times to avoid overflow when the 116*88d15eacSSasha Smundak // difference is larger than the largest representable duration. 117*88d15eacSSasha Smundak if x.After(y) { 118*88d15eacSSasha Smundak // Ensure x is always before y 119*88d15eacSSasha Smundak x, y = y, x 120*88d15eacSSasha Smundak } 121*88d15eacSSasha Smundak // We're within the margin if x+margin >= y. 122*88d15eacSSasha Smundak // Note: time.Time doesn't have AfterOrEqual method hence the negation. 123*88d15eacSSasha Smundak return !x.Add(a.margin).Before(y) 124*88d15eacSSasha Smundak} 125*88d15eacSSasha Smundak 126*88d15eacSSasha Smundak// AnyError is an error that matches any non-nil error. 127*88d15eacSSasha Smundakvar AnyError anyError 128*88d15eacSSasha Smundak 129*88d15eacSSasha Smundaktype anyError struct{} 130*88d15eacSSasha Smundak 131*88d15eacSSasha Smundakfunc (anyError) Error() string { return "any error" } 132*88d15eacSSasha Smundakfunc (anyError) Is(err error) bool { return err != nil } 133*88d15eacSSasha Smundak 134*88d15eacSSasha Smundak// EquateErrors returns a Comparer option that determines errors to be equal 135*88d15eacSSasha Smundak// if errors.Is reports them to match. The AnyError error can be used to 136*88d15eacSSasha Smundak// match any non-nil error. 137*88d15eacSSasha Smundakfunc EquateErrors() cmp.Option { 138*88d15eacSSasha Smundak return cmp.FilterValues(areConcreteErrors, cmp.Comparer(compareErrors)) 139*88d15eacSSasha Smundak} 140*88d15eacSSasha Smundak 141*88d15eacSSasha Smundak// areConcreteErrors reports whether x and y are types that implement error. 142*88d15eacSSasha Smundak// The input types are deliberately of the interface{} type rather than the 143*88d15eacSSasha Smundak// error type so that we can handle situations where the current type is an 144*88d15eacSSasha Smundak// interface{}, but the underlying concrete types both happen to implement 145*88d15eacSSasha Smundak// the error interface. 146*88d15eacSSasha Smundakfunc areConcreteErrors(x, y interface{}) bool { 147*88d15eacSSasha Smundak _, ok1 := x.(error) 148*88d15eacSSasha Smundak _, ok2 := y.(error) 149*88d15eacSSasha Smundak return ok1 && ok2 150*88d15eacSSasha Smundak} 151*88d15eacSSasha Smundak 152*88d15eacSSasha Smundakfunc compareErrors(x, y interface{}) bool { 153*88d15eacSSasha Smundak xe := x.(error) 154*88d15eacSSasha Smundak ye := y.(error) 155*88d15eacSSasha Smundak return errors.Is(xe, ye) || errors.Is(ye, xe) 156*88d15eacSSasha Smundak} 157