2014-10-13 16:22:15 +00:00
|
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
|
This file is part of solidity.
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
|
solidity is free software: you can redistribute it and/or modify
|
2014-10-16 12:08:54 +00:00
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
(at your option) any later version.
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
|
solidity is distributed in the hope that it will be useful,
|
2014-10-16 12:08:54 +00:00
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
GNU General Public License for more details.
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
2014-10-16 12:08:54 +00:00
|
|
|
|
You should have received a copy of the GNU General Public License
|
2016-11-18 23:13:20 +00:00
|
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
2014-10-13 16:22:15 +00:00
|
|
|
|
*/
|
|
|
|
|
/**
|
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
|
* @date 2014
|
|
|
|
|
* Scope - object that holds declaration of names.
|
|
|
|
|
*/
|
|
|
|
|
|
2015-10-20 22:21:52 +00:00
|
|
|
|
#include <libsolidity/analysis/DeclarationContainer.h>
|
|
|
|
|
#include <libsolidity/ast/AST.h>
|
|
|
|
|
#include <libsolidity/ast/Types.h>
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
2015-04-20 12:57:56 +00:00
|
|
|
|
using namespace std;
|
|
|
|
|
using namespace dev;
|
|
|
|
|
using namespace dev::solidity;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
2015-12-05 02:09:47 +00:00
|
|
|
|
Declaration const* DeclarationContainer::conflictingDeclaration(
|
|
|
|
|
Declaration const& _declaration,
|
|
|
|
|
ASTString const* _name
|
|
|
|
|
) const
|
2015-04-30 16:06:04 +00:00
|
|
|
|
{
|
2015-12-05 02:09:47 +00:00
|
|
|
|
if (!_name)
|
|
|
|
|
_name = &_declaration.name();
|
|
|
|
|
solAssert(!_name->empty(), "");
|
2015-04-30 16:06:04 +00:00
|
|
|
|
vector<Declaration const*> declarations;
|
2015-12-05 02:09:47 +00:00
|
|
|
|
if (m_declarations.count(*_name))
|
|
|
|
|
declarations += m_declarations.at(*_name);
|
|
|
|
|
if (m_invisibleDeclarations.count(*_name))
|
|
|
|
|
declarations += m_invisibleDeclarations.at(*_name);
|
2015-05-07 08:12:27 +00:00
|
|
|
|
|
2017-01-23 13:51:17 +00:00
|
|
|
|
if (
|
|
|
|
|
dynamic_cast<FunctionDefinition const*>(&_declaration) ||
|
2016-10-20 08:47:15 +00:00
|
|
|
|
dynamic_cast<EventDefinition const*>(&_declaration)
|
2017-01-23 13:51:17 +00:00
|
|
|
|
)
|
2015-04-30 16:06:04 +00:00
|
|
|
|
{
|
2016-10-20 08:47:15 +00:00
|
|
|
|
// check that all other declarations with the same name are functions or a public state variable or events.
|
|
|
|
|
// And then check that the signatures are different.
|
2015-04-30 16:06:04 +00:00
|
|
|
|
for (Declaration const* declaration: declarations)
|
2016-12-02 15:24:53 +00:00
|
|
|
|
{
|
|
|
|
|
if (auto variableDeclaration = dynamic_cast<VariableDeclaration const*>(declaration))
|
|
|
|
|
{
|
|
|
|
|
if (variableDeclaration->isStateVariable() && !variableDeclaration->isConstant() && variableDeclaration->isPublic())
|
|
|
|
|
continue;
|
2015-04-30 16:06:04 +00:00
|
|
|
|
return declaration;
|
2016-12-02 15:24:53 +00:00
|
|
|
|
}
|
2017-01-23 13:51:17 +00:00
|
|
|
|
if (
|
2017-01-23 14:24:47 +00:00
|
|
|
|
dynamic_cast<FunctionDefinition const*>(&_declaration) &&
|
|
|
|
|
!dynamic_cast<FunctionDefinition const*>(declaration)
|
|
|
|
|
)
|
|
|
|
|
return declaration;
|
|
|
|
|
if (
|
|
|
|
|
dynamic_cast<EventDefinition const*>(&_declaration) &&
|
2017-01-23 13:51:17 +00:00
|
|
|
|
!dynamic_cast<EventDefinition const*>(declaration)
|
|
|
|
|
)
|
2016-10-18 12:52:27 +00:00
|
|
|
|
return declaration;
|
2016-10-20 08:47:15 +00:00
|
|
|
|
// Or, continue.
|
|
|
|
|
}
|
2016-10-18 12:52:27 +00:00
|
|
|
|
}
|
2016-01-11 12:55:58 +00:00
|
|
|
|
else if (declarations.size() == 1 && declarations.front() == &_declaration)
|
|
|
|
|
return nullptr;
|
2015-04-30 16:06:04 +00:00
|
|
|
|
else if (!declarations.empty())
|
|
|
|
|
return declarations.front();
|
|
|
|
|
|
|
|
|
|
return nullptr;
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-05 02:09:47 +00:00
|
|
|
|
bool DeclarationContainer::registerDeclaration(
|
|
|
|
|
Declaration const& _declaration,
|
|
|
|
|
ASTString const* _name,
|
|
|
|
|
bool _invisible,
|
|
|
|
|
bool _update
|
|
|
|
|
)
|
2014-10-13 16:22:15 +00:00
|
|
|
|
{
|
2015-12-05 02:09:47 +00:00
|
|
|
|
if (!_name)
|
|
|
|
|
_name = &_declaration.name();
|
|
|
|
|
if (_name->empty())
|
2015-02-09 01:06:30 +00:00
|
|
|
|
return true;
|
|
|
|
|
|
2015-04-15 15:40:50 +00:00
|
|
|
|
if (_update)
|
|
|
|
|
{
|
|
|
|
|
solAssert(!dynamic_cast<FunctionDefinition const*>(&_declaration), "Attempt to update function definition.");
|
2015-12-05 02:09:47 +00:00
|
|
|
|
m_declarations.erase(*_name);
|
|
|
|
|
m_invisibleDeclarations.erase(*_name);
|
2015-04-15 15:40:50 +00:00
|
|
|
|
}
|
2016-01-11 12:55:58 +00:00
|
|
|
|
else if (conflictingDeclaration(_declaration, _name))
|
2015-04-30 16:06:04 +00:00
|
|
|
|
return false;
|
2015-02-13 23:43:02 +00:00
|
|
|
|
|
2016-01-11 12:55:58 +00:00
|
|
|
|
vector<Declaration const*>& decls = _invisible ? m_invisibleDeclarations[*_name] : m_declarations[*_name];
|
|
|
|
|
if (!contains(decls, &_declaration))
|
|
|
|
|
decls.push_back(&_declaration);
|
2014-10-13 16:22:15 +00:00
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
2017-10-29 08:08:40 +00:00
|
|
|
|
vector<Declaration const*> DeclarationContainer::resolveName(ASTString const& _name, bool _recursive) const
|
2014-10-13 16:22:15 +00:00
|
|
|
|
{
|
2015-02-09 01:06:30 +00:00
|
|
|
|
solAssert(!_name.empty(), "Attempt to resolve empty name.");
|
2014-10-13 16:22:15 +00:00
|
|
|
|
auto result = m_declarations.find(_name);
|
|
|
|
|
if (result != m_declarations.end())
|
|
|
|
|
return result->second;
|
2014-12-01 14:22:45 +00:00
|
|
|
|
if (_recursive && m_enclosingContainer)
|
|
|
|
|
return m_enclosingContainer->resolveName(_name, true);
|
2015-05-07 08:12:27 +00:00
|
|
|
|
return vector<Declaration const*>({});
|
2014-10-16 12:08:54 +00:00
|
|
|
|
}
|
2017-10-29 08:08:40 +00:00
|
|
|
|
|
|
|
|
|
vector<ASTString> DeclarationContainer::similarNames(ASTString const& _name) const
|
|
|
|
|
{
|
|
|
|
|
vector<ASTString> similar;
|
|
|
|
|
|
|
|
|
|
for (auto const& declaration: m_declarations)
|
|
|
|
|
{
|
|
|
|
|
string const& declarationName = declaration.first;
|
|
|
|
|
if (DeclarationContainer::areSimilarNames(_name, declarationName))
|
|
|
|
|
similar.push_back(declarationName);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (m_enclosingContainer)
|
|
|
|
|
{
|
|
|
|
|
vector<ASTString> enclosingSimilar = m_enclosingContainer->similarNames(_name);
|
|
|
|
|
similar.insert(similar.end(), enclosingSimilar.begin(), enclosingSimilar.end());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return similar;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bool DeclarationContainer::areSimilarNames(ASTString const& _name1, ASTString const& _name2)
|
|
|
|
|
{
|
|
|
|
|
if (_name1 == _name2)
|
|
|
|
|
return true;
|
|
|
|
|
|
|
|
|
|
size_t n1 = _name1.size(), n2 = _name2.size();
|
|
|
|
|
vector<vector<size_t>> dp(n1 + 1, vector<size_t>(n2 + 1));
|
|
|
|
|
|
|
|
|
|
// In this dp formulation of Damerau–Levenshtein distance we are assuming that the strings are 1-based to make base case storage easier.
|
|
|
|
|
// So index accesser to _name1 and _name2 have to be adjusted accordingly
|
|
|
|
|
for (size_t i1 = 0; i1 <= n1; ++i1)
|
|
|
|
|
{
|
|
|
|
|
for (size_t i2 = 0; i2 <= n2; ++i2)
|
|
|
|
|
{
|
|
|
|
|
if (min(i1, i2) == 0) // base case
|
|
|
|
|
dp[i1][i2] = max(i1, i2);
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
dp[i1][i2] = min(dp[i1-1][i2] + 1, dp[i1][i2-1] + 1);
|
|
|
|
|
// Deletion and insertion
|
|
|
|
|
if (_name1[i1-1] == _name2[i2-1])
|
|
|
|
|
// Same chars, can skip
|
|
|
|
|
dp[i1][i2] = min(dp[i1][i2], dp[i1-1][i2-1]);
|
|
|
|
|
else
|
|
|
|
|
// Different chars so try substitution
|
|
|
|
|
dp[i1][i2] = min(dp[i1][i2], dp[i1-1][i2-1] + 1);
|
|
|
|
|
|
|
|
|
|
if (i1 > 1 && i2 > 1 && _name1[i1-1] == _name2[i2-2] && _name1[i1-2] == _name2[i2-1])
|
|
|
|
|
// Try transposing
|
|
|
|
|
dp[i1][i2] = min(dp[i1][i2], dp[i1-2][i2-2] + 1);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
size_t distance = dp[n1][n2];
|
|
|
|
|
|
|
|
|
|
// If distance is not greater than MAXIMUM_DISTANCE, and distance is strictly less than length of both names,
|
|
|
|
|
// they can be considered similar this is to avoid irrelevant suggestions
|
|
|
|
|
return distance <= MAXIMUM_DISTANCE && distance < n1 && distance < n2;
|
|
|
|
|
}
|