cppmodelmanager.cpp 38.7 KB
Newer Older
1
/**************************************************************************
con's avatar
con committed
2 3 4
**
** This file is part of Qt Creator
**
con's avatar
con committed
5
** Copyright (c) 2011 Nokia Corporation and/or its subsidiary(-ies).
con's avatar
con committed
6
**
hjk's avatar
hjk committed
7
** Contact: Nokia Corporation (info@qt.nokia.com)
con's avatar
con committed
8
**
9
**
10
** GNU Lesser General Public License Usage
11
**
hjk's avatar
hjk committed
12 13 14 15 16 17
** 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.
18
**
con's avatar
con committed
19
** In addition, as a special exception, Nokia gives you certain additional
hjk's avatar
hjk committed
20
** rights. These rights are described in the Nokia Qt LGPL Exception
con's avatar
con committed
21 22
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
**
hjk's avatar
hjk committed
23 24 25 26 27
** Other Usage
**
** Alternatively, this file may be used in accordance with the terms and
** conditions contained in a signed written agreement between you and Nokia.
**
con's avatar
con committed
28
** If you have questions regarding the use of this file, please contact
Tobias Hunger's avatar
Tobias Hunger committed
29
** Nokia at info@qt.nokia.com.
con's avatar
con committed
30
**
31
**************************************************************************/
hjk's avatar
hjk committed
32

Roberto Raggi's avatar
Roberto Raggi committed
33
#include <cplusplus/pp.h>
34
#include <cplusplus/Overview.h>
con's avatar
con committed
35 36

#include "cppmodelmanager.h"
37
#include "abstracteditorsupport.h"
Wolfgang Beck's avatar
Wolfgang Beck committed
38 39 40 41 42
#ifndef ICHECK_BUILD
#  include "cpptoolsconstants.h"
#  include "cpptoolseditorsupport.h"
#  include "cppfindreferences.h"
#endif
con's avatar
con committed
43

44
#include <functional>
45
#include <QtCore/QtConcurrentRun>
Wolfgang Beck's avatar
Wolfgang Beck committed
46
#ifndef ICHECK_BUILD
47
#  include <QtCore/QFutureSynchronizer>
Wolfgang Beck's avatar
Wolfgang Beck committed
48 49 50 51 52 53 54 55 56 57 58 59 60
#  include <qtconcurrent/runextensions.h>
#  include <texteditor/itexteditor.h>
#  include <texteditor/basetexteditor.h>
#  include <projectexplorer/project.h>
#  include <projectexplorer/projectexplorer.h>
#  include <projectexplorer/projectexplorerconstants.h>
#  include <projectexplorer/session.h>
#  include <coreplugin/icore.h>
#  include <coreplugin/mimedatabase.h>
#  include <coreplugin/editormanager/editormanager.h>
#  include <coreplugin/progressmanager/progressmanager.h>
#  include <extensionsystem/pluginmanager.h>
#else
61
#  include <QtCore/QDir>
Wolfgang Beck's avatar
Wolfgang Beck committed
62
#endif
63

hjk's avatar
hjk committed
64 65
#include <utils/qtcassert.h>

con's avatar
con committed
66 67 68 69 70 71 72 73
#include <TranslationUnit.h>
#include <AST.h>
#include <Scope.h>
#include <Literals.h>
#include <Symbols.h>
#include <Names.h>
#include <NameVisitor.h>
#include <TypeVisitor.h>
74
#include <ASTVisitor.h>
con's avatar
con committed
75 76
#include <Lexer.h>
#include <Token.h>
77 78
#include <Parser.h>
#include <Control.h>
79
#include <CoreTypes.h>
con's avatar
con committed
80

81
#include <QtCore/QCoreApplication>
hjk's avatar
hjk committed
82 83 84
#include <QtCore/QDebug>
#include <QtCore/QMutexLocker>
#include <QtCore/QTime>
Roberto Raggi's avatar
Roberto Raggi committed
85
#include <QtCore/QTimer>
86
#include <QtConcurrentMap>
87 88 89

#include <QtGui/QTextBlock>

90 91
#include <iostream>
#include <sstream>
hjk's avatar
hjk committed
92

93 94
using namespace CppTools;
using namespace CppTools::Internal;
con's avatar
con committed
95 96
using namespace CPlusPlus;

97 98 99 100 101 102 103 104 105 106 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 132 133 134 135 136
#if defined(QTCREATOR_WITH_DUMP_AST) && defined(Q_CC_GNU)

#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
137
#endif // QTCREATOR_WITH_DUMP_AST
138

con's avatar
con committed
139 140 141 142 143 144 145 146 147 148
static const char pp_configuration_file[] = "<configuration>";

static const char pp_configuration[] =
    "# 1 \"<configuration>\"\n"
    "#define __cplusplus 1\n"
    "#define __extension__\n"
    "#define __context__\n"
    "#define __range__\n"
    "#define   restrict\n"
    "#define __restrict\n"
149
    "#define __restrict__\n"
con's avatar
con committed
150

151 152 153 154
    "#define __complex__\n"
    "#define __imag__\n"
    "#define __real__\n"

155 156
    "#define __builtin_va_arg(a,b) ((b)0)\n"

con's avatar
con committed
157 158
    // ### add macros for win32
    "#define __cdecl\n"
159
    "#define __stdcall\n"
con's avatar
con committed
160 161 162 163 164 165 166 167 168 169
    "#define QT_WA(x) x\n"
    "#define API\n"
    "#define WINAPI\n"
    "#define CALLBACK\n"
    "#define STDMETHODCALLTYPE\n"
    "#define __RPC_FAR\n"
    "#define APIENTRY\n"
    "#define __declspec(a)\n"
    "#define STDMETHOD(method) virtual HRESULT STDMETHODCALLTYPE method\n";

170
#ifndef ICHECK_BUILD
171
CppPreprocessor::CppPreprocessor(QPointer<CppModelManager> modelManager)
172 173
    : snapshot(modelManager->snapshot()),
      m_modelManager(modelManager),
174 175
      preprocess(this, &env),
      m_revision(0)
176 177 178
{
    preprocess.setKeepComments(true);
}
Roberto Raggi's avatar
Roberto Raggi committed
179

180 181 182 183 184 185 186 187 188
#else

CppPreprocessor::CppPreprocessor(QPointer<CPlusPlus::ParseManager> modelManager)
    : preprocess(this, &env),
      m_revision(0)
{
}
#endif

Roberto Raggi's avatar
Roberto Raggi committed
189
CppPreprocessor::~CppPreprocessor()
190
{ }
con's avatar
con committed
191

192 193 194
void CppPreprocessor::setRevision(unsigned revision)
{ m_revision = revision; }

195
void CppPreprocessor::setWorkingCopy(const CppModelManagerInterface::WorkingCopy &workingCopy)
196
{ m_workingCopy = workingCopy; }
con's avatar
con committed
197

198
void CppPreprocessor::setIncludePaths(const QStringList &includePaths)
199 200 201 202
{
    m_includePaths.clear();

    for (int i = 0; i < includePaths.size(); ++i) {
203
        const QString &path = includePaths.at(i);
204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223

#ifdef Q_OS_DARWIN
        if (i + 1 < includePaths.size() && path.endsWith(QLatin1String(".framework/Headers"))) {
            const QFileInfo pathInfo(path);
            const QFileInfo frameworkFileInfo(pathInfo.path());
            const QString frameworkName = frameworkFileInfo.baseName();

            const QFileInfo nextIncludePath = includePaths.at(i + 1);
            if (nextIncludePath.fileName() == frameworkName) {
                // We got a QtXXX.framework/Headers followed by $QTDIR/include/QtXXX.
                // In this case we prefer to include files from $QTDIR/include/QtXXX.
                continue;
            }
        }
        m_includePaths.append(path);
#else
        m_includePaths.append(path);
#endif
    }
}
224 225

void CppPreprocessor::setFrameworkPaths(const QStringList &frameworkPaths)
226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260
{
    m_frameworkPaths.clear();

    foreach (const QString &frameworkPath, frameworkPaths) {
        addFrameworkPath(frameworkPath);
    }
}

// Add the given framework path, and expand private frameworks.
//
// Example:
//  <framework-path>/ApplicationServices.framework
// has private frameworks in:
//  <framework-path>/ApplicationServices.framework/Frameworks
// if the "Frameworks" folder exists inside the top level framework.
void CppPreprocessor::addFrameworkPath(const QString &frameworkPath)
{
    // The algorithm below is a bit too eager, but that's because we're not getting
    // in the frameworks we're linking against. If we would have that, then we could
    // add only those private frameworks.
    if (!m_frameworkPaths.contains(frameworkPath)) {
        m_frameworkPaths.append(frameworkPath);
    }

    const QDir frameworkDir(frameworkPath);
    const QStringList filter = QStringList() << QLatin1String("*.framework");
    foreach (const QFileInfo &framework, frameworkDir.entryInfoList(filter)) {
        if (!framework.isDir())
            continue;
        const QFileInfo privateFrameworks(framework.absoluteFilePath(), QLatin1String("Frameworks"));
        if (privateFrameworks.exists() && privateFrameworks.isDir()) {
            addFrameworkPath(privateFrameworks.absoluteFilePath());
        }
    }
}
con's avatar
con committed
261

262 263 264
void CppPreprocessor::setProjectFiles(const QStringList &files)
{ m_projectFiles = files; }

265 266 267
void CppPreprocessor::setTodo(const QStringList &files)
{ m_todo = QSet<QString>::fromList(files); }

268
#ifndef ICHECK_BUILD
Wolfgang Beck's avatar
Wolfgang Beck committed
269
namespace {
270
class Process: public std::unary_function<Document::Ptr, void>
271 272
{
    QPointer<CppModelManager> _modelManager;
273 274
    Snapshot _snapshot;
    Document::Ptr _doc;
Roberto Raggi's avatar
Roberto Raggi committed
275
    Document::CheckMode _mode;
276 277

public:
278
    Process(QPointer<CppModelManager> modelManager,
Roberto Raggi's avatar
Roberto Raggi committed
279 280
            Document::Ptr doc,
            const Snapshot &snapshot,
281
            const CppModelManager::WorkingCopy &workingCopy)
282 283
        : _modelManager(modelManager),
          _snapshot(snapshot),
Roberto Raggi's avatar
Roberto Raggi committed
284 285
          _doc(doc),
          _mode(Document::FastCheck)
286
    {
287

Roberto Raggi's avatar
Roberto Raggi committed
288 289 290
        if (workingCopy.contains(_doc->fileName()))
            _mode = Document::FullCheck;
    }
291

Roberto Raggi's avatar
Roberto Raggi committed
292 293 294
    void operator()()
    {
        _doc->check(_mode);
295

296
        if (_modelManager)
Roberto Raggi's avatar
Roberto Raggi committed
297
            _modelManager->emitDocumentUpdated(_doc); // ### TODO: compress
298 299

        _doc->releaseSourceAndAST();
300 301 302
    }
};
} // end of anonymous namespace
Wolfgang Beck's avatar
Wolfgang Beck committed
303
#endif
304 305 306 307 308 309

void CppPreprocessor::run(const QString &fileName)
{
    QString absoluteFilePath = fileName;
    sourceNeeded(absoluteFilePath, IncludeGlobal, /*line = */ 0);
}
310

311
void CppPreprocessor::resetEnvironment()
312 313 314 315
{
    env.reset();
    m_processed.clear();
}
316

317
bool CppPreprocessor::includeFile(const QString &absoluteFilePath, QString *result, unsigned *revision)
318
{
319
    if (absoluteFilePath.isEmpty() || m_included.contains(absoluteFilePath))
320 321 322 323
        return true;

    if (m_workingCopy.contains(absoluteFilePath)) {
        m_included.insert(absoluteFilePath);
324 325 326
        const QPair<QString, unsigned> r = m_workingCopy.get(absoluteFilePath);
        *result = r.first;
        *revision = r.second;
327 328 329 330 331
        return true;
    }

    QFileInfo fileInfo(absoluteFilePath);
    if (! fileInfo.isFile())
con's avatar
con committed
332
        return false;
333 334 335 336 337 338 339 340 341

    QFile file(absoluteFilePath);
    if (file.open(QFile::ReadOnly)) {
        m_included.insert(absoluteFilePath);
        QTextStream stream(&file);
        const QString contents = stream.readAll();
        *result = contents.toUtf8();
        file.close();
        return true;
con's avatar
con committed
342 343
    }

344 345 346
    return false;
}

347
QString CppPreprocessor::tryIncludeFile(QString &fileName, IncludeType type, unsigned *revision)
Roberto Raggi's avatar
Roberto Raggi committed
348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368
{
    if (type == IncludeGlobal) {
        const QString fn = m_fileNameCache.value(fileName);

        if (! fn.isEmpty()) {
            fileName = fn;

            if (revision)
                *revision = 0;

            return QString();
        }
    }

    const QString originalFileName = fileName;
    const QString contents = tryIncludeFile_helper(fileName, type, revision);
    if (type == IncludeGlobal)
        m_fileNameCache.insert(originalFileName, fileName);
    return contents;
}

369 370 371 372 373 374
static inline void appendDirSeparatorIfNeeded(QString &path)
{
    if (!path.endsWith(QLatin1Char('/'), Qt::CaseInsensitive))
        path += QLatin1Char('/');
}

Roberto Raggi's avatar
Roberto Raggi committed
375
QString CppPreprocessor::tryIncludeFile_helper(QString &fileName, IncludeType type, unsigned *revision)
376 377 378
{
    QFileInfo fileInfo(fileName);
    if (fileName == QLatin1String(pp_configuration_file) || fileInfo.isAbsolute()) {
379
        QString contents;
380
        includeFile(fileName, &contents, revision);
381 382 383 384 385 386
        return contents;
    }

    if (type == IncludeLocal && m_currentDoc) {
        QFileInfo currentFileInfo(m_currentDoc->fileName());
        QString path = currentFileInfo.absolutePath();
387
        appendDirSeparatorIfNeeded(path);
388 389
        path += fileName;
        path = QDir::cleanPath(path);
390
        QString contents;
391
        if (includeFile(path, &contents, revision)) {
392
            fileName = path;
con's avatar
con committed
393 394
            return contents;
        }
395
    }
con's avatar
con committed
396

397 398
    foreach (const QString &includePath, m_includePaths) {
        QString path = includePath;
399
        appendDirSeparatorIfNeeded(path);
400 401
        path += fileName;
        path = QDir::cleanPath(path);
402
        QString contents;
403
        if (includeFile(path, &contents, revision)) {
404 405
            fileName = path;
            return contents;
con's avatar
con committed
406
        }
407
    }
con's avatar
con committed
408

409 410 411
    // look in the system include paths
    foreach (const QString &includePath, m_systemIncludePaths) {
        QString path = includePath;
412
        appendDirSeparatorIfNeeded(path);
413 414
        path += fileName;
        path = QDir::cleanPath(path);
415
        QString contents;
416
        if (includeFile(path, &contents, revision)) {
417 418
            fileName = path;
            return contents;
con's avatar
con committed
419
        }
420 421 422 423 424 425
    }

    int index = fileName.indexOf(QLatin1Char('/'));
    if (index != -1) {
        QString frameworkName = fileName.left(index);
        QString name = fileName.mid(index + 1);
con's avatar
con committed
426

427 428
        foreach (const QString &frameworkPath, m_frameworkPaths) {
            QString path = frameworkPath;
429
            appendDirSeparatorIfNeeded(path);
430 431 432
            path += frameworkName;
            path += QLatin1String(".framework/Headers/");
            path += name;
433
            path = QDir::cleanPath(path);
434
            QString contents;
435
            if (includeFile(path, &contents, revision)) {
con's avatar
con committed
436 437 438 439
                fileName = path;
                return contents;
            }
        }
440
    }
con's avatar
con committed
441

442 443 444
    QString path = fileName;
    if (path.at(0) != QLatin1Char('/'))
        path.prepend(QLatin1Char('/'));
con's avatar
con committed
445

446 447 448
    foreach (const QString &projectFile, m_projectFiles) {
        if (projectFile.endsWith(path)) {
            fileName = projectFile;
449
            QString contents;
450
            includeFile(fileName, &contents, revision);
451
            return contents;
con's avatar
con committed
452 453 454
        }
    }

455
    //qDebug() << "**** file" << fileName << "not found!";
456
    return QString();
457
}
con's avatar
con committed
458

Roberto Raggi's avatar
Roberto Raggi committed
459
void CppPreprocessor::macroAdded(const Macro &macro)
460 461 462
{
    if (! m_currentDoc)
        return;
con's avatar
con committed
463

Roberto Raggi's avatar
Roberto Raggi committed
464
    m_currentDoc->appendMacro(macro);
465
}
466

Christian Kamm's avatar
Christian Kamm committed
467 468 469 470 471
void CppPreprocessor::passedMacroDefinitionCheck(unsigned offset, const Macro &macro)
{
    if (! m_currentDoc)
        return;

472
    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), env.currentLine,
Christian Kamm's avatar
Christian Kamm committed
473 474 475 476 477 478 479 480 481 482 483
                              QVector<MacroArgumentReference>(), true);
}

void CppPreprocessor::failedMacroDefinitionCheck(unsigned offset, const QByteArray &name)
{
    if (! m_currentDoc)
        return;

    m_currentDoc->addUndefinedMacroUse(name, offset);
}

484
void CppPreprocessor::startExpandingMacro(unsigned offset,
Roberto Raggi's avatar
Roberto Raggi committed
485
                                          const Macro &macro,
486
                                          const QByteArray &originalText,
Christian Kamm's avatar
Christian Kamm committed
487
                                          bool inCondition,
488
                                          const QVector<MacroArgumentReference> &actuals)
489 490 491
{
    if (! m_currentDoc)
        return;
492

Christian Kamm's avatar
Christian Kamm committed
493
    //qDebug() << "start expanding:" << macro.name() << "text:" << originalText;
494 495
    m_currentDoc->addMacroUse(macro, offset, originalText.length(), env.currentLine,
                              actuals, inCondition);
496
}
497

498
void CppPreprocessor::stopExpandingMacro(unsigned, const Macro &)
499 500 501
{
    if (! m_currentDoc)
        return;
con's avatar
con committed
502

503 504
    //qDebug() << "stop expanding:" << macro.name;
}
con's avatar
con committed
505

506 507 508 509
void CppPreprocessor::mergeEnvironment(Document::Ptr doc)
{
    if (! doc)
        return;
con's avatar
con committed
510

511
    const QString fn = doc->fileName();
con's avatar
con committed
512

513
    if (m_processed.contains(fn))
514
        return;
con's avatar
con committed
515

516
    m_processed.insert(fn);
con's avatar
con committed
517

518
    foreach (const Document::Include &incl, doc->includes()) {
519 520
        QString includedFile = incl.fileName();

521
        if (Document::Ptr includedDoc = snapshot.document(includedFile))
522
            mergeEnvironment(includedDoc);
523 524
        else
            run(includedFile);
Roberto Raggi's avatar
Roberto Raggi committed
525
    }
con's avatar
con committed
526

527
    env.addMacros(doc->definedMacros());
528
}
con's avatar
con committed
529

530 531 532 533 534 535 536 537 538 539 540 541 542 543
void CppPreprocessor::startSkippingBlocks(unsigned offset)
{
    //qDebug() << "start skipping blocks:" << offset;
    if (m_currentDoc)
        m_currentDoc->startSkippingBlocks(offset);
}

void CppPreprocessor::stopSkippingBlocks(unsigned offset)
{
    //qDebug() << "stop skipping blocks:" << offset;
    if (m_currentDoc)
        m_currentDoc->stopSkippingBlocks(offset);
}

544
void CppPreprocessor::sourceNeeded(QString &fileName, IncludeType type, unsigned line)
545 546 547 548
{
    if (fileName.isEmpty())
        return;

549 550
    unsigned editorRevision = 0;
    QString contents = tryIncludeFile(fileName, type, &editorRevision);
551
    fileName = QDir::cleanPath(fileName);
552
    if (m_currentDoc) {
553
        m_currentDoc->addIncludeFile(fileName, line);
554

555
        if (contents.isEmpty() && ! QFileInfo(fileName).isAbsolute()) {
556 557
            QString msg = QCoreApplication::translate(
                    "CppPreprocessor", "%1: No such file or directory").arg(fileName);
558

559 560 561 562
            Document::DiagnosticMessage d(Document::DiagnosticMessage::Warning,
                                          m_currentDoc->fileName(),
                                          env.currentLine, /*column = */ 0,
                                          msg);
563

564
            m_currentDoc->addDiagnosticMessage(d);
565

566
            //qWarning() << "file not found:" << fileName << m_currentDoc->fileName() << env.current_line;
con's avatar
con committed
567
        }
568
    }
con's avatar
con committed
569

570
    //qDebug() << "parse file:" << fileName << "contents:" << contents.size();
con's avatar
con committed
571

572
    Document::Ptr doc = snapshot.document(fileName);
573 574 575 576
    if (doc) {
        mergeEnvironment(doc);
        return;
    }
con's avatar
con committed
577

578
    doc = Document::create(fileName);
579
    doc->setRevision(m_revision);
580
    doc->setEditorRevision(editorRevision);
con's avatar
con committed
581

582 583 584 585
    QFileInfo info(fileName);
    if (info.exists())
        doc->setLastModified(info.lastModified());

586
    Document::Ptr previousDoc = switchDocument(doc);
con's avatar
con committed
587

588
    const QByteArray preprocessedCode = preprocess(fileName, contents);
con's avatar
con committed
589

590
    doc->setSource(preprocessedCode);
591
    doc->keepSourceAndAST();
592
    doc->tokenize();
593

594
    snapshot.insert(doc);
595
    m_todo.remove(fileName);
con's avatar
con committed
596

597
#ifndef ICHECK_BUILD
Roberto Raggi's avatar
Roberto Raggi committed
598
    Process process(m_modelManager, doc, snapshot, m_workingCopy);
599

Roberto Raggi's avatar
Roberto Raggi committed
600
    process();
601 602

    (void) switchDocument(previousDoc);
603
#else
604
    doc->releaseSource();
605 606 607 608
    Document::CheckMode mode = Document::FastCheck;
    mode = Document::FullCheck;
    doc->parse();
    doc->check(mode);
Erik Verbruggen's avatar
Erik Verbruggen committed
609 610

    (void) switchDocument(previousDoc);
611
#endif
612
}
con's avatar
con committed
613

614 615 616 617 618 619
Document::Ptr CppPreprocessor::switchDocument(Document::Ptr doc)
{
    Document::Ptr previousDoc = m_currentDoc;
    m_currentDoc = doc;
    return previousDoc;
}
con's avatar
con committed
620

621
#ifndef ICHECK_BUILD
622
void CppModelManager::updateModifiedSourceFiles()
623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640
{
    const Snapshot snapshot = this->snapshot();
    QStringList sourceFiles;

    foreach (const Document::Ptr doc, snapshot) {
        const QDateTime lastModified = doc->lastModified();

        if (! lastModified.isNull()) {
            QFileInfo fileInfo(doc->fileName());

            if (fileInfo.exists() && fileInfo.lastModified() != lastModified)
                sourceFiles.append(doc->fileName());
        }
    }

    updateSourceFiles(sourceFiles);
}

641
CppModelManager *CppModelManager::instance()
642 643
{
    ExtensionSystem::PluginManager *pluginManager = ExtensionSystem::PluginManager::instance();
644
    return pluginManager->getObject<CppModelManager>();
645 646
}

con's avatar
con committed
647 648 649 650 651 652 653

/*!
    \class CppTools::CppModelManager
    \brief The CppModelManager keeps track of one CppCodeModel instance
           for each project and all related CppCodeModelPart instances.

    It also takes care of updating the code models when C++ files are
654
    modified within Qt Creator.
con's avatar
con committed
655 656
*/

657
CppModelManager::CppModelManager(QObject *parent)
658
    : CppModelManagerInterface(parent)
con's avatar
con committed
659
{
Roberto Raggi's avatar
Roberto Raggi committed
660
    m_findReferences = new CppFindReferences(this);
661
    m_indexerEnabled = qgetenv("QTCREATOR_NO_CODE_INDEXER").isNull();
Roberto Raggi's avatar
Roberto Raggi committed
662

663
    m_revision = 0;
Roberto Raggi's avatar
Roberto Raggi committed
664 665
    m_synchronizer.setCancelOnWait(true);

666
    m_core = Core::ICore::instance(); // FIXME
667 668
    m_dirty = true;

669
    ProjectExplorer::ProjectExplorerPlugin *pe =
670
       ProjectExplorer::ProjectExplorerPlugin::instance();
con's avatar
con committed
671

672
    QTC_ASSERT(pe, return);
con's avatar
con committed
673

674
    ProjectExplorer::SessionManager *session = pe->session();
hjk's avatar
hjk committed
675
    QTC_ASSERT(session, return);
con's avatar
con committed
676

Roberto Raggi's avatar
Roberto Raggi committed
677 678 679 680 681 682
    m_updateEditorSelectionsTimer = new QTimer(this);
    m_updateEditorSelectionsTimer->setInterval(500);
    m_updateEditorSelectionsTimer->setSingleShot(true);
    connect(m_updateEditorSelectionsTimer, SIGNAL(timeout()),
            this, SLOT(updateEditorSelections()));

683 684 685
    connect(session, SIGNAL(projectAdded(ProjectExplorer::Project*)),
            this, SLOT(onProjectAdded(ProjectExplorer::Project*)));

con's avatar
con committed
686 687 688
    connect(session, SIGNAL(aboutToRemoveProject(ProjectExplorer::Project *)),
            this, SLOT(onAboutToRemoveProject(ProjectExplorer::Project *)));

689 690
    connect(session, SIGNAL(aboutToUnloadSession()),
            this, SLOT(onAboutToUnloadSession()));
con's avatar
con committed
691 692 693 694 695 696

    qRegisterMetaType<CPlusPlus::Document::Ptr>("CPlusPlus::Document::Ptr");

    // thread connections
    connect(this, SIGNAL(documentUpdated(CPlusPlus::Document::Ptr)),
            this, SLOT(onDocumentUpdated(CPlusPlus::Document::Ptr)));
697 698
    connect(this, SIGNAL(extraDiagnosticsUpdated(QString)),
            this, SLOT(onExtraDiagnosticsUpdated(QString)));
con's avatar
con committed
699 700 701 702 703 704 705 706 707 708 709 710

    // Listen for editor closed and opened events so that we can keep track of changing files
    connect(m_core->editorManager(), SIGNAL(editorOpened(Core::IEditor *)),
        this, SLOT(editorOpened(Core::IEditor *)));

    connect(m_core->editorManager(), SIGNAL(editorAboutToClose(Core::IEditor *)),
        this, SLOT(editorAboutToClose(Core::IEditor *)));
}

CppModelManager::~CppModelManager()
{ }

711
Snapshot CppModelManager::snapshot() const
712
{
713
    QMutexLocker locker(&protectSnapshot);
714 715
    return m_snapshot;
}
con's avatar
con committed
716

717 718 719 720 721 722
void CppModelManager::ensureUpdated()
{
    QMutexLocker locker(&mutex);
    if (! m_dirty)
        return;

723 724 725 726
    m_projectFiles = internalProjectFiles();
    m_includePaths = internalIncludePaths();
    m_frameworkPaths = internalFrameworkPaths();
    m_definedMacros = internalDefinedMacros();
727 728 729
    m_dirty = false;
}

730
QStringList CppModelManager::internalProjectFiles() const
con's avatar
con committed
731 732 733 734 735 736 737 738
{
    QStringList files;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
        files += pinfo.sourceFiles;
    }
739
    files.removeDuplicates();
con's avatar
con committed
740 741 742
    return files;
}

743
QStringList CppModelManager::internalIncludePaths() const
con's avatar
con committed
744 745 746 747 748 749 750 751
{
    QStringList includePaths;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
        includePaths += pinfo.includePaths;
    }
752
    includePaths.removeDuplicates();
con's avatar
con committed
753 754 755
    return includePaths;
}

756
QStringList CppModelManager::internalFrameworkPaths() const
con's avatar
con committed
757 758 759 760 761 762 763 764
{
    QStringList frameworkPaths;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
        frameworkPaths += pinfo.frameworkPaths;
    }
765
    frameworkPaths.removeDuplicates();
con's avatar
con committed
766 767 768
    return frameworkPaths;
}

769
QByteArray CppModelManager::internalDefinedMacros() const
con's avatar
con committed
770 771 772 773 774 775 776 777 778 779 780
{
    QByteArray macros;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
        macros += pinfo.defines;
    }
    return macros;
}

781 782 783 784 785 786 787 788 789 790
void CppModelManager::addEditorSupport(AbstractEditorSupport *editorSupport)
{
    m_addtionalEditorSupport.insert(editorSupport);
}

void CppModelManager::removeEditorSupport(AbstractEditorSupport *editorSupport)
{
    m_addtionalEditorSupport.remove(editorSupport);
}

791
QList<int> CppModelManager::references(CPlusPlus::Symbol *symbol, const LookupContext &context)
792
{
793
    return m_findReferences->references(symbol, context);
794 795
}

796
void CppModelManager::findUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context)
Roberto Raggi's avatar
Roberto Raggi committed
797
{
798
    if (symbol->identifier())
799
        m_findReferences->findUsages(symbol, context);
800 801
}

802 803
void CppModelManager::renameUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context,
                                   const QString &replacement)
804 805
{
    if (symbol->identifier())
806
        m_findReferences->renameUsages(symbol, context, replacement);
Roberto Raggi's avatar
Roberto Raggi committed
807 808
}

Christian Kamm's avatar
Christian Kamm committed
809 810 811 812 813
void CppModelManager::findMacroUsages(const CPlusPlus::Macro &macro)
{
    m_findReferences->findMacroUses(macro);
}

814
CppModelManager::WorkingCopy CppModelManager::buildWorkingCopyList()
con's avatar
con committed
815
{
816
    WorkingCopy workingCopy;
con's avatar
con committed
817 818 819 820 821 822
    QMapIterator<TextEditor::ITextEditor *, CppEditorSupport *> it(m_editorSupport);
    while (it.hasNext()) {
        it.next();
        TextEditor::ITextEditor *textEditor = it.key();
        CppEditorSupport *editorSupport = it.value();
        QString fileName = textEditor->file()->fileName();
823
        workingCopy.insert(fileName, editorSupport->contents(), editorSupport->editorRevision());
con's avatar
con committed
824 825
    }

826 827 828
    QSetIterator<AbstractEditorSupport *> jt(m_addtionalEditorSupport);
    while (jt.hasNext()) {
        AbstractEditorSupport *es =  jt.next();
829
        workingCopy.insert(es->fileName(), es->contents());
830 831
    }

con's avatar
con committed
832 833 834
    // add the project configuration file
    QByteArray conf(pp_configuration);
    conf += definedMacros();
835
    workingCopy.insert(pp_configuration_file, conf);
con's avatar
con committed
836 837 838 839

    return workingCopy;
}

840
CppModelManager::WorkingCopy CppModelManager::workingCopy() const
841 842 843 844
{
    return const_cast<CppModelManager *>(this)->buildWorkingCopyList();
}

dt's avatar
dt committed
845 846
QFuture<void> CppModelManager::updateSourceFiles(const QStringList &sourceFiles)
{ return refreshSourceFiles(sourceFiles); }
con's avatar
con committed
847

848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869
QList<CppModelManager::ProjectInfo> CppModelManager::projectInfos() const
{
    QMutexLocker locker(&mutex);

    return m_projects.values();
}

CppModelManager::ProjectInfo CppModelManager::projectInfo(ProjectExplorer::Project *project) const
{
    QMutexLocker locker(&mutex);

    return m_projects.value(project, ProjectInfo(project));
}

void CppModelManager::updateProjectInfo(const ProjectInfo &pinfo)
{
    QMutexLocker locker(&mutex);

    if (! pinfo.isValid())
        return;

    m_projects.insert(pinfo.project, pinfo);
870
    m_dirty = true;
871
}
con's avatar
con committed
872 873 874

QFuture<void> CppModelManager::refreshSourceFiles(const QStringList &sourceFiles)
{
875
    if (! sourceFiles.isEmpty() && m_indexerEnabled) {
876
        const WorkingCopy workingCopy = buildWorkingCopyList();
con's avatar
con committed
877

878
        CppPreprocessor *preproc = new CppPreprocessor(this);
879
        preproc->setRevision(++m_revision);
880 881 882 883 884 885 886
        preproc->setProjectFiles(projectFiles());
        preproc->setIncludePaths(includePaths());
        preproc->setFrameworkPaths(frameworkPaths());
        preproc->setWorkingCopy(workingCopy);

        QFuture<void> result = QtConcurrent::run(&CppModelManager::parse,
                                                 preproc, sourceFiles);
con's avatar
con committed
887

Roberto Raggi's avatar
Roberto Raggi committed
888 889 890 891 892
        if (m_synchronizer.futures().size() > 10) {
            QList<QFuture<void> > futures = m_synchronizer.futures();

            m_synchronizer.clearFutures();

893
            foreach (const QFuture<void> &future, futures) {
Roberto Raggi's avatar
Roberto Raggi committed
894 895 896 897 898
                if (! (future.isFinished() || future.isCanceled()))
                    m_synchronizer.addFuture(future);
            }
        }

Roberto Raggi's avatar
Roberto Raggi committed
899 900
        m_synchronizer.addFuture(result);

901
        if (sourceFiles.count() > 1) {
con's avatar
con committed
902
            m_core->progressManager()->addTask(result, tr("Parsing"),
903
                            CppTools::Constants::TASK_INDEX);
con's avatar
con committed
904
        }
905

con's avatar
con committed
906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922
        return result;
    }
    return QFuture<void>();
}

/*!
    \fn    void CppModelManager::editorOpened(Core::IEditor *editor)
    \brief If a C++ editor is opened, the model manager listens to content changes
           in order to update the CppCodeModel accordingly. It also updates the
           CppCodeModel for the first time with this editor.

    \sa    void CppModelManager::editorContentsChanged()
 */
void CppModelManager::editorOpened(Core::IEditor *editor)
{
    if (isCppEditor(editor)) {
        TextEditor::ITextEditor *textEditor = qobject_cast<TextEditor::ITextEditor *>(editor);
hjk's avatar
hjk committed
923
        QTC_ASSERT(textEditor, return);
con's avatar
con committed
924 925 926 927 928 929 930 931 932 933 934

        CppEditorSupport *editorSupport = new CppEditorSupport(this);
        editorSupport->setTextEditor(textEditor);
        m_editorSupport[textEditor] = editorSupport;
    }
}

void CppModelManager::editorAboutToClose(Core::IEditor *editor)
{
    if (isCppEditor(editor)) {
        TextEditor::ITextEditor *textEditor = qobject_cast<TextEditor::ITextEditor *>(editor);
hjk's avatar
hjk committed
935
        QTC_ASSERT(textEditor, return);
con's avatar
con committed
936 937 938 939 940 941 942 943 944

        CppEditorSupport *editorSupport = m_editorSupport.value(textEditor);
        m_editorSupport.remove(textEditor);
        delete editorSupport;
    }
}

bool CppModelManager::isCppEditor(Core::IEditor *editor) const
{
945
    return editor->context().contains(ProjectExplorer::Constants::LANG_CXX);
con's avatar
con committed
946 947 948
}

void CppModelManager::emitDocumentUpdated(Document::Ptr doc)
949 950 951
{
    emit documentUpdated(doc);
}
con's avatar
con committed
952 953 954 955

void CppModelManager::onDocumentUpdated(Document::Ptr doc)
{
    const QString fileName = doc->fileName();
956

957 958
    bool outdated = false;

959
    protectSnapshot.lock();
960

961
    Document::Ptr previous = m_snapshot.document(fileName);
962 963 964 965 966 967

    if (previous && (doc->revision() != 0 && doc->revision() < previous->revision()))
        outdated = true;
    else
        m_snapshot.insert(doc);

968 969
    protectSnapshot.unlock();

970 971 972
    if (outdated)
        return;

973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988
    updateEditor(doc);
}

void CppModelManager::onExtraDiagnosticsUpdated(const QString &fileName)
{
    protectSnapshot.lock();
    Document::Ptr doc = m_snapshot.document(fileName);
    protectSnapshot.unlock();
    if (doc)
        updateEditor(doc);
}

void CppModelManager::updateEditor(Document::Ptr doc)
{
    const QString fileName = doc->fileName();

con's avatar
con committed
989 990 991 992 993 994 995
    QList<Core::IEditor *> openedEditors = m_core->editorManager()->openedEditors();
    foreach (Core::IEditor *editor, openedEditors) {
        if (editor->file()->fileName() == fileName) {
            TextEditor::ITextEditor *textEditor = qobject_cast<TextEditor::ITextEditor *>(editor);
            if (! textEditor)
                continue;