forked from qt-creator/qt-creator
7ab6783e24
Recently tons of warnings show up for presumably "problematic" singned <-> unsigned and size conversions. The Qt side uses 'int', and that's the biggest 'integration surface' for us, so instead of establishing some internal boundary between signed and unsigned areas, push that boundary out of creator core code, and use 'int' everywhere. Because it reduces friction further, also do it in libcplusplus. Change-Id: I84f3b79852c8029713e7ea6f133ffb9ef7030a70 Reviewed-by: Nikolai Kosjar <nikolai.kosjar@qt.io>
515 lines
17 KiB
C++
515 lines
17 KiB
C++
/****************************************************************************
|
|
**
|
|
** Copyright (C) 2016 The Qt Company Ltd.
|
|
** Contact: https://www.qt.io/licensing/
|
|
**
|
|
** This file is part of Qt Creator.
|
|
**
|
|
** Commercial License Usage
|
|
** Licensees holding valid commercial Qt licenses may use this file in
|
|
** accordance with the commercial license agreement provided with the
|
|
** Software or, alternatively, in accordance with the terms contained in
|
|
** a written agreement between you and The Qt Company. For licensing terms
|
|
** and conditions see https://www.qt.io/terms-conditions. For further
|
|
** information use the contact form at https://www.qt.io/contact-us.
|
|
**
|
|
** GNU General Public License Usage
|
|
** Alternatively, this file may be used under the terms of the GNU
|
|
** General Public License version 3 as published by the Free Software
|
|
** Foundation with exceptions as appearing in the file LICENSE.GPL3-EXCEPT
|
|
** included in the packaging of this file. Please review the following
|
|
** information to ensure the GNU General Public License requirements will
|
|
** be met: https://www.gnu.org/licenses/gpl-3.0.html.
|
|
**
|
|
****************************************************************************/
|
|
|
|
#include "cppelementevaluator.h"
|
|
|
|
#include <cpptools/cppmodelmanager.h>
|
|
#include <cpptools/cpptoolsreuse.h>
|
|
#include <cpptools/symbolfinder.h>
|
|
#include <cpptools/typehierarchybuilder.h>
|
|
|
|
#include <texteditor/textdocument.h>
|
|
|
|
#include <cplusplus/ExpressionUnderCursor.h>
|
|
#include <cplusplus/Icons.h>
|
|
#include <cplusplus/TypeOfExpression.h>
|
|
|
|
#include <QDir>
|
|
#include <QSet>
|
|
#include <QQueue>
|
|
|
|
using namespace CPlusPlus;
|
|
|
|
namespace CppTools {
|
|
|
|
static QStringList stripName(const QString &name)
|
|
{
|
|
QStringList all;
|
|
all << name;
|
|
int colonColon = 0;
|
|
const int size = name.size();
|
|
while ((colonColon = name.indexOf(QLatin1String("::"), colonColon)) != -1) {
|
|
all << name.right(size - colonColon - 2);
|
|
colonColon += 2;
|
|
}
|
|
return all;
|
|
}
|
|
|
|
CppElement::CppElement() = default;
|
|
|
|
CppElement::~CppElement() = default;
|
|
|
|
CppClass *CppElement::toCppClass()
|
|
{
|
|
return nullptr;
|
|
}
|
|
|
|
class Unknown : public CppElement
|
|
{
|
|
public:
|
|
explicit Unknown(const QString &type) : type(type)
|
|
{
|
|
tooltip = type;
|
|
}
|
|
|
|
public:
|
|
QString type;
|
|
};
|
|
|
|
class CppInclude : public CppElement
|
|
{
|
|
public:
|
|
explicit CppInclude(const Document::Include &includeFile)
|
|
: path(QDir::toNativeSeparators(includeFile.resolvedFileName()))
|
|
, fileName(Utils::FilePath::fromString(includeFile.resolvedFileName()).fileName())
|
|
{
|
|
helpCategory = Core::HelpItem::Brief;
|
|
helpIdCandidates = QStringList(fileName);
|
|
helpMark = fileName;
|
|
link = Utils::Link(path);
|
|
tooltip = path;
|
|
}
|
|
|
|
public:
|
|
QString path;
|
|
QString fileName;
|
|
};
|
|
|
|
class CppMacro : public CppElement
|
|
{
|
|
public:
|
|
explicit CppMacro(const Macro ¯o)
|
|
{
|
|
helpCategory = Core::HelpItem::Macro;
|
|
const QString macroName = QString::fromUtf8(macro.name(), macro.name().size());
|
|
helpIdCandidates = QStringList(macroName);
|
|
helpMark = macroName;
|
|
link = Utils::Link(macro.fileName(), macro.line());
|
|
tooltip = macro.toStringWithLineBreaks();
|
|
}
|
|
};
|
|
|
|
// CppDeclarableElement
|
|
CppDeclarableElement::CppDeclarableElement(Symbol *declaration)
|
|
: CppElement()
|
|
, declaration(declaration)
|
|
, icon(Icons::iconForSymbol(declaration))
|
|
{
|
|
Overview overview;
|
|
overview.showArgumentNames = true;
|
|
overview.showReturnTypes = true;
|
|
name = overview.prettyName(declaration->name());
|
|
if (declaration->enclosingScope()->isClass() ||
|
|
declaration->enclosingScope()->isNamespace() ||
|
|
declaration->enclosingScope()->isEnum()) {
|
|
qualifiedName = overview.prettyName(LookupContext::fullyQualifiedName(declaration));
|
|
helpIdCandidates = stripName(qualifiedName);
|
|
} else {
|
|
qualifiedName = name;
|
|
helpIdCandidates.append(name);
|
|
}
|
|
|
|
tooltip = overview.prettyType(declaration->type(), qualifiedName);
|
|
link = declaration->toLink();
|
|
helpMark = name;
|
|
}
|
|
|
|
class CppNamespace : public CppDeclarableElement
|
|
{
|
|
public:
|
|
explicit CppNamespace(Symbol *declaration)
|
|
: CppDeclarableElement(declaration)
|
|
{
|
|
helpCategory = Core::HelpItem::ClassOrNamespace;
|
|
tooltip = qualifiedName;
|
|
}
|
|
};
|
|
|
|
|
|
CppClass::CppClass(Symbol *declaration) : CppDeclarableElement(declaration)
|
|
{
|
|
helpCategory = Core::HelpItem::ClassOrNamespace;
|
|
tooltip = qualifiedName;
|
|
}
|
|
|
|
bool CppClass::operator==(const CppClass &other)
|
|
{
|
|
return this->declaration == other.declaration;
|
|
}
|
|
|
|
CppClass *CppClass::toCppClass()
|
|
{
|
|
return this;
|
|
}
|
|
|
|
void CppClass::lookupBases(Symbol *declaration, const LookupContext &context)
|
|
{
|
|
using Data = QPair<ClassOrNamespace*, CppClass*>;
|
|
|
|
if (ClassOrNamespace *clazz = context.lookupType(declaration)) {
|
|
QSet<ClassOrNamespace *> visited;
|
|
|
|
QQueue<Data> q;
|
|
q.enqueue(qMakePair(clazz, this));
|
|
while (!q.isEmpty()) {
|
|
Data current = q.dequeue();
|
|
clazz = current.first;
|
|
visited.insert(clazz);
|
|
const QList<ClassOrNamespace *> &bases = clazz->usings();
|
|
foreach (ClassOrNamespace *baseClass, bases) {
|
|
const QList<Symbol *> &symbols = baseClass->symbols();
|
|
foreach (Symbol *symbol, symbols) {
|
|
if (symbol->isClass() && (
|
|
clazz = context.lookupType(symbol)) &&
|
|
!visited.contains(clazz)) {
|
|
CppClass baseCppClass(symbol);
|
|
CppClass *cppClass = current.second;
|
|
cppClass->bases.append(baseCppClass);
|
|
q.enqueue(qMakePair(clazz, &cppClass->bases.last()));
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void CppClass::lookupDerived(Symbol *declaration, const Snapshot &snapshot)
|
|
{
|
|
using Data = QPair<CppClass*, CppTools::TypeHierarchy>;
|
|
|
|
CppTools::TypeHierarchyBuilder builder(declaration, snapshot);
|
|
const CppTools::TypeHierarchy &completeHierarchy = builder.buildDerivedTypeHierarchy();
|
|
|
|
QQueue<Data> q;
|
|
q.enqueue(qMakePair(this, completeHierarchy));
|
|
while (!q.isEmpty()) {
|
|
const Data ¤t = q.dequeue();
|
|
CppClass *clazz = current.first;
|
|
const CppTools::TypeHierarchy &classHierarchy = current.second;
|
|
foreach (const CppTools::TypeHierarchy &derivedHierarchy, classHierarchy.hierarchy()) {
|
|
clazz->derived.append(CppClass(derivedHierarchy.symbol()));
|
|
q.enqueue(qMakePair(&clazz->derived.last(), derivedHierarchy));
|
|
}
|
|
}
|
|
}
|
|
|
|
class CppFunction : public CppDeclarableElement
|
|
{
|
|
public:
|
|
explicit CppFunction(Symbol *declaration)
|
|
: CppDeclarableElement(declaration)
|
|
{
|
|
helpCategory = Core::HelpItem::Function;
|
|
|
|
const FullySpecifiedType &type = declaration->type();
|
|
|
|
// Functions marks can be found either by the main overload or signature based
|
|
// (with no argument names and no return). Help ids have no signature at all.
|
|
Overview overview;
|
|
overview.showDefaultArguments = false;
|
|
helpMark = overview.prettyType(type, name);
|
|
|
|
overview.showFunctionSignatures = false;
|
|
helpIdCandidates.append(overview.prettyName(declaration->name()));
|
|
}
|
|
};
|
|
|
|
class CppEnum : public CppDeclarableElement
|
|
{
|
|
public:
|
|
explicit CppEnum(Enum *declaration)
|
|
: CppDeclarableElement(declaration)
|
|
{
|
|
helpCategory = Core::HelpItem::Enum;
|
|
tooltip = qualifiedName;
|
|
}
|
|
};
|
|
|
|
class CppTypedef : public CppDeclarableElement
|
|
{
|
|
public:
|
|
explicit CppTypedef(Symbol *declaration)
|
|
: CppDeclarableElement(declaration)
|
|
{
|
|
helpCategory = Core::HelpItem::Typedef;
|
|
tooltip = Overview().prettyType(declaration->type(), qualifiedName);
|
|
}
|
|
};
|
|
|
|
class CppVariable : public CppDeclarableElement
|
|
{
|
|
public:
|
|
explicit CppVariable(Symbol *declaration, const LookupContext &context, Scope *scope)
|
|
: CppDeclarableElement(declaration)
|
|
{
|
|
const FullySpecifiedType &type = declaration->type();
|
|
|
|
const Name *typeName = nullptr;
|
|
if (type->isNamedType()) {
|
|
typeName = type->asNamedType()->name();
|
|
} else if (type->isPointerType() || type->isReferenceType()) {
|
|
FullySpecifiedType associatedType;
|
|
if (type->isPointerType())
|
|
associatedType = type->asPointerType()->elementType();
|
|
else
|
|
associatedType = type->asReferenceType()->elementType();
|
|
if (associatedType->isNamedType())
|
|
typeName = associatedType->asNamedType()->name();
|
|
}
|
|
|
|
if (typeName) {
|
|
if (ClassOrNamespace *clazz = context.lookupType(typeName, scope)) {
|
|
if (!clazz->symbols().isEmpty()) {
|
|
Overview overview;
|
|
Symbol *symbol = clazz->symbols().at(0);
|
|
const QString &name = overview.prettyName(
|
|
LookupContext::fullyQualifiedName(symbol));
|
|
if (!name.isEmpty()) {
|
|
tooltip = name;
|
|
helpCategory = Core::HelpItem::ClassOrNamespace;
|
|
const QStringList &allNames = stripName(name);
|
|
if (!allNames.isEmpty()) {
|
|
helpMark = allNames.last();
|
|
helpIdCandidates = allNames;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
};
|
|
|
|
class CppEnumerator : public CppDeclarableElement
|
|
{
|
|
public:
|
|
explicit CppEnumerator(EnumeratorDeclaration *declaration)
|
|
: CppDeclarableElement(declaration)
|
|
{
|
|
helpCategory = Core::HelpItem::Enum;
|
|
|
|
Overview overview;
|
|
|
|
Symbol *enumSymbol = declaration->enclosingScope();
|
|
const QString enumName = overview.prettyName(LookupContext::fullyQualifiedName(enumSymbol));
|
|
const QString enumeratorName = overview.prettyName(declaration->name());
|
|
QString enumeratorValue;
|
|
if (const StringLiteral *value = declaration->constantValue())
|
|
enumeratorValue = QString::fromUtf8(value->chars(), value->size());
|
|
|
|
helpMark = overview.prettyName(enumSymbol->name());
|
|
|
|
tooltip = enumeratorName;
|
|
if (!enumName.isEmpty())
|
|
tooltip.prepend(enumName + QLatin1Char(' '));
|
|
if (!enumeratorValue.isEmpty())
|
|
tooltip.append(QLatin1String(" = ") + enumeratorValue);
|
|
}
|
|
};
|
|
|
|
CppElementEvaluator::CppElementEvaluator(TextEditor::TextEditorWidget *editor) :
|
|
m_editor(editor),
|
|
m_modelManager(CppTools::CppModelManager::instance()),
|
|
m_tc(editor->textCursor()),
|
|
m_lookupBaseClasses(false),
|
|
m_lookupDerivedClasses(false)
|
|
{}
|
|
|
|
void CppElementEvaluator::setTextCursor(const QTextCursor &tc)
|
|
{ m_tc = tc; }
|
|
|
|
void CppElementEvaluator::setLookupBaseClasses(const bool lookup)
|
|
{ m_lookupBaseClasses = lookup; }
|
|
|
|
void CppElementEvaluator::setLookupDerivedClasses(const bool lookup)
|
|
{ m_lookupDerivedClasses = lookup; }
|
|
|
|
// @todo: Consider refactoring code from CppEditor::findLinkAt into here.
|
|
void CppElementEvaluator::execute()
|
|
{
|
|
clear();
|
|
|
|
if (!m_modelManager)
|
|
return;
|
|
|
|
const Snapshot &snapshot = m_modelManager->snapshot();
|
|
Document::Ptr doc = snapshot.document(m_editor->textDocument()->filePath());
|
|
if (!doc)
|
|
return;
|
|
|
|
int line = 0;
|
|
int column = 0;
|
|
const int pos = m_tc.position();
|
|
m_editor->convertPosition(pos, &line, &column);
|
|
|
|
checkDiagnosticMessage(pos);
|
|
|
|
if (!matchIncludeFile(doc, line) && !matchMacroInUse(doc, pos)) {
|
|
CppTools::moveCursorToEndOfIdentifier(&m_tc);
|
|
|
|
// Fetch the expression's code
|
|
ExpressionUnderCursor expressionUnderCursor(doc->languageFeatures());
|
|
const QString &expression = expressionUnderCursor(m_tc);
|
|
Scope *scope = doc->scopeAt(line, column - 1);
|
|
|
|
TypeOfExpression typeOfExpression;
|
|
typeOfExpression.init(doc, snapshot);
|
|
// make possible to instantiate templates
|
|
typeOfExpression.setExpandTemplates(true);
|
|
const QList<LookupItem> &lookupItems = typeOfExpression(expression.toUtf8(), scope);
|
|
if (lookupItems.isEmpty())
|
|
return;
|
|
|
|
const LookupItem &lookupItem = lookupItems.first(); // ### TODO: select best candidate.
|
|
handleLookupItemMatch(snapshot, lookupItem, typeOfExpression.context(), scope);
|
|
}
|
|
}
|
|
|
|
void CppElementEvaluator::checkDiagnosticMessage(int pos)
|
|
{
|
|
foreach (const QTextEdit::ExtraSelection &sel,
|
|
m_editor->extraSelections(TextEditor::TextEditorWidget::CodeWarningsSelection)) {
|
|
if (pos >= sel.cursor.selectionStart() && pos <= sel.cursor.selectionEnd()) {
|
|
m_diagnosis = sel.format.toolTip();
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
bool CppElementEvaluator::matchIncludeFile(const Document::Ptr &document, int line)
|
|
{
|
|
foreach (const Document::Include &includeFile, document->resolvedIncludes()) {
|
|
if (includeFile.line() == line) {
|
|
m_element = QSharedPointer<CppElement>(new CppInclude(includeFile));
|
|
return true;
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
|
|
bool CppElementEvaluator::matchMacroInUse(const Document::Ptr &document, int pos)
|
|
{
|
|
foreach (const Document::MacroUse &use, document->macroUses()) {
|
|
if (use.containsUtf16charOffset(pos)) {
|
|
const int begin = use.utf16charsBegin();
|
|
if (pos < begin + use.macro().nameToQString().size()) {
|
|
m_element = QSharedPointer<CppElement>(new CppMacro(use.macro()));
|
|
return true;
|
|
}
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
|
|
void CppElementEvaluator::handleLookupItemMatch(const Snapshot &snapshot,
|
|
const LookupItem &lookupItem,
|
|
const LookupContext &context,
|
|
const Scope *scope)
|
|
{
|
|
Symbol *declaration = lookupItem.declaration();
|
|
if (!declaration) {
|
|
const QString &type = Overview().prettyType(lookupItem.type(), QString());
|
|
// special case for bug QTCREATORBUG-4780
|
|
if (scope && scope->isFunction()
|
|
&& lookupItem.type().match(scope->asFunction()->returnType())) {
|
|
return;
|
|
}
|
|
m_element = QSharedPointer<CppElement>(new Unknown(type));
|
|
} else {
|
|
const FullySpecifiedType &type = declaration->type();
|
|
if (declaration->isNamespace()) {
|
|
m_element = QSharedPointer<CppElement>(new CppNamespace(declaration));
|
|
} else if (declaration->isClass()
|
|
|| declaration->isForwardClassDeclaration()
|
|
|| (declaration->isTemplate() && declaration->asTemplate()->declaration()
|
|
&& (declaration->asTemplate()->declaration()->isClass()
|
|
|| declaration->asTemplate()->declaration()->isForwardClassDeclaration()))) {
|
|
LookupContext contextToUse = context;
|
|
if (declaration->isForwardClassDeclaration()) {
|
|
const auto symbolFinder = m_modelManager->symbolFinder();
|
|
Symbol *classDeclaration = symbolFinder->findMatchingClassDeclaration(declaration,
|
|
snapshot);
|
|
if (classDeclaration) {
|
|
declaration = classDeclaration;
|
|
const QString fileName = QString::fromUtf8(declaration->fileName(),
|
|
declaration->fileNameLength());
|
|
const Document::Ptr declarationDocument = snapshot.document(fileName);
|
|
if (declarationDocument != context.thisDocument())
|
|
contextToUse = LookupContext(declarationDocument, snapshot);
|
|
}
|
|
}
|
|
|
|
auto cppClass = new CppClass(declaration);
|
|
if (m_lookupBaseClasses)
|
|
cppClass->lookupBases(declaration, contextToUse);
|
|
if (m_lookupDerivedClasses)
|
|
cppClass->lookupDerived(declaration, snapshot);
|
|
m_element = QSharedPointer<CppElement>(cppClass);
|
|
} else if (Enum *enumDecl = declaration->asEnum()) {
|
|
m_element = QSharedPointer<CppElement>(new CppEnum(enumDecl));
|
|
} else if (auto enumerator = dynamic_cast<EnumeratorDeclaration *>(declaration)) {
|
|
m_element = QSharedPointer<CppElement>(new CppEnumerator(enumerator));
|
|
} else if (declaration->isTypedef()) {
|
|
m_element = QSharedPointer<CppElement>(new CppTypedef(declaration));
|
|
} else if (declaration->isFunction()
|
|
|| (type.isValid() && type->isFunctionType())
|
|
|| declaration->isTemplate()) {
|
|
m_element = QSharedPointer<CppElement>(new CppFunction(declaration));
|
|
} else if (declaration->isDeclaration() && type.isValid()) {
|
|
m_element = QSharedPointer<CppElement>(
|
|
new CppVariable(declaration, context, lookupItem.scope()));
|
|
} else {
|
|
m_element = QSharedPointer<CppElement>(new CppDeclarableElement(declaration));
|
|
}
|
|
}
|
|
}
|
|
|
|
bool CppElementEvaluator::identifiedCppElement() const
|
|
{
|
|
return !m_element.isNull();
|
|
}
|
|
|
|
const QSharedPointer<CppElement> &CppElementEvaluator::cppElement() const
|
|
{
|
|
return m_element;
|
|
}
|
|
|
|
bool CppElementEvaluator::hasDiagnosis() const
|
|
{
|
|
return !m_diagnosis.isEmpty();
|
|
}
|
|
|
|
const QString &CppElementEvaluator::diagnosis() const
|
|
{
|
|
return m_diagnosis;
|
|
}
|
|
|
|
void CppElementEvaluator::clear()
|
|
{
|
|
m_element.clear();
|
|
m_diagnosis.clear();
|
|
}
|
|
|
|
} // namespace CppTools
|