xref: /aosp_15_r20/external/go-cmp/cmp/cmpopts/equate.go (revision 88d15eac089d7f20c739ff1001d56b91872b21a1)
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