diff options
author | Evgeniy A. Dushistov <dushistov@mail.ru> | 2020-06-18 21:52:58 +0300 |
---|---|---|
committer | Evgeniy A. Dushistov <dushistov@mail.ru> | 2020-06-19 16:35:16 +0300 |
commit | aa8d5a45930dcfce7f25878fa36c1595b1dfc023 (patch) | |
tree | c456df207790ca5af31d9367ab184037d6696c3e /tools/qmllint/checkidentifiers.cpp | |
parent | 9139373c9b3a8cd8541e0253bdf72cf939726e92 (diff) |
qmllint: search methods and properties also in attached type
I changed the strategy of traverse via related types.
Before:
traversal happens only via linked list type -> type->superClass
After:
traversal via binary tree formed by attachedType and superClass
I use pre-order strategy, current type, then all attached types,
then all super classes
Fixes: QTBUG-84861
Change-Id: I4a8fce869bc541de6900514d29575174d2753f02
Reviewed-by: Fabian Kosmale <fabian.kosmale@qt.io>
Diffstat (limited to 'tools/qmllint/checkidentifiers.cpp')
-rw-r--r-- | tools/qmllint/checkidentifiers.cpp | 67 |
1 files changed, 45 insertions, 22 deletions
diff --git a/tools/qmllint/checkidentifiers.cpp b/tools/qmllint/checkidentifiers.cpp index 32eb4ce025..2771e1cfb2 100644 --- a/tools/qmllint/checkidentifiers.cpp +++ b/tools/qmllint/checkidentifiers.cpp @@ -31,6 +31,7 @@ #include <QtCore/qqueue.h> #include <QtCore/qsharedpointer.h> +#include <stack> class IssueLocationWithContext { @@ -82,6 +83,30 @@ void CheckIdentifiers::printContext(const QQmlJS::SourceLocation &location) cons + QLatin1Char('\n'), Normal); } +static bool walkViaParentAndAttachedScopes(ScopeTree::ConstPtr rootType, + const QHash<QString, ScopeTree::ConstPtr> &allTypes, + std::function<bool(ScopeTree::ConstPtr)> visit) +{ + if (rootType == nullptr) + return false; + std::stack<ScopeTree::ConstPtr> stack; + stack.push(rootType); + while (!stack.empty()) { + const auto type = stack.top(); + stack.pop(); + + if (visit(type)) + return true; + + if (auto superType = allTypes.value(type->superclassName())) + stack.push(superType); + + if (auto attachedType = allTypes.value(type->attachedTypeName())) + stack.push(attachedType); + } + return false; +} + bool CheckIdentifiers::checkMemberAccess(const QVector<ScopeTree::FieldMember> &members, const ScopeTree::ConstPtr &outerScope, const MetaProperty *prop) const @@ -199,29 +224,27 @@ bool CheckIdentifiers::checkMemberAccess(const QVector<ScopeTree::FieldMember> & if (!detectedRestrictiveName.isEmpty()) continue; - auto type = m_types.value(access.m_parentType.isEmpty() ? scopeName : access.m_parentType); - bool typeFound = false; - while (type) { - const auto typeProperties = type->properties(); - const auto typeIt = typeProperties.find(access.m_name); - if (typeIt != typeProperties.end()) { - const ScopeTree::ConstPtr propType = typeIt->type(); - scope = propType ? propType : m_types.value(typeIt->typeName()); - typeFound = true; - break; - } - - const auto typeMethods = type->methods(); - const auto typeMethodIt = typeMethods.find(access.m_name); - if (typeMethodIt != typeMethods.end()) { - detectedRestrictiveName = access.m_name; - detectedRestrictiveKind = QLatin1String("method"); - typeFound = true; - break; - } + auto rootType = + m_types.value(access.m_parentType.isEmpty() ? scopeName : access.m_parentType); + bool typeFound = + walkViaParentAndAttachedScopes(rootType, m_types, [&](ScopeTree::ConstPtr type) { + const auto typeProperties = type->properties(); + const auto typeIt = typeProperties.find(access.m_name); + if (typeIt != typeProperties.end()) { + const ScopeTree::ConstPtr propType = typeIt->type(); + scope = propType ? propType : m_types.value(typeIt->typeName()); + return true; + } - type = m_types.value(type->superclassName()); - } + const auto typeMethods = type->methods(); + const auto typeMethodIt = typeMethods.find(access.m_name); + if (typeMethodIt != typeMethods.end()) { + detectedRestrictiveName = access.m_name; + detectedRestrictiveKind = QLatin1String("method"); + return true; + } + return false; + }); if (typeFound) continue; |