/**************************************************************************** ** ** 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 "clangassistproposalitem.h" #include "clangcompletionchunkstotextconverter.h" #include "clangfixitoperation.h" #include #include #include #include #include #include #include #include #include #include #include using namespace CPlusPlus; using namespace ClangBackEnd; namespace ClangCodeModel { namespace Internal { bool ClangAssistProposalItem::prematurelyApplies(const QChar &typedCharacter) const { bool applies = false; if (m_completionOperator == T_SIGNAL || m_completionOperator == T_SLOT) applies = QString::fromLatin1("(,").contains(typedCharacter); else if (m_completionOperator == T_STRING_LITERAL || m_completionOperator == T_ANGLE_STRING_LITERAL) applies = (typedCharacter == QLatin1Char('/')) && text().endsWith(QLatin1Char('/')); else if (firstCodeCompletion().completionKind == CodeCompletion::ObjCMessageCompletionKind) applies = QString::fromLatin1(";.,").contains(typedCharacter); else applies = QString::fromLatin1(";.,:(").contains(typedCharacter); if (applies) m_typedCharacter = typedCharacter; return applies; } bool ClangAssistProposalItem::implicitlyApplies() const { return true; } static QString textUntilPreviousStatement(TextEditor::TextDocumentManipulatorInterface &manipulator, int startPosition) { static const QString stopCharacters(";{}#"); int endPosition = 0; for (int i = startPosition; i >= 0 ; --i) { if (stopCharacters.contains(manipulator.characterAt(i))) { endPosition = i + 1; break; } } return manipulator.textAt(endPosition, startPosition - endPosition); } // 7.3.3: using typename(opt) nested-name-specifier unqualified-id ; static bool isAtUsingDeclaration(TextEditor::TextDocumentManipulatorInterface &manipulator, int basePosition) { SimpleLexer lexer; lexer.setLanguageFeatures(LanguageFeatures::defaultFeatures()); const QString textToLex = textUntilPreviousStatement(manipulator, basePosition); const Tokens tokens = lexer(textToLex); if (tokens.empty()) return false; // The nested-name-specifier always ends with "::", so check for this first. const Token lastToken = tokens[tokens.size() - 1]; if (lastToken.kind() != T_COLON_COLON) return false; return Utils::contains(tokens, [](const Token &token) { return token.kind() == T_USING; }); } static QString methodDefinitionParameters(const CodeCompletionChunks &chunks) { QString result; auto typedTextChunkIt = std::find_if(chunks.begin(), chunks.end(), [](const CodeCompletionChunk &chunk) { return chunk.kind == CodeCompletionChunk::TypedText; }); if (typedTextChunkIt == chunks.end()) return result; std::for_each(++typedTextChunkIt, chunks.end(), [&result](const CodeCompletionChunk &chunk) { if (chunk.kind == CodeCompletionChunk::Placeholder && chunk.text.contains('=')) { Utf8String text = chunk.text.mid(0, chunk.text.indexOf('=')); if (text.endsWith(' ')) text.chop(1); result += text; } else { result += chunk.text; } }); return result; } void ClangAssistProposalItem::apply(TextEditor::TextDocumentManipulatorInterface &manipulator, int basePosition) const { const CodeCompletion ccr = firstCodeCompletion(); if (!ccr.requiredFixIts.empty()) { ClangFixItOperation fixItOperation(Utf8String(), ccr.requiredFixIts); fixItOperation.perform(); const int shift = fixItsShift(manipulator); basePosition += shift; } QString textToBeInserted = m_text; QString extraCharacters; int extraLength = 0; int cursorOffset = 0; bool setAutoCompleteSkipPos = false; int currentPosition = manipulator.currentPosition(); if (m_completionOperator == T_SIGNAL || m_completionOperator == T_SLOT) { extraCharacters += QLatin1Char(')'); if (m_typedCharacter == QLatin1Char('(')) // Eat the opening parenthesis m_typedCharacter = QChar(); } else if (ccr.completionKind == CodeCompletion::KeywordCompletionKind) { CompletionChunksToTextConverter converter; converter.setupForKeywords(); converter.parseChunks(ccr.chunks); textToBeInserted = converter.text(); if (converter.hasPlaceholderPositions()) cursorOffset = converter.placeholderPositions().at(0) - converter.text().size(); } else if (ccr.completionKind == CodeCompletion::NamespaceCompletionKind) { CompletionChunksToTextConverter converter; converter.parseChunks(ccr.chunks); // Appends "::" after name space name textToBeInserted = converter.text(); } else if (!ccr.text.isEmpty()) { const TextEditor::CompletionSettings &completionSettings = TextEditor::TextEditorSettings::instance()->completionSettings(); const bool autoInsertBrackets = completionSettings.m_autoInsertBrackets; if (autoInsertBrackets && (ccr.completionKind == CodeCompletion::FunctionCompletionKind || ccr.completionKind == CodeCompletion::FunctionDefinitionCompletionKind || ccr.completionKind == CodeCompletion::DestructorCompletionKind || ccr.completionKind == CodeCompletion::ConstructorCompletionKind || ccr.completionKind == CodeCompletion::SignalCompletionKind || ccr.completionKind == CodeCompletion::SlotCompletionKind)) { // When the user typed the opening parenthesis, he'll likely also type the closing one, // in which case it would be annoying if we put the cursor after the already automatically // inserted closing parenthesis. const bool skipClosingParenthesis = m_typedCharacter != QLatin1Char('('); QTextCursor cursor = manipulator.textCursorAt(basePosition); bool abandonParen = false; if (Utils::Text::matchPreviousWord(manipulator, cursor, "&")) { Utils::Text::moveToPrevChar(manipulator, cursor); Utils::Text::moveToPrevChar(manipulator, cursor); const QChar prevChar = manipulator.characterAt(cursor.position()); cursor.setPosition(basePosition); abandonParen = QString("(;,{}").contains(prevChar); } if (!abandonParen) abandonParen = isAtUsingDeclaration(manipulator, basePosition); if (!abandonParen && ccr.completionKind == CodeCompletion::FunctionDefinitionCompletionKind) { const CodeCompletionChunk resultType = ccr.chunks.first(); QTC_ASSERT(resultType.kind == CodeCompletionChunk::ResultType, return;); if (Utils::Text::matchPreviousWord(manipulator, cursor, resultType.text.toString())) { extraCharacters += methodDefinitionParameters(ccr.chunks); // To skip the next block. abandonParen = true; } } if (!abandonParen) { if (completionSettings.m_spaceAfterFunctionName) extraCharacters += QLatin1Char(' '); extraCharacters += QLatin1Char('('); if (m_typedCharacter == QLatin1Char('(')) m_typedCharacter = QChar(); // If the function doesn't return anything, automatically place the semicolon, // unless we're doing a scope completion (then it might be function definition). const QChar characterAtCursor = manipulator.characterAt(currentPosition); bool endWithSemicolon = m_typedCharacter == QLatin1Char(';')/* || (function->returnType()->isVoidType() && m_completionOperator != T_COLON_COLON)*/; //### const QChar semicolon = m_typedCharacter.isNull() ? QLatin1Char(';') : m_typedCharacter; if (endWithSemicolon && characterAtCursor == semicolon) { endWithSemicolon = false; m_typedCharacter = QChar(); } // If the function takes no arguments, automatically place the closing parenthesis if (!hasOverloadsWithParameters() && !ccr.hasParameters && skipClosingParenthesis) { extraCharacters += QLatin1Char(')'); if (endWithSemicolon) { extraCharacters += semicolon; m_typedCharacter = QChar(); } } else { const QChar lookAhead = manipulator.characterAt(manipulator.currentPosition() + 1); if (MatchingText::shouldInsertMatchingText(lookAhead)) { extraCharacters += QLatin1Char(')'); --cursorOffset; setAutoCompleteSkipPos = true; if (endWithSemicolon) { extraCharacters += semicolon; --cursorOffset; m_typedCharacter = QChar(); } } } } } } // Append an unhandled typed character, adjusting cursor offset when it had been adjusted before if (!m_typedCharacter.isNull()) { extraCharacters += m_typedCharacter; if (cursorOffset != 0) --cursorOffset; } // Avoid inserting characters that are already there QTextCursor cursor = manipulator.textCursorAt(basePosition); cursor.movePosition(QTextCursor::EndOfWord); const QString textAfterCursor = manipulator.textAt(currentPosition, cursor.position() - currentPosition); if (textToBeInserted != textAfterCursor && textToBeInserted.indexOf(textAfterCursor, currentPosition - basePosition) >= 0) { currentPosition = cursor.position(); } for (int i = 0; i < extraCharacters.length(); ++i) { const QChar a = extraCharacters.at(i); const QChar b = manipulator.characterAt(currentPosition + i); if (a == b) ++extraLength; else break; } textToBeInserted += extraCharacters; const int length = currentPosition - basePosition + extraLength; const bool isReplaced = manipulator.replace(basePosition, length, textToBeInserted); manipulator.setCursorPosition(basePosition + textToBeInserted.length()); if (isReplaced) { if (cursorOffset) manipulator.setCursorPosition(manipulator.currentPosition() + cursorOffset); if (setAutoCompleteSkipPos) manipulator.setAutoCompleteSkipPosition(manipulator.currentPosition()); if (ccr.completionKind == CodeCompletion::KeywordCompletionKind) manipulator.autoIndent(basePosition, textToBeInserted.size()); } } void ClangAssistProposalItem::setText(const QString &text) { m_text = text; } QString ClangAssistProposalItem::text() const { return m_text + (requiresFixIts() ? fixItText() : QString()); } const QVector &ClangAssistProposalItem::firstCompletionFixIts() const { return firstCodeCompletion().requiredFixIts; } // FIXME: Indicate required fix-it without adding extra text. QString ClangAssistProposalItem::fixItText() const { const FixItContainer &fixIt = firstCompletionFixIts().first(); const SourceRangeContainer &range = fixIt.range; return QCoreApplication::translate("ClangCodeModel::ClangAssistProposalItem", " (requires to correct [%1:%2-%3:%4] to \"%5\")") .arg(range.start.line) .arg(range.start.column) .arg(range.end.line) .arg(range.end.column) .arg(fixIt.text.toString()); } int ClangAssistProposalItem::fixItsShift( const TextEditor::TextDocumentManipulatorInterface &manipulator) const { const QVector &requiredFixIts = firstCompletionFixIts(); if (requiredFixIts.empty()) return 0; int shift = 0; QTextCursor cursor = manipulator.textCursorAt(0); for (const FixItContainer &fixIt : requiredFixIts) { const int fixItStartPos = Utils::Text::positionInText( cursor.document(), static_cast(fixIt.range.start.line), static_cast(fixIt.range.start.column)); const int fixItEndPos = Utils::Text::positionInText( cursor.document(), static_cast(fixIt.range.end.line), static_cast(fixIt.range.end.column)); shift += fixIt.text.toString().length() - (fixItEndPos - fixItStartPos); } return shift; } QIcon ClangAssistProposalItem::icon() const { using CPlusPlus::Icons; static const char SNIPPET_ICON_PATH[] = ":/texteditor/images/snippet.png"; static const QIcon snippetIcon = QIcon(QLatin1String(SNIPPET_ICON_PATH)); const ClangBackEnd::CodeCompletion &completion = firstCodeCompletion(); switch (completion.completionKind) { case CodeCompletion::ClassCompletionKind: case CodeCompletion::TemplateClassCompletionKind: case CodeCompletion::TypeAliasCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Class); case CodeCompletion::EnumerationCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Enum); case CodeCompletion::EnumeratorCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Enumerator); case CodeCompletion::ConstructorCompletionKind: case CodeCompletion::DestructorCompletionKind: case CodeCompletion::FunctionCompletionKind: case CodeCompletion::FunctionDefinitionCompletionKind: case CodeCompletion::TemplateFunctionCompletionKind: case CodeCompletion::ObjCMessageCompletionKind: switch (completion.availability) { case CodeCompletion::Available: case CodeCompletion::Deprecated: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::FuncPublic); default: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::FuncPrivate); } case CodeCompletion::SignalCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Signal); case CodeCompletion::SlotCompletionKind: switch (completion.availability) { case CodeCompletion::Available: case CodeCompletion::Deprecated: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::SlotPublic); case CodeCompletion::NotAccessible: case CodeCompletion::NotAvailable: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::SlotPrivate); } break; case CodeCompletion::NamespaceCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Namespace); case CodeCompletion::PreProcessorCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Macro); case CodeCompletion::VariableCompletionKind: switch (completion.availability) { case CodeCompletion::Available: case CodeCompletion::Deprecated: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::VarPublic); default: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::VarPrivate); } case CodeCompletion::KeywordCompletionKind: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Keyword); case CodeCompletion::ClangSnippetKind: return snippetIcon; case CodeCompletion::Other: return ::Utils::CodeModelIcon::iconForType(::Utils::CodeModelIcon::Unknown); default: break; } return QIcon(); } QString ClangAssistProposalItem::detail() const { QString detail; for (const ClangBackEnd::CodeCompletion &codeCompletion : m_codeCompletions) { if (!detail.isEmpty()) detail += "
"; detail += CompletionChunksToTextConverter::convertToToolTipWithHtml( codeCompletion.chunks, codeCompletion.completionKind); if (!codeCompletion.briefComment.isEmpty()) detail += "
" + codeCompletion.briefComment.toString(); } return detail; } bool ClangAssistProposalItem::isSnippet() const { return false; } bool ClangAssistProposalItem::isValid() const { return true; } quint64 ClangAssistProposalItem::hash() const { return 0; } bool ClangAssistProposalItem::requiresFixIts() const { return !firstCompletionFixIts().empty(); } bool ClangAssistProposalItem::hasOverloadsWithParameters() const { return m_hasOverloadsWithParameters; } void ClangAssistProposalItem::setHasOverloadsWithParameters(bool hasOverloadsWithParameters) { m_hasOverloadsWithParameters = hasOverloadsWithParameters; } void ClangAssistProposalItem::keepCompletionOperator(unsigned compOp) { m_completionOperator = compOp; } void ClangAssistProposalItem::appendCodeCompletion(const CodeCompletion &codeCompletion) { m_codeCompletions.push_back(codeCompletion); } const ClangBackEnd::CodeCompletion &ClangAssistProposalItem::firstCodeCompletion() const { return m_codeCompletions.at(0); } void ClangAssistProposalItem::removeFirstCodeCompletion() { QTC_ASSERT(!m_codeCompletions.empty(), return;); m_codeCompletions.erase(m_codeCompletions.begin()); } } // namespace Internal } // namespace ClangCodeModel