From b1417b318f3b3cbfd0bf79a4cabc656825a84e5a Mon Sep 17 00:00:00 2001 From: Balajiganapathi S Date: Fri, 17 Nov 2017 21:41:15 +0530 Subject: Move string distance function to utils and format error message --- libsolidity/analysis/DeclarationContainer.cpp | 44 ++------------------------- libsolidity/analysis/DeclarationContainer.h | 2 -- libsolidity/analysis/NameAndTypeResolver.cpp | 8 ++--- 3 files changed, 6 insertions(+), 48 deletions(-) (limited to 'libsolidity') diff --git a/libsolidity/analysis/DeclarationContainer.cpp b/libsolidity/analysis/DeclarationContainer.cpp index d41bc7d3..f9a52dc6 100644 --- a/libsolidity/analysis/DeclarationContainer.cpp +++ b/libsolidity/analysis/DeclarationContainer.cpp @@ -23,6 +23,7 @@ #include #include #include +#include using namespace std; using namespace dev; @@ -123,7 +124,7 @@ vector DeclarationContainer::similarNames(ASTString const& _name) con for (auto const& declaration: m_declarations) { string const& declarationName = declaration.first; - if (DeclarationContainer::areSimilarNames(_name, declarationName)) + if (stringWithinDistance(_name, declarationName, MAXIMUM_DISTANCE)) similar.push_back(declarationName); } @@ -135,44 +136,3 @@ vector DeclarationContainer::similarNames(ASTString const& _name) con 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> dp(n1 + 1, vector(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; -} diff --git a/libsolidity/analysis/DeclarationContainer.h b/libsolidity/analysis/DeclarationContainer.h index 991140d8..6c1459c7 100644 --- a/libsolidity/analysis/DeclarationContainer.h +++ b/libsolidity/analysis/DeclarationContainer.h @@ -68,8 +68,6 @@ private: std::map> m_declarations; std::map> m_invisibleDeclarations; - // Calculates the Damerau–Levenshtein distance and decides whether the two names are similar - static bool areSimilarNames(ASTString const& _name1, ASTString const& _name2); static size_t const MAXIMUM_DISTANCE = 2; }; diff --git a/libsolidity/analysis/NameAndTypeResolver.cpp b/libsolidity/analysis/NameAndTypeResolver.cpp index a9a62529..21f2af5f 100644 --- a/libsolidity/analysis/NameAndTypeResolver.cpp +++ b/libsolidity/analysis/NameAndTypeResolver.cpp @@ -431,13 +431,13 @@ string NameAndTypeResolver::similarNameSuggestions(ASTString const& _name) const if (suggestions.empty()) return ""; if (suggestions.size() == 1) - return suggestions.front(); + return "\"" + suggestions.front() + "\""; - string choices = suggestions.front(); + string choices = "\"" + suggestions.front() + "\""; for (size_t i = 1; i + 1 < suggestions.size(); ++i) - choices += ", " + suggestions[i]; + choices += ", \"" + suggestions[i] + "\""; - choices += " or " + suggestions.back(); + choices += " or \"" + suggestions.back() + "\""; return choices; } -- cgit v1.2.3