From f20a604c5a941ed5117d3e472b5ad93bed02fd97 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 11 Jan 2016 13:55:58 +0100 Subject: Allow aliases during import. --- libsolidity/analysis/DeclarationContainer.cpp | 11 +++--- libsolidity/analysis/NameAndTypeResolver.cpp | 57 +++++++++++++++++++++------ 2 files changed, 52 insertions(+), 16 deletions(-) (limited to 'libsolidity/analysis') diff --git a/libsolidity/analysis/DeclarationContainer.cpp b/libsolidity/analysis/DeclarationContainer.cpp index ac56562e..042b7a6a 100644 --- a/libsolidity/analysis/DeclarationContainer.cpp +++ b/libsolidity/analysis/DeclarationContainer.cpp @@ -49,6 +49,8 @@ Declaration const* DeclarationContainer::conflictingDeclaration( if (!dynamic_cast(declaration)) return declaration; } + else if (declarations.size() == 1 && declarations.front() == &_declaration) + return nullptr; else if (!declarations.empty()) return declarations.front(); @@ -73,13 +75,12 @@ bool DeclarationContainer::registerDeclaration( m_declarations.erase(*_name); m_invisibleDeclarations.erase(*_name); } - else if (conflictingDeclaration(_declaration)) + else if (conflictingDeclaration(_declaration, _name)) return false; - if (_invisible) - m_invisibleDeclarations[*_name].push_back(&_declaration); - else - m_declarations[*_name].push_back(&_declaration); + vector& decls = _invisible ? m_invisibleDeclarations[*_name] : m_declarations[*_name]; + if (!contains(decls, &_declaration)) + decls.push_back(&_declaration); return true; } diff --git a/libsolidity/analysis/NameAndTypeResolver.cpp b/libsolidity/analysis/NameAndTypeResolver.cpp index 96ffdd6e..5e407383 100644 --- a/libsolidity/analysis/NameAndTypeResolver.cpp +++ b/libsolidity/analysis/NameAndTypeResolver.cpp @@ -76,23 +76,58 @@ bool NameAndTypeResolver::performImports(SourceUnit& _sourceUnit, mapannotation().absolutePath; if (!_sourceUnits.count(path)) { - reportDeclarationError( node->location(), - "Import \"" + - path + - "\" (referenced as \"" + - imp->path() + - "\") not found." + reportDeclarationError( + imp->location(), + "Import \"" + path + "\" (referenced as \"" + imp->path() + "\") not found." ); error = true; + continue; } + auto scope = m_scopes.find(_sourceUnits.at(path)); + solAssert(scope != end(m_scopes), ""); + if (!imp->symbolAliases().empty()) + for (auto const& alias: imp->symbolAliases()) + { + auto declarations = scope->second->resolveName(alias.first->name(), false); + if (declarations.empty()) + { + reportDeclarationError( + imp->location(), + "Declaration \"" + + alias.first->name() + + "\" not found in \"" + + path + + "\" (referenced as \"" + + imp->path() + + "\")." + ); + error = true; + } + else + for (Declaration const* declaration: declarations) + { + ASTString const* name = alias.second ? alias.second.get() : &declaration->name(); + if (!target.registerDeclaration(*declaration, name)) + { + reportDeclarationError( + imp->location(), + "Identifier \"" + *name + "\" already declared." + ); + error = true; + } + } + } else if (imp->name().empty()) - { - auto scope = m_scopes.find(_sourceUnits.at(path)); - solAssert(scope != end(m_scopes), ""); for (auto const& nameAndDeclaration: scope->second->declarations()) for (auto const& declaration: nameAndDeclaration.second) - target.registerDeclaration(*declaration, &nameAndDeclaration.first); - } + if (!target.registerDeclaration(*declaration, &nameAndDeclaration.first)) + { + reportDeclarationError( + imp->location(), + "Identifier \"" + nameAndDeclaration.first + "\" already declared." + ); + error = true; + } } return !error; } -- cgit