blob: 47fa2a63d5533dc0321ab9ea273f416e6387568d [file] [log] [blame]
/*
* Copyright (C) 2015 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "ResourceTable.h"
#include "ResourceValues.h"
#include "ValueVisitor.h"
#include "flatten/ChunkWriter.h"
#include "flatten/ResourceTypeExtensions.h"
#include "flatten/TableFlattener.h"
#include "util/BigBuffer.h"
#include <base/macros.h>
#include <type_traits>
#include <numeric>
using namespace android;
namespace aapt {
namespace {
template <typename T>
static bool cmpIds(const T* a, const T* b) {
return a->id.value() < b->id.value();
}
static void strcpy16_htod(uint16_t* dst, size_t len, const StringPiece16& src) {
if (len == 0) {
return;
}
size_t i;
const char16_t* srcData = src.data();
for (i = 0; i < len - 1 && i < src.size(); i++) {
dst[i] = util::hostToDevice16((uint16_t) srcData[i]);
}
dst[i] = 0;
}
struct FlatEntry {
ResourceEntry* entry;
Value* value;
uint32_t entryKey;
uint32_t sourcePathKey;
uint32_t sourceLine;
};
class SymbolWriter {
public:
struct Entry {
StringPool::Ref name;
size_t offset;
};
std::vector<Entry> symbols;
explicit SymbolWriter(StringPool* pool) : mPool(pool) {
}
void addSymbol(const ResourceNameRef& name, size_t offset) {
symbols.push_back(Entry{ mPool->makeRef(name.package.toString() + u":" +
toString(name.type).toString() + u"/" +
name.entry.toString()), offset });
}
void shiftAllOffsets(size_t offset) {
for (Entry& entry : symbols) {
entry.offset += offset;
}
}
private:
StringPool* mPool;
};
struct MapFlattenVisitor : public RawValueVisitor {
using RawValueVisitor::visit;
SymbolWriter* mSymbols;
FlatEntry* mEntry;
BigBuffer* mBuffer;
size_t mEntryCount = 0;
Maybe<uint32_t> mParentIdent;
Maybe<ResourceNameRef> mParentName;
MapFlattenVisitor(SymbolWriter* symbols, FlatEntry* entry, BigBuffer* buffer) :
mSymbols(symbols), mEntry(entry), mBuffer(buffer) {
}
void flattenKey(Reference* key, ResTable_map* outEntry) {
if (!key->id) {
assert(key->name && "reference must have a name");
outEntry->name.ident = util::hostToDevice32(0);
mSymbols->addSymbol(key->name.value(), (mBuffer->size() - sizeof(ResTable_map)) +
offsetof(ResTable_map, name));
} else {
outEntry->name.ident = util::hostToDevice32(key->id.value().id);
}
}
void flattenValue(Item* value, ResTable_map* outEntry) {
if (Reference* ref = valueCast<Reference>(value)) {
if (!ref->id) {
assert(ref->name && "reference must have a name");
mSymbols->addSymbol(ref->name.value(), (mBuffer->size() - sizeof(ResTable_map)) +
offsetof(ResTable_map, value) + offsetof(Res_value, data));
}
}
bool result = value->flatten(&outEntry->value);
assert(result && "flatten failed");
}
void flattenEntry(Reference* key, Item* value) {
ResTable_map* outEntry = mBuffer->nextBlock<ResTable_map>();
flattenKey(key, outEntry);
flattenValue(value, outEntry);
outEntry->value.size = util::hostToDevice16(sizeof(outEntry->value));
mEntryCount++;
}
void visit(Attribute* attr) override {
{
Reference key(ResourceId{ ResTable_map::ATTR_TYPE });
BinaryPrimitive val(Res_value::TYPE_INT_DEC, attr->typeMask);
flattenEntry(&key, &val);
}
for (Attribute::Symbol& s : attr->symbols) {
BinaryPrimitive val(Res_value::TYPE_INT_DEC, s.value);
flattenEntry(&s.symbol, &val);
}
}
static bool cmpStyleEntries(const Style::Entry& a, const Style::Entry& b) {
if (a.key.id) {
if (b.key.id) {
return a.key.id.value() < b.key.id.value();
}
return true;
} else if (!b.key.id) {
return a.key.name.value() < b.key.name.value();
}
return false;
}
void visit(Style* style) override {
if (style->parent) {
if (!style->parent.value().id) {
assert(style->parent.value().name && "reference must have a name");
mParentName = style->parent.value().name;
} else {
mParentIdent = style->parent.value().id.value().id;
}
}
// Sort the style.
std::sort(style->entries.begin(), style->entries.end(), cmpStyleEntries);
for (Style::Entry& entry : style->entries) {
flattenEntry(&entry.key, entry.value.get());
}
}
void visit(Styleable* styleable) override {
for (auto& attrRef : styleable->entries) {
BinaryPrimitive val(Res_value{});
flattenEntry(&attrRef, &val);
}
}
void visit(Array* array) override {
for (auto& item : array->items) {
ResTable_map* outEntry = mBuffer->nextBlock<ResTable_map>();
flattenValue(item.get(), outEntry);
outEntry->value.size = util::hostToDevice16(sizeof(outEntry->value));
mEntryCount++;
}
}
void visit(Plural* plural) override {
const size_t count = plural->values.size();
for (size_t i = 0; i < count; i++) {
if (!plural->values[i]) {
continue;
}
ResourceId q;
switch (i) {
case Plural::Zero:
q.id = android::ResTable_map::ATTR_ZERO;
break;
case Plural::One:
q.id = android::ResTable_map::ATTR_ONE;
break;
case Plural::Two:
q.id = android::ResTable_map::ATTR_TWO;
break;
case Plural::Few:
q.id = android::ResTable_map::ATTR_FEW;
break;
case Plural::Many:
q.id = android::ResTable_map::ATTR_MANY;
break;
case Plural::Other:
q.id = android::ResTable_map::ATTR_OTHER;
break;
default:
assert(false);
break;
}
Reference key(q);
flattenEntry(&key, plural->values[i].get());
}
}
};
class PackageFlattener {
public:
PackageFlattener(IDiagnostics* diag, TableFlattenerOptions options,
ResourceTablePackage* package, SymbolWriter* symbolWriter,
StringPool* sourcePool) :
mDiag(diag), mOptions(options), mPackage(package), mSymbols(symbolWriter),
mSourcePool(sourcePool) {
}
bool flattenPackage(BigBuffer* buffer) {
ChunkWriter pkgWriter(buffer);
ResTable_package* pkgHeader = pkgWriter.startChunk<ResTable_package>(
RES_TABLE_PACKAGE_TYPE);
pkgHeader->id = util::hostToDevice32(mPackage->id.value());
if (mPackage->name.size() >= arraysize(pkgHeader->name)) {
mDiag->error(DiagMessage() <<
"package name '" << mPackage->name << "' is too long");
return false;
}
// Copy the package name in device endianness.
strcpy16_htod(pkgHeader->name, arraysize(pkgHeader->name), mPackage->name);
// Serialize the types. We do this now so that our type and key strings
// are populated. We write those first.
BigBuffer typeBuffer(1024);
flattenTypes(&typeBuffer);
pkgHeader->typeStrings = util::hostToDevice32(pkgWriter.size());
StringPool::flattenUtf16(pkgWriter.getBuffer(), mTypePool);
pkgHeader->keyStrings = util::hostToDevice32(pkgWriter.size());
StringPool::flattenUtf16(pkgWriter.getBuffer(), mKeyPool);
// Add the ResTable_package header/type/key strings to the offset.
mSymbols->shiftAllOffsets(pkgWriter.size());
// Append the types.
buffer->appendBuffer(std::move(typeBuffer));
pkgWriter.finish();
return true;
}
private:
IDiagnostics* mDiag;
TableFlattenerOptions mOptions;
ResourceTablePackage* mPackage;
StringPool mTypePool;
StringPool mKeyPool;
SymbolWriter* mSymbols;
StringPool* mSourcePool;
template <typename T, bool IsItem>
T* writeEntry(FlatEntry* entry, BigBuffer* buffer) {
static_assert(std::is_same<ResTable_entry, T>::value ||
std::is_same<ResTable_entry_ext, T>::value,
"T must be ResTable_entry or ResTable_entry_ext");
T* result = buffer->nextBlock<T>();
ResTable_entry* outEntry = (ResTable_entry*)(result);
if (entry->entry->symbolStatus.state == SymbolState::kPublic) {
outEntry->flags |= ResTable_entry::FLAG_PUBLIC;
}
if (entry->value->isWeak()) {
outEntry->flags |= ResTable_entry::FLAG_WEAK;
}
if (!IsItem) {
outEntry->flags |= ResTable_entry::FLAG_COMPLEX;
}
outEntry->key.index = util::hostToDevice32(entry->entryKey);
outEntry->size = sizeof(T);
if (mOptions.useExtendedChunks) {
// Write the extra source block. This will be ignored by the Android runtime.
ResTable_entry_source* sourceBlock = buffer->nextBlock<ResTable_entry_source>();
sourceBlock->pathIndex = util::hostToDevice32(entry->sourcePathKey);
sourceBlock->line = util::hostToDevice32(entry->sourceLine);
outEntry->size += sizeof(*sourceBlock);
}
outEntry->flags = util::hostToDevice16(outEntry->flags);
outEntry->size = util::hostToDevice16(outEntry->size);
return result;
}
bool flattenValue(FlatEntry* entry, BigBuffer* buffer) {
if (Item* item = valueCast<Item>(entry->value)) {
writeEntry<ResTable_entry, true>(entry, buffer);
if (Reference* ref = valueCast<Reference>(entry->value)) {
if (!ref->id) {
assert(ref->name && "reference must have at least a name");
mSymbols->addSymbol(ref->name.value(),
buffer->size() + offsetof(Res_value, data));
}
}
Res_value* outValue = buffer->nextBlock<Res_value>();
bool result = item->flatten(outValue);
assert(result && "flatten failed");
outValue->size = util::hostToDevice16(sizeof(*outValue));
} else {
const size_t beforeEntry = buffer->size();
ResTable_entry_ext* outEntry = writeEntry<ResTable_entry_ext, false>(entry, buffer);
MapFlattenVisitor visitor(mSymbols, entry, buffer);
entry->value->accept(&visitor);
outEntry->count = util::hostToDevice32(visitor.mEntryCount);
if (visitor.mParentName) {
mSymbols->addSymbol(visitor.mParentName.value(),
beforeEntry + offsetof(ResTable_entry_ext, parent));
} else if (visitor.mParentIdent) {
outEntry->parent.ident = util::hostToDevice32(visitor.mParentIdent.value());
}
}
return true;
}
bool flattenConfig(const ResourceTableType* type, const ConfigDescription& config,
std::vector<FlatEntry>* entries, BigBuffer* buffer) {
ChunkWriter typeWriter(buffer);
ResTable_type* typeHeader = typeWriter.startChunk<ResTable_type>(RES_TABLE_TYPE_TYPE);
typeHeader->id = type->id.value();
typeHeader->config = config;
typeHeader->config.swapHtoD();
auto maxAccum = [](uint32_t max, const std::unique_ptr<ResourceEntry>& a) -> uint32_t {
return std::max(max, (uint32_t) a->id.value());
};
// Find the largest entry ID. That is how many entries we will have.
const uint32_t entryCount =
std::accumulate(type->entries.begin(), type->entries.end(), 0, maxAccum) + 1;
typeHeader->entryCount = util::hostToDevice32(entryCount);
uint32_t* indices = typeWriter.nextBlock<uint32_t>(entryCount);
assert((size_t) entryCount <= std::numeric_limits<uint16_t>::max() + 1);
memset(indices, 0xff, entryCount * sizeof(uint32_t));
typeHeader->entriesStart = util::hostToDevice32(typeWriter.size());
const size_t entryStart = typeWriter.getBuffer()->size();
for (FlatEntry& flatEntry : *entries) {
assert(flatEntry.entry->id.value() < entryCount);
indices[flatEntry.entry->id.value()] = util::hostToDevice32(
typeWriter.getBuffer()->size() - entryStart);
if (!flattenValue(&flatEntry, typeWriter.getBuffer())) {
mDiag->error(DiagMessage()
<< "failed to flatten resource '"
<< ResourceNameRef(mPackage->name, type->type, flatEntry.entry->name)
<< "' for configuration '" << config << "'");
return false;
}
}
typeWriter.finish();
return true;
}
std::vector<ResourceTableType*> collectAndSortTypes() {
std::vector<ResourceTableType*> sortedTypes;
for (auto& type : mPackage->types) {
if (type->type == ResourceType::kStyleable && !mOptions.useExtendedChunks) {
// Styleables aren't real Resource Types, they are represented in the R.java
// file.
continue;
}
assert(type->id && "type must have an ID set");
sortedTypes.push_back(type.get());
}
std::sort(sortedTypes.begin(), sortedTypes.end(), cmpIds<ResourceTableType>);
return sortedTypes;
}
std::vector<ResourceEntry*> collectAndSortEntries(ResourceTableType* type) {
// Sort the entries by entry ID.
std::vector<ResourceEntry*> sortedEntries;
for (auto& entry : type->entries) {
assert(entry->id && "entry must have an ID set");
sortedEntries.push_back(entry.get());
}
std::sort(sortedEntries.begin(), sortedEntries.end(), cmpIds<ResourceEntry>);
return sortedEntries;
}
bool flattenTypeSpec(ResourceTableType* type, std::vector<ResourceEntry*>* sortedEntries,
BigBuffer* buffer) {
ChunkWriter typeSpecWriter(buffer);
ResTable_typeSpec* specHeader = typeSpecWriter.startChunk<ResTable_typeSpec>(
RES_TABLE_TYPE_SPEC_TYPE);
specHeader->id = type->id.value();
if (sortedEntries->empty()) {
typeSpecWriter.finish();
return true;
}
// We can't just take the size of the vector. There may be holes in the entry ID space.
// Since the entries are sorted by ID, the last one will be the biggest.
const size_t numEntries = sortedEntries->back()->id.value() + 1;
specHeader->entryCount = util::hostToDevice32(numEntries);
// Reserve space for the masks of each resource in this type. These
// show for which configuration axis the resource changes.
uint32_t* configMasks = typeSpecWriter.nextBlock<uint32_t>(numEntries);
const size_t actualNumEntries = sortedEntries->size();
for (size_t entryIndex = 0; entryIndex < actualNumEntries; entryIndex++) {
ResourceEntry* entry = sortedEntries->at(entryIndex);
// Populate the config masks for this entry.
if (entry->symbolStatus.state == SymbolState::kPublic) {
configMasks[entry->id.value()] |=
util::hostToDevice32(ResTable_typeSpec::SPEC_PUBLIC);
}
const size_t configCount = entry->values.size();
for (size_t i = 0; i < configCount; i++) {
const ConfigDescription& config = entry->values[i].config;
for (size_t j = i + 1; j < configCount; j++) {
configMasks[entry->id.value()] |= util::hostToDevice32(
config.diff(entry->values[j].config));
}
}
}
typeSpecWriter.finish();
return true;
}
bool flattenPublic(ResourceTableType* type, std::vector<ResourceEntry*>* sortedEntries,
BigBuffer* buffer) {
ChunkWriter publicWriter(buffer);
Public_header* publicHeader = publicWriter.startChunk<Public_header>(RES_TABLE_PUBLIC_TYPE);
publicHeader->typeId = type->id.value();
for (ResourceEntry* entry : *sortedEntries) {
if (entry->symbolStatus.state != SymbolState::kUndefined) {
// Write the public status of this entry.
Public_entry* publicEntry = publicWriter.nextBlock<Public_entry>();
publicEntry->entryId = util::hostToDevice32(entry->id.value());
publicEntry->key.index = util::hostToDevice32(mKeyPool.makeRef(
entry->name).getIndex());
publicEntry->source.index = util::hostToDevice32(mSourcePool->makeRef(
util::utf8ToUtf16(entry->symbolStatus.source.path)).getIndex());
if (entry->symbolStatus.source.line) {
publicEntry->sourceLine = util::hostToDevice32(
entry->symbolStatus.source.line.value());
}
switch (entry->symbolStatus.state) {
case SymbolState::kPrivate:
publicEntry->state = Public_entry::kPrivate;
break;
case SymbolState::kPublic:
publicEntry->state = Public_entry::kPublic;
break;
default:
assert(false && "should not serialize any other state");
break;
}
// Don't hostToDevice until the last step.
publicHeader->count += 1;
}
}
publicHeader->count = util::hostToDevice32(publicHeader->count);
publicWriter.finish();
return true;
}
bool flattenTypes(BigBuffer* buffer) {
// Sort the types by their IDs. They will be inserted into the StringPool in this order.
std::vector<ResourceTableType*> sortedTypes = collectAndSortTypes();
size_t expectedTypeId = 1;
for (ResourceTableType* type : sortedTypes) {
// If there is a gap in the type IDs, fill in the StringPool
// with empty values until we reach the ID we expect.
while (type->id.value() > expectedTypeId) {
std::u16string typeName(u"?");
typeName += expectedTypeId;
mTypePool.makeRef(typeName);
expectedTypeId++;
}
expectedTypeId++;
mTypePool.makeRef(toString(type->type));
std::vector<ResourceEntry*> sortedEntries = collectAndSortEntries(type);
if (!flattenTypeSpec(type, &sortedEntries, buffer)) {
return false;
}
if (mOptions.useExtendedChunks) {
if (!flattenPublic(type, &sortedEntries, buffer)) {
return false;
}
}
// The binary resource table lists resource entries for each configuration.
// We store them inverted, where a resource entry lists the values for each
// configuration available. Here we reverse this to match the binary table.
std::map<ConfigDescription, std::vector<FlatEntry>> configToEntryListMap;
for (ResourceEntry* entry : sortedEntries) {
const uint32_t keyIndex = (uint32_t) mKeyPool.makeRef(entry->name).getIndex();
// Group values by configuration.
for (auto& configValue : entry->values) {
Value* value = configValue.value.get();
const StringPool::Ref sourceRef = mSourcePool->makeRef(
util::utf8ToUtf16(value->getSource().path));
uint32_t lineNumber = 0;
if (value->getSource().line) {
lineNumber = value->getSource().line.value();
}
configToEntryListMap[configValue.config]
.push_back(FlatEntry{
entry,
value,
keyIndex,
(uint32_t) sourceRef.getIndex(),
lineNumber });
}
}
// Flatten a configuration value.
for (auto& entry : configToEntryListMap) {
if (!flattenConfig(type, entry.first, &entry.second, buffer)) {
return false;
}
}
}
return true;
}
};
} // namespace
bool TableFlattener::consume(IAaptContext* context, ResourceTable* table) {
// We must do this before writing the resources, since the string pool IDs may change.
table->stringPool.sort([](const StringPool::Entry& a, const StringPool::Entry& b) -> bool {
int diff = a.context.priority - b.context.priority;
if (diff < 0) return true;
if (diff > 0) return false;
diff = a.context.config.compare(b.context.config);
if (diff < 0) return true;
if (diff > 0) return false;
return a.value < b.value;
});
table->stringPool.prune();
// Write the ResTable header.
ChunkWriter tableWriter(mBuffer);
ResTable_header* tableHeader = tableWriter.startChunk<ResTable_header>(RES_TABLE_TYPE);
tableHeader->packageCount = util::hostToDevice32(table->packages.size());
// Flatten the values string pool.
StringPool::flattenUtf8(tableWriter.getBuffer(), table->stringPool);
// If we have a reference to a symbol that doesn't exist, we don't know its resource ID.
// We encode the name of the symbol along with the offset of where to include the resource ID
// once it is found.
StringPool symbolPool;
std::vector<SymbolWriter::Entry> symbolOffsets;
// String pool holding the source paths of each value.
StringPool sourcePool;
BigBuffer packageBuffer(1024);
// Flatten each package.
for (auto& package : table->packages) {
const size_t beforePackageSize = packageBuffer.size();
// All packages will share a single global symbol pool.
SymbolWriter packageSymbolWriter(&symbolPool);
PackageFlattener flattener(context->getDiagnostics(), mOptions, package.get(),
&packageSymbolWriter, &sourcePool);
if (!flattener.flattenPackage(&packageBuffer)) {
return false;
}
// The symbols are offset only from their own Package start. Offset them from the
// start of the packageBuffer.
packageSymbolWriter.shiftAllOffsets(beforePackageSize);
// Extract all the symbols to offset
symbolOffsets.insert(symbolOffsets.end(),
std::make_move_iterator(packageSymbolWriter.symbols.begin()),
std::make_move_iterator(packageSymbolWriter.symbols.end()));
}
SymbolTable_entry* symbolEntryData = nullptr;
if (mOptions.useExtendedChunks) {
if (!symbolOffsets.empty()) {
// Sort the offsets so we can scan them linearly.
std::sort(symbolOffsets.begin(), symbolOffsets.end(),
[](const SymbolWriter::Entry& a, const SymbolWriter::Entry& b) -> bool {
return a.offset < b.offset;
});
// Write the Symbol header.
ChunkWriter symbolWriter(tableWriter.getBuffer());
SymbolTable_header* symbolHeader = symbolWriter.startChunk<SymbolTable_header>(
RES_TABLE_SYMBOL_TABLE_TYPE);
symbolHeader->count = util::hostToDevice32(symbolOffsets.size());
symbolEntryData = symbolWriter.nextBlock<SymbolTable_entry>(symbolOffsets.size());
StringPool::flattenUtf8(symbolWriter.getBuffer(), symbolPool);
symbolWriter.finish();
}
if (sourcePool.size() > 0) {
// Write out source pool.
ChunkWriter srcWriter(tableWriter.getBuffer());
srcWriter.startChunk<ResChunk_header>(RES_TABLE_SOURCE_POOL_TYPE);
StringPool::flattenUtf8(srcWriter.getBuffer(), sourcePool);
srcWriter.finish();
}
}
const size_t beforePackagesSize = tableWriter.size();
// Finally merge all the packages into the main buffer.
tableWriter.getBuffer()->appendBuffer(std::move(packageBuffer));
// Update the offsets to their final values.
if (symbolEntryData) {
for (SymbolWriter::Entry& entry : symbolOffsets) {
symbolEntryData->stringIndex = util::hostToDevice32(entry.name.getIndex());
// The symbols were all calculated with the packageBuffer offset. We need to
// add the beginning of the output buffer.
symbolEntryData->offset = util::hostToDevice32(entry.offset + beforePackagesSize);
symbolEntryData++;
}
}
tableWriter.finish();
return true;
}
} // namespace aapt