1 // Protocol Buffers - Google's data interchange format
2 // Copyright 2008 Google Inc. All rights reserved.
3 // https://developers.google.com/protocol-buffers/
4 //
5 // Redistribution and use in source and binary forms, with or without
6 // modification, are permitted provided that the following conditions are
7 // met:
8 //
9 // * Redistributions of source code must retain the above copyright
10 // notice, this list of conditions and the following disclaimer.
11 // * Redistributions in binary form must reproduce the above
12 // copyright notice, this list of conditions and the following disclaimer
13 // in the documentation and/or other materials provided with the
14 // distribution.
15 // * Neither the name of Google Inc. nor the names of its
16 // contributors may be used to endorse or promote products derived from
17 // this software without specific prior written permission.
18 //
19 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
20 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
21 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
22 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
23 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
25 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
26 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
27 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
28 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30
31 // Author: ksroka@google.com (Krzysztof Sroka)
32
33 #include <google/protobuf/util/field_comparator.h>
34
35 #include <limits>
36 #include <string>
37
38 #include <google/protobuf/descriptor.h>
39 #include <google/protobuf/message.h>
40 #include <google/protobuf/util/message_differencer.h>
41 #include <google/protobuf/stubs/map_util.h>
42 #include <google/protobuf/stubs/mathutil.h>
43
44 namespace google {
45 namespace protobuf {
46 namespace util {
47
FieldComparator()48 FieldComparator::FieldComparator() {}
~FieldComparator()49 FieldComparator::~FieldComparator() {}
50
DefaultFieldComparator()51 DefaultFieldComparator::DefaultFieldComparator()
52 : float_comparison_(EXACT),
53 treat_nan_as_equal_(false),
54 has_default_tolerance_(false) {}
55
~DefaultFieldComparator()56 DefaultFieldComparator::~DefaultFieldComparator() {}
57
Compare(const Message & message_1,const Message & message_2,const FieldDescriptor * field,int index_1,int index_2,const util::FieldContext * field_context)58 FieldComparator::ComparisonResult DefaultFieldComparator::Compare(
59 const Message& message_1, const Message& message_2,
60 const FieldDescriptor* field, int index_1, int index_2,
61 const util::FieldContext* field_context) {
62 const Reflection* reflection_1 = message_1.GetReflection();
63 const Reflection* reflection_2 = message_2.GetReflection();
64
65 switch (field->cpp_type()) {
66 #define COMPARE_FIELD(METHOD) \
67 if (field->is_repeated()) { \
68 return ResultFromBoolean(Compare##METHOD( \
69 *field, reflection_1->GetRepeated##METHOD(message_1, field, index_1), \
70 reflection_2->GetRepeated##METHOD(message_2, field, index_2))); \
71 } else { \
72 return ResultFromBoolean( \
73 Compare##METHOD(*field, reflection_1->Get##METHOD(message_1, field), \
74 reflection_2->Get##METHOD(message_2, field))); \
75 } \
76 break; // Make sure no fall-through is introduced.
77
78 case FieldDescriptor::CPPTYPE_BOOL:
79 COMPARE_FIELD(Bool);
80 case FieldDescriptor::CPPTYPE_DOUBLE:
81 COMPARE_FIELD(Double);
82 case FieldDescriptor::CPPTYPE_ENUM:
83 COMPARE_FIELD(Enum);
84 case FieldDescriptor::CPPTYPE_FLOAT:
85 COMPARE_FIELD(Float);
86 case FieldDescriptor::CPPTYPE_INT32:
87 COMPARE_FIELD(Int32);
88 case FieldDescriptor::CPPTYPE_INT64:
89 COMPARE_FIELD(Int64);
90 case FieldDescriptor::CPPTYPE_STRING:
91 if (field->is_repeated()) {
92 // Allocate scratch strings to store the result if a conversion is
93 // needed.
94 std::string scratch1;
95 std::string scratch2;
96 return ResultFromBoolean(
97 CompareString(*field,
98 reflection_1->GetRepeatedStringReference(
99 message_1, field, index_1, &scratch1),
100 reflection_2->GetRepeatedStringReference(
101 message_2, field, index_2, &scratch2)));
102 } else {
103 // Allocate scratch strings to store the result if a conversion is
104 // needed.
105 std::string scratch1;
106 std::string scratch2;
107 return ResultFromBoolean(CompareString(
108 *field,
109 reflection_1->GetStringReference(message_1, field, &scratch1),
110 reflection_2->GetStringReference(message_2, field, &scratch2)));
111 }
112 break;
113 case FieldDescriptor::CPPTYPE_UINT32:
114 COMPARE_FIELD(UInt32);
115 case FieldDescriptor::CPPTYPE_UINT64:
116 COMPARE_FIELD(UInt64);
117
118 #undef COMPARE_FIELD
119
120 case FieldDescriptor::CPPTYPE_MESSAGE:
121 return RECURSE;
122
123 default:
124 GOOGLE_LOG(FATAL) << "No comparison code for field " << field->full_name()
125 << " of CppType = " << field->cpp_type();
126 return DIFFERENT;
127 }
128 }
129
Compare(MessageDifferencer * differencer,const Message & message1,const Message & message2,const util::FieldContext * field_context)130 bool DefaultFieldComparator::Compare(MessageDifferencer* differencer,
131 const Message& message1,
132 const Message& message2,
133 const util::FieldContext* field_context) {
134 return differencer->Compare(message1, message2,
135 field_context->parent_fields());
136 }
137
SetDefaultFractionAndMargin(double fraction,double margin)138 void DefaultFieldComparator::SetDefaultFractionAndMargin(double fraction,
139 double margin) {
140 default_tolerance_ = Tolerance(fraction, margin);
141 has_default_tolerance_ = true;
142 }
143
SetFractionAndMargin(const FieldDescriptor * field,double fraction,double margin)144 void DefaultFieldComparator::SetFractionAndMargin(const FieldDescriptor* field,
145 double fraction,
146 double margin) {
147 GOOGLE_CHECK(FieldDescriptor::CPPTYPE_FLOAT == field->cpp_type() ||
148 FieldDescriptor::CPPTYPE_DOUBLE == field->cpp_type())
149 << "Field has to be float or double type. Field name is: "
150 << field->full_name();
151 map_tolerance_[field] = Tolerance(fraction, margin);
152 }
153
CompareDouble(const FieldDescriptor & field,double value_1,double value_2)154 bool DefaultFieldComparator::CompareDouble(const FieldDescriptor& field,
155 double value_1, double value_2) {
156 return CompareDoubleOrFloat(field, value_1, value_2);
157 }
158
CompareEnum(const FieldDescriptor & field,const EnumValueDescriptor * value_1,const EnumValueDescriptor * value_2)159 bool DefaultFieldComparator::CompareEnum(const FieldDescriptor& field,
160 const EnumValueDescriptor* value_1,
161 const EnumValueDescriptor* value_2) {
162 return value_1->number() == value_2->number();
163 }
164
CompareFloat(const FieldDescriptor & field,float value_1,float value_2)165 bool DefaultFieldComparator::CompareFloat(const FieldDescriptor& field,
166 float value_1, float value_2) {
167 return CompareDoubleOrFloat(field, value_1, value_2);
168 }
169
170 template <typename T>
CompareDoubleOrFloat(const FieldDescriptor & field,T value_1,T value_2)171 bool DefaultFieldComparator::CompareDoubleOrFloat(const FieldDescriptor& field,
172 T value_1, T value_2) {
173 if (value_1 == value_2) {
174 // Covers +inf and -inf (which are not within margin or fraction of
175 // themselves), and is a shortcut for finite values.
176 return true;
177 } else if (float_comparison_ == EXACT) {
178 if (treat_nan_as_equal_ && std::isnan(value_1) && std::isnan(value_2)) {
179 return true;
180 }
181 return false;
182 } else {
183 if (treat_nan_as_equal_ && std::isnan(value_1) && std::isnan(value_2)) {
184 return true;
185 }
186 // float_comparison_ == APPROXIMATE covers two use cases.
187 Tolerance* tolerance = FindOrNull(map_tolerance_, &field);
188 if (tolerance == NULL && has_default_tolerance_) {
189 tolerance = &default_tolerance_;
190 }
191 if (tolerance == NULL) {
192 return MathUtil::AlmostEquals(value_1, value_2);
193 } else {
194 // Use user-provided fraction and margin. Since they are stored as
195 // doubles, we explicitly cast them to types of values provided. This
196 // is very likely to fail if provided values are not numeric.
197 return MathUtil::WithinFractionOrMargin(
198 value_1, value_2, static_cast<T>(tolerance->fraction),
199 static_cast<T>(tolerance->margin));
200 }
201 }
202 }
203
ResultFromBoolean(bool boolean_result) const204 FieldComparator::ComparisonResult DefaultFieldComparator::ResultFromBoolean(
205 bool boolean_result) const {
206 return boolean_result ? FieldComparator::SAME : FieldComparator::DIFFERENT;
207 }
208
209 } // namespace util
210 } // namespace protobuf
211 } // namespace google
212