AST.cpp - platform/system/tools/hidl - Gitiles

 /*
  * Copyright (C) 2016 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 "AST.h"

 #include "Coordinator.h"
 #include "EnumType.h"
 #include "FQName.h"
 #include "HandleType.h"
 #include "Interface.h"
 #include "Location.h"
 #include "PredefinedType.h"
 #include "Scope.h"
 #include "TypeDef.h"

 #include <hidl-util/Formatter.h>
 #include <android-base/logging.h>
 #include <iostream>
 #include <stdlib.h>

 namespace android {

 AST::AST(Coordinator *coordinator, const std::string &path)
     : mCoordinator(coordinator),
       mPath(path),
       mScanner(NULL),
       mRootScope(new Scope("" /* localName */, Location::startOf(path))) {
     enterScope(mRootScope);
 }

 AST::~AST() {
     delete mRootScope;
     mRootScope = nullptr;

     CHECK(mScanner == NULL);

     // Ownership of "coordinator" was NOT transferred.
 }

 // used by the parser.
 void AST::addSyntaxError() {
     mSyntaxErrors++;
 }

 size_t AST::syntaxErrors() const {
     return mSyntaxErrors;
 }

 void *AST::scanner() {
     return mScanner;
 }

 void AST::setScanner(void *scanner) {
     mScanner = scanner;
 }

 const std::string &AST::getFilename() const {
     return mPath;
 }

 bool AST::setPackage(const char *package) {
     mPackage.setTo(package);
     CHECK(mPackage.isValid());

     if (mPackage.package().empty()
             || mPackage.version().empty()
             || !mPackage.name().empty()) {
         return false;
     }

     return true;
 }

 FQName AST::package() const {
     return mPackage;
 }

 bool AST::isInterface(std::string *ifaceName) const {
     return mRootScope->containsSingleInterface(ifaceName);
 }

 bool AST::containsInterfaces() const {
     return mRootScope->containsInterfaces();
 }

 bool AST::addImport(const char *import) {
     FQName fqName(import);
     CHECK(fqName.isValid());

     fqName.applyDefaults(mPackage.package(), mPackage.version());

     // LOG(INFO) << "importing " << fqName.string();

     if (fqName.name().empty()) {
         // import a package
         std::vector<FQName> packageInterfaces;

         status_t err =
             mCoordinator->appendPackageInterfacesToVector(fqName,
                                                           &packageInterfaces);

         if (err != OK) {
             return false;
         }

         for (const auto &subFQName : packageInterfaces) {
             AST *ast = mCoordinator->parse(subFQName, &mImportedASTs);
             if (ast == nullptr) {
                 return false;
             }
             // all previous single type imports are ignored.
             mImportedTypes.erase(ast);
         }

         return true;
     }

     AST *importAST;

     // cases like android.hardware.foo@1.0::IFoo.Internal
     //            android.hardware.foo@1.0::Abc.Internal

     // assume it is an interface, and try to import it.
     const FQName interfaceName = fqName.getTopLevelType();
     importAST = mCoordinator->parse(interfaceName, &mImportedASTs);

     if (importAST != nullptr) {
         // cases like android.hardware.foo@1.0::IFoo.Internal
         //        and android.hardware.foo@1.0::IFoo
         if (fqName == interfaceName) {
             // import a single file.
             // all previous single type imports are ignored.
             // cases like android.hardware.foo@1.0::IFoo
             //        and android.hardware.foo@1.0::types
             mImportedTypes.erase(importAST);
             return true;
         }

         // import a single type from this file
         // cases like android.hardware.foo@1.0::IFoo.Internal
         FQName matchingName;
         Type *match = importAST->findDefinedType(fqName, &matchingName);
         if (match == nullptr) {
             return false;
         }
         // will automatically create a set if it does not exist
         mImportedTypes[importAST].insert(match);
         return true;
     }

     // probably a type in types.hal, like android.hardware.foo@1.0::Abc.Internal
     FQName typesFQName = fqName.getTypesForPackage();
     importAST = mCoordinator->parse(typesFQName, &mImportedASTs);

     if (importAST != nullptr) {
         // Attempt to find Abc.Internal in types.
         FQName matchingName;
         Type *match = importAST->findDefinedType(fqName, &matchingName);
         if (match == nullptr) {
             return false;
         }
         // will automatically create a set if not exist
         mImportedTypes[importAST].insert(match);
         return true;
     }

     // can't find an appropriate AST for fqName.
     return false;
 }

 void AST::addImportedAST(AST *ast) {
     mImportedASTs.insert(ast);
 }

 void AST::enterScope(Scope *container) {
     mScopePath.push_back(container);
 }

 void AST::leaveScope() {
     mScopePath.pop_back();
 }

 Scope *AST::scope() {
     CHECK(!mScopePath.empty());
     return mScopePath.back();
 }

 bool AST::addTypeDef(const char *localName, Type *type, const Location &location,
         std::string *errorMsg) {
     // The reason we wrap the given type in a TypeDef is simply to suppress
     // emitting any type definitions later on, since this is just an alias
     // to a type defined elsewhere.
     return addScopedTypeInternal(
             new TypeDef(localName, location, type), errorMsg);
 }

 bool AST::addScopedType(NamedType *type, std::string *errorMsg) {
     return addScopedTypeInternal(
             type, errorMsg);
 }

 bool AST::addScopedTypeInternal(
         NamedType *type,
         std::string *errorMsg) {

     bool success = scope()->addType(type, errorMsg);
     if (!success) {
         return false;
     }

     std::string path;
     for (size_t i = 1; i < mScopePath.size(); ++i) {
         path.append(mScopePath[i]->localName());
         path.append(".");
     }
     path.append(type->localName());

     FQName fqName(mPackage.package(), mPackage.version(), path);

     type->setFullName(fqName);

     mDefinedTypesByFullName[fqName] = type;

     return true;
 }

 EnumValue *AST::lookupEnumValue(const FQName &fqName, std::string *errorMsg) {

     FQName enumTypeName = fqName.typeName();
     std::string enumValueName = fqName.valueName();

     CHECK(enumTypeName.isValid());
     CHECK(!enumValueName.empty());

     Type *type = lookupType(enumTypeName);
     if(type == nullptr) {
         *errorMsg = "Cannot find type " + enumTypeName.string();
         return nullptr;
     }
     if(!type->isEnum()) {
         *errorMsg = "Type " + enumTypeName.string() + " is not an enum type";
         return nullptr;
     }

     EnumType *enumType = static_cast<EnumType *>(type);
     EnumValue *v = static_cast<EnumValue *>(enumType->lookupIdentifier(enumValueName));
     if(v == nullptr) {
         *errorMsg = "Enum type " + enumTypeName.string() + " does not have " + enumValueName;
         return nullptr;
     }
     return v;
 }

 Type *AST::lookupType(const FQName &fqName) {
     CHECK(fqName.isValid());

     if (fqName.name().empty()) {
         // Given a package and version???
         return nullptr;
     }

     if (fqName.package().empty() && fqName.version().empty()) {
         // This is just a plain identifier, resolve locally first if possible.

         for (size_t i = mScopePath.size(); i-- > 0;) {
             Type *type = mScopePath[i]->lookupType(fqName);

             if (type != nullptr) {
                 // Resolve typeDefs to the target type.
                 while (type->isTypeDef()) {
                     type = static_cast<TypeDef *>(type)->referencedType();
                 }

                 return type;
             }
         }
     }

     Type *resolvedType = nullptr;
     Type *returnedType = nullptr;
     FQName resolvedName;

     for (const auto &importedAST : mImportedASTs) {
         if (mImportedTypes.find(importedAST) != mImportedTypes.end()) {
             // ignore single type imports
             continue;
         }
         FQName matchingName;
         Type *match = importedAST->findDefinedType(fqName, &matchingName);

         if (match != nullptr) {
             if (resolvedType != nullptr) {
                 std::cerr << "ERROR: Unable to resolve type name '"
                           << fqName.string()
                           << "', multiple matches found:\n";

                 std::cerr << "  " << resolvedName.string() << "\n";
                 std::cerr << "  " << matchingName.string() << "\n";

                 return nullptr;
             }

             resolvedType = match;
             returnedType = resolvedType;
             resolvedName = matchingName;

             // Keep going even after finding a match.
         }
     }

     for (const auto &pair : mImportedTypes) {
         AST *importedAST = pair.first;
         std::set<Type *> importedTypes = pair.second;

         FQName matchingName;
         Type *match = importedAST->findDefinedType(fqName, &matchingName);
         if (match != nullptr &&
                 importedTypes.find(match) != importedTypes.end()) {
             if (resolvedType != nullptr) {
                 std::cerr << "ERROR: Unable to resolve type name '"
                           << fqName.string()
                           << "', multiple matches found:\n";

                 std::cerr << "  " << resolvedName.string() << "\n";
                 std::cerr << "  " << matchingName.string() << "\n";

                 return nullptr;
             }

             resolvedType = match;
             returnedType = resolvedType;
             resolvedName = matchingName;

             // Keep going even after finding a match.
         }
     }

     if (resolvedType) {
 #if 0
         LOG(INFO) << "found '"
                   << resolvedName.string()
                   << "' after looking for '"
                   << fqName.string()
                   << "'.";
 #endif

         // Resolve typeDefs to the target type.
         while (resolvedType->isTypeDef()) {
             resolvedType =
                 static_cast<TypeDef *>(resolvedType)->referencedType();
         }

         returnedType = resolvedType;

         // If the resolved type is not an interface, we need to determine
         // whether it is defined in types.hal, or in some other interface.  In
         // the latter case, we need to emit a dependency for the interface in
         // which the type is defined.
         //
         // Consider the following:
         //    android.hardware.tests.foo@1.0::Record
         //    android.hardware.tests.foo@1.0::IFoo.Folder
         //    android.hardware.tests.foo@1.0::Folder
         //
         // If Record is an interface, then we keep track of it for the purpose
         // of emitting dependencies in the target language (for example #include
         // in C++).  If Record is a UDT, then we assume it is defined in
         // types.hal in android.hardware.tests.foo@1.0.
         //
         // In the case of IFoo.Folder, the same applies.  If IFoo is an
         // interface, we need to track this for the purpose of emitting
         // dependencies.  If not, then it must have been defined in types.hal.
         //
         // In the case of just specifying Folder, the resolved type is
         // android.hardware.tests.foo@1.0::IFoo.Folder, and the same logic as
         // above applies.

         if (!resolvedType->isInterface()) {
             FQName ifc(resolvedName.package(),
                        resolvedName.version(),
                        resolvedName.names().at(0));
             for (const auto &importedAST : mImportedASTs) {
                 FQName matchingName;
                 Type *match = importedAST->findDefinedType(ifc, &matchingName);
                 if (match != nullptr && match->isInterface()) {
                     resolvedType = match;
                 }
             }
         }

         if (!resolvedType->isInterface()) {
             // Non-interface types are declared in the associated types header.
             FQName typesName(
                     resolvedName.package(), resolvedName.version(), "types");

             mImportedNames.insert(typesName);

             if (resolvedType->isNamedType() && !resolvedType->isTypeDef()) {
                 mImportedNamesForJava.insert(
                         static_cast<NamedType *>(resolvedType)->fqName());
             }
         } else {
             // Do _not_ use fqName, i.e. the name we used to look up the type,
             // but instead use the name of the interface we found.
             // This is necessary because if fqName pointed to a typedef which
             // in turn referenced the found interface we'd mistakenly use the
             // name of the typedef instead of the proper name of the interface.

             mImportedNames.insert(
                     static_cast<Interface *>(resolvedType)->fqName());

             mImportedNamesForJava.insert(
                     static_cast<Interface *>(resolvedType)->fqName());
         }
     }

     return returnedType;
 }

 Type *AST::findDefinedType(const FQName &fqName, FQName *matchingName) const {
     for (const auto &pair : mDefinedTypesByFullName) {
         const FQName &key = pair.first;
         Type* type = pair.second;

         if (key.endsWith(fqName)) {
             *matchingName = key;
             return type;
         }
     }

     return nullptr;
 }

 void AST::getImportedPackages(std::set<FQName> *importSet) const {
     for (const auto &fqName : mImportedNames) {
         FQName packageName(fqName.package(), fqName.version(), "");

         if (packageName == mPackage) {
             // We only care about external imports, not our own package.
             continue;
         }

         importSet->insert(packageName);
     }
 }

 void AST::getImportedPackagesHierarchy(std::set<FQName> *importSet) const {
     getImportedPackages(importSet);
     std::set<FQName> newSet;
     for (const auto &ast : mImportedASTs) {
         if (importSet->find(ast->package()) != importSet->end()) {
             ast->getImportedPackagesHierarchy(&newSet);
         }
     }
     importSet->insert(newSet.begin(), newSet.end());
 }

 bool AST::isJavaCompatible() const {
     std::string ifaceName;
     if (!AST::isInterface(&ifaceName)) {
         for (const auto *type : mRootScope->getSubTypes()) {
             if (!type->isJavaCompatible()) {
                 return false;
             }
         }

         return true;
     }

     const Interface *iface = mRootScope->getInterface();
     return iface->isJavaCompatible();
 }

 void AST::appendToExportedTypesVector(
         std::vector<const Type *> *exportedTypes) const {
     mRootScope->appendToExportedTypesVector(exportedTypes);
 }

 }  // namespace android;
	/*
	* Copyright (C) 2016 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 "AST.h"

	#include "Coordinator.h"
	#include "EnumType.h"
	#include "FQName.h"
	#include "HandleType.h"
	#include "Interface.h"
	#include "Location.h"
	#include "PredefinedType.h"
	#include "Scope.h"
	#include "TypeDef.h"

	#include <hidl-util/Formatter.h>
	#include <android-base/logging.h>
	#include <iostream>
	#include <stdlib.h>

	namespace android {

	AST::AST(Coordinator *coordinator, const std::string &path)
	: mCoordinator(coordinator),
	mPath(path),
	mScanner(NULL),
	mRootScope(new Scope("" /* localName */, Location::startOf(path))) {
	enterScope(mRootScope);
	}

	AST::~AST() {
	delete mRootScope;
	mRootScope = nullptr;

	CHECK(mScanner == NULL);

	// Ownership of "coordinator" was NOT transferred.
	}

	// used by the parser.
	void AST::addSyntaxError() {
	mSyntaxErrors++;
	}

	size_t AST::syntaxErrors() const {
	return mSyntaxErrors;
	}

	void *AST::scanner() {
	return mScanner;
	}

	void AST::setScanner(void *scanner) {
	mScanner = scanner;
	}

	const std::string &AST::getFilename() const {
	return mPath;
	}

	bool AST::setPackage(const char *package) {
	mPackage.setTo(package);
	CHECK(mPackage.isValid());

	if (mPackage.package().empty()
	\|\| mPackage.version().empty()
	\|\| !mPackage.name().empty()) {
	return false;
	}

	return true;
	}

	FQName AST::package() const {
	return mPackage;
	}

	bool AST::isInterface(std::string *ifaceName) const {
	return mRootScope->containsSingleInterface(ifaceName);
	}

	bool AST::containsInterfaces() const {
	return mRootScope->containsInterfaces();
	}

	bool AST::addImport(const char *import) {
	FQName fqName(import);
	CHECK(fqName.isValid());

	fqName.applyDefaults(mPackage.package(), mPackage.version());

	// LOG(INFO) << "importing " << fqName.string();

	if (fqName.name().empty()) {
	// import a package
	std::vector<FQName> packageInterfaces;

	status_t err =
	mCoordinator->appendPackageInterfacesToVector(fqName,
	&packageInterfaces);

	if (err != OK) {
	return false;
	}

	for (const auto &subFQName : packageInterfaces) {
	AST *ast = mCoordinator->parse(subFQName, &mImportedASTs);
	if (ast == nullptr) {
	return false;
	}
	// all previous single type imports are ignored.
	mImportedTypes.erase(ast);
	}

	return true;
	}

	AST *importAST;

	// cases like android.hardware.foo@1.0::IFoo.Internal
	// android.hardware.foo@1.0::Abc.Internal

	// assume it is an interface, and try to import it.
	const FQName interfaceName = fqName.getTopLevelType();
	importAST = mCoordinator->parse(interfaceName, &mImportedASTs);

	if (importAST != nullptr) {
	// cases like android.hardware.foo@1.0::IFoo.Internal
	// and android.hardware.foo@1.0::IFoo
	if (fqName == interfaceName) {
	// import a single file.
	// all previous single type imports are ignored.
	// cases like android.hardware.foo@1.0::IFoo
	// and android.hardware.foo@1.0::types
	mImportedTypes.erase(importAST);
	return true;
	}

	// import a single type from this file
	// cases like android.hardware.foo@1.0::IFoo.Internal
	FQName matchingName;
	Type *match = importAST->findDefinedType(fqName, &matchingName);
	if (match == nullptr) {
	return false;
	}
	// will automatically create a set if it does not exist
	mImportedTypes[importAST].insert(match);
	return true;
	}

	// probably a type in types.hal, like android.hardware.foo@1.0::Abc.Internal
	FQName typesFQName = fqName.getTypesForPackage();
	importAST = mCoordinator->parse(typesFQName, &mImportedASTs);

	if (importAST != nullptr) {
	// Attempt to find Abc.Internal in types.
	FQName matchingName;
	Type *match = importAST->findDefinedType(fqName, &matchingName);
	if (match == nullptr) {
	return false;
	}
	// will automatically create a set if not exist
	mImportedTypes[importAST].insert(match);
	return true;
	}

	// can't find an appropriate AST for fqName.
	return false;
	}

	void AST::addImportedAST(AST *ast) {
	mImportedASTs.insert(ast);
	}

	void AST::enterScope(Scope *container) {
	mScopePath.push_back(container);
	}

	void AST::leaveScope() {
	mScopePath.pop_back();
	}

	Scope *AST::scope() {
	CHECK(!mScopePath.empty());
	return mScopePath.back();
	}

	bool AST::addTypeDef(const char localName, Type type, const Location &location,
	std::string *errorMsg) {
	// The reason we wrap the given type in a TypeDef is simply to suppress
	// emitting any type definitions later on, since this is just an alias
	// to a type defined elsewhere.
	return addScopedTypeInternal(
	new TypeDef(localName, location, type), errorMsg);
	}

	bool AST::addScopedType(NamedType type, std::string errorMsg) {
	return addScopedTypeInternal(
	type, errorMsg);
	}

	bool AST::addScopedTypeInternal(
	NamedType *type,
	std::string *errorMsg) {

	bool success = scope()->addType(type, errorMsg);
	if (!success) {
	return false;
	}

	std::string path;
	for (size_t i = 1; i < mScopePath.size(); ++i) {
	path.append(mScopePath[i]->localName());
	path.append(".");
	}
	path.append(type->localName());

	FQName fqName(mPackage.package(), mPackage.version(), path);

	type->setFullName(fqName);

	mDefinedTypesByFullName[fqName] = type;

	return true;
	}

	EnumValue AST::lookupEnumValue(const FQName &fqName, std::string errorMsg) {

	FQName enumTypeName = fqName.typeName();
	std::string enumValueName = fqName.valueName();

	CHECK(enumTypeName.isValid());
	CHECK(!enumValueName.empty());

	Type *type = lookupType(enumTypeName);
	if(type == nullptr) {
	*errorMsg = "Cannot find type " + enumTypeName.string();
	return nullptr;
	}
	if(!type->isEnum()) {
	*errorMsg = "Type " + enumTypeName.string() + " is not an enum type";
	return nullptr;
	}

	EnumType enumType = static_cast<EnumType >(type);
	EnumValue v = static_cast<EnumValue >(enumType->lookupIdentifier(enumValueName));
	if(v == nullptr) {
	*errorMsg = "Enum type " + enumTypeName.string() + " does not have " + enumValueName;
	return nullptr;
	}
	return v;
	}

	Type *AST::lookupType(const FQName &fqName) {
	CHECK(fqName.isValid());

	if (fqName.name().empty()) {
	// Given a package and version???
	return nullptr;
	}

	if (fqName.package().empty() && fqName.version().empty()) {
	// This is just a plain identifier, resolve locally first if possible.

	for (size_t i = mScopePath.size(); i-- > 0;) {
	Type *type = mScopePath[i]->lookupType(fqName);

	if (type != nullptr) {
	// Resolve typeDefs to the target type.
	while (type->isTypeDef()) {
	type = static_cast<TypeDef *>(type)->referencedType();
	}

	return type;
	}
	}
	}

	Type *resolvedType = nullptr;
	Type *returnedType = nullptr;
	FQName resolvedName;

	for (const auto &importedAST : mImportedASTs) {
	if (mImportedTypes.find(importedAST) != mImportedTypes.end()) {
	// ignore single type imports
	continue;
	}
	FQName matchingName;
	Type *match = importedAST->findDefinedType(fqName, &matchingName);

	if (match != nullptr) {
	if (resolvedType != nullptr) {
	std::cerr << "ERROR: Unable to resolve type name '"
	<< fqName.string()
	<< "', multiple matches found:\n";

	std::cerr << " " << resolvedName.string() << "\n";
	std::cerr << " " << matchingName.string() << "\n";

	return nullptr;
	}

	resolvedType = match;
	returnedType = resolvedType;
	resolvedName = matchingName;

	// Keep going even after finding a match.
	}
	}

	for (const auto &pair : mImportedTypes) {
	AST *importedAST = pair.first;
	std::set<Type *> importedTypes = pair.second;

	FQName matchingName;
	Type *match = importedAST->findDefinedType(fqName, &matchingName);
	if (match != nullptr &&
	importedTypes.find(match) != importedTypes.end()) {
	if (resolvedType != nullptr) {
	std::cerr << "ERROR: Unable to resolve type name '"
	<< fqName.string()
	<< "', multiple matches found:\n";

	std::cerr << " " << resolvedName.string() << "\n";
	std::cerr << " " << matchingName.string() << "\n";

	return nullptr;
	}

	resolvedType = match;
	returnedType = resolvedType;
	resolvedName = matchingName;

	// Keep going even after finding a match.
	}
	}

	if (resolvedType) {
	#if 0
	LOG(INFO) << "found '"
	<< resolvedName.string()
	<< "' after looking for '"
	<< fqName.string()
	<< "'.";
	#endif

	// Resolve typeDefs to the target type.
	while (resolvedType->isTypeDef()) {
	resolvedType =
	static_cast<TypeDef *>(resolvedType)->referencedType();
	}

	returnedType = resolvedType;

	// If the resolved type is not an interface, we need to determine
	// whether it is defined in types.hal, or in some other interface. In
	// the latter case, we need to emit a dependency for the interface in
	// which the type is defined.
	//
	// Consider the following:
	// android.hardware.tests.foo@1.0::Record
	// android.hardware.tests.foo@1.0::IFoo.Folder
	// android.hardware.tests.foo@1.0::Folder
	//
	// If Record is an interface, then we keep track of it for the purpose
	// of emitting dependencies in the target language (for example #include
	// in C++). If Record is a UDT, then we assume it is defined in
	// types.hal in android.hardware.tests.foo@1.0.
	//
	// In the case of IFoo.Folder, the same applies. If IFoo is an
	// interface, we need to track this for the purpose of emitting
	// dependencies. If not, then it must have been defined in types.hal.
	//
	// In the case of just specifying Folder, the resolved type is
	// android.hardware.tests.foo@1.0::IFoo.Folder, and the same logic as
	// above applies.

	if (!resolvedType->isInterface()) {
	FQName ifc(resolvedName.package(),
	resolvedName.version(),
	resolvedName.names().at(0));
	for (const auto &importedAST : mImportedASTs) {
	FQName matchingName;
	Type *match = importedAST->findDefinedType(ifc, &matchingName);
	if (match != nullptr && match->isInterface()) {
	resolvedType = match;
	}
	}
	}

	if (!resolvedType->isInterface()) {
	// Non-interface types are declared in the associated types header.
	FQName typesName(
	resolvedName.package(), resolvedName.version(), "types");

	mImportedNames.insert(typesName);

	if (resolvedType->isNamedType() && !resolvedType->isTypeDef()) {
	mImportedNamesForJava.insert(
	static_cast<NamedType *>(resolvedType)->fqName());
	}
	} else {
	// Do _not_ use fqName, i.e. the name we used to look up the type,
	// but instead use the name of the interface we found.
	// This is necessary because if fqName pointed to a typedef which
	// in turn referenced the found interface we'd mistakenly use the
	// name of the typedef instead of the proper name of the interface.

	mImportedNames.insert(
	static_cast<Interface *>(resolvedType)->fqName());

	mImportedNamesForJava.insert(
	static_cast<Interface *>(resolvedType)->fqName());
	}
	}

	return returnedType;
	}

	Type AST::findDefinedType(const FQName &fqName, FQName matchingName) const {
	for (const auto &pair : mDefinedTypesByFullName) {
	const FQName &key = pair.first;
	Type* type = pair.second;

	if (key.endsWith(fqName)) {
	*matchingName = key;
	return type;
	}
	}

	return nullptr;
	}

	void AST::getImportedPackages(std::set<FQName> *importSet) const {
	for (const auto &fqName : mImportedNames) {
	FQName packageName(fqName.package(), fqName.version(), "");

	if (packageName == mPackage) {
	// We only care about external imports, not our own package.
	continue;
	}

	importSet->insert(packageName);
	}
	}

	void AST::getImportedPackagesHierarchy(std::set<FQName> *importSet) const {
	getImportedPackages(importSet);
	std::set<FQName> newSet;
	for (const auto &ast : mImportedASTs) {
	if (importSet->find(ast->package()) != importSet->end()) {
	ast->getImportedPackagesHierarchy(&newSet);
	}
	}
	importSet->insert(newSet.begin(), newSet.end());
	}

	bool AST::isJavaCompatible() const {
	std::string ifaceName;
	if (!AST::isInterface(&ifaceName)) {
	for (const auto *type : mRootScope->getSubTypes()) {
	if (!type->isJavaCompatible()) {
	return false;
	}
	}

	return true;
	}

	const Interface *iface = mRootScope->getInterface();
	return iface->isJavaCompatible();
	}

	void AST::appendToExportedTypesVector(
	std::vector<const Type > exportedTypes) const {
	mRootScope->appendToExportedTypesVector(exportedTypes);
	}

	} // namespace android;