cppeditor.cpp 63.4 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"
Roberto Raggi's avatar
Roberto Raggi committed
34
#include "cppchecksymbols.h"
35
#include "cppquickfix.h"
36
#include "cpplocalsymbols.h"
Roberto Raggi's avatar
Roberto Raggi committed
37

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

Roberto Raggi's avatar
Roberto Raggi committed
59
#include <cpptools/cpptoolsplugin.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
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;
};

Roberto Raggi's avatar
Roberto Raggi committed
176
177
178
179
class FunctionDefinitionUnderCursor: protected ASTVisitor
{
    unsigned _line;
    unsigned _column;
180
    DeclarationAST *_functionDefinition;
Roberto Raggi's avatar
Roberto Raggi committed
181
182

public:
Roberto Raggi's avatar
Roberto Raggi committed
183
184
    FunctionDefinitionUnderCursor(TranslationUnit *translationUnit)
        : ASTVisitor(translationUnit),
Roberto Raggi's avatar
Roberto Raggi committed
185
          _line(0), _column(0)
Roberto Raggi's avatar
Roberto Raggi committed
186
187
    { }

188
    DeclarationAST *operator()(AST *ast, unsigned line, unsigned column)
Roberto Raggi's avatar
Roberto Raggi committed
189
190
    {
        _functionDefinition = 0;
Roberto Raggi's avatar
Roberto Raggi committed
191
192
        _line = line;
        _column = column;
Roberto Raggi's avatar
Roberto Raggi committed
193
194
195
196
197
198
199
200
201
202
203
        accept(ast);
        return _functionDefinition;
    }

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

        else if (FunctionDefinitionAST *def = ast->asFunctionDefinition()) {
204
205
206
207
208
209
            return checkDeclaration(def);
        }

        else if (ObjCMethodDeclarationAST *method = ast->asObjCMethodDeclaration()) {
            if (method->function_body)
                return checkDeclaration(method);
Roberto Raggi's avatar
Roberto Raggi committed
210
211
212
213
214
        }

        return true;
    }

215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
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
232
233
};

234
235
class FindFunctionDefinitions: protected SymbolVisitor
{
Roberto Raggi's avatar
Roberto Raggi committed
236
    const Name *_declarationName;
237
238
239
240
241
242
243
244
    QList<Function *> *_functions;

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

Roberto Raggi's avatar
Roberto Raggi committed
245
    void operator()(const Name *declarationName, Scope *globals,
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
                    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
261
262
        const Name *name = function->name();
        if (const QualifiedNameId *q = name->asQualifiedNameId())
263
            name = q->name();
264
265
266
267
268
269
270
271

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

        return false;
    }
};

272
273
274
275
276
277
278
279
280
281

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
282
        : editor(editor), info(info)
283
284
285
286
287
288
289
290
291
    {
        typeOfExpression.init(info.doc, info.snapshot);
    }

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

292
293
294
295
296
    inline bool isIdentifierChar(const QChar &ch) const
    {
        return ch.isLetterOrNumber() || ch == QLatin1Char('_');
    }

297
298
299
300
301
302
303
304
305
306
307
308
309
    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();
310
311
312
313
314
315

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

        while (isIdentifierChar(document->characterAt(pos)))
316
317
318
319
320
321
322
            ++pos;
        tc.setPosition(pos);

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

        const QList<LookupItem> results = typeOfExpression(code, scope, TypeOfExpression::Preprocess);
323
        for (int i = 0; i < results.size(); ++i) { // ### TODO virtual methods and classes.
324
325
326
327
328
329
330
331
332
333
            const LookupItem &r = results.at(i);

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

        return 0;
    }
};

con's avatar
con committed
334
335
336
} // end of anonymous namespace

CPPEditorEditable::CPPEditorEditable(CPPEditor *editor)
hjk's avatar
hjk committed
337
    : BaseTextEditorEditable(editor)
con's avatar
con committed
338
{
339
340
341
    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
342
343
}

344
345
CPPEditor::CPPEditor(QWidget *parent)
    : TextEditor::BaseTextEditor(parent)
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
346
    , m_currentRenameSelection(-1)
347
    , m_inRename(false)
mae's avatar
mae committed
348
349
    , m_inRenameChanged(false)
    , m_firstRenameChange(false)
350
    , m_objcEnabled(false)
con's avatar
con committed
351
{
Roberto Raggi's avatar
Roberto Raggi committed
352
    m_initialized = false;
353
    qRegisterMetaType<CppEditor::Internal::SemanticInfo>("CppEditor::Internal::SemanticInfo");
Roberto Raggi's avatar
Roberto Raggi committed
354
355
356
357

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

con's avatar
con committed
358
359
    setParenthesesMatchingEnabled(true);
    setMarksVisible(true);
360
    setCodeFoldingSupported(true);
con's avatar
con committed
361
    setCodeFoldingVisible(true);
362
    baseTextDocument()->setSyntaxHighlighter(new CppHighlighter);
con's avatar
con committed
363

Roberto Raggi's avatar
Roberto Raggi committed
364
    m_modelManager = CppTools::CppModelManagerInterface::instance();
con's avatar
con committed
365
366
367
368
369

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

371
372
373
374
    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
375
376
377
378
}

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

Roberto Raggi's avatar
Roberto Raggi committed
381
382
    m_semanticHighlighter->abort();
    m_semanticHighlighter->wait();
con's avatar
con committed
383
384
385
386
387
388
389
390
391
392
393
}

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
394
395
    m_outlineCombo = new QComboBox;
    m_outlineCombo->setMinimumContentsLength(22);
396
397

    // Make the combo box prefer to expand
Kai Koehne's avatar
Kai Koehne committed
398
    QSizePolicy policy = m_outlineCombo->sizePolicy();
399
    policy.setHorizontalPolicy(QSizePolicy::Expanding);
Kai Koehne's avatar
Kai Koehne committed
400
    m_outlineCombo->setSizePolicy(policy);
401

Kai Koehne's avatar
Kai Koehne committed
402
403
404
405
406
    QTreeView *outlineView = new OverviewTreeView;
    outlineView->header()->hide();
    outlineView->setItemsExpandable(false);
    m_outlineCombo->setView(outlineView);
    m_outlineCombo->setMaxVisibleItems(20);
con's avatar
con committed
407

Kai Koehne's avatar
Kai Koehne committed
408
409
410
    m_outlineModel = new OverviewModel(this);
    m_proxyModel = new OverviewProxyModel(m_outlineModel, this);
    if (CppPlugin::instance()->sortedOutline())
411
412
        m_proxyModel->sort(0, Qt::AscendingOrder);
    else
Kai Koehne's avatar
Kai Koehne committed
413
        m_proxyModel->sort(-1, Qt::AscendingOrder); // don't sort yet, but set column for sortedOutline()
414
415
    m_proxyModel->setDynamicSortFilter(true);
    m_proxyModel->setSortCaseSensitivity(Qt::CaseInsensitive);
Kai Koehne's avatar
Kai Koehne committed
416
    m_outlineCombo->setModel(m_proxyModel);
417

Kai Koehne's avatar
Kai Koehne committed
418
419
    m_outlineCombo->setContextMenuPolicy(Qt::ActionsContextMenu);
    m_sortAction = new QAction(tr("Sort Alphabetically"), m_outlineCombo);
420
    m_sortAction->setCheckable(true);
Kai Koehne's avatar
Kai Koehne committed
421
422
423
    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
424

425
426
427
428
429
    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
430
431
432
433
    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
434

Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
435
436
437
438
439
    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
440
441
442
    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()));
443
    connect(document(), SIGNAL(contentsChange(int,int,int)), this, SLOT(onContentsChanged(int,int,int)));
con's avatar
con committed
444
445
446

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

Roberto Raggi's avatar
Roberto Raggi committed
447
448
449
450
451

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

452
453
    connect(m_semanticHighlighter, SIGNAL(changed(CppEditor::Internal::SemanticInfo)),
            this, SLOT(updateSemanticInfo(CppEditor::Internal::SemanticInfo)));
Roberto Raggi's avatar
Roberto Raggi committed
454

con's avatar
con committed
455
    QToolBar *toolBar = static_cast<QToolBar*>(editable->toolBar());
con's avatar
con committed
456
    QList<QAction*> actions = toolBar->actions();
457
    QWidget *w = toolBar->widgetForAction(actions.first());
Kai Koehne's avatar
Kai Koehne committed
458
    static_cast<QHBoxLayout*>(w->layout())->insertWidget(0, m_outlineCombo, 1);
con's avatar
con committed
459
460
}

mae's avatar
mae committed
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
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();
}

485
486
487
488
489
CppTools::CppModelManagerInterface *CPPEditor::modelManager() const
{
    return m_modelManager;
}

490
491
492
493
494
495
496
497
498
499
500
501
502
503
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
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
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;
}

540
541
void CPPEditor::abortRename()
{
mae's avatar
mae committed
542
543
    if (m_currentRenameSelection < 0)
        return;
544
    m_renameSelections[m_currentRenameSelection].format = m_occurrencesFormat;
545
    m_currentRenameSelection = -1;
mae's avatar
mae committed
546
547
    m_currentRenameSelectionBegin = QTextCursor();
    m_currentRenameSelectionEnd = QTextCursor();
548
549
550
    setExtraSelections(CodeSemanticsSelection, m_renameSelections);
}

con's avatar
con committed
551
552
553
554
555
void CPPEditor::onDocumentUpdated(Document::Ptr doc)
{
    if (doc->fileName() != file()->fileName())
        return;

556
557
558
    if (doc->editorRevision() != editorRevision())
        return;

Roberto Raggi's avatar
Roberto Raggi committed
559
560
561
562
563
564
565
    if (! m_initialized) {
        m_initialized = true;

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

566
    m_updateOutlineTimer->start();
con's avatar
con committed
567
568
}

569
const Macro *CPPEditor::findCanonicalMacro(const QTextCursor &cursor, Document::Ptr doc) const
Christian Kamm's avatar
Christian Kamm committed
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
{
    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;
}
585
586

void CPPEditor::findUsages()
587
{
588
589
590
591
592
593
594
    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
595
        m_modelManager->findMacroUsages(*macro);
596
    }
597
598
599
}

void CPPEditor::renameUsages()
600
{
601
602
603
    renameUsagesNow();
}

604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
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();
}

627
628
void CPPEditor::hideRenameNotification()
{
629
    setShowWarningMessage(false);
630
    Core::EditorManager::instance()->hideEditorInfoBar(QLatin1String("CppEditor.Rename"));
631
632
633
634
}

void CPPEditor::renameUsagesNow()
{
635
636
637
638
    const SemanticInfo info = m_lastSemanticInfo;

    FindCanonicalSymbol cs(this, info);
    if (Symbol *canonicalSymbol = cs(textCursor())) {
639
        if (canonicalSymbol->identifier() != 0) {
640
641
642
643
644
645
            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()));
            }
646

647
            m_modelManager->renameUsages(canonicalSymbol, cs.context());
648
        }
649
650
651
    }
}

652
void CPPEditor::markSymbols(Symbol *canonicalSymbol, const SemanticInfo &info)
653
{
Roberto Raggi's avatar
Roberto Raggi committed
654
    //updateSemanticInfo(m_semanticHighlighter->semanticInfo(currentSource()));
655

mae's avatar
mae committed
656
    abortRename();
657
658
659

    QList<QTextEdit::ExtraSelection> selections;

660
    if (info.doc && canonicalSymbol) {
661
        TranslationUnit *unit = info.doc->translationUnit();
662

663
664
        LookupContext context(info.doc, info.snapshot);
        const QList<int> references = m_modelManager->references(canonicalSymbol, context);
665
666
667
        foreach (int index, references) {
            unsigned line, column;
            unit->getTokenPosition(index, &line, &column);
668

669
670
            if (column)
                --column;  // adjust the column position.
671

672
            const int len = unit->tokenAt(index).f.length;
673

674
675
676
            QTextCursor cursor(document()->findBlockByNumber(line - 1));
            cursor.setPosition(cursor.position() + column);
            cursor.setPosition(cursor.position() + len, QTextCursor::KeepAnchor);
677

678
679
680
681
            QTextEdit::ExtraSelection sel;
            sel.format = m_occurrencesFormat;
            sel.cursor = cursor;
            selections.append(sel);
682
        }
Roberto Raggi's avatar
Roberto Raggi committed
683
    }
684
685

    setExtraSelections(CodeSemanticsSelection, selections);
Roberto Raggi's avatar
Roberto Raggi committed
686
687
}

688
void CPPEditor::renameSymbolUnderCursor()
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
689
{
Roberto Raggi's avatar
Roberto Raggi committed
690
    updateSemanticInfo(m_semanticHighlighter->semanticInfo(currentSource()));
mae's avatar
mae committed
691
    abortRename();
692

Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
693
694
695
696
697
    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()
698
                && c.position() <= s.cursor.position()) {
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
699
            m_currentRenameSelection = i;
mae's avatar
mae committed
700
701
702
703
704
            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());
705
            m_renameSelections[i].format = m_occurrenceRenameFormat;
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
706
707
708
709
            setExtraSelections(CodeSemanticsSelection, m_renameSelections);
            break;
        }
    }
710
711

    if (m_renameSelections.isEmpty())
712
        renameUsages();
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
713
714
}

715
716
void CPPEditor::onContentsChanged(int position, int charsRemoved, int charsAdded)
{
717
718
    Q_UNUSED(position)

mae's avatar
mae committed
719
    if (m_currentRenameSelection == -1 || m_inRename)
720
721
        return;

mae's avatar
mae committed
722
723
724
725
726
727
728
729
730
731
732
    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)
733
734
735
736
737
738
        abortRename();

    if (charsRemoved > 0)
        updateUses();
}

con's avatar
con committed
739
740
741
void CPPEditor::updateFileName()
{ }

Kai Koehne's avatar
Kai Koehne committed
742
void CPPEditor::jumpToOutlineElement(int)
con's avatar
con committed
743
{
Kai Koehne's avatar
Kai Koehne committed
744
745
    QModelIndex index = m_proxyModel->mapToSource(m_outlineCombo->view()->currentIndex());
    Symbol *symbol = m_outlineModel->symbolFromIndex(index);
con's avatar
con committed
746
747
748
    if (! symbol)
        return;

749
    openCppEditorAt(linkToSymbol(symbol));
con's avatar
con committed
750
751
}

Kai Koehne's avatar
Kai Koehne committed
752
void CPPEditor::setSortedOutline(bool sort)
753
{
Kai Koehne's avatar
Kai Koehne committed
754
    if (sort != sortedOutline()) {
755
756
757
758
759
760
761
        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
762
        updateOutlineIndexNow();
763
764
765
    }
}

Kai Koehne's avatar
Kai Koehne committed
766
bool CPPEditor::sortedOutline() const
767
768
769
770
{
    return (m_proxyModel->sortColumn() == 0);
}

771
772
773
774
775
776
777
778
779
780
781
782
783
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
784
    m_outlineModel->rebuild(document);
785

Kai Koehne's avatar
Kai Koehne committed
786
    OverviewTreeView *treeView = static_cast<OverviewTreeView *>(m_outlineCombo->view());
787
    treeView->sync();
Kai Koehne's avatar
Kai Koehne committed
788
    updateOutlineIndexNow();
789
790
}

Kai Koehne's avatar
Kai Koehne committed
791
void CPPEditor::updateOutlineIndex()
con's avatar
con committed
792
{
Kai Koehne's avatar
Kai Koehne committed
793
    m_updateOutlineIndexTimer->start();
Roberto Raggi's avatar
Roberto Raggi committed
794
795
}

796
void CPPEditor::highlightUses(const QList<SemanticInfo::Use> &uses,
797
                              const SemanticInfo &semanticInfo,
798
                              QList<QTextEdit::ExtraSelection> *selections)
Roberto Raggi's avatar
Roberto Raggi committed
799
{
Roberto Raggi's avatar
Roberto Raggi committed
800
    bool isUnused = false;
Roberto Raggi's avatar
Roberto Raggi committed
801
802

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

Roberto Raggi's avatar
Roberto Raggi committed
805
    foreach (const SemanticInfo::Use &use, uses) {
Roberto Raggi's avatar
Roberto Raggi committed
806
        QTextEdit::ExtraSelection sel;
Roberto Raggi's avatar
Roberto Raggi committed
807

Roberto Raggi's avatar
Roberto Raggi committed
808
        if (isUnused)
809
            sel.format = m_occurrencesUnusedFormat;
Roberto Raggi's avatar
Roberto Raggi committed
810
        else
811
            sel.format = m_occurrencesFormat;
Roberto Raggi's avatar
Roberto Raggi committed
812

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

816
        sel.cursor = QTextCursor(document());
Roberto Raggi's avatar
Roberto Raggi committed
817
818
        sel.cursor.setPosition(anchor);
        sel.cursor.setPosition(position, QTextCursor::KeepAnchor);
Roberto Raggi's avatar
Roberto Raggi committed
819

820
821
822
823
824
825
826
827
        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
828
        selections->append(sel);
Roberto Raggi's avatar
Roberto Raggi committed
829
830
831
    }
}

Kai Koehne's avatar
Kai Koehne committed
832
void CPPEditor::updateOutlineIndexNow()
Roberto Raggi's avatar
Roberto Raggi committed
833
{
Kai Koehne's avatar
Kai Koehne committed
834
    if (!m_outlineModel->document())
835
836
        return;

Kai Koehne's avatar
Kai Koehne committed
837
838
    if (m_outlineModel->document()->editorRevision() != editorRevision()) {
        m_updateOutlineIndexTimer->start();
839
840
841
        return;
    }

Kai Koehne's avatar
Kai Koehne committed
842
    m_updateOutlineIndexTimer->stop();
843

Kai Koehne's avatar
Kai Koehne committed
844
845
    m_outlineModelIndex = QModelIndex(); //invalidate
    QModelIndex comboIndex = outlineModelIndex();
846

con's avatar
con committed
847

848
    if (comboIndex.isValid()) {
Kai Koehne's avatar
Kai Koehne committed
849
        bool blocked = m_outlineCombo->blockSignals(true);
850
851
852

        // There is no direct way to select a non-root item
        m_outlineCombo->setRootModelIndex(m_proxyModel->mapFromSource(comboIndex.parent()));
Kai Koehne's avatar
Kai Koehne committed
853
        m_outlineCombo->setCurrentIndex(m_proxyModel->mapFromSource(comboIndex).row());
854
855
        m_outlineCombo->setRootModelIndex(QModelIndex());

Kai Koehne's avatar
Kai Koehne committed
856
        updateOutlineToolTip();
857
858

        m_outlineCombo->blockSignals(blocked);
con's avatar
con committed
859
    }
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
860
861
}

Kai Koehne's avatar
Kai Koehne committed
862
void CPPEditor::updateOutlineToolTip()
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
863
{
Kai Koehne's avatar
Kai Koehne committed
864
    m_outlineCombo->setToolTip(m_outlineCombo->currentText());
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
865
866
867
868
}

void CPPEditor::updateUses()
{
869
870
    if (editorRevision() != m_highlightRevision)
        m_highlighter.cancel();
mae's avatar
mae committed
871
    m_updateUsesTimer->start();
Thorbjørn Lindeijer's avatar
Thorbjørn Lindeijer committed
872
873
874
875
876
877
878
}

void CPPEditor::updateUsesNow()
{
    if (m_currentRenameSelection != -1)
        return;

Roberto Raggi's avatar
Roberto Raggi committed
879
    semanticRehighlight();
con's avatar
con committed
880
881
}

882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
void CPPEditor::highlightTypeUsages(int from, int to)
{
    if (editorRevision() != m_highlightRevision)
        return; // outdated

    else if (m_highlighter.isCanceled())
        return; // aborted

    CppHighlighter *highlighter = qobject_cast<CppHighlighter*>(baseTextDocument()->syntaxHighlighter());
    Q_ASSERT(highlighter);
    QTextDocument *doc = document();

    if (m_nextHighlightBlockNumber >= doc->blockCount())
        return;

Roberto Raggi's avatar
Roberto Raggi committed
897
    QMap<int, QVector<SemanticInfo::Use> > chunks = CheckSymbols::chunks(m_highlighter, from, to);
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
    Q_ASSERT(!chunks.isEmpty());
    QTextBlock b = doc->findBlockByNumber(m_nextHighlightBlockNumber);

    QMapIterator<int, QVector<SemanticInfo::Use> > it(chunks);
    while (b.isValid() && it.hasNext()) {
        it.next();
        const int blockNumber = it.key();
        Q_ASSERT(blockNumber < doc->blockCount());

        while (m_nextHighlightBlockNumber < blockNumber) {
            highlighter->setExtraAdditionalFormats(b, QList<QTextLayout::FormatRange>());
            b = b.next();
            ++m_nextHighlightBlockNumber;
        }

        QList<QTextLayout::FormatRange> formats;
        foreach (const SemanticInfo::Use &use, it.value()) {
            QTextLayout::FormatRange formatRange;
916
917
918
919
920
921
922

            switch (use.kind) {
            case SemanticInfo::Use::Type:
                formatRange.format = m_typeFormat;
                break;

            case SemanticInfo::Use::Field:
923
                formatRange.format = m_fieldFormat;
924
925
926
                break;

            case SemanticInfo::Use::Local:
927
                formatRange.format = m_localFormat;
928
929
930
931
932
933
                break;

            default:
                continue;
            }

934
935
936
937
938
939
940
941
942
943
944
            formatRange.start = use.column - 1;
            formatRange.length = use.length;
            formats.append(formatRange);
        }
        highlighter->setExtraAdditionalFormats(b, formats);
        b = b.next();
        ++m_nextHighlightBlockNumber;
    }
}

void CPPEditor::finishTypeUsages()
945
{
946
    if (editorRevision() != m_highlightRevision)
947
948
949
950
951
        return; // outdated

    else if (m_highlighter.isCanceled())
        return; // aborted

952
953
954
955
956
957
958
959
960
961
962
963
964
965
    CppHighlighter *highlighter = qobject_cast<CppHighlighter*>(baseTextDocument()->syntaxHighlighter());
    Q_ASSERT(highlighter);
    QTextDocument *doc = document();

    if (m_nextHighlightBlockNumber >= doc->blockCount())
        return;

    QTextBlock b = doc->findBlockByNumber(m_nextHighlightBlockNumber);

    while (b.isValid()) {
        highlighter->setExtraAdditionalFormats(b, QList<QTextLayout::FormatRange>());
        b = b.next();
        ++m_nextHighlightBlockNumber;
    }
966
967
}

968

con's avatar
con committed
969
970
void CPPEditor::switchDeclarationDefinition()
{
971
    if (! m_modelManager)
con's avatar
con committed
972
973
        return;

974
975
    const Snapshot snapshot = m_modelManager->snapshot();

976
977
978
    if (Document::Ptr thisDocument = snapshot.document(file()->fileName())) {
        int line = 0, column = 0;
        convertPosition(position(), &line, &column);
con's avatar
con committed
979

980
        Scope *scope = thisDocument->scopeAt(line, column);
981
        Symbol *lastVisibleSymbol = thisDocument->lastVisibleSymbolAt(line, column);
con's avatar
con committed
982

983
984
985
986
987
        Scope *functionScope = 0;
        if (scope->isFunctionScope())
            functionScope = scope;
        else
            functionScope = scope->enclosingFunctionScope();
con's avatar
con committed
988

989
990
991
        if (! functionScope && lastVisibleSymbol) {
            if (Function *def = lastVisibleSymbol->asFunction())
                functionScope = def->members();
con's avatar
con committed
992
993
        }

994
995
        if (functionScope) {
            LookupContext context(thisDocument, snapshot);
con's avatar
con committed
996

997
            Function *functionDefinition = functionScope->owner()->asFunction();
998
999
1000
            const QList<LookupItem> declarations = context.lookup(functionDefinition->name(), functionDefinition->scope());
            foreach (const LookupItem &r, declarations) {
                Symbol *decl = r.declaration();