cppmodelmanager.cpp 35.1 KB
Newer Older
hjk's avatar
hjk committed
1
/****************************************************************************
con's avatar
con committed
2
**
3
** Copyright (C) 2014 Digia Plc and/or its subsidiary(-ies).
hjk's avatar
hjk committed
4
** Contact: http://www.qt-project.org/legal
con's avatar
con committed
5
**
hjk's avatar
hjk committed
6
** This file is part of Qt Creator.
con's avatar
con committed
7
**
hjk's avatar
hjk committed
8 9 10 11 12
** 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 Digia.  For licensing terms and
Eike Ziller's avatar
Eike Ziller committed
13 14
** conditions see http://www.qt.io/licensing.  For further information
** use the contact form at http://www.qt.io/contact-us.
15
**
16
** GNU Lesser General Public License Usage
hjk's avatar
hjk committed
17
** Alternatively, this file may be used under the terms of the GNU Lesser
Eike Ziller's avatar
Eike Ziller committed
18 19 20 21 22 23
** General Public License version 2.1 or version 3 as published by the Free
** Software Foundation and appearing in the file LICENSE.LGPLv21 and
** LICENSE.LGPLv3 included in the packaging of this file.  Please review the
** following information to ensure the GNU Lesser General Public License
** requirements will be met: https://www.gnu.org/licenses/lgpl.html and
** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
hjk's avatar
hjk committed
24 25 26
**
** In addition, as a special exception, Digia gives you certain additional
** rights.  These rights are described in the Digia Qt LGPL Exception
con's avatar
con committed
27 28
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
**
hjk's avatar
hjk committed
29
****************************************************************************/
hjk's avatar
hjk committed
30

con's avatar
con committed
31
#include "cppmodelmanager.h"
32

33
#include "abstracteditorsupport.h"
34
#include "builtinindexingsupport.h"
35
#include "cppcodemodelinspectordumper.h"
36
#include "cppcodemodelsettings.h"
37
#include "cppfindreferences.h"
38
#include "cppindexingsupport.h"
39
#include "cppmodelmanagersupportinternal.h"
40
#include "cpprefactoringchanges.h"
41
#include "cppsourceprocessor.h"
42
#include "cpptoolsconstants.h"
43
#include "cpptoolsplugin.h"
44
#include "editordocumenthandle.h"
con's avatar
con committed
45

46
#include <coreplugin/documentmanager.h>
47 48
#include <coreplugin/icore.h>
#include <coreplugin/progressmanager/progressmanager.h>
49 50
#include <projectexplorer/projectexplorer.h>
#include <projectexplorer/session.h>
51
#include <extensionsystem/pluginmanager.h>
52
#include <utils/fileutils.h>
hjk's avatar
hjk committed
53
#include <utils/qtcassert.h>
con's avatar
con committed
54

55 56 57 58
#include <QCoreApplication>
#include <QDebug>
#include <QMutexLocker>
#include <QTextBlock>
59
#include <QTimer>
60

61 62
#if defined(QTCREATOR_WITH_DUMP_AST) && defined(Q_CC_GNU)
#define WITH_AST_DUMP
63 64
#include <iostream>
#include <sstream>
65
#endif
hjk's avatar
hjk committed
66

67 68
Q_DECLARE_METATYPE(QSet<QString>)

69 70
static const bool DumpProjectInfo = qgetenv("QTC_DUMP_PROJECT_INFO") == "1";

71 72
using namespace CppTools;
using namespace CppTools::Internal;
con's avatar
con committed
73 74
using namespace CPlusPlus;

75
#ifdef QTCREATOR_WITH_DUMP_AST
76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114

#include <cxxabi.h>

class DumpAST: protected ASTVisitor
{
public:
    int depth;

    DumpAST(Control *control)
        : ASTVisitor(control), depth(0)
    { }

    void operator()(AST *ast)
    { accept(ast); }

protected:
    virtual bool preVisit(AST *ast)
    {
        std::ostringstream s;
        PrettyPrinter pp(control(), s);
        pp(ast);
        QString code = QString::fromStdString(s.str());
        code.replace('\n', ' ');
        code.replace(QRegExp("\\s+"), " ");

        const char *name = abi::__cxa_demangle(typeid(*ast).name(), 0, 0, 0) + 11;

        QByteArray ind(depth, ' ');
        ind += name;

        printf("%-40s %s\n", ind.constData(), qPrintable(code));
        ++depth;
        return true;
    }

    virtual void postVisit(AST *)
    { --depth; }
};

Roberto Raggi's avatar
Roberto Raggi committed
115
#endif // QTCREATOR_WITH_DUMP_AST
116

117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132
namespace CppTools {
namespace Internal {

static QMutex m_instanceMutex;
static CppModelManager *m_instance;

class CppModelManagerPrivate
{
public:
    // Snapshot
    mutable QMutex m_snapshotMutex;
    CPlusPlus::Snapshot m_snapshot;

    // Project integration
    mutable QMutex m_projectMutex;
    QMap<ProjectExplorer::Project *, ProjectInfo> m_projectToProjectsInfo;
133
    QMap<Utils::FileName, QList<CppTools::ProjectPart::Ptr> > m_fileToProjectParts;
134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163
    QMap<QString, CppTools::ProjectPart::Ptr> m_projectFileToProjectPart;
    // The members below are cached/(re)calculated from the projects and/or their project parts
    bool m_dirty;
    QStringList m_projectFiles;
    ProjectPart::HeaderPaths m_headerPaths;
    QByteArray m_definedMacros;

    // Editor integration
    mutable QMutex m_cppEditorsMutex;
    QMap<QString, EditorDocumentHandle *> m_cppEditors;
    QSet<AbstractEditorSupport *> m_extraEditorSupports;

    // Completion & highlighting
    QHash<QString, ModelManagerSupport *> m_idTocodeModelSupporter;
    QScopedPointer<ModelManagerSupport> m_modelManagerSupportFallback;

    // Indexing
    CppIndexingSupport *m_indexingSupporter;
    CppIndexingSupport *m_internalIndexingSupport;
    bool m_indexerEnabled;

    CppFindReferences *m_findReferences;

    bool m_enableGC;
    QTimer m_delayedGcTimer;
};

} // namespace Internal

const char pp_configuration[] =
con's avatar
con committed
164
    "# 1 \"<configuration>\"\n"
165
    "#define Q_CREATOR_RUN 1\n"
con's avatar
con committed
166 167 168 169 170 171
    "#define __cplusplus 1\n"
    "#define __extension__\n"
    "#define __context__\n"
    "#define __range__\n"
    "#define   restrict\n"
    "#define __restrict\n"
172
    "#define __restrict__\n"
con's avatar
con committed
173

174 175 176 177
    "#define __complex__\n"
    "#define __imag__\n"
    "#define __real__\n"

178 179
    "#define __builtin_va_arg(a,b) ((b)0)\n"

con's avatar
con committed
180 181
    // ### add macros for win32
    "#define __cdecl\n"
182
    "#define __stdcall\n"
183
    "#define __thiscall\n"
con's avatar
con committed
184 185 186 187 188
    "#define QT_WA(x) x\n"
    "#define CALLBACK\n"
    "#define STDMETHODCALLTYPE\n"
    "#define __RPC_FAR\n"
    "#define __declspec(a)\n"
189 190 191
    "#define STDMETHOD(method) virtual HRESULT STDMETHODCALLTYPE method\n"
    "#define __try try\n"
    "#define __except catch\n"
192 193 194
    "#define __finally\n"
    "#define __inline inline\n"
    "#define __forceinline inline\n";
con's avatar
con committed
195

196
QSet<QString> CppModelManager::timeStampModifiedFiles(const QList<Document::Ptr> &documentsToCheck)
197
{
198
    QSet<QString> sourceFiles;
199

200
    foreach (const Document::Ptr doc, documentsToCheck) {
201 202
        const QDateTime lastModified = doc->lastModified();

203
        if (!lastModified.isNull()) {
204 205 206
            QFileInfo fileInfo(doc->fileName());

            if (fileInfo.exists() && fileInfo.lastModified() != lastModified)
207
                sourceFiles.insert(doc->fileName());
208 209 210
        }
    }

211 212 213
    return sourceFiles;
}

214 215 216 217 218 219 220 221 222 223 224 225
/*!
 * \brief createSourceProcessor Create a new source processor, which will signal the
 * model manager when a document has been processed.
 *
 * Indexed file is truncated version of fully parsed document: copy of source
 * code and full AST will be dropped when indexing is done.
 *
 * \return a new source processor object, which the caller needs to delete when finished.
 */
CppSourceProcessor *CppModelManager::createSourceProcessor()
{
    CppModelManager *that = instance();
Orgad Shaneh's avatar
Orgad Shaneh committed
226
    return new CppSourceProcessor(that->snapshot(), [that](const Document::Ptr &doc) {
227 228 229 230 231
        that->emitDocumentUpdated(doc);
        doc->releaseSourceAndAST();
    });
}

232 233 234 235 236 237 238 239 240 241
QString CppModelManager::editorConfigurationFileName()
{
    return QLatin1String("<per-editor-defines>");
}

QString CppModelManager::configurationFileName()
{
    return CPlusPlus::Preprocessor::configurationFileName;
}

242 243 244 245 246 247 248
void CppModelManager::updateModifiedSourceFiles()
{
    const Snapshot snapshot = this->snapshot();
    QList<Document::Ptr> documentsToCheck;
    foreach (const Document::Ptr document, snapshot)
        documentsToCheck << document;

249
    updateSourceFiles(timeStampModifiedFiles(documentsToCheck));
250 251
}

con's avatar
con committed
252 253
/*!
    \class CppTools::CppModelManager
254 255 256
    \brief The CppModelManager keeps tracks of the source files the code model is aware of.

    The CppModelManager manages the source files in a Snapshot object.
con's avatar
con committed
257

258 259 260 261
    The snapshot is updated in case e.g.
        * New files are opened/edited (Editor integration)
        * A project manager pushes updated project information (Project integration)
        * Files are garbage collected
con's avatar
con committed
262 263
*/

264 265
CppModelManager *CppModelManager::instance()
{
266 267 268 269 270 271 272 273
    if (m_instance)
        return m_instance;

    QMutexLocker locker(&m_instanceMutex);
    if (!m_instance)
        m_instance = new CppModelManager;

    return m_instance;
274 275
}

276
CppModelManager::CppModelManager(QObject *parent)
277
    : CppModelManagerBase(parent), d(new CppModelManagerPrivate)
con's avatar
con committed
278
{
279 280 281
    d->m_indexingSupporter = 0;
    d->m_enableGC = true;

282
    qRegisterMetaType<QSet<QString> >();
283
    connect(this, SIGNAL(sourceFilesRefreshed(QSet<QString>)),
284
            this, SLOT(onSourceFilesRefreshed()));
Erik Verbruggen's avatar
Erik Verbruggen committed
285

286 287
    d->m_findReferences = new CppFindReferences(this);
    d->m_indexerEnabled = qgetenv("QTC_NO_CODE_INDEXER") != "1";
Roberto Raggi's avatar
Roberto Raggi committed
288

289
    d->m_dirty = true;
290

291 292 293
    d->m_delayedGcTimer.setObjectName(QLatin1String("CppModelManager::m_delayedGcTimer"));
    d->m_delayedGcTimer.setSingleShot(true);
    connect(&d->m_delayedGcTimer, SIGNAL(timeout()), this, SLOT(GC()));
294

hjk's avatar
hjk committed
295 296
    QObject *sessionManager = ProjectExplorer::SessionManager::instance();
    connect(sessionManager, SIGNAL(projectAdded(ProjectExplorer::Project*)),
297
            this, SLOT(onProjectAdded(ProjectExplorer::Project*)));
hjk's avatar
hjk committed
298
    connect(sessionManager, SIGNAL(aboutToRemoveProject(ProjectExplorer::Project*)),
Robert Loehning's avatar
Robert Loehning committed
299
            this, SLOT(onAboutToRemoveProject(ProjectExplorer::Project*)));
hjk's avatar
hjk committed
300
    connect(sessionManager, SIGNAL(aboutToLoadSession(QString)),
301
            this, SLOT(onAboutToLoadSession()));
hjk's avatar
hjk committed
302
    connect(sessionManager, SIGNAL(aboutToUnloadSession(QString)),
303
            this, SLOT(onAboutToUnloadSession()));
304 305 306 307

    connect(Core::EditorManager::instance(), &Core::EditorManager::currentEditorChanged,
            this, &CppModelManager::onCurrentEditorChanged);

308 309
    connect(Core::DocumentManager::instance(), &Core::DocumentManager::allDocumentsRenamed,
            this, &CppModelManager::renameIncludes);
con's avatar
con committed
310

311 312 313
    connect(Core::ICore::instance(), SIGNAL(coreAboutToClose()),
            this, SLOT(onCoreAboutToClose()));

con's avatar
con committed
314
    qRegisterMetaType<CPlusPlus::Document::Ptr>("CPlusPlus::Document::Ptr");
315 316
    qRegisterMetaType<QList<CPlusPlus::Document::DiagnosticMessage>>(
                "QList<CPlusPlus::Document::DiagnosticMessage>");
con's avatar
con committed
317

318
    d->m_modelManagerSupportFallback.reset(new ModelManagerSupportInternal);
319
    CppToolsPlugin::instance()->codeModelSettings()->setDefaultId(
320 321
                d->m_modelManagerSupportFallback->id());
    addModelManagerSupport(d->m_modelManagerSupportFallback.data());
322

323
    d->m_internalIndexingSupport = new BuiltinIndexingSupport;
con's avatar
con committed
324 325 326
}

CppModelManager::~CppModelManager()
327
{
328
    delete d->m_internalIndexingSupport;
329
    delete d;
330
}
con's avatar
con committed
331

332
Snapshot CppModelManager::snapshot() const
333
{
334 335
    QMutexLocker locker(&d->m_snapshotMutex);
    return d->m_snapshot;
336
}
con's avatar
con committed
337

338 339
Document::Ptr CppModelManager::document(const QString &fileName) const
{
340 341
    QMutexLocker locker(&d->m_snapshotMutex);
    return d->m_snapshot.document(fileName);
342 343 344 345 346 347 348
}

/// Replace the document in the snapshot.
///
/// \returns true if successful, false if the new document is out-dated.
bool CppModelManager::replaceDocument(Document::Ptr newDoc)
{
349
    QMutexLocker locker(&d->m_snapshotMutex);
350

351
    Document::Ptr previous = d->m_snapshot.document(newDoc->fileName());
352 353 354 355
    if (previous && (newDoc->revision() != 0 && newDoc->revision() < previous->revision()))
        // the new document is outdated
        return false;

356
    d->m_snapshot.insert(newDoc);
357 358 359
    return true;
}

360 361
void CppModelManager::ensureUpdated()
{
362 363
    QMutexLocker locker(&d->m_projectMutex);
    if (!d->m_dirty)
364 365
        return;

366 367 368 369
    d->m_projectFiles = internalProjectFiles();
    d->m_headerPaths = internalHeaderPaths();
    d->m_definedMacros = internalDefinedMacros();
    d->m_dirty = false;
370 371
}

372
QStringList CppModelManager::internalProjectFiles() const
con's avatar
con committed
373 374
{
    QStringList files;
375
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(d->m_projectToProjectsInfo);
con's avatar
con committed
376 377
    while (it.hasNext()) {
        it.next();
378
        const ProjectInfo pinfo = it.value();
379
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
380 381
            foreach (const ProjectFile &file, part->files)
                files += file.path;
382
        }
con's avatar
con committed
383
    }
384
    files.removeDuplicates();
con's avatar
con committed
385 386 387
    return files;
}

388
ProjectPart::HeaderPaths CppModelManager::internalHeaderPaths() const
con's avatar
con committed
389
{
390
    ProjectPart::HeaderPaths headerPaths;
391
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(d->m_projectToProjectsInfo);
con's avatar
con committed
392 393
    while (it.hasNext()) {
        it.next();
394
        const ProjectInfo pinfo = it.value();
395 396 397 398 399 400 401 402
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
            foreach (const ProjectPart::HeaderPath &path, part->headerPaths) {
                const ProjectPart::HeaderPath hp(CppSourceProcessor::cleanPath(path.path),
                                                 path.type);
                if (!headerPaths.contains(hp))
                    headerPaths += hp;
            }
        }
con's avatar
con committed
403
    }
404
    return headerPaths;
con's avatar
con committed
405 406
}

407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422
static void addUnique(const QList<QByteArray> &defs, QByteArray *macros, QSet<QByteArray> *alreadyIn)
{
    Q_ASSERT(macros);
    Q_ASSERT(alreadyIn);

    foreach (const QByteArray &def, defs) {
        if (def.trimmed().isEmpty())
            continue;
        if (!alreadyIn->contains(def)) {
            macros->append(def);
            macros->append('\n');
            alreadyIn->insert(def);
        }
    }
}

423
QByteArray CppModelManager::internalDefinedMacros() const
con's avatar
con committed
424 425
{
    QByteArray macros;
426
    QSet<QByteArray> alreadyIn;
427
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(d->m_projectToProjectsInfo);
con's avatar
con committed
428 429
    while (it.hasNext()) {
        it.next();
430
        const ProjectInfo pinfo = it.value();
431
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
432 433
            addUnique(part->toolchainDefines.split('\n'), &macros, &alreadyIn);
            addUnique(part->projectDefines.split('\n'), &macros, &alreadyIn);
434
            if (!part->projectConfigFile.isEmpty())
435
                macros += ProjectPart::readProjectConfigFile(part);
436
        }
con's avatar
con committed
437 438 439 440
    }
    return macros;
}

441
/// This function will acquire mutexes!
442
void CppModelManager::dumpModelManagerConfiguration(const QString &logFileId)
443
{
444 445 446 447
    const Snapshot globalSnapshot = snapshot();
    const QString globalSnapshotTitle
        = QString::fromLatin1("Global/Indexing Snapshot (%1 Documents)").arg(globalSnapshot.size());

448
    CppCodeModelInspector::Dumper dumper(globalSnapshot, logFileId);
449 450 451
    dumper.dumpProjectInfos(projectInfos());
    dumper.dumpSnapshot(globalSnapshot, globalSnapshotTitle, /*isGlobalSnapshot=*/ true);
    dumper.dumpWorkingCopy(workingCopy());
452
    ensureUpdated();
453
    dumper.dumpMergedEntities(d->m_headerPaths, d->m_definedMacros);
454 455
}

456
void CppModelManager::addExtraEditorSupport(AbstractEditorSupport *editorSupport)
457
{
458
    d->m_extraEditorSupports.insert(editorSupport);
459 460
}

461
void CppModelManager::removeExtraEditorSupport(AbstractEditorSupport *editorSupport)
462
{
463
    d->m_extraEditorSupports.remove(editorSupport);
464 465
}

466
EditorDocumentHandle *CppModelManager::editorDocument(const QString &filePath) const
467
{
468 469
    if (filePath.isEmpty())
        return 0;
470

471 472
    QMutexLocker locker(&d->m_cppEditorsMutex);
    return d->m_cppEditors.value(filePath, 0);
473 474
}

475
void CppModelManager::registerEditorDocument(EditorDocumentHandle *editorDocument)
476
{
477 478 479
    QTC_ASSERT(editorDocument, return);
    const QString filePath = editorDocument->filePath();
    QTC_ASSERT(!filePath.isEmpty(), return);
480

481 482 483
    QMutexLocker locker(&d->m_cppEditorsMutex);
    QTC_ASSERT(d->m_cppEditors.value(filePath, 0) == 0, return);
    d->m_cppEditors.insert(filePath, editorDocument);
484
}
485

486 487 488
void CppModelManager::unregisterEditorDocument(const QString &filePath)
{
    QTC_ASSERT(!filePath.isEmpty(), return);
489

490 491
    static short closedCppDocuments = 0;
    int openCppDocuments = 0;
492

493
    {
494 495 496 497
        QMutexLocker locker(&d->m_cppEditorsMutex);
        QTC_ASSERT(d->m_cppEditors.value(filePath, 0), return);
        QTC_CHECK(d->m_cppEditors.remove(filePath) == 1);
        openCppDocuments = d->m_cppEditors.size();
498 499
    }

500 501 502
    ++closedCppDocuments;
    if (openCppDocuments == 0 || closedCppDocuments == 5) {
        closedCppDocuments = 0;
503
        delayedGC();
504 505 506
    }
}

507
QList<int> CppModelManager::references(CPlusPlus::Symbol *symbol, const LookupContext &context)
508
{
509
    return d->m_findReferences->references(symbol, context);
510 511
}

512
void CppModelManager::findUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context)
Roberto Raggi's avatar
Roberto Raggi committed
513
{
514
    if (symbol->identifier())
515
        d->m_findReferences->findUsages(symbol, context);
516 517
}

518 519
void CppModelManager::renameUsages(CPlusPlus::Symbol *symbol,
                                   const CPlusPlus::LookupContext &context,
520
                                   const QString &replacement)
521 522
{
    if (symbol->identifier())
523
        d->m_findReferences->renameUsages(symbol, context, replacement);
Roberto Raggi's avatar
Roberto Raggi committed
524 525
}

Christian Kamm's avatar
Christian Kamm committed
526 527
void CppModelManager::findMacroUsages(const CPlusPlus::Macro &macro)
{
528
    d->m_findReferences->findMacroUses(macro);
Christian Kamm's avatar
Christian Kamm committed
529 530
}

531 532
void CppModelManager::renameMacroUsages(const CPlusPlus::Macro &macro, const QString &replacement)
{
533
    d->m_findReferences->renameMacroUses(macro, replacement);
534 535
}

536 537
void CppModelManager::replaceSnapshot(const CPlusPlus::Snapshot &newSnapshot)
{
538 539
    QMutexLocker snapshotLocker(&d->m_snapshotMutex);
    d->m_snapshot = newSnapshot;
540 541
}

542
WorkingCopy CppModelManager::buildWorkingCopyList()
con's avatar
con committed
543
{
544
    WorkingCopy workingCopy;
545

546 547
    foreach (const EditorDocumentHandle *cppEditor, cppEditors())
        workingCopy.insert(cppEditor->filePath(), cppEditor->contents(), cppEditor->revision());
con's avatar
con committed
548

549
    QSetIterator<AbstractEditorSupport *> it(d->m_extraEditorSupports);
550 551
    while (it.hasNext()) {
        AbstractEditorSupport *es = it.next();
552
        workingCopy.insert(es->fileName(), es->contents(), es->revision());
553 554
    }

555
    // Add the project configuration file
556
    QByteArray conf = codeModelConfiguration();
con's avatar
con committed
557
    conf += definedMacros();
558
    workingCopy.insert(configurationFileName(), conf);
con's avatar
con committed
559 560 561 562

    return workingCopy;
}

563
WorkingCopy CppModelManager::workingCopy() const
564 565 566 567
{
    return const_cast<CppModelManager *>(this)->buildWorkingCopyList();
}

568 569 570 571 572
QByteArray CppModelManager::codeModelConfiguration() const
{
    return QByteArray::fromRawData(pp_configuration, qstrlen(pp_configuration));
}

573
QFuture<void> CppModelManager::updateSourceFiles(const QSet<QString> &sourceFiles,
574
                                                 ProgressNotificationMode mode)
575
{
576
    if (sourceFiles.isEmpty() || !d->m_indexerEnabled)
577 578
        return QFuture<void>();

579 580 581
    if (d->m_indexingSupporter)
        d->m_indexingSupporter->refreshSourceFiles(sourceFiles, mode);
    return d->m_internalIndexingSupport->refreshSourceFiles(sourceFiles, mode);
582
}
con's avatar
con committed
583

584
QList<ProjectInfo> CppModelManager::projectInfos() const
585
{
586 587
    QMutexLocker locker(&d->m_projectMutex);
    return d->m_projectToProjectsInfo.values();
588 589
}

590
ProjectInfo CppModelManager::projectInfo(ProjectExplorer::Project *project) const
591
{
592 593
    QMutexLocker locker(&d->m_projectMutex);
    return d->m_projectToProjectsInfo.value(project, ProjectInfo(project));
594 595
}

596 597 598 599 600 601
/// \brief Remove all files and their includes (recursively) of given ProjectInfo from the snapshot.
void CppModelManager::removeProjectInfoFilesAndIncludesFromSnapshot(const ProjectInfo &projectInfo)
{
    if (!projectInfo.isValid())
        return;

602
    QMutexLocker snapshotLocker(&d->m_snapshotMutex);
603 604
    foreach (const ProjectPart::Ptr &projectPart, projectInfo.projectParts()) {
        foreach (const ProjectFile &cxxFile, projectPart->files) {
605 606 607
            foreach (const QString &fileName, d->m_snapshot.allIncludesForDocument(cxxFile.path))
                d->m_snapshot.remove(fileName);
            d->m_snapshot.remove(cxxFile.path);
608 609 610 611
        }
    }
}

612
QList<EditorDocumentHandle *> CppModelManager::cppEditors() const
613
{
614 615
    QMutexLocker locker(&d->m_cppEditorsMutex);
    return d->m_cppEditors.values();
616 617
}

618 619 620
/// \brief Remove all given files from the snapshot.
void CppModelManager::removeFilesFromSnapshot(const QSet<QString> &filesToRemove)
{
621
    QMutexLocker snapshotLocker(&d->m_snapshotMutex);
622 623
    QSetIterator<QString> i(filesToRemove);
    while (i.hasNext())
624
        d->m_snapshot.remove(i.next());
625 626 627
}

class ProjectInfoComparer
628
{
629
public:
630 631
    ProjectInfoComparer(const ProjectInfo &oldProjectInfo,
                        const ProjectInfo &newProjectInfo)
632
        : m_old(oldProjectInfo)
633
        , m_oldSourceFiles(oldProjectInfo.sourceFiles())
634
        , m_new(newProjectInfo)
635
        , m_newSourceFiles(newProjectInfo.sourceFiles())
636 637
    {}

638 639 640
    bool definesChanged() const { return m_new.definesChanged(m_old); }
    bool configurationChanged() const { return m_new.configurationChanged(m_old); }
    bool configurationOrFilesChanged() const { return m_new.configurationOrFilesChanged(m_old); }
641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669

    QSet<QString> addedFiles() const
    {
        QSet<QString> addedFilesSet = m_newSourceFiles;
        addedFilesSet.subtract(m_oldSourceFiles);
        return addedFilesSet;
    }

    QSet<QString> removedFiles() const
    {
        QSet<QString> removedFilesSet = m_oldSourceFiles;
        removedFilesSet.subtract(m_newSourceFiles);
        return removedFilesSet;
    }

    /// Returns a list of common files that have a changed timestamp.
    QSet<QString> timeStampModifiedFiles(const Snapshot &snapshot) const
    {
        QSet<QString> commonSourceFiles = m_newSourceFiles;
        commonSourceFiles.intersect(m_oldSourceFiles);

        QList<Document::Ptr> documentsToCheck;
        QSetIterator<QString> i(commonSourceFiles);
        while (i.hasNext()) {
            const QString file = i.next();
            if (Document::Ptr document = snapshot.document(file))
                documentsToCheck << document;
        }

670
        return CppModelManager::timeStampModifiedFiles(documentsToCheck);
671 672 673
    }

private:
674
    const ProjectInfo &m_old;
675 676
    const QSet<QString> m_oldSourceFiles;

677
    const ProjectInfo &m_new;
678 679 680
    const QSet<QString> m_newSourceFiles;
};

681 682 683
/// Make sure that m_projectMutex is locked when calling this.
void CppModelManager::recalculateFileToProjectParts()
{
684 685 686
    d->m_projectFileToProjectPart.clear();
    d->m_fileToProjectParts.clear();
    foreach (const ProjectInfo &projectInfo, d->m_projectToProjectsInfo) {
687
        foreach (const ProjectPart::Ptr &projectPart, projectInfo.projectParts()) {
688
            d->m_projectFileToProjectPart[projectPart->projectFile] = projectPart;
689
            foreach (const ProjectFile &cxxFile, projectPart->files)
690 691
                d->m_fileToProjectParts[Utils::FileName::fromString(cxxFile.path)].append(
                            projectPart);
692

693 694 695 696
        }
    }
}

697
void CppModelManager::updateCppEditorDocuments() const
698
{
699 700
    // Refresh visible documents
    QSet<Core::IDocument *> visibleCppEditorDocuments;
701
    foreach (Core::IEditor *editor, Core::EditorManager::visibleEditors()) {
702
        if (Core::IDocument *document = editor->document()) {
703
            if (EditorDocumentHandle *cppEditorDocument = editorDocument(document->filePath())) {
704
                visibleCppEditorDocuments.insert(document);
705
                cppEditorDocument->processor()->run();
706
            }
707 708 709
        }
    }

710 711 712 713 714
    // Mark invisible documents dirty
    QSet<Core::IDocument *> invisibleCppEditorDocuments
        = Core::DocumentModel::openedDocuments().toSet();
    invisibleCppEditorDocuments.subtract(visibleCppEditorDocuments);
    foreach (Core::IDocument *document, invisibleCppEditorDocuments) {
715 716
        if (EditorDocumentHandle *cppEditorDocument = editorDocument(document->filePath()))
            cppEditorDocument->setNeedsRefresh(true);
717 718 719
    }
}

720 721 722
QFuture<void> CppModelManager::updateProjectInfo(const ProjectInfo &newProjectInfo)
{
    if (!newProjectInfo.isValid())
723
        return QFuture<void>();
724

725
    QSet<QString> filesToReindex;
726 727
    bool filesRemoved = false;

728
    { // Only hold the mutex for a limited scope, so the dumping afterwards does not deadlock.
729
        QMutexLocker projectLocker(&d->m_projectMutex);
730 731

        ProjectExplorer::Project *project = newProjectInfo.project().data();
732
        const QSet<QString> newSourceFiles = newProjectInfo.sourceFiles();
733

734
        // Check if we can avoid a full reindexing
735
        ProjectInfo oldProjectInfo = d->m_projectToProjectsInfo.value(project);
736
        if (oldProjectInfo.isValid()) {
737
            ProjectInfoComparer comparer(oldProjectInfo, newProjectInfo);
738 739 740 741

            if (!comparer.configurationOrFilesChanged()) {
                // Some other attached data might have changed
                d->m_projectToProjectsInfo.insert(project, newProjectInfo);
742
                return QFuture<void>();
743
            }
744

745 746 747
            // If the project configuration changed, do a full reindexing
            if (comparer.configurationChanged()) {
                removeProjectInfoFilesAndIncludesFromSnapshot(oldProjectInfo);
748
                filesToReindex.unite(newSourceFiles);
749 750 751

                // The "configuration file" includes all defines and therefore should be updated
                if (comparer.definesChanged()) {
752 753
                    QMutexLocker snapshotLocker(&d->m_snapshotMutex);
                    d->m_snapshot.remove(configurationFileName());
754
                }
755 756 757 758

            // Otherwise check for added and modified files
            } else {
                const QSet<QString> addedFiles = comparer.addedFiles();
759
                filesToReindex.unite(addedFiles);
760 761

                const QSet<QString> modifiedFiles = comparer.timeStampModifiedFiles(snapshot());
762
                filesToReindex.unite(modifiedFiles);
763
            }
764 765 766 767 768 769 770 771 772 773 774

            // Announce and purge the removed files from the snapshot
            const QSet<QString> removedFiles = comparer.removedFiles();
            if (!removedFiles.isEmpty()) {
                filesRemoved = true;
                emit aboutToRemoveFiles(removedFiles.toList());
                removeFilesFromSnapshot(removedFiles);
            }

        // A new project was opened/created, do a full indexing
        } else {
775
            filesToReindex.unite(newSourceFiles);
776 777
        }

778
        // Update Project/ProjectInfo and File/ProjectPart table
779 780
        d->m_dirty = true;
        d->m_projectToProjectsInfo.insert(project, newProjectInfo);
781
        recalculateFileToProjectParts();
782

783 784 785
    } // Mutex scope

    // If requested, dump everything we got
786
    if (DumpProjectInfo)
787
        dumpModelManagerConfiguration(QLatin1String("updateProjectInfo"));
788

789 790 791 792 793
    // Remove files from snapshot that are not reachable any more
    if (filesRemoved)
        GC();

    emit projectPartsUpdated(newProjectInfo.project().data());
794

795 796 797 798
    // Ideally, we would update all the editor documents that depend on the 'filesToReindex'.
    // However, on e.g. a session restore first the editor documents are created and then the
    // project updates come in. That is, there are no reasonable dependency tables based on
    // resolved includes that we could rely on.
799
    updateCppEditorDocuments();
800

801 802
    // Trigger reindexing
    return updateSourceFiles(filesToReindex, ForcedProgressNotification);
803 804
}

805 806
ProjectPart::Ptr CppModelManager::projectPartForProjectFile(const QString &projectFile) const
{
807
    return d->m_projectFileToProjectPart.value(projectFile);
808 809
}

810
QList<ProjectPart::Ptr> CppModelManager::projectPart(const Utils::FileName &fileName) const
811
{
812 813
    QMutexLocker locker(&d->m_projectMutex);
    return d->m_fileToProjectParts.value(fileName);
814
}
815

816 817
QList<ProjectPart::Ptr> CppModelManager::projectPartFromDependencies(
        const Utils::FileName &fileName) const
818 819
{
    QSet<ProjectPart::Ptr> parts;
820
    const Utils::FileNameList deps = snapshot().filesDependingOn(fileName);
821

822 823
    QMutexLocker locker(&d->m_projectMutex);
    foreach (const Utils::FileName &dep, deps) {
824
        parts.unite(QSet<ProjectPart::Ptr>::fromList(d->m_fileToProjectParts.value(dep)));
825
    }
826

827
    return parts.values();
828
}
con's avatar
con committed
829

830 831 832 833
ProjectPart::Ptr CppModelManager::fallbackProjectPart() const
{
    ProjectPart::Ptr part(new ProjectPart);

834 835
    part->projectDefines = d->m_definedMacros;
    part->headerPaths = d->m_headerPaths;
836 837
    part->languageVersion = ProjectPart::CXX14;
    part->languageExtensions = ProjectPart::AllExtensions;
838 839 840 841 842
    part->qtVersion = ProjectPart::Qt5;

    return part;
}

con's avatar
con committed
843 844
bool CppModelManager::isCppEditor(Core::IEditor *editor) const
{
845
    return editor->context().contains(ProjectExplorer::Constants::LANG_CXX);
con's avatar
con committed
846 847 848 849
}

void CppModelManager::emitDocumentUpdated(Document::Ptr doc)
{
850
    if (replaceDocument(doc))
851
        emit documentUpdated(doc);
Roberto Raggi's avatar
Roberto Raggi committed
852 853
}

854 855
void CppModelManager::onProjectAdded(ProjectExplorer::Project *)
{
856 857
    QMutexLocker locker(