• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2015 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 #include "ResourceValues.h"
18 
19 #include <algorithm>
20 #include <cinttypes>
21 #include <limits>
22 #include <set>
23 #include <sstream>
24 
25 #include "android-base/stringprintf.h"
26 #include "androidfw/ResourceTypes.h"
27 
28 #include "Resource.h"
29 #include "ResourceUtils.h"
30 #include "ValueVisitor.h"
31 #include "util/Util.h"
32 
33 using ::aapt::text::Printer;
34 using ::android::StringPiece;
35 using ::android::base::StringPrintf;
36 
37 namespace aapt {
38 
PrettyPrint(Printer * printer) const39 void Value::PrettyPrint(Printer* printer) const {
40   std::ostringstream str_stream;
41   Print(&str_stream);
42   printer->Print(str_stream.str());
43 }
44 
operator <<(std::ostream & out,const Value & value)45 std::ostream& operator<<(std::ostream& out, const Value& value) {
46   value.Print(&out);
47   return out;
48 }
49 
50 template <typename Derived>
Accept(ValueVisitor * visitor)51 void BaseValue<Derived>::Accept(ValueVisitor* visitor) {
52   visitor->Visit(static_cast<Derived*>(this));
53 }
54 
55 template <typename Derived>
Accept(ConstValueVisitor * visitor) const56 void BaseValue<Derived>::Accept(ConstValueVisitor* visitor) const {
57   visitor->Visit(static_cast<const Derived*>(this));
58 }
59 
60 template <typename Derived>
Accept(ValueVisitor * visitor)61 void BaseItem<Derived>::Accept(ValueVisitor* visitor) {
62   visitor->Visit(static_cast<Derived*>(this));
63 }
64 
65 template <typename Derived>
Accept(ConstValueVisitor * visitor) const66 void BaseItem<Derived>::Accept(ConstValueVisitor* visitor) const {
67   visitor->Visit(static_cast<const Derived*>(this));
68 }
69 
RawString(const StringPool::Ref & ref)70 RawString::RawString(const StringPool::Ref& ref) : value(ref) {}
71 
Equals(const Value * value) const72 bool RawString::Equals(const Value* value) const {
73   const RawString* other = ValueCast<RawString>(value);
74   if (!other) {
75     return false;
76   }
77   return *this->value == *other->value;
78 }
79 
Clone(StringPool * new_pool) const80 RawString* RawString::Clone(StringPool* new_pool) const {
81   RawString* rs = new RawString(new_pool->MakeRef(value));
82   rs->comment_ = comment_;
83   rs->source_ = source_;
84   return rs;
85 }
86 
Flatten(android::Res_value * out_value) const87 bool RawString::Flatten(android::Res_value* out_value) const {
88   out_value->dataType = android::Res_value::TYPE_STRING;
89   out_value->data = util::HostToDevice32(static_cast<uint32_t>(value.index()));
90   return true;
91 }
92 
Print(std::ostream * out) const93 void RawString::Print(std::ostream* out) const {
94   *out << "(raw string) " << *value;
95 }
96 
Reference()97 Reference::Reference() : reference_type(Type::kResource) {}
98 
Reference(const ResourceNameRef & n,Type t)99 Reference::Reference(const ResourceNameRef& n, Type t)
100     : name(n.ToResourceName()), reference_type(t) {}
101 
Reference(const ResourceId & i,Type type)102 Reference::Reference(const ResourceId& i, Type type)
103     : id(i), reference_type(type) {}
104 
Reference(const ResourceNameRef & n,const ResourceId & i)105 Reference::Reference(const ResourceNameRef& n, const ResourceId& i)
106     : name(n.ToResourceName()), id(i), reference_type(Type::kResource) {}
107 
Equals(const Value * value) const108 bool Reference::Equals(const Value* value) const {
109   const Reference* other = ValueCast<Reference>(value);
110   if (!other) {
111     return false;
112   }
113   return reference_type == other->reference_type &&
114          private_reference == other->private_reference && id == other->id &&
115          name == other->name;
116 }
117 
Flatten(android::Res_value * out_value) const118 bool Reference::Flatten(android::Res_value* out_value) const {
119   const ResourceId resid = id.value_or_default(ResourceId(0));
120   const bool dynamic = resid.is_valid_dynamic() && is_dynamic;
121 
122   if (reference_type == Reference::Type::kResource) {
123     if (dynamic) {
124       out_value->dataType = android::Res_value::TYPE_DYNAMIC_REFERENCE;
125     } else {
126       out_value->dataType = android::Res_value::TYPE_REFERENCE;
127     }
128   } else {
129     if (dynamic) {
130       out_value->dataType = android::Res_value::TYPE_DYNAMIC_ATTRIBUTE;
131     } else {
132       out_value->dataType = android::Res_value::TYPE_ATTRIBUTE;
133     }
134   }
135   out_value->data = util::HostToDevice32(resid.id);
136   return true;
137 }
138 
Clone(StringPool *) const139 Reference* Reference::Clone(StringPool* /*new_pool*/) const {
140   return new Reference(*this);
141 }
142 
Print(std::ostream * out) const143 void Reference::Print(std::ostream* out) const {
144   if (reference_type == Type::kResource) {
145     *out << "(reference) @";
146     if (!name && !id) {
147       *out << "null";
148       return;
149     }
150   } else {
151     *out << "(attr-reference) ?";
152   }
153 
154   if (private_reference) {
155     *out << "*";
156   }
157 
158   if (name) {
159     *out << name.value();
160   }
161 
162   if (id && id.value().is_valid_dynamic()) {
163     if (name) {
164       *out << " ";
165     }
166     *out << id.value();
167   }
168 }
169 
PrettyPrintReferenceImpl(const Reference & ref,bool print_package,Printer * printer)170 static void PrettyPrintReferenceImpl(const Reference& ref, bool print_package, Printer* printer) {
171   switch (ref.reference_type) {
172     case Reference::Type::kResource:
173       printer->Print("@");
174       break;
175 
176     case Reference::Type::kAttribute:
177       printer->Print("?");
178       break;
179   }
180 
181   if (!ref.name && !ref.id) {
182     printer->Print("null");
183     return;
184   }
185 
186   if (ref.private_reference) {
187     printer->Print("*");
188   }
189 
190   if (ref.name) {
191     const ResourceName& name = ref.name.value();
192     if (print_package) {
193       printer->Print(name.to_string());
194     } else {
195       printer->Print(to_string(name.type));
196       printer->Print("/");
197       printer->Print(name.entry);
198     }
199   } else if (ref.id && ref.id.value().is_valid_dynamic()) {
200     printer->Print(ref.id.value().to_string());
201   }
202 }
203 
PrettyPrint(Printer * printer) const204 void Reference::PrettyPrint(Printer* printer) const {
205   PrettyPrintReferenceImpl(*this, true /*print_package*/, printer);
206 }
207 
PrettyPrint(const StringPiece & package,Printer * printer) const208 void Reference::PrettyPrint(const StringPiece& package, Printer* printer) const {
209   const bool print_package = name ? package != name.value().package : true;
210   PrettyPrintReferenceImpl(*this, print_package, printer);
211 }
212 
Equals(const Value * value) const213 bool Id::Equals(const Value* value) const {
214   return ValueCast<Id>(value) != nullptr;
215 }
216 
Flatten(android::Res_value * out) const217 bool Id::Flatten(android::Res_value* out) const {
218   out->dataType = android::Res_value::TYPE_INT_BOOLEAN;
219   out->data = util::HostToDevice32(0);
220   return true;
221 }
222 
Clone(StringPool *) const223 Id* Id::Clone(StringPool* /*new_pool*/) const {
224   return new Id(*this);
225 }
226 
Print(std::ostream * out) const227 void Id::Print(std::ostream* out) const {
228   *out << "(id)";
229 }
230 
String(const StringPool::Ref & ref)231 String::String(const StringPool::Ref& ref) : value(ref) {
232 }
233 
Equals(const Value * value) const234 bool String::Equals(const Value* value) const {
235   const String* other = ValueCast<String>(value);
236   if (!other) {
237     return false;
238   }
239 
240   if (this->value != other->value) {
241     return false;
242   }
243 
244   if (untranslatable_sections.size() != other->untranslatable_sections.size()) {
245     return false;
246   }
247 
248   auto other_iter = other->untranslatable_sections.begin();
249   for (const UntranslatableSection& this_section : untranslatable_sections) {
250     if (this_section != *other_iter) {
251       return false;
252     }
253     ++other_iter;
254   }
255   return true;
256 }
257 
Flatten(android::Res_value * out_value) const258 bool String::Flatten(android::Res_value* out_value) const {
259   // Verify that our StringPool index is within encode-able limits.
260   if (value.index() > std::numeric_limits<uint32_t>::max()) {
261     return false;
262   }
263 
264   out_value->dataType = android::Res_value::TYPE_STRING;
265   out_value->data = util::HostToDevice32(static_cast<uint32_t>(value.index()));
266   return true;
267 }
268 
Clone(StringPool * new_pool) const269 String* String::Clone(StringPool* new_pool) const {
270   String* str = new String(new_pool->MakeRef(value));
271   str->comment_ = comment_;
272   str->source_ = source_;
273   str->untranslatable_sections = untranslatable_sections;
274   return str;
275 }
276 
Print(std::ostream * out) const277 void String::Print(std::ostream* out) const {
278   *out << "(string) \"" << *value << "\"";
279 }
280 
PrettyPrint(Printer * printer) const281 void String::PrettyPrint(Printer* printer) const {
282   printer->Print("\"");
283   printer->Print(*value);
284   printer->Print("\"");
285 }
286 
StyledString(const StringPool::StyleRef & ref)287 StyledString::StyledString(const StringPool::StyleRef& ref) : value(ref) {
288 }
289 
Equals(const Value * value) const290 bool StyledString::Equals(const Value* value) const {
291   const StyledString* other = ValueCast<StyledString>(value);
292   if (!other) {
293     return false;
294   }
295 
296   if (this->value != other->value) {
297     return false;
298   }
299 
300   if (untranslatable_sections.size() != other->untranslatable_sections.size()) {
301     return false;
302   }
303 
304   auto other_iter = other->untranslatable_sections.begin();
305   for (const UntranslatableSection& this_section : untranslatable_sections) {
306     if (this_section != *other_iter) {
307       return false;
308     }
309     ++other_iter;
310   }
311   return true;
312 }
313 
Flatten(android::Res_value * out_value) const314 bool StyledString::Flatten(android::Res_value* out_value) const {
315   if (value.index() > std::numeric_limits<uint32_t>::max()) {
316     return false;
317   }
318 
319   out_value->dataType = android::Res_value::TYPE_STRING;
320   out_value->data = util::HostToDevice32(static_cast<uint32_t>(value.index()));
321   return true;
322 }
323 
Clone(StringPool * new_pool) const324 StyledString* StyledString::Clone(StringPool* new_pool) const {
325   StyledString* str = new StyledString(new_pool->MakeRef(value));
326   str->comment_ = comment_;
327   str->source_ = source_;
328   str->untranslatable_sections = untranslatable_sections;
329   return str;
330 }
331 
Print(std::ostream * out) const332 void StyledString::Print(std::ostream* out) const {
333   *out << "(styled string) \"" << value->value << "\"";
334   for (const StringPool::Span& span : value->spans) {
335     *out << " " << *span.name << ":" << span.first_char << "," << span.last_char;
336   }
337 }
338 
FileReference(const StringPool::Ref & _path)339 FileReference::FileReference(const StringPool::Ref& _path) : path(_path) {
340 }
341 
Equals(const Value * value) const342 bool FileReference::Equals(const Value* value) const {
343   const FileReference* other = ValueCast<FileReference>(value);
344   if (!other) {
345     return false;
346   }
347   return path == other->path;
348 }
349 
Flatten(android::Res_value * out_value) const350 bool FileReference::Flatten(android::Res_value* out_value) const {
351   if (path.index() > std::numeric_limits<uint32_t>::max()) {
352     return false;
353   }
354 
355   out_value->dataType = android::Res_value::TYPE_STRING;
356   out_value->data = util::HostToDevice32(static_cast<uint32_t>(path.index()));
357   return true;
358 }
359 
Clone(StringPool * new_pool) const360 FileReference* FileReference::Clone(StringPool* new_pool) const {
361   FileReference* fr = new FileReference(new_pool->MakeRef(path));
362   fr->file = file;
363   fr->type = type;
364   fr->comment_ = comment_;
365   fr->source_ = source_;
366   return fr;
367 }
368 
Print(std::ostream * out) const369 void FileReference::Print(std::ostream* out) const {
370   *out << "(file) " << *path;
371   switch (type) {
372     case ResourceFile::Type::kBinaryXml:
373       *out << " type=XML";
374       break;
375     case ResourceFile::Type::kProtoXml:
376       *out << " type=protoXML";
377       break;
378     case ResourceFile::Type::kPng:
379       *out << " type=PNG";
380       break;
381     default:
382       break;
383   }
384 }
385 
BinaryPrimitive(const android::Res_value & val)386 BinaryPrimitive::BinaryPrimitive(const android::Res_value& val) : value(val) {
387 }
388 
BinaryPrimitive(uint8_t dataType,uint32_t data)389 BinaryPrimitive::BinaryPrimitive(uint8_t dataType, uint32_t data) {
390   value.dataType = dataType;
391   value.data = data;
392 }
393 
Equals(const Value * value) const394 bool BinaryPrimitive::Equals(const Value* value) const {
395   const BinaryPrimitive* other = ValueCast<BinaryPrimitive>(value);
396   if (!other) {
397     return false;
398   }
399   return this->value.dataType == other->value.dataType &&
400          this->value.data == other->value.data;
401 }
402 
Flatten(::android::Res_value * out_value) const403 bool BinaryPrimitive::Flatten(::android::Res_value* out_value) const {
404   out_value->dataType = value.dataType;
405   out_value->data = util::HostToDevice32(value.data);
406   return true;
407 }
408 
Clone(StringPool *) const409 BinaryPrimitive* BinaryPrimitive::Clone(StringPool* /*new_pool*/) const {
410   return new BinaryPrimitive(*this);
411 }
412 
Print(std::ostream * out) const413 void BinaryPrimitive::Print(std::ostream* out) const {
414   *out << StringPrintf("(primitive) type=0x%02x data=0x%08x", value.dataType, value.data);
415 }
416 
ComplexToString(uint32_t complex_value,bool fraction)417 static std::string ComplexToString(uint32_t complex_value, bool fraction) {
418   using ::android::Res_value;
419 
420   constexpr std::array<int, 4> kRadixShifts = {{23, 16, 8, 0}};
421 
422   // Determine the radix that was used.
423   const uint32_t radix =
424       (complex_value >> Res_value::COMPLEX_RADIX_SHIFT) & Res_value::COMPLEX_RADIX_MASK;
425   const uint64_t mantissa = uint64_t{(complex_value >> Res_value::COMPLEX_MANTISSA_SHIFT) &
426                                      Res_value::COMPLEX_MANTISSA_MASK}
427                             << kRadixShifts[radix];
428   const float value = mantissa * (1.0f / (1 << 23));
429 
430   std::string str = StringPrintf("%f", value);
431 
432   const int unit_type =
433       (complex_value >> Res_value::COMPLEX_UNIT_SHIFT) & Res_value::COMPLEX_UNIT_MASK;
434   if (fraction) {
435     switch (unit_type) {
436       case Res_value::COMPLEX_UNIT_FRACTION:
437         str += "%";
438         break;
439       case Res_value::COMPLEX_UNIT_FRACTION_PARENT:
440         str += "%p";
441         break;
442       default:
443         str += "???";
444         break;
445     }
446   } else {
447     switch (unit_type) {
448       case Res_value::COMPLEX_UNIT_PX:
449         str += "px";
450         break;
451       case Res_value::COMPLEX_UNIT_DIP:
452         str += "dp";
453         break;
454       case Res_value::COMPLEX_UNIT_SP:
455         str += "sp";
456         break;
457       case Res_value::COMPLEX_UNIT_PT:
458         str += "pt";
459         break;
460       case Res_value::COMPLEX_UNIT_IN:
461         str += "in";
462         break;
463       case Res_value::COMPLEX_UNIT_MM:
464         str += "mm";
465         break;
466       default:
467         str += "???";
468         break;
469     }
470   }
471   return str;
472 }
473 
PrettyPrint(Printer * printer) const474 void BinaryPrimitive::PrettyPrint(Printer* printer) const {
475   using ::android::Res_value;
476   switch (value.dataType) {
477     case Res_value::TYPE_NULL:
478       if (value.data == Res_value::DATA_NULL_EMPTY) {
479         printer->Print("@empty");
480       } else {
481         printer->Print("@null");
482       }
483       break;
484 
485     case Res_value::TYPE_INT_DEC:
486       printer->Print(StringPrintf("%" PRIi32, static_cast<int32_t>(value.data)));
487       break;
488 
489     case Res_value::TYPE_INT_HEX:
490       printer->Print(StringPrintf("0x%08x", value.data));
491       break;
492 
493     case Res_value::TYPE_INT_BOOLEAN:
494       printer->Print(value.data != 0 ? "true" : "false");
495       break;
496 
497     case Res_value::TYPE_INT_COLOR_ARGB8:
498     case Res_value::TYPE_INT_COLOR_RGB8:
499     case Res_value::TYPE_INT_COLOR_ARGB4:
500     case Res_value::TYPE_INT_COLOR_RGB4:
501       printer->Print(StringPrintf("#%08x", value.data));
502       break;
503 
504     case Res_value::TYPE_FLOAT:
505       printer->Print(StringPrintf("%g", *reinterpret_cast<const float*>(&value.data)));
506       break;
507 
508     case Res_value::TYPE_DIMENSION:
509       printer->Print(ComplexToString(value.data, false /*fraction*/));
510       break;
511 
512     case Res_value::TYPE_FRACTION:
513       printer->Print(ComplexToString(value.data, true /*fraction*/));
514       break;
515 
516     default:
517       printer->Print(StringPrintf("(unknown 0x%02x) 0x%08x", value.dataType, value.data));
518       break;
519   }
520 }
521 
Attribute(uint32_t t)522 Attribute::Attribute(uint32_t t)
523     : type_mask(t),
524       min_int(std::numeric_limits<int32_t>::min()),
525       max_int(std::numeric_limits<int32_t>::max()) {
526 }
527 
operator <<(std::ostream & out,const Attribute::Symbol & s)528 std::ostream& operator<<(std::ostream& out, const Attribute::Symbol& s) {
529   if (s.symbol.name) {
530     out << s.symbol.name.value().entry;
531   } else {
532     out << "???";
533   }
534   return out << "=" << s.value;
535 }
536 
537 template <typename T>
add_pointer(T & val)538 constexpr T* add_pointer(T& val) {
539   return &val;
540 }
541 
Equals(const Value * value) const542 bool Attribute::Equals(const Value* value) const {
543   const Attribute* other = ValueCast<Attribute>(value);
544   if (!other) {
545     return false;
546   }
547 
548   if (symbols.size() != other->symbols.size()) {
549     return false;
550   }
551 
552   if (type_mask != other->type_mask || min_int != other->min_int || max_int != other->max_int) {
553     return false;
554   }
555 
556   std::vector<const Symbol*> sorted_a;
557   std::transform(symbols.begin(), symbols.end(), std::back_inserter(sorted_a),
558                  add_pointer<const Symbol>);
559   std::sort(sorted_a.begin(), sorted_a.end(), [](const Symbol* a, const Symbol* b) -> bool {
560     return a->symbol.name < b->symbol.name;
561   });
562 
563   std::vector<const Symbol*> sorted_b;
564   std::transform(other->symbols.begin(), other->symbols.end(), std::back_inserter(sorted_b),
565                  add_pointer<const Symbol>);
566   std::sort(sorted_b.begin(), sorted_b.end(), [](const Symbol* a, const Symbol* b) -> bool {
567     return a->symbol.name < b->symbol.name;
568   });
569 
570   return std::equal(sorted_a.begin(), sorted_a.end(), sorted_b.begin(),
571                     [](const Symbol* a, const Symbol* b) -> bool {
572                       return a->symbol.Equals(&b->symbol) && a->value == b->value;
573                     });
574 }
575 
IsCompatibleWith(const Attribute & attr) const576 bool Attribute::IsCompatibleWith(const Attribute& attr) const {
577   if (Equals(&attr)) {
578     return true;
579   }
580 
581   // If the high bits are set on any of these attribute type masks, then they are incompatible.
582   // We don't check that flags and enums are identical.
583   if ((type_mask & ~android::ResTable_map::TYPE_ANY) != 0 ||
584       (attr.type_mask & ~android::ResTable_map::TYPE_ANY) != 0) {
585     return false;
586   }
587 
588   // Every attribute accepts a reference.
589   uint32_t this_type_mask = type_mask | android::ResTable_map::TYPE_REFERENCE;
590   uint32_t that_type_mask = attr.type_mask | android::ResTable_map::TYPE_REFERENCE;
591   return this_type_mask == that_type_mask;
592 }
593 
Clone(StringPool *) const594 Attribute* Attribute::Clone(StringPool* /*new_pool*/) const {
595   return new Attribute(*this);
596 }
597 
MaskString() const598 std::string Attribute::MaskString() const {
599   if (type_mask == android::ResTable_map::TYPE_ANY) {
600     return "any";
601   }
602 
603   std::ostringstream out;
604   bool set = false;
605   if ((type_mask & android::ResTable_map::TYPE_REFERENCE) != 0) {
606     if (!set) {
607       set = true;
608     } else {
609       out << "|";
610     }
611     out << "reference";
612   }
613 
614   if ((type_mask & android::ResTable_map::TYPE_STRING) != 0) {
615     if (!set) {
616       set = true;
617     } else {
618       out << "|";
619     }
620     out << "string";
621   }
622 
623   if ((type_mask & android::ResTable_map::TYPE_INTEGER) != 0) {
624     if (!set) {
625       set = true;
626     } else {
627       out << "|";
628     }
629     out << "integer";
630   }
631 
632   if ((type_mask & android::ResTable_map::TYPE_BOOLEAN) != 0) {
633     if (!set) {
634       set = true;
635     } else {
636       out << "|";
637     }
638     out << "boolean";
639   }
640 
641   if ((type_mask & android::ResTable_map::TYPE_COLOR) != 0) {
642     if (!set) {
643       set = true;
644     } else {
645       out << "|";
646     }
647     out << "color";
648   }
649 
650   if ((type_mask & android::ResTable_map::TYPE_FLOAT) != 0) {
651     if (!set) {
652       set = true;
653     } else {
654       out << "|";
655     }
656     out << "float";
657   }
658 
659   if ((type_mask & android::ResTable_map::TYPE_DIMENSION) != 0) {
660     if (!set) {
661       set = true;
662     } else {
663       out << "|";
664     }
665     out << "dimension";
666   }
667 
668   if ((type_mask & android::ResTable_map::TYPE_FRACTION) != 0) {
669     if (!set) {
670       set = true;
671     } else {
672       out << "|";
673     }
674     out << "fraction";
675   }
676 
677   if ((type_mask & android::ResTable_map::TYPE_ENUM) != 0) {
678     if (!set) {
679       set = true;
680     } else {
681       out << "|";
682     }
683     out << "enum";
684   }
685 
686   if ((type_mask & android::ResTable_map::TYPE_FLAGS) != 0) {
687     if (!set) {
688       set = true;
689     } else {
690       out << "|";
691     }
692     out << "flags";
693   }
694   return out.str();
695 }
696 
Print(std::ostream * out) const697 void Attribute::Print(std::ostream* out) const {
698   *out << "(attr) " << MaskString();
699 
700   if (!symbols.empty()) {
701     *out << " [" << util::Joiner(symbols, ", ") << "]";
702   }
703 
704   if (min_int != std::numeric_limits<int32_t>::min()) {
705     *out << " min=" << min_int;
706   }
707 
708   if (max_int != std::numeric_limits<int32_t>::max()) {
709     *out << " max=" << max_int;
710   }
711 
712   if (IsWeak()) {
713     *out << " [weak]";
714   }
715 }
716 
BuildAttributeMismatchMessage(const Attribute & attr,const Item & value,DiagMessage * out_msg)717 static void BuildAttributeMismatchMessage(const Attribute& attr, const Item& value,
718                                           DiagMessage* out_msg) {
719   *out_msg << "expected";
720   if (attr.type_mask & android::ResTable_map::TYPE_BOOLEAN) {
721     *out_msg << " boolean";
722   }
723 
724   if (attr.type_mask & android::ResTable_map::TYPE_COLOR) {
725     *out_msg << " color";
726   }
727 
728   if (attr.type_mask & android::ResTable_map::TYPE_DIMENSION) {
729     *out_msg << " dimension";
730   }
731 
732   if (attr.type_mask & android::ResTable_map::TYPE_ENUM) {
733     *out_msg << " enum";
734   }
735 
736   if (attr.type_mask & android::ResTable_map::TYPE_FLAGS) {
737     *out_msg << " flags";
738   }
739 
740   if (attr.type_mask & android::ResTable_map::TYPE_FLOAT) {
741     *out_msg << " float";
742   }
743 
744   if (attr.type_mask & android::ResTable_map::TYPE_FRACTION) {
745     *out_msg << " fraction";
746   }
747 
748   if (attr.type_mask & android::ResTable_map::TYPE_INTEGER) {
749     *out_msg << " integer";
750   }
751 
752   if (attr.type_mask & android::ResTable_map::TYPE_REFERENCE) {
753     *out_msg << " reference";
754   }
755 
756   if (attr.type_mask & android::ResTable_map::TYPE_STRING) {
757     *out_msg << " string";
758   }
759 
760   *out_msg << " but got " << value;
761 }
762 
Matches(const Item & item,DiagMessage * out_msg) const763 bool Attribute::Matches(const Item& item, DiagMessage* out_msg) const {
764   constexpr const uint32_t TYPE_ENUM = android::ResTable_map::TYPE_ENUM;
765   constexpr const uint32_t TYPE_FLAGS = android::ResTable_map::TYPE_FLAGS;
766   constexpr const uint32_t TYPE_INTEGER = android::ResTable_map::TYPE_INTEGER;
767   constexpr const uint32_t TYPE_REFERENCE = android::ResTable_map::TYPE_REFERENCE;
768 
769   android::Res_value val = {};
770   item.Flatten(&val);
771 
772   const uint32_t flattened_data = util::DeviceToHost32(val.data);
773 
774   // Always allow references.
775   const uint32_t actual_type = ResourceUtils::AndroidTypeToAttributeTypeMask(val.dataType);
776 
777   // Only one type must match between the actual and expected.
778   if ((actual_type & (type_mask | TYPE_REFERENCE)) == 0) {
779     if (out_msg) {
780       BuildAttributeMismatchMessage(*this, item, out_msg);
781     }
782     return false;
783   }
784 
785   // Enums and flags are encoded as integers, so check them first before doing any range checks.
786   if ((type_mask & TYPE_ENUM) != 0 && (actual_type & TYPE_ENUM) != 0) {
787     for (const Symbol& s : symbols) {
788       if (flattened_data == s.value) {
789         return true;
790       }
791     }
792 
793     // If the attribute accepts integers, we can't fail here.
794     if ((type_mask & TYPE_INTEGER) == 0) {
795       if (out_msg) {
796         *out_msg << item << " is not a valid enum";
797       }
798       return false;
799     }
800   }
801 
802   if ((type_mask & TYPE_FLAGS) != 0 && (actual_type & TYPE_FLAGS) != 0) {
803     uint32_t mask = 0u;
804     for (const Symbol& s : symbols) {
805       mask |= s.value;
806     }
807 
808     // Check if the flattened data is covered by the flag bit mask.
809     // If the attribute accepts integers, we can't fail here.
810     if ((mask & flattened_data) == flattened_data) {
811       return true;
812     } else if ((type_mask & TYPE_INTEGER) == 0) {
813       if (out_msg) {
814         *out_msg << item << " is not a valid flag";
815       }
816       return false;
817     }
818   }
819 
820   // Finally check the integer range of the value.
821   if ((type_mask & TYPE_INTEGER) != 0 && (actual_type & TYPE_INTEGER) != 0) {
822     if (static_cast<int32_t>(flattened_data) < min_int) {
823       if (out_msg) {
824         *out_msg << item << " is less than minimum integer " << min_int;
825       }
826       return false;
827     } else if (static_cast<int32_t>(flattened_data) > max_int) {
828       if (out_msg) {
829         *out_msg << item << " is greater than maximum integer " << max_int;
830       }
831       return false;
832     }
833   }
834   return true;
835 }
836 
operator <<(std::ostream & out,const Style::Entry & entry)837 std::ostream& operator<<(std::ostream& out, const Style::Entry& entry) {
838   if (entry.key.name) {
839     out << entry.key.name.value();
840   } else if (entry.key.id) {
841     out << entry.key.id.value();
842   } else {
843     out << "???";
844   }
845   out << " = " << entry.value;
846   return out;
847 }
848 
849 template <typename T>
ToPointerVec(std::vector<T> & src)850 std::vector<T*> ToPointerVec(std::vector<T>& src) {
851   std::vector<T*> dst;
852   dst.reserve(src.size());
853   for (T& in : src) {
854     dst.push_back(&in);
855   }
856   return dst;
857 }
858 
859 template <typename T>
ToPointerVec(const std::vector<T> & src)860 std::vector<const T*> ToPointerVec(const std::vector<T>& src) {
861   std::vector<const T*> dst;
862   dst.reserve(src.size());
863   for (const T& in : src) {
864     dst.push_back(&in);
865   }
866   return dst;
867 }
868 
KeyNameComparator(const Style::Entry * a,const Style::Entry * b)869 static bool KeyNameComparator(const Style::Entry* a, const Style::Entry* b) {
870   return a->key.name < b->key.name;
871 }
872 
Equals(const Value * value) const873 bool Style::Equals(const Value* value) const {
874   const Style* other = ValueCast<Style>(value);
875   if (!other) {
876     return false;
877   }
878 
879   if (bool(parent) != bool(other->parent) ||
880       (parent && other->parent && !parent.value().Equals(&other->parent.value()))) {
881     return false;
882   }
883 
884   if (entries.size() != other->entries.size()) {
885     return false;
886   }
887 
888   std::vector<const Entry*> sorted_a = ToPointerVec(entries);
889   std::sort(sorted_a.begin(), sorted_a.end(), KeyNameComparator);
890 
891   std::vector<const Entry*> sorted_b = ToPointerVec(other->entries);
892   std::sort(sorted_b.begin(), sorted_b.end(), KeyNameComparator);
893 
894   return std::equal(sorted_a.begin(), sorted_a.end(), sorted_b.begin(),
895                     [](const Entry* a, const Entry* b) -> bool {
896                       return a->key.Equals(&b->key) && a->value->Equals(b->value.get());
897                     });
898 }
899 
Clone(StringPool * new_pool) const900 Style* Style::Clone(StringPool* new_pool) const {
901   Style* style = new Style();
902   style->parent = parent;
903   style->parent_inferred = parent_inferred;
904   style->comment_ = comment_;
905   style->source_ = source_;
906   for (auto& entry : entries) {
907     style->entries.push_back(Entry{entry.key, std::unique_ptr<Item>(entry.value->Clone(new_pool))});
908   }
909   return style;
910 }
911 
Print(std::ostream * out) const912 void Style::Print(std::ostream* out) const {
913   *out << "(style) ";
914   if (parent && parent.value().name) {
915     const Reference& parent_ref = parent.value();
916     if (parent_ref.private_reference) {
917       *out << "*";
918     }
919     *out << parent_ref.name.value();
920   }
921   *out << " [" << util::Joiner(entries, ", ") << "]";
922 }
923 
CloneEntry(const Style::Entry & entry,StringPool * pool)924 Style::Entry CloneEntry(const Style::Entry& entry, StringPool* pool) {
925   Style::Entry cloned_entry{entry.key};
926   if (entry.value != nullptr) {
927     cloned_entry.value.reset(entry.value->Clone(pool));
928   }
929   return cloned_entry;
930 }
931 
MergeWith(Style * other,StringPool * pool)932 void Style::MergeWith(Style* other, StringPool* pool) {
933   if (other->parent) {
934     parent = other->parent;
935   }
936 
937   // We can't assume that the entries are sorted alphabetically since they're supposed to be
938   // sorted by Resource Id. Not all Resource Ids may be set though, so we can't sort and merge
939   // them keying off that.
940   //
941   // Instead, sort the entries of each Style by their name in a separate structure. Then merge
942   // those.
943 
944   std::vector<Entry*> this_sorted = ToPointerVec(entries);
945   std::sort(this_sorted.begin(), this_sorted.end(), KeyNameComparator);
946 
947   std::vector<Entry*> other_sorted = ToPointerVec(other->entries);
948   std::sort(other_sorted.begin(), other_sorted.end(), KeyNameComparator);
949 
950   auto this_iter = this_sorted.begin();
951   const auto this_end = this_sorted.end();
952 
953   auto other_iter = other_sorted.begin();
954   const auto other_end = other_sorted.end();
955 
956   std::vector<Entry> merged_entries;
957   while (this_iter != this_end) {
958     if (other_iter != other_end) {
959       if ((*this_iter)->key.name < (*other_iter)->key.name) {
960         merged_entries.push_back(std::move(**this_iter));
961         ++this_iter;
962       } else {
963         // The other overrides.
964         merged_entries.push_back(CloneEntry(**other_iter, pool));
965         if ((*this_iter)->key.name == (*other_iter)->key.name) {
966           ++this_iter;
967         }
968         ++other_iter;
969       }
970     } else {
971       merged_entries.push_back(std::move(**this_iter));
972       ++this_iter;
973     }
974   }
975 
976   while (other_iter != other_end) {
977     merged_entries.push_back(CloneEntry(**other_iter, pool));
978     ++other_iter;
979   }
980 
981   entries = std::move(merged_entries);
982 }
983 
Equals(const Value * value) const984 bool Array::Equals(const Value* value) const {
985   const Array* other = ValueCast<Array>(value);
986   if (!other) {
987     return false;
988   }
989 
990   if (elements.size() != other->elements.size()) {
991     return false;
992   }
993 
994   return std::equal(elements.begin(), elements.end(), other->elements.begin(),
995                     [](const std::unique_ptr<Item>& a, const std::unique_ptr<Item>& b) -> bool {
996                       return a->Equals(b.get());
997                     });
998 }
999 
Clone(StringPool * new_pool) const1000 Array* Array::Clone(StringPool* new_pool) const {
1001   Array* array = new Array();
1002   array->comment_ = comment_;
1003   array->source_ = source_;
1004   for (auto& item : elements) {
1005     array->elements.emplace_back(std::unique_ptr<Item>(item->Clone(new_pool)));
1006   }
1007   return array;
1008 }
1009 
Print(std::ostream * out) const1010 void Array::Print(std::ostream* out) const {
1011   *out << "(array) [" << util::Joiner(elements, ", ") << "]";
1012 }
1013 
Equals(const Value * value) const1014 bool Plural::Equals(const Value* value) const {
1015   const Plural* other = ValueCast<Plural>(value);
1016   if (!other) {
1017     return false;
1018   }
1019 
1020   auto one_iter = values.begin();
1021   auto one_end_iter = values.end();
1022   auto two_iter = other->values.begin();
1023   for (; one_iter != one_end_iter; ++one_iter, ++two_iter) {
1024     const std::unique_ptr<Item>& a = *one_iter;
1025     const std::unique_ptr<Item>& b = *two_iter;
1026     if (a != nullptr && b != nullptr) {
1027       if (!a->Equals(b.get())) {
1028         return false;
1029       }
1030     } else if (a != b) {
1031       return false;
1032     }
1033   }
1034   return true;
1035 }
1036 
Clone(StringPool * new_pool) const1037 Plural* Plural::Clone(StringPool* new_pool) const {
1038   Plural* p = new Plural();
1039   p->comment_ = comment_;
1040   p->source_ = source_;
1041   const size_t count = values.size();
1042   for (size_t i = 0; i < count; i++) {
1043     if (values[i]) {
1044       p->values[i] = std::unique_ptr<Item>(values[i]->Clone(new_pool));
1045     }
1046   }
1047   return p;
1048 }
1049 
Print(std::ostream * out) const1050 void Plural::Print(std::ostream* out) const {
1051   *out << "(plural)";
1052   if (values[Zero]) {
1053     *out << " zero=" << *values[Zero];
1054   }
1055 
1056   if (values[One]) {
1057     *out << " one=" << *values[One];
1058   }
1059 
1060   if (values[Two]) {
1061     *out << " two=" << *values[Two];
1062   }
1063 
1064   if (values[Few]) {
1065     *out << " few=" << *values[Few];
1066   }
1067 
1068   if (values[Many]) {
1069     *out << " many=" << *values[Many];
1070   }
1071 
1072   if (values[Other]) {
1073     *out << " other=" << *values[Other];
1074   }
1075 }
1076 
Equals(const Value * value) const1077 bool Styleable::Equals(const Value* value) const {
1078   const Styleable* other = ValueCast<Styleable>(value);
1079   if (!other) {
1080     return false;
1081   }
1082 
1083   if (entries.size() != other->entries.size()) {
1084     return false;
1085   }
1086 
1087   return std::equal(entries.begin(), entries.end(), other->entries.begin(),
1088                     [](const Reference& a, const Reference& b) -> bool {
1089                       return a.Equals(&b);
1090                     });
1091 }
1092 
Clone(StringPool *) const1093 Styleable* Styleable::Clone(StringPool* /*new_pool*/) const {
1094   return new Styleable(*this);
1095 }
1096 
Print(std::ostream * out) const1097 void Styleable::Print(std::ostream* out) const {
1098   *out << "(styleable) "
1099        << " [" << util::Joiner(entries, ", ") << "]";
1100 }
1101 
operator <(const Reference & a,const Reference & b)1102 bool operator<(const Reference& a, const Reference& b) {
1103   int cmp = a.name.value_or_default({}).compare(b.name.value_or_default({}));
1104   if (cmp != 0) return cmp < 0;
1105   return a.id < b.id;
1106 }
1107 
operator ==(const Reference & a,const Reference & b)1108 bool operator==(const Reference& a, const Reference& b) {
1109   return a.name == b.name && a.id == b.id;
1110 }
1111 
operator !=(const Reference & a,const Reference & b)1112 bool operator!=(const Reference& a, const Reference& b) {
1113   return a.name != b.name || a.id != b.id;
1114 }
1115 
1116 struct NameOnlyComparator {
operator ()aapt::NameOnlyComparator1117   bool operator()(const Reference& a, const Reference& b) const {
1118     return a.name < b.name;
1119   }
1120 };
1121 
MergeWith(Styleable * other)1122 void Styleable::MergeWith(Styleable* other) {
1123   // Compare only names, because some References may already have their IDs
1124   // assigned (framework IDs that don't change).
1125   std::set<Reference, NameOnlyComparator> references;
1126   references.insert(entries.begin(), entries.end());
1127   references.insert(other->entries.begin(), other->entries.end());
1128   entries.clear();
1129   entries.reserve(references.size());
1130   entries.insert(entries.end(), references.begin(), references.end());
1131 }
1132 
1133 }  // namespace aapt
1134