blob: 9a37913f0edcb11d6e2049bf65a0521b770fb62f [file] [log] [blame]
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001/*
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
Adam Lesinski6f6ceb72014-11-14 14:48:12 -080017#include "ResourceParser.h"
Adam Lesinskice5e56e2016-10-21 17:56:45 -070018
19#include <functional>
20#include <sstream>
21
22#include "android-base/logging.h"
23
Adam Lesinski1ab598f2015-08-14 14:26:04 -070024#include "ResourceTable.h"
25#include "ResourceUtils.h"
Adam Lesinski6f6ceb72014-11-14 14:48:12 -080026#include "ResourceValues.h"
Adam Lesinski1ab598f2015-08-14 14:26:04 -070027#include "ValueVisitor.h"
Adam Lesinski7ff3ee12015-12-14 16:08:50 -080028#include "util/ImmutableMap.h"
Adam Lesinski75421622017-01-06 15:20:04 -080029#include "util/Maybe.h"
Adam Lesinski9e10ac72015-10-16 14:37:48 -070030#include "util/Util.h"
Adam Lesinski467f1712015-11-16 17:35:44 -080031#include "xml/XmlPullParser.h"
Adam Lesinski9e10ac72015-10-16 14:37:48 -070032
Adam Lesinskid5083f62017-01-16 15:07:21 -080033using android::StringPiece;
34
Adam Lesinski6f6ceb72014-11-14 14:48:12 -080035namespace aapt {
36
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070037constexpr const char* sXliffNamespaceUri = "urn:oasis:names:tc:xliff:document:1.2";
Adam Lesinski6f6ceb72014-11-14 14:48:12 -080038
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070039// Returns true if the element is <skip> or <eat-comment> and can be safely ignored.
40static bool ShouldIgnoreElement(const StringPiece& ns, const StringPiece& name) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070041 return ns.empty() && (name == "skip" || name == "eat-comment");
Adam Lesinski27afb9e2015-11-06 18:25:04 -080042}
43
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070044static uint32_t ParseFormatTypeNoEnumsOrFlags(const StringPiece& piece) {
45 if (piece == "reference") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070046 return android::ResTable_map::TYPE_REFERENCE;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070047 } else if (piece == "string") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070048 return android::ResTable_map::TYPE_STRING;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070049 } else if (piece == "integer") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070050 return android::ResTable_map::TYPE_INTEGER;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070051 } else if (piece == "boolean") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070052 return android::ResTable_map::TYPE_BOOLEAN;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070053 } else if (piece == "color") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070054 return android::ResTable_map::TYPE_COLOR;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070055 } else if (piece == "float") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070056 return android::ResTable_map::TYPE_FLOAT;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070057 } else if (piece == "dimension") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070058 return android::ResTable_map::TYPE_DIMENSION;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070059 } else if (piece == "fraction") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070060 return android::ResTable_map::TYPE_FRACTION;
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070061 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -070062 return 0;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -080063}
64
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070065static uint32_t ParseFormatType(const StringPiece& piece) {
66 if (piece == "enum") {
67 return android::ResTable_map::TYPE_ENUM;
68 } else if (piece == "flags") {
69 return android::ResTable_map::TYPE_FLAGS;
70 }
71 return ParseFormatTypeNoEnumsOrFlags(piece);
72}
73
Adam Lesinskice5e56e2016-10-21 17:56:45 -070074static uint32_t ParseFormatAttribute(const StringPiece& str) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070075 uint32_t mask = 0;
Adam Lesinskice5e56e2016-10-21 17:56:45 -070076 for (StringPiece part : util::Tokenize(str, '|')) {
77 StringPiece trimmed_part = util::TrimWhitespace(part);
78 uint32_t type = ParseFormatType(trimmed_part);
Adam Lesinskicacb28f2016-10-19 12:18:14 -070079 if (type == 0) {
80 return 0;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -080081 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -070082 mask |= type;
83 }
84 return mask;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -080085}
86
Adam Lesinskid5fd76a2017-05-16 12:18:08 -070087// A parsed resource ready to be added to the ResourceTable.
Adam Lesinski7ff3ee12015-12-14 16:08:50 -080088struct ParsedResource {
Adam Lesinskicacb28f2016-10-19 12:18:14 -070089 ResourceName name;
90 ConfigDescription config;
91 std::string product;
92 Source source;
93 ResourceId id;
Adam Lesinskice5e56e2016-10-21 17:56:45 -070094 Maybe<SymbolState> symbol_state;
Adam Lesinski4488f1c2017-05-26 17:33:38 -070095 bool allow_new = false;
Adam Lesinskicacb28f2016-10-19 12:18:14 -070096 std::string comment;
97 std::unique_ptr<Value> value;
Adam Lesinskice5e56e2016-10-21 17:56:45 -070098 std::list<ParsedResource> child_resources;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -080099};
100
101// Recursively adds resources to the ResourceTable.
Adam Lesinski4488f1c2017-05-26 17:33:38 -0700102static bool AddResourcesToTable(ResourceTable* table, IDiagnostics* diag, ParsedResource* res) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700103 StringPiece trimmed_comment = util::TrimWhitespace(res->comment);
104 if (trimmed_comment.size() != res->comment.size()) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700105 // Only if there was a change do we re-assign.
Adam Lesinskid5083f62017-01-16 15:07:21 -0800106 res->comment = trimmed_comment.to_string();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700107 }
Adam Lesinski76565542016-03-10 21:55:04 -0800108
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700109 if (res->symbol_state) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700110 Symbol symbol;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700111 symbol.state = res->symbol_state.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700112 symbol.source = res->source;
113 symbol.comment = res->comment;
Adam Lesinski4488f1c2017-05-26 17:33:38 -0700114 symbol.allow_new = res->allow_new;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700115 if (!table->SetSymbolState(res->name, res->id, symbol, diag)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700116 return false;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800117 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700118 }
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800119
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700120 if (res->value) {
121 // Attach the comment, source and config to the value.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700122 res->value->SetComment(std::move(res->comment));
123 res->value->SetSource(std::move(res->source));
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800124
Adam Lesinski4488f1c2017-05-26 17:33:38 -0700125 if (!table->AddResource(res->name, res->id, res->config, res->product, std::move(res->value),
126 diag)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700127 return false;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800128 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700129 }
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800130
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700131 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700132 for (ParsedResource& child : res->child_resources) {
133 error |= !AddResourcesToTable(table, diag, &child);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700134 }
135 return !error;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800136}
137
138// Convenient aliases for more readable function calls.
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700139enum { kAllowRawString = true, kNoRawString = false };
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800140
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700141ResourceParser::ResourceParser(IDiagnostics* diag, ResourceTable* table,
142 const Source& source,
Adam Lesinski9ba47d82015-10-13 11:37:10 -0700143 const ConfigDescription& config,
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700144 const ResourceParserOptions& options)
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700145 : diag_(diag),
146 table_(table),
147 source_(source),
148 config_(config),
149 options_(options) {}
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800150
151/**
152 * Build a string from XML that converts nested elements into Span objects.
153 */
Adam Lesinski75421622017-01-06 15:20:04 -0800154bool ResourceParser::FlattenXmlSubtree(
155 xml::XmlPullParser* parser, std::string* out_raw_string, StyleString* out_style_string,
156 std::vector<UntranslatableSection>* out_untranslatable_sections) {
157 // Keeps track of formatting tags (<b>, <i>) and the range of characters for which they apply.
Adam Lesinski8049f3d2017-03-31 18:28:14 -0700158 // The stack elements refer to the indices in out_style_string->spans.
159 // By first adding to the out_style_string->spans vector, and then using the stack to refer
160 // to this vector, the original order of tags is preserved in cases such as <b><i>hello</b></i>.
161 std::vector<size_t> span_stack;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800162
Adam Lesinski75421622017-01-06 15:20:04 -0800163 // Clear the output variables.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700164 out_raw_string->clear();
165 out_style_string->spans.clear();
Adam Lesinski75421622017-01-06 15:20:04 -0800166 out_untranslatable_sections->clear();
167
168 // The StringBuilder will concatenate the various segments of text which are initially
169 // separated by tags. It also handles unicode escape codes and quotations.
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700170 util::StringBuilder builder;
Adam Lesinski75421622017-01-06 15:20:04 -0800171
172 // The first occurrence of a <xliff:g> tag. Nested <xliff:g> tags are illegal.
173 Maybe<size_t> untranslatable_start_depth;
174
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700175 size_t depth = 1;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700176 while (xml::XmlPullParser::IsGoodEvent(parser->Next())) {
177 const xml::XmlPullParser::Event event = parser->event();
Adam Lesinski75421622017-01-06 15:20:04 -0800178
179 if (event == xml::XmlPullParser::Event::kStartElement) {
180 if (parser->element_namespace().empty()) {
181 // This is an HTML tag which we encode as a span. Add it to the span stack.
182 std::string span_name = parser->element_name();
183 const auto end_attr_iter = parser->end_attributes();
184 for (auto attr_iter = parser->begin_attributes(); attr_iter != end_attr_iter; ++attr_iter) {
185 span_name += ";";
186 span_name += attr_iter->name;
187 span_name += "=";
188 span_name += attr_iter->value;
189 }
190
191 // Make sure the string is representable in our binary format.
192 if (builder.Utf16Len() > std::numeric_limits<uint32_t>::max()) {
193 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
194 << "style string '" << builder.ToString() << "' is too long");
195 return false;
196 }
197
Adam Lesinski8049f3d2017-03-31 18:28:14 -0700198 out_style_string->spans.push_back(
199 Span{std::move(span_name), static_cast<uint32_t>(builder.Utf16Len())});
200 span_stack.push_back(out_style_string->spans.size() - 1);
Adam Lesinski75421622017-01-06 15:20:04 -0800201 } else if (parser->element_namespace() == sXliffNamespaceUri) {
202 if (parser->element_name() == "g") {
203 if (untranslatable_start_depth) {
204 // We've already encountered an <xliff:g> tag, and nested <xliff:g> tags are illegal.
205 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
206 << "illegal nested XLIFF 'g' tag");
207 return false;
208 } else {
209 // Mark the start of an untranslatable section. Use UTF8 indices/lengths.
210 untranslatable_start_depth = depth;
211 const size_t current_idx = builder.ToString().size();
212 out_untranslatable_sections->push_back(UntranslatableSection{current_idx, current_idx});
213 }
214 }
215 // Ignore other xliff tags, they get handled by other tools.
216
217 } else {
218 // Besides XLIFF, any other namespaced tag is unsupported and ignored.
219 diag_->Warn(DiagMessage(source_.WithLine(parser->line_number()))
220 << "ignoring element '" << parser->element_name()
221 << "' with unknown namespace '" << parser->element_namespace() << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700222 }
Adam Lesinski1ab598f2015-08-14 14:26:04 -0700223
Adam Lesinski75421622017-01-06 15:20:04 -0800224 // Enter one level inside the element.
225 depth++;
226 } else if (event == xml::XmlPullParser::Event::kText) {
227 // Record both the raw text and append to the builder to deal with escape sequences
228 // and quotations.
229 out_raw_string->append(parser->text());
230 builder.Append(parser->text());
231 } else if (event == xml::XmlPullParser::Event::kEndElement) {
232 // Return one level from within the element.
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700233 depth--;
234 if (depth == 0) {
235 break;
236 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800237
Adam Lesinski75421622017-01-06 15:20:04 -0800238 if (parser->element_namespace().empty()) {
239 // This is an HTML tag which we encode as a span. Update the span
240 // stack and pop the top entry.
Adam Lesinski8049f3d2017-03-31 18:28:14 -0700241 Span& top_span = out_style_string->spans[span_stack.back()];
Adam Lesinski75421622017-01-06 15:20:04 -0800242 top_span.last_char = builder.Utf16Len() - 1;
Adam Lesinski75421622017-01-06 15:20:04 -0800243 span_stack.pop_back();
244 } else if (untranslatable_start_depth == make_value(depth)) {
245 // This is the end of an untranslatable section. Use UTF8 indices/lengths.
246 UntranslatableSection& untranslatable_section = out_untranslatable_sections->back();
247 untranslatable_section.end = builder.ToString().size();
248 untranslatable_start_depth = {};
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700249 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700250 } else if (event == xml::XmlPullParser::Event::kComment) {
Adam Lesinski75421622017-01-06 15:20:04 -0800251 // Ignore.
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700252 } else {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700253 LOG(FATAL) << "unhandled XML event";
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700254 }
255 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700256
Adam Lesinski75421622017-01-06 15:20:04 -0800257 CHECK(span_stack.empty()) << "spans haven't been fully processed";
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700258 out_style_string->str = builder.ToString();
Adam Lesinski75421622017-01-06 15:20:04 -0800259 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800260}
261
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700262bool ResourceParser::Parse(xml::XmlPullParser* parser) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700263 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700264 const size_t depth = parser->depth();
265 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
266 if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700267 // Skip comments and text.
268 continue;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800269 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700270
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700271 if (!parser->element_namespace().empty() ||
272 parser->element_name() != "resources") {
273 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700274 << "root element must be <resources>");
275 return false;
276 }
277
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700278 error |= !ParseResources(parser);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700279 break;
280 };
281
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700282 if (parser->event() == xml::XmlPullParser::Event::kBadDocument) {
283 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
284 << "xml parser error: " << parser->error());
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700285 return false;
286 }
287 return !error;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800288}
289
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700290bool ResourceParser::ParseResources(xml::XmlPullParser* parser) {
291 std::set<ResourceName> stripped_resources;
Adam Lesinski9ba47d82015-10-13 11:37:10 -0700292
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700293 bool error = false;
294 std::string comment;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700295 const size_t depth = parser->depth();
296 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
297 const xml::XmlPullParser::Event event = parser->event();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700298 if (event == xml::XmlPullParser::Event::kComment) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700299 comment = parser->comment();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700300 continue;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800301 }
Adam Lesinski9ba47d82015-10-13 11:37:10 -0700302
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700303 if (event == xml::XmlPullParser::Event::kText) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700304 if (!util::TrimWhitespace(parser->text()).empty()) {
305 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700306 << "plain text not allowed here");
307 error = true;
308 }
309 continue;
Adam Lesinski9ba47d82015-10-13 11:37:10 -0700310 }
311
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700312 CHECK(event == xml::XmlPullParser::Event::kStartElement);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700313
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700314 if (!parser->element_namespace().empty()) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700315 // Skip unknown namespace.
316 continue;
317 }
318
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700319 std::string element_name = parser->element_name();
320 if (element_name == "skip" || element_name == "eat-comment") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700321 comment = "";
322 continue;
323 }
324
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700325 ParsedResource parsed_resource;
326 parsed_resource.config = config_;
327 parsed_resource.source = source_.WithLine(parser->line_number());
328 parsed_resource.comment = std::move(comment);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700329
330 // Extract the product name if it exists.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700331 if (Maybe<StringPiece> maybe_product =
332 xml::FindNonEmptyAttribute(parser, "product")) {
Adam Lesinskid5083f62017-01-16 15:07:21 -0800333 parsed_resource.product = maybe_product.value().to_string();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700334 }
335
336 // Parse the resource regardless of product.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700337 if (!ParseResource(parser, &parsed_resource)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700338 error = true;
339 continue;
340 }
341
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700342 if (!AddResourcesToTable(table_, diag_, &parsed_resource)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700343 error = true;
344 }
345 }
346
347 // Check that we included at least one variant of each stripped resource.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700348 for (const ResourceName& stripped_resource : stripped_resources) {
349 if (!table_->FindResource(stripped_resource)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700350 // Failed to find the resource.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700351 diag_->Error(DiagMessage(source_)
352 << "resource '" << stripped_resource
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700353 << "' "
354 "was filtered out but no product variant remains");
355 error = true;
356 }
357 }
358
359 return !error;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800360}
361
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700362bool ResourceParser::ParseResource(xml::XmlPullParser* parser,
363 ParsedResource* out_resource) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700364 struct ItemTypeFormat {
365 ResourceType type;
366 uint32_t format;
367 };
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800368
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700369 using BagParseFunc = std::function<bool(ResourceParser*, xml::XmlPullParser*,
370 ParsedResource*)>;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800371
Adam Lesinski86d67df2017-01-31 13:47:27 -0800372 static const auto elToItemMap = ImmutableMap<std::string, ItemTypeFormat>::CreatePreSorted({
373 {"bool", {ResourceType::kBool, android::ResTable_map::TYPE_BOOLEAN}},
374 {"color", {ResourceType::kColor, android::ResTable_map::TYPE_COLOR}},
375 {"configVarying", {ResourceType::kConfigVarying, android::ResTable_map::TYPE_ANY}},
376 {"dimen",
377 {ResourceType::kDimen,
378 android::ResTable_map::TYPE_FLOAT | android::ResTable_map::TYPE_FRACTION |
379 android::ResTable_map::TYPE_DIMENSION}},
380 {"drawable", {ResourceType::kDrawable, android::ResTable_map::TYPE_COLOR}},
381 {"fraction",
382 {ResourceType::kFraction,
383 android::ResTable_map::TYPE_FLOAT | android::ResTable_map::TYPE_FRACTION |
384 android::ResTable_map::TYPE_DIMENSION}},
385 {"integer", {ResourceType::kInteger, android::ResTable_map::TYPE_INTEGER}},
386 {"string", {ResourceType::kString, android::ResTable_map::TYPE_STRING}},
387 });
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800388
Adam Lesinski86d67df2017-01-31 13:47:27 -0800389 static const auto elToBagMap = ImmutableMap<std::string, BagParseFunc>::CreatePreSorted({
390 {"add-resource", std::mem_fn(&ResourceParser::ParseAddResource)},
391 {"array", std::mem_fn(&ResourceParser::ParseArray)},
392 {"attr", std::mem_fn(&ResourceParser::ParseAttr)},
393 {"configVarying",
394 std::bind(&ResourceParser::ParseStyle, std::placeholders::_1, ResourceType::kConfigVarying,
395 std::placeholders::_2, std::placeholders::_3)},
396 {"declare-styleable", std::mem_fn(&ResourceParser::ParseDeclareStyleable)},
397 {"integer-array", std::mem_fn(&ResourceParser::ParseIntegerArray)},
398 {"java-symbol", std::mem_fn(&ResourceParser::ParseSymbol)},
399 {"plurals", std::mem_fn(&ResourceParser::ParsePlural)},
400 {"public", std::mem_fn(&ResourceParser::ParsePublic)},
401 {"public-group", std::mem_fn(&ResourceParser::ParsePublicGroup)},
402 {"string-array", std::mem_fn(&ResourceParser::ParseStringArray)},
403 {"style", std::bind(&ResourceParser::ParseStyle, std::placeholders::_1, ResourceType::kStyle,
404 std::placeholders::_2, std::placeholders::_3)},
405 {"symbol", std::mem_fn(&ResourceParser::ParseSymbol)},
406 });
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800407
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700408 std::string resource_type = parser->element_name();
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800409
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700410 // The value format accepted for this resource.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700411 uint32_t resource_format = 0u;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800412
Adam Lesinski86d67df2017-01-31 13:47:27 -0800413 bool can_be_item = true;
414 bool can_be_bag = true;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700415 if (resource_type == "item") {
Adam Lesinski86d67df2017-01-31 13:47:27 -0800416 can_be_bag = false;
417
Adam Lesinskie597d682017-06-01 17:16:44 -0700418 // The default format for <item> is any. If a format attribute is present, that one will
419 // override the default.
420 resource_format = android::ResTable_map::TYPE_ANY;
421
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700422 // Items have their type encoded in the type attribute.
Adam Lesinskid5fd76a2017-05-16 12:18:08 -0700423 if (Maybe<StringPiece> maybe_type = xml::FindNonEmptyAttribute(parser, "type")) {
Adam Lesinskid5083f62017-01-16 15:07:21 -0800424 resource_type = maybe_type.value().to_string();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700425 } else {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700426 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700427 << "<item> must have a 'type' attribute");
428 return false;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800429 }
430
Adam Lesinskid5fd76a2017-05-16 12:18:08 -0700431 if (Maybe<StringPiece> maybe_format = xml::FindNonEmptyAttribute(parser, "format")) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700432 // An explicit format for this resource was specified. The resource will
Adam Lesinskid5fd76a2017-05-16 12:18:08 -0700433 // retain its type in its name, but the accepted value for this type is
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700434 // overridden.
Adam Lesinskid5fd76a2017-05-16 12:18:08 -0700435 resource_format = ParseFormatTypeNoEnumsOrFlags(maybe_format.value());
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700436 if (!resource_format) {
437 diag_->Error(DiagMessage(out_resource->source)
438 << "'" << maybe_format.value()
439 << "' is an invalid format");
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800440 return false;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700441 }
442 }
Adam Lesinski86d67df2017-01-31 13:47:27 -0800443 } else if (resource_type == "bag") {
444 can_be_item = false;
445
446 // Bags have their type encoded in the type attribute.
447 if (Maybe<StringPiece> maybe_type = xml::FindNonEmptyAttribute(parser, "type")) {
448 resource_type = maybe_type.value().to_string();
449 } else {
450 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
451 << "<bag> must have a 'type' attribute");
452 return false;
453 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700454 }
455
456 // Get the name of the resource. This will be checked later, because not all
457 // XML elements require a name.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700458 Maybe<StringPiece> maybe_name = xml::FindNonEmptyAttribute(parser, "name");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700459
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700460 if (resource_type == "id") {
461 if (!maybe_name) {
462 diag_->Error(DiagMessage(out_resource->source)
463 << "<" << parser->element_name()
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700464 << "> missing 'name' attribute");
465 return false;
466 }
467
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700468 out_resource->name.type = ResourceType::kId;
Adam Lesinskid5083f62017-01-16 15:07:21 -0800469 out_resource->name.entry = maybe_name.value().to_string();
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700470 out_resource->value = util::make_unique<Id>();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700471 return true;
472 }
473
Adam Lesinski86d67df2017-01-31 13:47:27 -0800474 if (can_be_item) {
475 const auto item_iter = elToItemMap.find(resource_type);
476 if (item_iter != elToItemMap.end()) {
477 // This is an item, record its type and format and start parsing.
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700478
Adam Lesinski86d67df2017-01-31 13:47:27 -0800479 if (!maybe_name) {
480 diag_->Error(DiagMessage(out_resource->source)
481 << "<" << parser->element_name() << "> missing 'name' attribute");
482 return false;
483 }
484
485 out_resource->name.type = item_iter->second.type;
486 out_resource->name.entry = maybe_name.value().to_string();
487
Adam Lesinskie597d682017-06-01 17:16:44 -0700488 // Only use the implied format of the type when there is no explicit format.
489 if (resource_format == 0u) {
Adam Lesinski86d67df2017-01-31 13:47:27 -0800490 resource_format = item_iter->second.format;
491 }
492
493 if (!ParseItem(parser, out_resource, resource_format)) {
494 return false;
495 }
496 return true;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700497 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700498 }
499
500 // This might be a bag or something.
Adam Lesinski86d67df2017-01-31 13:47:27 -0800501 if (can_be_bag) {
502 const auto bag_iter = elToBagMap.find(resource_type);
503 if (bag_iter != elToBagMap.end()) {
504 // Ensure we have a name (unless this is a <public-group>).
505 if (resource_type != "public-group") {
506 if (!maybe_name) {
507 diag_->Error(DiagMessage(out_resource->source)
508 << "<" << parser->element_name() << "> missing 'name' attribute");
509 return false;
510 }
511
512 out_resource->name.entry = maybe_name.value().to_string();
513 }
514
515 // Call the associated parse method. The type will be filled in by the
516 // parse func.
517 if (!bag_iter->second(this, parser, out_resource)) {
518 return false;
519 }
520 return true;
521 }
522 }
523
524 if (can_be_item) {
525 // Try parsing the elementName (or type) as a resource. These shall only be
526 // resources like 'layout' or 'xml' and they can only be references.
527 const ResourceType* parsed_type = ParseResourceType(resource_type);
528 if (parsed_type) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700529 if (!maybe_name) {
530 diag_->Error(DiagMessage(out_resource->source)
531 << "<" << parser->element_name()
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700532 << "> missing 'name' attribute");
533 return false;
534 }
535
Adam Lesinski86d67df2017-01-31 13:47:27 -0800536 out_resource->name.type = *parsed_type;
Adam Lesinskid5083f62017-01-16 15:07:21 -0800537 out_resource->name.entry = maybe_name.value().to_string();
Adam Lesinski86d67df2017-01-31 13:47:27 -0800538 out_resource->value = ParseXml(parser, android::ResTable_map::TYPE_REFERENCE, kNoRawString);
539 if (!out_resource->value) {
540 diag_->Error(DiagMessage(out_resource->source)
541 << "invalid value for type '" << *parsed_type << "'. Expected a reference");
542 return false;
543 }
544 return true;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700545 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700546 }
547
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700548 diag_->Warn(DiagMessage(out_resource->source)
549 << "unknown resource type '" << parser->element_name() << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700550 return false;
551}
552
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700553bool ResourceParser::ParseItem(xml::XmlPullParser* parser,
554 ParsedResource* out_resource,
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700555 const uint32_t format) {
556 if (format == android::ResTable_map::TYPE_STRING) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700557 return ParseString(parser, out_resource);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700558 }
559
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700560 out_resource->value = ParseXml(parser, format, kNoRawString);
561 if (!out_resource->value) {
562 diag_->Error(DiagMessage(out_resource->source) << "invalid "
563 << out_resource->name.type);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700564 return false;
565 }
566 return true;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -0800567}
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800568
569/**
570 * Reads the entire XML subtree and attempts to parse it as some Item,
571 * with typeMask denoting which items it can be. If allowRawValue is
572 * true, a RawString is returned if the XML couldn't be parsed as
573 * an Item. If allowRawValue is false, nullptr is returned in this
574 * case.
575 */
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700576std::unique_ptr<Item> ResourceParser::ParseXml(xml::XmlPullParser* parser,
577 const uint32_t type_mask,
578 const bool allow_raw_value) {
579 const size_t begin_xml_line = parser->line_number();
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800580
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700581 std::string raw_value;
582 StyleString style_string;
Adam Lesinski75421622017-01-06 15:20:04 -0800583 std::vector<UntranslatableSection> untranslatable_sections;
584 if (!FlattenXmlSubtree(parser, &raw_value, &style_string, &untranslatable_sections)) {
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800585 return {};
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700586 }
587
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700588 if (!style_string.spans.empty()) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700589 // This can only be a StyledString.
Adam Lesinski75421622017-01-06 15:20:04 -0800590 std::unique_ptr<StyledString> styled_string =
591 util::make_unique<StyledString>(table_->string_pool.MakeRef(
592 style_string, StringPool::Context(StringPool::Context::kStylePriority, config_)));
593 styled_string->untranslatable_sections = std::move(untranslatable_sections);
594 return std::move(styled_string);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700595 }
596
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700597 auto on_create_reference = [&](const ResourceName& name) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700598 // name.package can be empty here, as it will assume the package name of the
599 // table.
600 std::unique_ptr<Id> id = util::make_unique<Id>();
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700601 id->SetSource(source_.WithLine(begin_xml_line));
602 table_->AddResource(name, {}, {}, std::move(id), diag_);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700603 };
604
605 // Process the raw value.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700606 std::unique_ptr<Item> processed_item =
607 ResourceUtils::TryParseItemForAttribute(raw_value, type_mask,
608 on_create_reference);
609 if (processed_item) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700610 // Fix up the reference.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700611 if (Reference* ref = ValueCast<Reference>(processed_item.get())) {
612 TransformReferenceFromNamespace(parser, "", ref);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700613 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700614 return processed_item;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700615 }
616
617 // Try making a regular string.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700618 if (type_mask & android::ResTable_map::TYPE_STRING) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700619 // Use the trimmed, escaped string.
Adam Lesinski75421622017-01-06 15:20:04 -0800620 std::unique_ptr<String> string = util::make_unique<String>(
621 table_->string_pool.MakeRef(style_string.str, StringPool::Context(config_)));
622 string->untranslatable_sections = std::move(untranslatable_sections);
623 return std::move(string);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700624 }
625
Adam Lesinskibab4ef52017-06-01 15:22:57 -0700626 // If the text is empty, and the value is not allowed to be a string, encode it as a @null.
627 if (util::TrimWhitespace(raw_value).empty()) {
628 return ResourceUtils::MakeNull();
629 }
630
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700631 if (allow_raw_value) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700632 // We can't parse this so return a RawString if we are allowed.
633 return util::make_unique<RawString>(
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700634 table_->string_pool.MakeRef(raw_value, StringPool::Context(config_)));
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700635 }
636 return {};
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800637}
638
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700639bool ResourceParser::ParseString(xml::XmlPullParser* parser,
640 ParsedResource* out_resource) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700641 bool formatted = true;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700642 if (Maybe<StringPiece> formatted_attr =
643 xml::FindAttribute(parser, "formatted")) {
644 Maybe<bool> maybe_formatted =
645 ResourceUtils::ParseBool(formatted_attr.value());
646 if (!maybe_formatted) {
647 diag_->Error(DiagMessage(out_resource->source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700648 << "invalid value for 'formatted'. Must be a boolean");
649 return false;
Adam Lesinskib23f1e02015-11-03 12:24:17 -0800650 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700651 formatted = maybe_formatted.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700652 }
Adam Lesinskib23f1e02015-11-03 12:24:17 -0800653
Adam Lesinski75421622017-01-06 15:20:04 -0800654 bool translatable = options_.translatable;
655 if (Maybe<StringPiece> translatable_attr = xml::FindAttribute(parser, "translatable")) {
656 Maybe<bool> maybe_translatable = ResourceUtils::ParseBool(translatable_attr.value());
657 if (!maybe_translatable) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700658 diag_->Error(DiagMessage(out_resource->source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700659 << "invalid value for 'translatable'. Must be a boolean");
660 return false;
Adam Lesinskib23f1e02015-11-03 12:24:17 -0800661 }
Adam Lesinski75421622017-01-06 15:20:04 -0800662 translatable = maybe_translatable.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700663 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800664
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700665 out_resource->value =
666 ParseXml(parser, android::ResTable_map::TYPE_STRING, kNoRawString);
667 if (!out_resource->value) {
668 diag_->Error(DiagMessage(out_resource->source) << "not a valid string");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700669 return false;
670 }
Adam Lesinskib23f1e02015-11-03 12:24:17 -0800671
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700672 if (String* string_value = ValueCast<String>(out_resource->value.get())) {
Adam Lesinski75421622017-01-06 15:20:04 -0800673 string_value->SetTranslatable(translatable);
Adam Lesinski393b5f02015-12-17 13:03:11 -0800674
Adam Lesinski75421622017-01-06 15:20:04 -0800675 if (formatted && translatable) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700676 if (!util::VerifyJavaStringFormat(*string_value->value)) {
677 DiagMessage msg(out_resource->source);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700678 msg << "multiple substitutions specified in non-positional format; "
679 "did you mean to add the formatted=\"false\" attribute?";
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700680 if (options_.error_on_positional_arguments) {
681 diag_->Error(msg);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700682 return false;
Adam Lesinskib23f1e02015-11-03 12:24:17 -0800683 }
Adam Lesinski393b5f02015-12-17 13:03:11 -0800684
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700685 diag_->Warn(msg);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700686 }
Adam Lesinskib23f1e02015-11-03 12:24:17 -0800687 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700688
Adam Lesinski75421622017-01-06 15:20:04 -0800689 } else if (StyledString* string_value = ValueCast<StyledString>(out_resource->value.get())) {
690 string_value->SetTranslatable(translatable);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700691 }
692 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800693}
694
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700695bool ResourceParser::ParsePublic(xml::XmlPullParser* parser,
696 ParsedResource* out_resource) {
697 Maybe<StringPiece> maybe_type = xml::FindNonEmptyAttribute(parser, "type");
698 if (!maybe_type) {
699 diag_->Error(DiagMessage(out_resource->source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700700 << "<public> must have a 'type' attribute");
701 return false;
702 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800703
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700704 const ResourceType* parsed_type = ParseResourceType(maybe_type.value());
705 if (!parsed_type) {
706 diag_->Error(DiagMessage(out_resource->source) << "invalid resource type '"
707 << maybe_type.value()
708 << "' in <public>");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700709 return false;
710 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800711
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700712 out_resource->name.type = *parsed_type;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800713
Adam Lesinskiceb9b2f2017-02-16 12:05:42 -0800714 if (Maybe<StringPiece> maybe_id_str = xml::FindNonEmptyAttribute(parser, "id")) {
715 Maybe<ResourceId> maybe_id = ResourceUtils::ParseResourceId(maybe_id_str.value());
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700716 if (!maybe_id) {
Adam Lesinskiceb9b2f2017-02-16 12:05:42 -0800717 diag_->Error(DiagMessage(out_resource->source)
718 << "invalid resource ID '" << maybe_id_str.value() << "' in <public>");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700719 return false;
Adam Lesinski27afb9e2015-11-06 18:25:04 -0800720 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700721 out_resource->id = maybe_id.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700722 }
Adam Lesinski27afb9e2015-11-06 18:25:04 -0800723
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700724 if (*parsed_type == ResourceType::kId) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700725 // An ID marked as public is also the definition of an ID.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700726 out_resource->value = util::make_unique<Id>();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700727 }
Adam Lesinskibf0bd0f2016-06-01 15:31:50 -0700728
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700729 out_resource->symbol_state = SymbolState::kPublic;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700730 return true;
Adam Lesinski27afb9e2015-11-06 18:25:04 -0800731}
732
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700733bool ResourceParser::ParsePublicGroup(xml::XmlPullParser* parser,
734 ParsedResource* out_resource) {
735 Maybe<StringPiece> maybe_type = xml::FindNonEmptyAttribute(parser, "type");
736 if (!maybe_type) {
737 diag_->Error(DiagMessage(out_resource->source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700738 << "<public-group> must have a 'type' attribute");
Adam Lesinskia6fe3452015-12-09 15:20:52 -0800739 return false;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700740 }
Adam Lesinskia6fe3452015-12-09 15:20:52 -0800741
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700742 const ResourceType* parsed_type = ParseResourceType(maybe_type.value());
743 if (!parsed_type) {
744 diag_->Error(DiagMessage(out_resource->source) << "invalid resource type '"
745 << maybe_type.value()
746 << "' in <public-group>");
Adam Lesinskia6fe3452015-12-09 15:20:52 -0800747 return false;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700748 }
749
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700750 Maybe<StringPiece> maybe_id_str =
751 xml::FindNonEmptyAttribute(parser, "first-id");
752 if (!maybe_id_str) {
753 diag_->Error(DiagMessage(out_resource->source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700754 << "<public-group> must have a 'first-id' attribute");
755 return false;
756 }
757
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700758 Maybe<ResourceId> maybe_id =
759 ResourceUtils::ParseResourceId(maybe_id_str.value());
760 if (!maybe_id) {
761 diag_->Error(DiagMessage(out_resource->source) << "invalid resource ID '"
762 << maybe_id_str.value()
763 << "' in <public-group>");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700764 return false;
765 }
766
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700767 ResourceId next_id = maybe_id.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700768
769 std::string comment;
770 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700771 const size_t depth = parser->depth();
772 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
773 if (parser->event() == xml::XmlPullParser::Event::kComment) {
Adam Lesinskid5083f62017-01-16 15:07:21 -0800774 comment = util::TrimWhitespace(parser->comment()).to_string();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700775 continue;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700776 } else if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700777 // Skip text.
778 continue;
779 }
780
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700781 const Source item_source = source_.WithLine(parser->line_number());
782 const std::string& element_namespace = parser->element_namespace();
783 const std::string& element_name = parser->element_name();
784 if (element_namespace.empty() && element_name == "public") {
785 Maybe<StringPiece> maybe_name =
786 xml::FindNonEmptyAttribute(parser, "name");
787 if (!maybe_name) {
788 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700789 << "<public> must have a 'name' attribute");
790 error = true;
791 continue;
792 }
793
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700794 if (xml::FindNonEmptyAttribute(parser, "id")) {
795 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700796 << "'id' is ignored within <public-group>");
797 error = true;
798 continue;
799 }
800
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700801 if (xml::FindNonEmptyAttribute(parser, "type")) {
802 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700803 << "'type' is ignored within <public-group>");
804 error = true;
805 continue;
806 }
807
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700808 ParsedResource child_resource;
809 child_resource.name.type = *parsed_type;
Adam Lesinskid5083f62017-01-16 15:07:21 -0800810 child_resource.name.entry = maybe_name.value().to_string();
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700811 child_resource.id = next_id;
812 child_resource.comment = std::move(comment);
813 child_resource.source = item_source;
814 child_resource.symbol_state = SymbolState::kPublic;
815 out_resource->child_resources.push_back(std::move(child_resource));
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700816
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700817 next_id.id += 1;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700818
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700819 } else if (!ShouldIgnoreElement(element_namespace, element_name)) {
820 diag_->Error(DiagMessage(item_source) << ":" << element_name << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700821 error = true;
822 }
823 }
824 return !error;
Adam Lesinskia6fe3452015-12-09 15:20:52 -0800825}
826
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700827bool ResourceParser::ParseSymbolImpl(xml::XmlPullParser* parser,
828 ParsedResource* out_resource) {
829 Maybe<StringPiece> maybe_type = xml::FindNonEmptyAttribute(parser, "type");
830 if (!maybe_type) {
831 diag_->Error(DiagMessage(out_resource->source)
832 << "<" << parser->element_name()
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700833 << "> must have a 'type' attribute");
834 return false;
835 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800836
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700837 const ResourceType* parsed_type = ParseResourceType(maybe_type.value());
838 if (!parsed_type) {
839 diag_->Error(DiagMessage(out_resource->source)
840 << "invalid resource type '" << maybe_type.value() << "' in <"
841 << parser->element_name() << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700842 return false;
843 }
844
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700845 out_resource->name.type = *parsed_type;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700846 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800847}
848
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700849bool ResourceParser::ParseSymbol(xml::XmlPullParser* parser,
850 ParsedResource* out_resource) {
851 if (ParseSymbolImpl(parser, out_resource)) {
852 out_resource->symbol_state = SymbolState::kPrivate;
Adam Lesinski9ba47d82015-10-13 11:37:10 -0700853 return true;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700854 }
855 return false;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800856}
857
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700858bool ResourceParser::ParseAddResource(xml::XmlPullParser* parser,
859 ParsedResource* out_resource) {
860 if (ParseSymbolImpl(parser, out_resource)) {
861 out_resource->symbol_state = SymbolState::kUndefined;
Adam Lesinski4488f1c2017-05-26 17:33:38 -0700862 out_resource->allow_new = true;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700863 return true;
864 }
865 return false;
866}
Adam Lesinski1ab598f2015-08-14 14:26:04 -0700867
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700868bool ResourceParser::ParseAttr(xml::XmlPullParser* parser,
869 ParsedResource* out_resource) {
870 return ParseAttrImpl(parser, out_resource, false);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700871}
872
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700873bool ResourceParser::ParseAttrImpl(xml::XmlPullParser* parser,
874 ParsedResource* out_resource, bool weak) {
875 out_resource->name.type = ResourceType::kAttr;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700876
877 // Attributes only end up in default configuration.
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700878 if (out_resource->config != ConfigDescription::DefaultConfig()) {
879 diag_->Warn(DiagMessage(out_resource->source)
880 << "ignoring configuration '" << out_resource->config
881 << "' for attribute " << out_resource->name);
882 out_resource->config = ConfigDescription::DefaultConfig();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700883 }
884
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700885 uint32_t type_mask = 0;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700886
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700887 Maybe<StringPiece> maybe_format = xml::FindAttribute(parser, "format");
888 if (maybe_format) {
889 type_mask = ParseFormatAttribute(maybe_format.value());
890 if (type_mask == 0) {
891 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
892 << "invalid attribute format '" << maybe_format.value()
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700893 << "'");
894 return false;
895 }
896 }
897
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700898 Maybe<int32_t> maybe_min, maybe_max;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700899
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700900 if (Maybe<StringPiece> maybe_min_str = xml::FindAttribute(parser, "min")) {
901 StringPiece min_str = util::TrimWhitespace(maybe_min_str.value());
902 if (!min_str.empty()) {
903 std::u16string min_str16 = util::Utf8ToUtf16(min_str);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700904 android::Res_value value;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700905 if (android::ResTable::stringToInt(min_str16.data(), min_str16.size(),
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700906 &value)) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700907 maybe_min = static_cast<int32_t>(value.data);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700908 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800909 }
910
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700911 if (!maybe_min) {
912 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
913 << "invalid 'min' value '" << min_str << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700914 return false;
915 }
916 }
917
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700918 if (Maybe<StringPiece> maybe_max_str = xml::FindAttribute(parser, "max")) {
919 StringPiece max_str = util::TrimWhitespace(maybe_max_str.value());
920 if (!max_str.empty()) {
921 std::u16string max_str16 = util::Utf8ToUtf16(max_str);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700922 android::Res_value value;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700923 if (android::ResTable::stringToInt(max_str16.data(), max_str16.size(),
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700924 &value)) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700925 maybe_max = static_cast<int32_t>(value.data);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700926 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800927 }
928
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700929 if (!maybe_max) {
930 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
931 << "invalid 'max' value '" << max_str << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700932 return false;
933 }
934 }
935
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700936 if ((maybe_min || maybe_max) &&
937 (type_mask & android::ResTable_map::TYPE_INTEGER) == 0) {
938 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700939 << "'min' and 'max' can only be used when format='integer'");
940 return false;
941 }
942
943 struct SymbolComparator {
Yi Kong087e2d42017-05-02 12:49:25 -0700944 bool operator()(const Attribute::Symbol& a, const Attribute::Symbol& b) const {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700945 return a.symbol.name.value() < b.symbol.name.value();
946 }
947 };
948
949 std::set<Attribute::Symbol, SymbolComparator> items;
950
951 std::string comment;
952 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700953 const size_t depth = parser->depth();
954 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
955 if (parser->event() == xml::XmlPullParser::Event::kComment) {
Adam Lesinskid5083f62017-01-16 15:07:21 -0800956 comment = util::TrimWhitespace(parser->comment()).to_string();
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700957 continue;
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700958 } else if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700959 // Skip text.
960 continue;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -0800961 }
962
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700963 const Source item_source = source_.WithLine(parser->line_number());
964 const std::string& element_namespace = parser->element_namespace();
965 const std::string& element_name = parser->element_name();
966 if (element_namespace.empty() &&
967 (element_name == "flag" || element_name == "enum")) {
968 if (element_name == "enum") {
969 if (type_mask & android::ResTable_map::TYPE_FLAGS) {
970 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700971 << "can not define an <enum>; already defined a <flag>");
972 error = true;
973 continue;
974 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700975 type_mask |= android::ResTable_map::TYPE_ENUM;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700976
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700977 } else if (element_name == "flag") {
978 if (type_mask & android::ResTable_map::TYPE_ENUM) {
979 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700980 << "can not define a <flag>; already defined an <enum>");
981 error = true;
982 continue;
983 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700984 type_mask |= android::ResTable_map::TYPE_FLAGS;
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700985 }
986
987 if (Maybe<Attribute::Symbol> s =
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700988 ParseEnumOrFlagItem(parser, element_name)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700989 Attribute::Symbol& symbol = s.value();
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700990 ParsedResource child_resource;
991 child_resource.name = symbol.symbol.name.value();
992 child_resource.source = item_source;
993 child_resource.value = util::make_unique<Id>();
994 out_resource->child_resources.push_back(std::move(child_resource));
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700995
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700996 symbol.symbol.SetComment(std::move(comment));
997 symbol.symbol.SetSource(item_source);
Adam Lesinskicacb28f2016-10-19 12:18:14 -0700998
Adam Lesinskice5e56e2016-10-21 17:56:45 -0700999 auto insert_result = items.insert(std::move(symbol));
1000 if (!insert_result.second) {
1001 const Attribute::Symbol& existing_symbol = *insert_result.first;
1002 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001003 << "duplicate symbol '"
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001004 << existing_symbol.symbol.name.value().entry << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001005
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001006 diag_->Note(DiagMessage(existing_symbol.symbol.GetSource())
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001007 << "first defined here");
1008 error = true;
1009 }
1010 } else {
1011 error = true;
1012 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001013 } else if (!ShouldIgnoreElement(element_namespace, element_name)) {
1014 diag_->Error(DiagMessage(item_source) << ":" << element_name << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001015 error = true;
1016 }
1017
1018 comment = {};
1019 }
1020
1021 if (error) {
1022 return false;
1023 }
1024
1025 std::unique_ptr<Attribute> attr = util::make_unique<Attribute>(weak);
1026 attr->symbols = std::vector<Attribute::Symbol>(items.begin(), items.end());
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001027 attr->type_mask =
1028 type_mask ? type_mask : uint32_t(android::ResTable_map::TYPE_ANY);
1029 if (maybe_min) {
1030 attr->min_int = maybe_min.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001031 }
1032
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001033 if (maybe_max) {
1034 attr->max_int = maybe_max.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001035 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001036 out_resource->value = std::move(attr);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001037 return true;
1038}
1039
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001040Maybe<Attribute::Symbol> ResourceParser::ParseEnumOrFlagItem(
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001041 xml::XmlPullParser* parser, const StringPiece& tag) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001042 const Source source = source_.WithLine(parser->line_number());
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001043
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001044 Maybe<StringPiece> maybe_name = xml::FindNonEmptyAttribute(parser, "name");
1045 if (!maybe_name) {
1046 diag_->Error(DiagMessage(source) << "no attribute 'name' found for tag <"
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001047 << tag << ">");
1048 return {};
1049 }
1050
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001051 Maybe<StringPiece> maybe_value = xml::FindNonEmptyAttribute(parser, "value");
1052 if (!maybe_value) {
1053 diag_->Error(DiagMessage(source) << "no attribute 'value' found for tag <"
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001054 << tag << ">");
1055 return {};
1056 }
1057
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001058 std::u16string value16 = util::Utf8ToUtf16(maybe_value.value());
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001059 android::Res_value val;
1060 if (!android::ResTable::stringToInt(value16.data(), value16.size(), &val)) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001061 diag_->Error(DiagMessage(source) << "invalid value '" << maybe_value.value()
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001062 << "' for <" << tag
1063 << ">; must be an integer");
1064 return {};
1065 }
1066
1067 return Attribute::Symbol{
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001068 Reference(ResourceNameRef({}, ResourceType::kId, maybe_name.value())),
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001069 val.data};
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001070}
1071
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001072bool ResourceParser::ParseStyleItem(xml::XmlPullParser* parser, Style* style) {
1073 const Source source = source_.WithLine(parser->line_number());
Adam Lesinski1ab598f2015-08-14 14:26:04 -07001074
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001075 Maybe<StringPiece> maybe_name = xml::FindNonEmptyAttribute(parser, "name");
1076 if (!maybe_name) {
1077 diag_->Error(DiagMessage(source) << "<item> must have a 'name' attribute");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001078 return false;
1079 }
1080
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001081 Maybe<Reference> maybe_key =
1082 ResourceUtils::ParseXmlAttributeName(maybe_name.value());
1083 if (!maybe_key) {
1084 diag_->Error(DiagMessage(source) << "invalid attribute name '"
1085 << maybe_name.value() << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001086 return false;
1087 }
1088
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001089 TransformReferenceFromNamespace(parser, "", &maybe_key.value());
1090 maybe_key.value().SetSource(source);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001091
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001092 std::unique_ptr<Item> value = ParseXml(parser, 0, kAllowRawString);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001093 if (!value) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001094 diag_->Error(DiagMessage(source) << "could not parse style item");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001095 return false;
1096 }
1097
1098 style->entries.push_back(
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001099 Style::Entry{std::move(maybe_key.value()), std::move(value)});
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001100 return true;
1101}
1102
Adam Lesinski86d67df2017-01-31 13:47:27 -08001103bool ResourceParser::ParseStyle(const ResourceType type, xml::XmlPullParser* parser,
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001104 ParsedResource* out_resource) {
Adam Lesinski86d67df2017-01-31 13:47:27 -08001105 out_resource->name.type = type;
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001106
1107 std::unique_ptr<Style> style = util::make_unique<Style>();
1108
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001109 Maybe<StringPiece> maybe_parent = xml::FindAttribute(parser, "parent");
1110 if (maybe_parent) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001111 // If the parent is empty, we don't have a parent, but we also don't infer
1112 // either.
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001113 if (!maybe_parent.value().empty()) {
1114 std::string err_str;
1115 style->parent = ResourceUtils::ParseStyleParentReference(
1116 maybe_parent.value(), &err_str);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001117 if (!style->parent) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001118 diag_->Error(DiagMessage(out_resource->source) << err_str);
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001119 return false;
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001120 }
1121
1122 // Transform the namespace prefix to the actual package name, and mark the
1123 // reference as
1124 // private if appropriate.
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001125 TransformReferenceFromNamespace(parser, "", &style->parent.value());
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001126 }
1127
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001128 } else {
1129 // No parent was specified, so try inferring it from the style name.
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001130 std::string style_name = out_resource->name.entry;
1131 size_t pos = style_name.find_last_of(u'.');
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001132 if (pos != std::string::npos) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001133 style->parent_inferred = true;
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001134 style->parent = Reference(
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001135 ResourceName({}, ResourceType::kStyle, style_name.substr(0, pos)));
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001136 }
1137 }
1138
1139 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001140 const size_t depth = parser->depth();
1141 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
1142 if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001143 // Skip text and comments.
1144 continue;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001145 }
1146
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001147 const std::string& element_namespace = parser->element_namespace();
1148 const std::string& element_name = parser->element_name();
1149 if (element_namespace == "" && element_name == "item") {
1150 error |= !ParseStyleItem(parser, style.get());
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001151
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001152 } else if (!ShouldIgnoreElement(element_namespace, element_name)) {
1153 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
1154 << ":" << element_name << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001155 error = true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001156 }
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001157 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001158
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001159 if (error) {
1160 return false;
1161 }
1162
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001163 out_resource->value = std::move(style);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001164 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001165}
1166
Adam Lesinskid5fd76a2017-05-16 12:18:08 -07001167bool ResourceParser::ParseArray(xml::XmlPullParser* parser, ParsedResource* out_resource) {
1168 uint32_t resource_format = android::ResTable_map::TYPE_ANY;
1169 if (Maybe<StringPiece> format_attr = xml::FindNonEmptyAttribute(parser, "format")) {
1170 resource_format = ParseFormatTypeNoEnumsOrFlags(format_attr.value());
1171 if (resource_format == 0u) {
1172 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
1173 << "'" << format_attr.value() << "' is an invalid format");
1174 return false;
1175 }
1176 }
1177 return ParseArrayImpl(parser, out_resource, resource_format);
Adam Lesinski1ab598f2015-08-14 14:26:04 -07001178}
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001179
Adam Lesinskid5fd76a2017-05-16 12:18:08 -07001180bool ResourceParser::ParseIntegerArray(xml::XmlPullParser* parser, ParsedResource* out_resource) {
1181 return ParseArrayImpl(parser, out_resource, android::ResTable_map::TYPE_INTEGER);
Adam Lesinski7ff3ee12015-12-14 16:08:50 -08001182}
1183
Adam Lesinskid5fd76a2017-05-16 12:18:08 -07001184bool ResourceParser::ParseStringArray(xml::XmlPullParser* parser, ParsedResource* out_resource) {
1185 return ParseArrayImpl(parser, out_resource, android::ResTable_map::TYPE_STRING);
Adam Lesinski7ff3ee12015-12-14 16:08:50 -08001186}
1187
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001188bool ResourceParser::ParseArrayImpl(xml::XmlPullParser* parser,
1189 ParsedResource* out_resource,
Adam Lesinski7ff3ee12015-12-14 16:08:50 -08001190 const uint32_t typeMask) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001191 out_resource->name.type = ResourceType::kArray;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -08001192
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001193 std::unique_ptr<Array> array = util::make_unique<Array>();
Adam Lesinski1ab598f2015-08-14 14:26:04 -07001194
Adam Lesinski75421622017-01-06 15:20:04 -08001195 bool translatable = options_.translatable;
1196 if (Maybe<StringPiece> translatable_attr = xml::FindAttribute(parser, "translatable")) {
1197 Maybe<bool> maybe_translatable = ResourceUtils::ParseBool(translatable_attr.value());
1198 if (!maybe_translatable) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001199 diag_->Error(DiagMessage(out_resource->source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001200 << "invalid value for 'translatable'. Must be a boolean");
1201 return false;
Adam Lesinski458b8772016-04-25 14:20:21 -07001202 }
Adam Lesinski75421622017-01-06 15:20:04 -08001203 translatable = maybe_translatable.value();
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001204 }
Adam Lesinski75421622017-01-06 15:20:04 -08001205 array->SetTranslatable(translatable);
Adam Lesinski458b8772016-04-25 14:20:21 -07001206
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001207 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001208 const size_t depth = parser->depth();
1209 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
1210 if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001211 // Skip text and comments.
1212 continue;
Adam Lesinski1ab598f2015-08-14 14:26:04 -07001213 }
1214
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001215 const Source item_source = source_.WithLine(parser->line_number());
1216 const std::string& element_namespace = parser->element_namespace();
1217 const std::string& element_name = parser->element_name();
1218 if (element_namespace.empty() && element_name == "item") {
1219 std::unique_ptr<Item> item = ParseXml(parser, typeMask, kNoRawString);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001220 if (!item) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001221 diag_->Error(DiagMessage(item_source) << "could not parse array item");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001222 error = true;
1223 continue;
1224 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001225 item->SetSource(item_source);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001226 array->items.emplace_back(std::move(item));
Adam Lesinski9ba47d82015-10-13 11:37:10 -07001227
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001228 } else if (!ShouldIgnoreElement(element_namespace, element_name)) {
1229 diag_->Error(DiagMessage(source_.WithLine(parser->line_number()))
1230 << "unknown tag <" << element_namespace << ":"
1231 << element_name << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001232 error = true;
1233 }
1234 }
1235
1236 if (error) {
1237 return false;
1238 }
1239
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001240 out_resource->value = std::move(array);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001241 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001242}
1243
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001244bool ResourceParser::ParsePlural(xml::XmlPullParser* parser,
1245 ParsedResource* out_resource) {
1246 out_resource->name.type = ResourceType::kPlurals;
Adam Lesinski7ff3ee12015-12-14 16:08:50 -08001247
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001248 std::unique_ptr<Plural> plural = util::make_unique<Plural>();
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001249
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001250 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001251 const size_t depth = parser->depth();
1252 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
1253 if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001254 // Skip text and comments.
1255 continue;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001256 }
1257
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001258 const Source item_source = source_.WithLine(parser->line_number());
1259 const std::string& element_namespace = parser->element_namespace();
1260 const std::string& element_name = parser->element_name();
1261 if (element_namespace.empty() && element_name == "item") {
1262 Maybe<StringPiece> maybe_quantity =
1263 xml::FindNonEmptyAttribute(parser, "quantity");
1264 if (!maybe_quantity) {
1265 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001266 << "<item> in <plurals> requires attribute "
1267 << "'quantity'");
1268 error = true;
1269 continue;
1270 }
Adam Lesinski9ba47d82015-10-13 11:37:10 -07001271
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001272 StringPiece trimmed_quantity =
1273 util::TrimWhitespace(maybe_quantity.value());
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001274 size_t index = 0;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001275 if (trimmed_quantity == "zero") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001276 index = Plural::Zero;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001277 } else if (trimmed_quantity == "one") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001278 index = Plural::One;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001279 } else if (trimmed_quantity == "two") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001280 index = Plural::Two;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001281 } else if (trimmed_quantity == "few") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001282 index = Plural::Few;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001283 } else if (trimmed_quantity == "many") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001284 index = Plural::Many;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001285 } else if (trimmed_quantity == "other") {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001286 index = Plural::Other;
1287 } else {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001288 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001289 << "<item> in <plural> has invalid value '"
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001290 << trimmed_quantity << "' for attribute 'quantity'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001291 error = true;
1292 continue;
1293 }
1294
1295 if (plural->values[index]) {
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001296 diag_->Error(DiagMessage(item_source) << "duplicate quantity '"
1297 << trimmed_quantity << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001298 error = true;
1299 continue;
1300 }
1301
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001302 if (!(plural->values[index] = ParseXml(
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001303 parser, android::ResTable_map::TYPE_STRING, kNoRawString))) {
1304 error = true;
1305 }
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001306 plural->values[index]->SetSource(item_source);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001307
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001308 } else if (!ShouldIgnoreElement(element_namespace, element_name)) {
1309 diag_->Error(DiagMessage(item_source) << "unknown tag <"
1310 << element_namespace << ":"
1311 << element_name << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001312 error = true;
1313 }
1314 }
1315
1316 if (error) {
1317 return false;
1318 }
1319
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001320 out_resource->value = std::move(plural);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001321 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001322}
1323
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001324bool ResourceParser::ParseDeclareStyleable(xml::XmlPullParser* parser,
1325 ParsedResource* out_resource) {
1326 out_resource->name.type = ResourceType::kStyleable;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001327
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001328 // Declare-styleable is kPrivate by default, because it technically only
1329 // exists in R.java.
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001330 out_resource->symbol_state = SymbolState::kPublic;
Adam Lesinski9f222042015-11-04 13:51:45 -08001331
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001332 // Declare-styleable only ends up in default config;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001333 if (out_resource->config != ConfigDescription::DefaultConfig()) {
1334 diag_->Warn(DiagMessage(out_resource->source)
1335 << "ignoring configuration '" << out_resource->config
1336 << "' for styleable " << out_resource->name.entry);
1337 out_resource->config = ConfigDescription::DefaultConfig();
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001338 }
1339
1340 std::unique_ptr<Styleable> styleable = util::make_unique<Styleable>();
1341
1342 std::string comment;
1343 bool error = false;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001344 const size_t depth = parser->depth();
1345 while (xml::XmlPullParser::NextChildNode(parser, depth)) {
1346 if (parser->event() == xml::XmlPullParser::Event::kComment) {
Adam Lesinskid5083f62017-01-16 15:07:21 -08001347 comment = util::TrimWhitespace(parser->comment()).to_string();
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001348 continue;
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001349 } else if (parser->event() != xml::XmlPullParser::Event::kStartElement) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001350 // Ignore text.
1351 continue;
Adam Lesinski52364f72016-01-11 13:10:24 -08001352 }
1353
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001354 const Source item_source = source_.WithLine(parser->line_number());
1355 const std::string& element_namespace = parser->element_namespace();
1356 const std::string& element_name = parser->element_name();
1357 if (element_namespace.empty() && element_name == "attr") {
1358 Maybe<StringPiece> maybe_name =
1359 xml::FindNonEmptyAttribute(parser, "name");
1360 if (!maybe_name) {
1361 diag_->Error(DiagMessage(item_source)
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001362 << "<attr> tag must have a 'name' attribute");
1363 error = true;
1364 continue;
1365 }
Adam Lesinski7ff3ee12015-12-14 16:08:50 -08001366
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001367 // If this is a declaration, the package name may be in the name. Separate
1368 // these out.
1369 // Eg. <attr name="android:text" />
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001370 Maybe<Reference> maybe_ref =
1371 ResourceUtils::ParseXmlAttributeName(maybe_name.value());
1372 if (!maybe_ref) {
1373 diag_->Error(DiagMessage(item_source) << "<attr> tag has invalid name '"
1374 << maybe_name.value() << "'");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001375 error = true;
1376 continue;
1377 }
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001378
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001379 Reference& child_ref = maybe_ref.value();
1380 xml::TransformReferenceFromNamespace(parser, "", &child_ref);
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001381
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001382 // Create the ParsedResource that will add the attribute to the table.
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001383 ParsedResource child_resource;
1384 child_resource.name = child_ref.name.value();
1385 child_resource.source = item_source;
1386 child_resource.comment = std::move(comment);
Adam Lesinski467f1712015-11-16 17:35:44 -08001387
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001388 if (!ParseAttrImpl(parser, &child_resource, true)) {
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001389 error = true;
1390 continue;
1391 }
Adam Lesinski467f1712015-11-16 17:35:44 -08001392
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001393 // Create the reference to this attribute.
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001394 child_ref.SetComment(child_resource.comment);
1395 child_ref.SetSource(item_source);
1396 styleable->entries.push_back(std::move(child_ref));
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001397
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001398 out_resource->child_resources.push_back(std::move(child_resource));
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001399
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001400 } else if (!ShouldIgnoreElement(element_namespace, element_name)) {
1401 diag_->Error(DiagMessage(item_source) << "unknown tag <"
1402 << element_namespace << ":"
1403 << element_name << ">");
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001404 error = true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001405 }
1406
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001407 comment = {};
1408 }
Adam Lesinski9ba47d82015-10-13 11:37:10 -07001409
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001410 if (error) {
1411 return false;
1412 }
1413
Adam Lesinskice5e56e2016-10-21 17:56:45 -07001414 out_resource->value = std::move(styleable);
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001415 return true;
Adam Lesinski6f6ceb72014-11-14 14:48:12 -08001416}
1417
Adam Lesinskicacb28f2016-10-19 12:18:14 -07001418} // namespace aapt