cppeditor.cpp 68.9 KB
Newer Older
1
/**************************************************************************
con's avatar
con committed
2 3 4
**
** This file is part of Qt Creator
**
hjk's avatar
hjk committed
5
** Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies).
con's avatar
con committed
6
**
7
** Contact: Nokia Corporation (qt-info@nokia.com)
con's avatar
con committed
8
**
9
** Commercial Usage
10
**
11 12 13 14
** Licensees holding valid Qt Commercial licenses may use this file in
** accordance with the Qt Commercial License Agreement provided with the
** Software or, alternatively, in accordance with the terms contained in
** a written agreement between you and Nokia.
15
**
16
** GNU Lesser General Public License Usage
17
**
18 19 20 21 22 23
** Alternatively, this file may be used under the terms of the GNU Lesser
** General Public License version 2.1 as published by the Free Software
** Foundation and appearing in the file LICENSE.LGPL included in the
** packaging of this file.  Please review the following information to
** ensure the GNU Lesser General Public License version 2.1 requirements
** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
24
**
25
** If you are unsure which license is appropriate for your use, please
hjk's avatar
hjk committed
26
** contact the sales department at http://qt.nokia.com/contact.
con's avatar
con committed
27
**
28
**************************************************************************/
hjk's avatar
hjk committed
29

con's avatar
con committed
30 31 32 33
#include "cppeditor.h"
#include "cppeditorconstants.h"
#include "cppplugin.h"
#include "cpphighlighter.h"
34 35
#include "cppcheckundefinedsymbols.h"

36
#include "cppquickfix.h"
Roberto Raggi's avatar
Roberto Raggi committed
37 38
#include <cpptools/cpptoolsplugin.h>

con's avatar
con committed
39
#include <AST.h>
40
#include <Control.h>
con's avatar
con committed
41 42 43 44 45 46 47
#include <Token.h>
#include <Scope.h>
#include <Symbols.h>
#include <Names.h>
#include <CoreTypes.h>
#include <Literals.h>
#include <Semantic.h>
48
#include <ASTVisitor.h>
49
#include <SymbolVisitor.h>
50
#include <TranslationUnit.h>
con's avatar
con committed
51
#include <cplusplus/ExpressionUnderCursor.h>
Roberto Raggi's avatar
Roberto Raggi committed
52
#include <cplusplus/TypeOfExpression.h>
con's avatar
con committed
53 54 55
#include <cplusplus/Overview.h>
#include <cplusplus/OverviewModel.h>
#include <cplusplus/SimpleLexer.h>
56
#include <cplusplus/MatchingText.h>
57
#include <cplusplus/BackwardsScanner.h>
58 59
#include <cplusplus/FastPreprocessor.h>

con's avatar
con committed
60
#include <cpptools/cppmodelmanagerinterface.h>
61
#include <cpptools/cpptoolsconstants.h>
Christian Kamm's avatar
Christian Kamm committed
62
#include <cpptools/cppcodeformatter.h>
con's avatar
con committed
63 64

#include <coreplugin/icore.h>
65
#include <coreplugin/actionmanager/actionmanager.h>
66
#include <coreplugin/actionmanager/actioncontainer.h>
con's avatar
con committed
67 68
#include <coreplugin/editormanager/ieditor.h>
#include <coreplugin/editormanager/editormanager.h>
dt's avatar
dt committed
69
#include <coreplugin/mimedatabase.h>
70
#include <utils/uncommentselection.h>
71
#include <extensionsystem/pluginmanager.h>
con's avatar
con committed
72 73 74 75 76 77 78 79 80 81
#include <projectexplorer/projectexplorerconstants.h>
#include <texteditor/basetextdocument.h>
#include <texteditor/fontsettings.h>
#include <texteditor/texteditorconstants.h>
#include <texteditor/textblockiterator.h>
#include <indenter.h>

#include <QtCore/QDebug>
#include <QtCore/QTime>
#include <QtCore/QTimer>
82
#include <QtCore/QStack>
83
#include <QtCore/QSettings>
84
#include <QtCore/QSignalMapper>
con's avatar
con committed
85
#include <QtGui/QAction>
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
86
#include <QtGui/QApplication>
87
#include <QtGui/QHeaderView>
con's avatar
con committed
88 89 90 91 92
#include <QtGui/QLayout>
#include <QtGui/QMenu>
#include <QtGui/QShortcut>
#include <QtGui/QTextEdit>
#include <QtGui/QComboBox>
con's avatar
con committed
93
#include <QtGui/QToolBar>
con's avatar
con committed
94
#include <QtGui/QTreeView>
95
#include <QtGui/QSortFilterProxyModel>
con's avatar
con committed
96

97 98
#include <sstream>

Roberto Raggi's avatar
Roberto Raggi committed
99
enum {
100
    UPDATE_OUTLINE_INTERVAL = 150,
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
101
    UPDATE_USES_INTERVAL = 300
Roberto Raggi's avatar
Roberto Raggi committed
102 103
};

Roberto Raggi's avatar
Roberto Raggi committed
104 105 106
using namespace CPlusPlus;
using namespace CppEditor::Internal;

107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131
static QList<QTextEdit::ExtraSelection> createSelections(QTextDocument *document,
                                                         const QList<CPlusPlus::Document::DiagnosticMessage> &msgs,
                                                         const QTextCharFormat &format)
{
    QList<QTextEdit::ExtraSelection> selections;

    foreach (const Document::DiagnosticMessage &m, msgs) {
        const int pos = document->findBlockByNumber(m.line() - 1).position() + m.column() - 1;
        if (pos < 0)
            continue;

        QTextCursor cursor(document);
        cursor.setPosition(pos);
        cursor.movePosition(QTextCursor::NextCharacter, QTextCursor::KeepAnchor, m.length());

        QTextEdit::ExtraSelection sel;
        sel.cursor = cursor;
        sel.format = format;
        sel.format.setToolTip(m.text());
        selections.append(sel);
    }

    return selections;
}

con's avatar
con committed
132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150
namespace {

class OverviewTreeView : public QTreeView
{
public:
    OverviewTreeView(QWidget *parent = 0)
        : QTreeView(parent)
    {
        // TODO: Disable the root for all items (with a custom delegate?)
        setRootIsDecorated(false);
    }

    void sync()
    {
        expandAll();
        setMinimumWidth(qMax(sizeHintForColumn(0), minimumSizeHint().width()));
    }
};

151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176
class OverviewProxyModel : public QSortFilterProxyModel
{
    Q_OBJECT
public:
    OverviewProxyModel(CPlusPlus::OverviewModel *sourceModel, QObject *parent) :
        QSortFilterProxyModel(parent),
        m_sourceModel(sourceModel)
    {
        setSourceModel(m_sourceModel);
    }

    bool filterAcceptsRow(int sourceRow,const QModelIndex &sourceParent) const
    {
        // ignore generated symbols, e.g. by macro expansion (Q_OBJECT)
        const QModelIndex sourceIndex = m_sourceModel->index(sourceRow, 0, sourceParent);
        CPlusPlus::Symbol *symbol = m_sourceModel->symbolFromIndex(sourceIndex);
        if (symbol && symbol->isGenerated())
            return false;

        return QSortFilterProxyModel::filterAcceptsRow(sourceRow, sourceParent);
    }
private:
    CPlusPlus::OverviewModel *m_sourceModel;
};


177
class FindLocalUses: protected ASTVisitor
Roberto Raggi's avatar
Roberto Raggi committed
178 179
{
    Scope *_functionScope;
180
    Document::Ptr _doc;
181

182
public:
183 184
    FindLocalUses(Document::Ptr doc)
        : ASTVisitor(doc->translationUnit()), _doc(doc), hasD(false), hasQ(false)
185 186
    { }

Roberto Raggi's avatar
Roberto Raggi committed
187
    // local and external uses.
Roberto Raggi's avatar
Roberto Raggi committed
188
    SemanticInfo::LocalUseMap localUses;
189 190
    bool hasD;
    bool hasQ;
Roberto Raggi's avatar
Roberto Raggi committed
191

192
    void operator()(DeclarationAST *ast)
193
    {
Roberto Raggi's avatar
Roberto Raggi committed
194 195
        localUses.clear();

196 197 198 199 200 201 202 203 204 205 206 207 208
        if (!ast)
            return;

        if (FunctionDefinitionAST *def = ast->asFunctionDefinition()) {
            if (def->symbol) {
                _functionScope = def->symbol->members();
                accept(ast);
            }
        } else if (ObjCMethodDeclarationAST *decl = ast->asObjCMethodDeclaration()) {
            if (decl->method_prototype->symbol) {
                _functionScope = decl->method_prototype->symbol->members();
                accept(ast);
            }
209 210 211 212 213 214
        }
    }

protected:
    using ASTVisitor::visit;

Roberto Raggi's avatar
Roberto Raggi committed
215
    bool findMember(Scope *scope, NameAST *ast, unsigned line, unsigned column)
216
    {
Roberto Raggi's avatar
Roberto Raggi committed
217 218 219
        if (! (ast && ast->name))
            return false;

Roberto Raggi's avatar
Roberto Raggi committed
220
        const Identifier *id = ast->name->identifier();
221 222 223 224 225

        if (scope) {
            for (Symbol *member = scope->lookat(id); member; member = member->next()) {
                if (member->identifier() != id)
                    continue;
Roberto Raggi's avatar
typo  
Roberto Raggi committed
226
                else if (member->line() < line || (member->line() == line && member->column() <= column)) {
Roberto Raggi's avatar
Roberto Raggi committed
227
                    localUses[member].append(SemanticInfo::Use(line, column, id->size()));
228 229 230 231 232 233 234 235
                    return true;
                }
            }
        }

        return false;
    }

236 237 238 239 240 241
    void searchUsesInTemplateArguments(NameAST *name)
    {
        if (! name)
            return;

        else if (TemplateIdAST *template_id = name->asTemplateId()) {
Roberto Raggi's avatar
Roberto Raggi committed
242
            for (TemplateArgumentListAST *it = template_id->template_argument_list; it; it = it->next) {
243
                accept(it->value);
244 245 246 247
            }
        }
    }

248
    virtual bool visit(SimpleNameAST *ast)
249 250 251
    { return findMemberForToken(ast->firstToken(), ast); }

    bool findMemberForToken(unsigned tokenIdx, NameAST *ast)
252
    {
Roberto Raggi's avatar
Roberto Raggi committed
253 254 255 256
        const Token &tok = tokenAt(tokenIdx);
        if (tok.generated())
            return false;

257
        unsigned line, column;
258
        getTokenStartPosition(tokenIdx, &line, &column);
259

260
        Scope *scope = _doc->scopeAt(line, column);
261 262 263 264 265 266 267 268

        while (scope) {
            if (scope->isFunctionScope()) {
                Function *fun = scope->owner()->asFunction();
                if (findMember(fun->members(), ast, line, column))
                    return false;
                else if (findMember(fun->arguments(), ast, line, column))
                    return false;
269 270 271 272 273 274
            } else if (scope->isObjCMethodScope()) {
                ObjCMethod *method = scope->owner()->asObjCMethod();
                if (findMember(method->members(), ast, line, column))
                    return false;
                else if (findMember(method->arguments(), ast, line, column))
                    return false;
275 276 277 278 279 280 281 282 283 284 285 286 287
            } else if (scope->isBlockScope()) {
                if (findMember(scope, ast, line, column))
                    return false;
            } else {
                break;
            }

            scope = scope->enclosingScope();
        }

        return false;
    }

Roberto Raggi's avatar
Roberto Raggi committed
288
    virtual bool visit(TemplateIdAST *ast)
289
    {
Roberto Raggi's avatar
Roberto Raggi committed
290
        for (TemplateArgumentListAST *arg = ast->template_argument_list; arg; arg = arg->next)
291
            accept(arg->value);
292

Roberto Raggi's avatar
Roberto Raggi committed
293 294 295 296
        const Token &tok = tokenAt(ast->identifier_token);
        if (tok.generated())
            return false;

Roberto Raggi's avatar
Roberto Raggi committed
297 298 299
        unsigned line, column;
        getTokenStartPosition(ast->firstToken(), &line, &column);

300
        Scope *scope = _doc->scopeAt(line, column);
Roberto Raggi's avatar
Roberto Raggi committed
301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323

        while (scope) {
            if (scope->isFunctionScope()) {
                Function *fun = scope->owner()->asFunction();
                if (findMember(fun->members(), ast, line, column))
                    return false;
                else if (findMember(fun->arguments(), ast, line, column))
                    return false;
            } else if (scope->isBlockScope()) {
                if (findMember(scope, ast, line, column))
                    return false;
            } else {
                break;
            }

            scope = scope->enclosingScope();
        }

        return false;
    }

    virtual bool visit(QualifiedNameAST *ast)
    {
Roberto Raggi's avatar
Roberto Raggi committed
324
        for (NestedNameSpecifierListAST *it = ast->nested_name_specifier_list; it; it = it->next)
Roberto Raggi's avatar
Roberto Raggi committed
325
            searchUsesInTemplateArguments(it->value->class_or_namespace_name);
Roberto Raggi's avatar
Roberto Raggi committed
326

327
        searchUsesInTemplateArguments(ast->unqualified_name);
328 329 330
        return false;
    }

331
    virtual bool visit(MemberAccessAST *ast)
332
    {
333
        // accept only the base expression
334
        accept(ast->base_expression);
335
        // and ignore the member name.
336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366
        return false;
    }

    virtual bool visit(ElaboratedTypeSpecifierAST *)
    {
        // ### template args
        return false;
    }

    virtual bool visit(ClassSpecifierAST *)
    {
        // ### template args
        return false;
    }

    virtual bool visit(EnumSpecifierAST *)
    {
        // ### template args
        return false;
    }

    virtual bool visit(UsingDirectiveAST *)
    {
        return false;
    }

    virtual bool visit(UsingAST *ast)
    {
        accept(ast->name);
        return false;
    }
367

368 369 370 371 372 373 374 375 376 377
    virtual bool visit(QtMemberDeclarationAST *ast)
    {
        if (tokenKind(ast->q_token) == T_Q_D)
            hasD = true;
        else
            hasQ = true;

        return true;
    }

378 379 380 381 382 383 384 385 386 387
    virtual bool visit(ExpressionOrDeclarationStatementAST *ast)
    {
        accept(ast->declaration);
        return false;
    }

    virtual bool visit(FunctionDeclaratorAST *ast)
    {
        accept(ast->parameters);

Roberto Raggi's avatar
Roberto Raggi committed
388
        for (SpecifierListAST *it = ast->cv_qualifier_list; it; it = it->next)
Roberto Raggi's avatar
Roberto Raggi committed
389
            accept(it->value);
390 391 392 393 394

        accept(ast->exception_specification);

        return false;
    }
395 396 397 398 399 400

    virtual bool visit(ObjCMethodPrototypeAST *ast)
    {
        accept(ast->argument_list);
        return false;
    }
401 402 403 404 405 406

    virtual bool visit(ObjCMessageArgumentDeclarationAST *ast)
    {
        accept(ast->param_name);
        return false;
    }
407 408 409
};


Roberto Raggi's avatar
Roberto Raggi committed
410 411 412 413
class FunctionDefinitionUnderCursor: protected ASTVisitor
{
    unsigned _line;
    unsigned _column;
414
    DeclarationAST *_functionDefinition;
Roberto Raggi's avatar
Roberto Raggi committed
415 416

public:
Roberto Raggi's avatar
Roberto Raggi committed
417 418
    FunctionDefinitionUnderCursor(TranslationUnit *translationUnit)
        : ASTVisitor(translationUnit),
Roberto Raggi's avatar
Roberto Raggi committed
419
          _line(0), _column(0)
Roberto Raggi's avatar
Roberto Raggi committed
420 421
    { }

422
    DeclarationAST *operator()(AST *ast, unsigned line, unsigned column)
Roberto Raggi's avatar
Roberto Raggi committed
423 424
    {
        _functionDefinition = 0;
Roberto Raggi's avatar
Roberto Raggi committed
425 426
        _line = line;
        _column = column;
Roberto Raggi's avatar
Roberto Raggi committed
427 428 429 430 431 432 433 434 435 436 437
        accept(ast);
        return _functionDefinition;
    }

protected:
    virtual bool preVisit(AST *ast)
    {
        if (_functionDefinition)
            return false;

        else if (FunctionDefinitionAST *def = ast->asFunctionDefinition()) {
438 439 440 441 442 443
            return checkDeclaration(def);
        }

        else if (ObjCMethodDeclarationAST *method = ast->asObjCMethodDeclaration()) {
            if (method->function_body)
                return checkDeclaration(method);
Roberto Raggi's avatar
Roberto Raggi committed
444 445 446 447 448
        }

        return true;
    }

449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
private:
    bool checkDeclaration(DeclarationAST *ast)
    {
        unsigned startLine, startColumn;
        unsigned endLine, endColumn;
        getTokenStartPosition(ast->firstToken(), &startLine, &startColumn);
        getTokenEndPosition(ast->lastToken() - 1, &endLine, &endColumn);

        if (_line > startLine || (_line == startLine && _column >= startColumn)) {
            if (_line < endLine || (_line == endLine && _column < endColumn)) {
                _functionDefinition = ast;
                return false;
            }
        }

        return true;
    }
Roberto Raggi's avatar
Roberto Raggi committed
466 467
};

468 469
class FindFunctionDefinitions: protected SymbolVisitor
{
Roberto Raggi's avatar
Roberto Raggi committed
470
    const Name *_declarationName;
471 472 473 474 475 476 477 478
    QList<Function *> *_functions;

public:
    FindFunctionDefinitions()
        : _declarationName(0),
          _functions(0)
    { }

Roberto Raggi's avatar
Roberto Raggi committed
479
    void operator()(const Name *declarationName, Scope *globals,
480 481 482 483 484 485 486 487 488 489 490 491 492 493 494
                    QList<Function *> *functions)
    {
        _declarationName = declarationName;
        _functions = functions;

        for (unsigned i = 0; i < globals->symbolCount(); ++i) {
            accept(globals->symbolAt(i));
        }
    }

protected:
    using SymbolVisitor::visit;

    virtual bool visit(Function *function)
    {
Roberto Raggi's avatar
Roberto Raggi committed
495 496
        const Name *name = function->name();
        if (const QualifiedNameId *q = name->asQualifiedNameId())
497
            name = q->name();
498 499 500 501 502 503 504 505

        if (_declarationName->isEqualTo(name))
            _functions->append(function);

        return false;
    }
};

506 507 508 509 510 511 512 513 514 515

struct FindCanonicalSymbol
{
    CPPEditor *editor;
    QString code;
    TypeOfExpression typeOfExpression;
    ExpressionUnderCursor expressionUnderCursor;
    SemanticInfo info;

    FindCanonicalSymbol(CPPEditor *editor, const SemanticInfo &info)
Erik Verbruggen's avatar
Erik Verbruggen committed
516
        : editor(editor), info(info)
517 518 519 520 521 522 523 524 525
    {
        typeOfExpression.init(info.doc, info.snapshot);
    }

    const LookupContext &context() const
    {
        return typeOfExpression.context();
    }

526 527 528 529 530
    inline bool isIdentifierChar(const QChar &ch) const
    {
        return ch.isLetterOrNumber() || ch == QLatin1Char('_');
    }

531 532 533 534 535 536 537 538 539 540 541 542 543
    Symbol *operator()(const QTextCursor &cursor)
    {
        if (! info.doc)
            return 0;

        QTextCursor tc = cursor;
        int line, col;
        editor->convertPosition(tc.position(), &line, &col);
        ++col; // 1-based line and 1-based column

        QTextDocument *document = editor->document();

        int pos = tc.position();
544 545 546 547 548 549

        if (! isIdentifierChar(document->characterAt(pos)))
            if (! (pos > 0 && isIdentifierChar(document->characterAt(pos - 1))))
                return 0;

        while (isIdentifierChar(document->characterAt(pos)))
550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567
            ++pos;
        tc.setPosition(pos);

        code = expressionUnderCursor(tc);
        Scope *scope = info.doc->scopeAt(line, col);

        const QList<LookupItem> results = typeOfExpression(code, scope, TypeOfExpression::Preprocess);
        for (int i = results.size() - 1; i != -1; --i) { // ### TODO virtual methods and classes.
            const LookupItem &r = results.at(i);

            if (r.declaration())
                return r.declaration();
        }

        return 0;
    }
};

con's avatar
con committed
568 569 570
} // end of anonymous namespace

CPPEditorEditable::CPPEditorEditable(CPPEditor *editor)
hjk's avatar
hjk committed
571
    : BaseTextEditorEditable(editor)
con's avatar
con committed
572
{
573 574 575
    m_context.add(CppEditor::Constants::C_CPPEDITOR);
    m_context.add(ProjectExplorer::Constants::LANG_CXX);
    m_context.add(TextEditor::Constants::C_TEXTEDITOR);
con's avatar
con committed
576 577
}

578 579
CPPEditor::CPPEditor(QWidget *parent)
    : TextEditor::BaseTextEditor(parent)
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
580
    , m_currentRenameSelection(-1)
581
    , m_inRename(false)
mae's avatar
mae committed
582 583
    , m_inRenameChanged(false)
    , m_firstRenameChange(false)
584
    , m_objcEnabled(false)
con's avatar
con committed
585
{
Roberto Raggi's avatar
Roberto Raggi committed
586
    m_initialized = false;
587
    qRegisterMetaType<CppEditor::Internal::SemanticInfo>("CppEditor::Internal::SemanticInfo");
Roberto Raggi's avatar
Roberto Raggi committed
588 589 590 591

    m_semanticHighlighter = new SemanticHighlighter(this);
    m_semanticHighlighter->start();

con's avatar
con committed
592 593
    setParenthesesMatchingEnabled(true);
    setMarksVisible(true);
594
    setCodeFoldingSupported(true);
con's avatar
con committed
595
    setCodeFoldingVisible(true);
596
    baseTextDocument()->setSyntaxHighlighter(new CppHighlighter);
con's avatar
con committed
597

Roberto Raggi's avatar
Roberto Raggi committed
598
    m_modelManager = CppTools::CppModelManagerInterface::instance();
con's avatar
con committed
599 600 601 602 603

    if (m_modelManager) {
        connect(m_modelManager, SIGNAL(documentUpdated(CPlusPlus::Document::Ptr)),
                this, SLOT(onDocumentUpdated(CPlusPlus::Document::Ptr)));
    }
604

605 606 607 608
    m_highlightRevision = 0;
    m_nextHighlightBlockNumber = 0;
    connect(&m_highlightWatcher, SIGNAL(resultsReadyAt(int,int)), SLOT(highlightTypeUsages(int,int)));
    connect(&m_highlightWatcher, SIGNAL(finished()), SLOT(finishTypeUsages()));
con's avatar
con committed
609 610 611 612
}

CPPEditor::~CPPEditor()
{
613 614
    Core::EditorManager::instance()->hideEditorInfoBar(QLatin1String("CppEditor.Rename"));

Roberto Raggi's avatar
Roberto Raggi committed
615 616
    m_semanticHighlighter->abort();
    m_semanticHighlighter->wait();
con's avatar
con committed
617 618 619 620 621 622 623 624 625 626 627
}

TextEditor::BaseTextEditorEditable *CPPEditor::createEditableInterface()
{
    CPPEditorEditable *editable = new CPPEditorEditable(this);
    createToolBar(editable);
    return editable;
}

void CPPEditor::createToolBar(CPPEditorEditable *editable)
{
Kai Koehne's avatar
Kai Koehne committed
628 629
    m_outlineCombo = new QComboBox;
    m_outlineCombo->setMinimumContentsLength(22);
630 631

    // Make the combo box prefer to expand
Kai Koehne's avatar
Kai Koehne committed
632
    QSizePolicy policy = m_outlineCombo->sizePolicy();
633
    policy.setHorizontalPolicy(QSizePolicy::Expanding);
Kai Koehne's avatar
Kai Koehne committed
634
    m_outlineCombo->setSizePolicy(policy);
635

Kai Koehne's avatar
Kai Koehne committed
636 637 638 639 640
    QTreeView *outlineView = new OverviewTreeView;
    outlineView->header()->hide();
    outlineView->setItemsExpandable(false);
    m_outlineCombo->setView(outlineView);
    m_outlineCombo->setMaxVisibleItems(20);
con's avatar
con committed
641

Kai Koehne's avatar
Kai Koehne committed
642 643 644
    m_outlineModel = new OverviewModel(this);
    m_proxyModel = new OverviewProxyModel(m_outlineModel, this);
    if (CppPlugin::instance()->sortedOutline())
645 646
        m_proxyModel->sort(0, Qt::AscendingOrder);
    else
Kai Koehne's avatar
Kai Koehne committed
647
        m_proxyModel->sort(-1, Qt::AscendingOrder); // don't sort yet, but set column for sortedOutline()
648 649
    m_proxyModel->setDynamicSortFilter(true);
    m_proxyModel->setSortCaseSensitivity(Qt::CaseInsensitive);
Kai Koehne's avatar
Kai Koehne committed
650
    m_outlineCombo->setModel(m_proxyModel);
651

Kai Koehne's avatar
Kai Koehne committed
652 653
    m_outlineCombo->setContextMenuPolicy(Qt::ActionsContextMenu);
    m_sortAction = new QAction(tr("Sort Alphabetically"), m_outlineCombo);
654
    m_sortAction->setCheckable(true);
Kai Koehne's avatar
Kai Koehne committed
655 656 657
    m_sortAction->setChecked(sortedOutline());
    connect(m_sortAction, SIGNAL(toggled(bool)), CppPlugin::instance(), SLOT(setSortedOutline(bool)));
    m_outlineCombo->addAction(m_sortAction);
con's avatar
con committed
658

659 660 661 662 663
    m_updateOutlineTimer = new QTimer(this);
    m_updateOutlineTimer->setSingleShot(true);
    m_updateOutlineTimer->setInterval(UPDATE_OUTLINE_INTERVAL);
    connect(m_updateOutlineTimer, SIGNAL(timeout()), this, SLOT(updateOutlineNow()));

Kai Koehne's avatar
Kai Koehne committed
664 665 666 667
    m_updateOutlineIndexTimer = new QTimer(this);
    m_updateOutlineIndexTimer->setSingleShot(true);
    m_updateOutlineIndexTimer->setInterval(UPDATE_OUTLINE_INTERVAL);
    connect(m_updateOutlineIndexTimer, SIGNAL(timeout()), this, SLOT(updateOutlineIndexNow()));
Roberto Raggi's avatar
Roberto Raggi committed
668

Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
669 670 671 672 673
    m_updateUsesTimer = new QTimer(this);
    m_updateUsesTimer->setSingleShot(true);
    m_updateUsesTimer->setInterval(UPDATE_USES_INTERVAL);
    connect(m_updateUsesTimer, SIGNAL(timeout()), this, SLOT(updateUsesNow()));

Kai Koehne's avatar
Kai Koehne committed
674 675 676
    connect(m_outlineCombo, SIGNAL(activated(int)), this, SLOT(jumpToOutlineElement(int)));
    connect(this, SIGNAL(cursorPositionChanged()), this, SLOT(updateOutlineIndex()));
    connect(m_outlineCombo, SIGNAL(currentIndexChanged(int)), this, SLOT(updateOutlineToolTip()));
677
    connect(document(), SIGNAL(contentsChange(int,int,int)), this, SLOT(onContentsChanged(int,int,int)));
con's avatar
con committed
678 679 680

    connect(file(), SIGNAL(changed()), this, SLOT(updateFileName()));

Roberto Raggi's avatar
Roberto Raggi committed
681 682 683 684 685

    // set up the semantic highlighter
    connect(this, SIGNAL(cursorPositionChanged()), this, SLOT(updateUses()));
    connect(this, SIGNAL(textChanged()), this, SLOT(updateUses()));

686 687
    connect(m_semanticHighlighter, SIGNAL(changed(CppEditor::Internal::SemanticInfo)),
            this, SLOT(updateSemanticInfo(CppEditor::Internal::SemanticInfo)));
Roberto Raggi's avatar
Roberto Raggi committed
688

con's avatar
con committed
689
    QToolBar *toolBar = static_cast<QToolBar*>(editable->toolBar());
con's avatar
con committed
690
    QList<QAction*> actions = toolBar->actions();
691
    QWidget *w = toolBar->widgetForAction(actions.first());
Kai Koehne's avatar
Kai Koehne committed
692
    static_cast<QHBoxLayout*>(w->layout())->insertWidget(0, m_outlineCombo, 1);
con's avatar
con committed
693 694
}

mae's avatar
mae committed
695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718
void CPPEditor::paste()
{
    if (m_currentRenameSelection == -1) {
        BaseTextEditor::paste();
        return;
    }

    startRename();
    BaseTextEditor::paste();
    finishRename();
}

void CPPEditor::cut()
{
    if (m_currentRenameSelection == -1) {
        BaseTextEditor::cut();
        return;
    }

    startRename();
    BaseTextEditor::cut();
    finishRename();
}

719 720 721 722 723
CppTools::CppModelManagerInterface *CPPEditor::modelManager() const
{
    return m_modelManager;
}

724 725 726 727 728 729 730 731 732 733 734 735 736 737
void CPPEditor::setMimeType(const QString &mt)
{
    BaseTextEditor::setMimeType(mt);
    setObjCEnabled(mt == CppTools::Constants::OBJECTIVE_CPP_SOURCE_MIMETYPE);
}

void CPPEditor::setObjCEnabled(bool onoff)
{
    m_objcEnabled = onoff;
}

bool CPPEditor::isObjCEnabled() const
{ return m_objcEnabled; }

mae's avatar
mae committed
738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773
void CPPEditor::startRename()
{
    m_inRenameChanged = false;
}

void CPPEditor::finishRename()
{
    if (!m_inRenameChanged)
        return;

    m_inRename = true;

    QTextCursor cursor = textCursor();
    cursor.joinPreviousEditBlock();

    cursor.setPosition(m_currentRenameSelectionEnd.position());
    cursor.setPosition(m_currentRenameSelectionBegin.position(), QTextCursor::KeepAnchor);
    m_renameSelections[m_currentRenameSelection].cursor = cursor;
    QString text = cursor.selectedText();

    for (int i = 0; i < m_renameSelections.size(); ++i) {
        if (i == m_currentRenameSelection)
            continue;
        QTextEdit::ExtraSelection &s = m_renameSelections[i];
        int pos = s.cursor.selectionStart();
        s.cursor.removeSelectedText();
        s.cursor.insertText(text);
        s.cursor.setPosition(pos, QTextCursor::KeepAnchor);
    }

    setExtraSelections(CodeSemanticsSelection, m_renameSelections);
    cursor.endEditBlock();

    m_inRename = false;
}

774 775
void CPPEditor::abortRename()
{
mae's avatar
mae committed
776 777
    if (m_currentRenameSelection < 0)
        return;
778
    m_renameSelections[m_currentRenameSelection].format = m_occurrencesFormat;
779
    m_currentRenameSelection = -1;
mae's avatar
mae committed
780 781
    m_currentRenameSelectionBegin = QTextCursor();
    m_currentRenameSelectionEnd = QTextCursor();
782 783 784
    setExtraSelections(CodeSemanticsSelection, m_renameSelections);
}

con's avatar
con committed
785 786 787 788 789
void CPPEditor::onDocumentUpdated(Document::Ptr doc)
{
    if (doc->fileName() != file()->fileName())
        return;

790 791 792
    if (doc->editorRevision() != editorRevision())
        return;

Roberto Raggi's avatar
Roberto Raggi committed
793 794 795 796 797 798 799
    if (! m_initialized) {
        m_initialized = true;

        const SemanticHighlighter::Source source = currentSource(/*force = */ true);
        m_semanticHighlighter->rehighlight(source);
    }

800
    m_updateOutlineTimer->start();
con's avatar
con committed
801 802
}

803
const Macro *CPPEditor::findCanonicalMacro(const QTextCursor &cursor, Document::Ptr doc) const
Christian Kamm's avatar
Christian Kamm committed
804 805 806 807 808 809 810 811 812 813 814 815 816 817 818
{
    if (! doc)
        return 0;

    int line, col;
    convertPosition(cursor.position(), &line, &col);

    if (const Macro *macro = doc->findMacroDefinitionAt(line))
        return macro;

    if (const Document::MacroUse *use = doc->findMacroUseAt(cursor.position()))
        return &use->macro();

    return 0;
}
819 820

void CPPEditor::findUsages()
821
{
822 823 824 825 826 827 828
    const SemanticInfo info = m_lastSemanticInfo;

    FindCanonicalSymbol cs(this, info);
    Symbol *canonicalSymbol = cs(textCursor());
    if (canonicalSymbol) {
        m_modelManager->findUsages(canonicalSymbol, cs.context());
    } else if (const Macro *macro = findCanonicalMacro(textCursor(), info.doc)) {
Christian Kamm's avatar
Christian Kamm committed
829
        m_modelManager->findMacroUsages(*macro);
830
    }
831 832 833
}

void CPPEditor::renameUsages()
834
{
835 836 837
    renameUsagesNow();
}

838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860
bool CPPEditor::showWarningMessage() const
{
    // Restore settings
    QSettings *settings = Core::ICore::instance()->settings();
    settings->beginGroup(QLatin1String("CppEditor"));
    settings->beginGroup(QLatin1String("Rename"));
    const bool showWarningMessage = settings->value(QLatin1String("ShowWarningMessage"), true).toBool();
    settings->endGroup();
    settings->endGroup();
    return showWarningMessage;
}

void CPPEditor::setShowWarningMessage(bool showWarningMessage)
{
    // Restore settings
    QSettings *settings = Core::ICore::instance()->settings();
    settings->beginGroup(QLatin1String("CppEditor"));
    settings->beginGroup(QLatin1String("Rename"));
    settings->setValue(QLatin1String("ShowWarningMessage"), showWarningMessage);
    settings->endGroup();
    settings->endGroup();
}

861 862
void CPPEditor::hideRenameNotification()
{
863
    setShowWarningMessage(false);
864
    Core::EditorManager::instance()->hideEditorInfoBar(QLatin1String("CppEditor.Rename"));
865 866 867 868
}

void CPPEditor::renameUsagesNow()
{
869 870 871 872
    const SemanticInfo info = m_lastSemanticInfo;

    FindCanonicalSymbol cs(this, info);
    if (Symbol *canonicalSymbol = cs(textCursor())) {
873
        if (canonicalSymbol->identifier() != 0) {
874 875 876 877 878 879
            if (showWarningMessage()) {
                Core::EditorManager::instance()->showEditorInfoBar(QLatin1String("CppEditor.Rename"),
                                                                   tr("This change cannot be undone."),
                                                                   tr("Yes, I know what I am doing."),
                                                                   this, SLOT(hideRenameNotification()));
            }
880

881
            m_modelManager->renameUsages(canonicalSymbol, cs.context());
882
        }
883 884 885
    }
}

886
void CPPEditor::markSymbols(Symbol *canonicalSymbol, const SemanticInfo &info)
887
{
Roberto Raggi's avatar
Roberto Raggi committed
888
    //updateSemanticInfo(m_semanticHighlighter->semanticInfo(currentSource()));
889

mae's avatar
mae committed
890
    abortRename();
891 892 893

    QList<QTextEdit::ExtraSelection> selections;

894
    if (info.doc && canonicalSymbol) {
895
        TranslationUnit *unit = info.doc->translationUnit();
896

897 898
        LookupContext context(info.doc, info.snapshot);
        const QList<int> references = m_modelManager->references(canonicalSymbol, context);
899 900 901
        foreach (int index, references) {
            unsigned line, column;
            unit->getTokenPosition(index, &line, &column);
902

903 904
            if (column)
                --column;  // adjust the column position.
905

906
            const int len = unit->tokenAt(index).f.length;
907

908 909 910
            QTextCursor cursor(document()->findBlockByNumber(line - 1));
            cursor.setPosition(cursor.position() + column);
            cursor.setPosition(cursor.position() + len, QTextCursor::KeepAnchor);
911

912 913 914 915
            QTextEdit::ExtraSelection sel;
            sel.format = m_occurrencesFormat;
            sel.cursor = cursor;
            selections.append(sel);
916
        }
Roberto Raggi's avatar
Roberto Raggi committed
917
    }
918 919

    setExtraSelections(CodeSemanticsSelection, selections);
Roberto Raggi's avatar
Roberto Raggi committed
920 921
}

922
void CPPEditor::renameSymbolUnderCursor()
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
923
{
Roberto Raggi's avatar
Roberto Raggi committed
924
    updateSemanticInfo(m_semanticHighlighter->semanticInfo(currentSource()));
mae's avatar
mae committed
925
    abortRename();
926

Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
927 928 929 930 931
    QTextCursor c = textCursor();

    for (int i = 0; i < m_renameSelections.size(); ++i) {
        QTextEdit::ExtraSelection s = m_renameSelections.at(i);
        if (c.position() >= s.cursor.anchor()
932
                && c.position() <= s.cursor.position()) {
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
933
            m_currentRenameSelection = i;
mae's avatar
mae committed
934 935 936 937 938
            m_firstRenameChange = true;
            m_currentRenameSelectionBegin = QTextCursor(c.document()->docHandle(),
                                                        m_renameSelections[i].cursor.selectionStart());
            m_currentRenameSelectionEnd = QTextCursor(c.document()->docHandle(),
                                                        m_renameSelections[i].cursor.selectionEnd());
939
            m_renameSelections[i].format = m_occurrenceRenameFormat;
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
940 941 942 943
            setExtraSelections(CodeSemanticsSelection, m_renameSelections);
            break;
        }
    }
944 945

    if (m_renameSelections.isEmpty())
946
        renameUsages();
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
947 948
}

949 950
void CPPEditor::onContentsChanged(int position, int charsRemoved, int charsAdded)
{
951 952
    Q_UNUSED(position)

mae's avatar
mae committed
953
    if (m_currentRenameSelection == -1 || m_inRename)
954 955
        return;

mae's avatar
mae committed
956 957 958 959 960 961 962 963 964 965 966
    if (position + charsAdded == m_currentRenameSelectionBegin.position()) {
        // we are inserting at the beginning of the rename selection => expand
        m_currentRenameSelectionBegin.setPosition(position);
        m_renameSelections[m_currentRenameSelection].cursor.setPosition(position, QTextCursor::KeepAnchor);
    }

    // the condition looks odd, but keep in mind that the begin and end cursors do move automatically
    m_inRenameChanged = (position >= m_currentRenameSelectionBegin.position()
                         && position + charsAdded <= m_currentRenameSelectionEnd.position());

    if (!m_inRenameChanged)
967 968 969 970 971 972
        abortRename();

    if (charsRemoved > 0)
        updateUses();
}

con's avatar
con committed
973 974 975
void CPPEditor::updateFileName()
{ }

Kai Koehne's avatar
Kai Koehne committed
976
void CPPEditor::jumpToOutlineElement(int)
con's avatar
con committed
977
{
Kai Koehne's avatar
Kai Koehne committed
978 979
    QModelIndex index = m_proxyModel->mapToSource(m_outlineCombo->view()->currentIndex());
    Symbol *symbol = m_outlineModel->symbolFromIndex(index);
con's avatar
con committed
980 981 982
    if (! symbol)
        return;

983
    openCppEditorAt(linkToSymbol(symbol));
con's avatar
con committed
984 985
}

Kai Koehne's avatar
Kai Koehne committed
986
void CPPEditor::setSortedOutline(bool sort)
987
{
Kai Koehne's avatar
Kai Koehne committed
988
    if (sort != sortedOutline()) {
989 990 991 992 993 994 995
        if (sort)
            m_proxyModel->sort(0, Qt::AscendingOrder);
        else
            m_proxyModel->sort(-1, Qt::AscendingOrder);
        bool block = m_sortAction->blockSignals(true);
        m_sortAction->setChecked(m_proxyModel->sortColumn() == 0);
        m_sortAction->blockSignals(block);
Kai Koehne's avatar
Kai Koehne committed
996
        updateOutlineIndexNow();
997 998 999
    }
}

Kai Koehne's avatar
Kai Koehne committed
1000
bool CPPEditor::sortedOutline() const
1001 1002 1003 1004
{
    return (m_proxyModel->sortColumn() == 0);
}

1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017
void CPPEditor::updateOutlineNow()
{
    const Snapshot snapshot = m_modelManager->snapshot();
    Document::Ptr document = snapshot.document(file()->fileName());

    if (!document)
        return;

    if (document->editorRevision() != editorRevision()) {
        m_updateOutlineTimer->start();
        return;
    }

Kai Koehne's avatar
Kai Koehne committed
1018
    m_outlineModel->rebuild(document);
1019

Kai Koehne's avatar
Kai Koehne committed
1020
    OverviewTreeView *treeView = static_cast<OverviewTreeView *>(m_outlineCombo->view());
1021
    treeView->sync();
Kai Koehne's avatar
Kai Koehne committed
1022
    updateOutlineIndexNow();
1023 1024
}

Kai Koehne's avatar
Kai Koehne committed
1025
void CPPEditor::updateOutlineIndex()
con's avatar
con committed
1026
{
Kai Koehne's avatar
Kai Koehne committed
1027
    m_updateOutlineIndexTimer->start();
Roberto Raggi's avatar
Roberto Raggi committed
1028 1029
}

1030
void CPPEditor::highlightUses(const QList<SemanticInfo::Use> &uses,
1031
                              const SemanticInfo &semanticInfo,
1032
                              QList<QTextEdit::ExtraSelection> *selections)
Roberto Raggi's avatar
Roberto Raggi committed
1033
{
Roberto Raggi's avatar
Roberto Raggi committed
1034
    bool isUnused = false;
Roberto Raggi's avatar
Roberto Raggi committed
1035 1036

    if (uses.size() == 1)
Roberto Raggi's avatar
Roberto Raggi committed
1037
        isUnused = true;
Roberto Raggi's avatar
Roberto Raggi committed
1038

Roberto Raggi's avatar
Roberto Raggi committed
1039
    foreach (const SemanticInfo::Use &use, uses) {
Roberto Raggi's avatar
Roberto Raggi committed
1040
        QTextEdit::ExtraSelection sel;
Roberto Raggi's avatar
Roberto Raggi committed
1041

Roberto Raggi's avatar
Roberto Raggi committed
1042
        if (isUnused)
1043
            sel.format = m_occurrencesUnusedFormat;
Roberto Raggi's avatar
Roberto Raggi committed
1044
        else
1045
            sel.format = m_occurrencesFormat;
Roberto Raggi's avatar
Roberto Raggi committed
1046

1047
        const int anchor = document()->findBlockByNumber(use.line - 1).position() + use.column - 1;
Roberto Raggi's avatar
Roberto Raggi committed
1048
        const int position = anchor + use.length;
Roberto Raggi's avatar
Roberto Raggi committed
1049

1050
        sel.cursor = QTextCursor(document());
Roberto Raggi's avatar
Roberto Raggi committed
1051 1052
        sel.cursor.setPosition(anchor);
        sel.cursor.setPosition(position, QTextCursor::KeepAnchor);
Roberto Raggi's avatar
Roberto Raggi committed
1053

1054 1055 1056 1057 1058 1059 1060 1061
        if (isUnused) {
            if (semanticInfo.hasQ && sel.cursor.selectedText() == QLatin1String("q"))
                continue; // skip q

            else if (semanticInfo.hasD && sel.cursor.selectedText() == QLatin1String("d"))
                continue; // skip d
        }

Roberto Raggi's avatar
Roberto Raggi committed
1062
        selections->append(sel);
Roberto Raggi's avatar
Roberto Raggi committed
1063 1064 1065
    }
}

Kai Koehne's avatar
Kai Koehne committed
1066
void CPPEditor::updateOutlineIndexNow()
Roberto Raggi's avatar
Roberto Raggi committed
1067
{
Kai Koehne's avatar
Kai Koehne committed
1068
    if (!m_outlineModel->document())