cppmodelmanager.cpp 42.9 KB
Newer Older
1
/**************************************************************************
con's avatar
con committed
2 3 4
**
** This file is part of Qt Creator
**
hjk's avatar
hjk committed
5
** Copyright (c) 2012 Nokia Corporation and/or its subsidiary(-ies).
con's avatar
con committed
6
**
Eike Ziller's avatar
Eike Ziller committed
7
** Contact: http://www.qt-project.org/
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
**
29
**************************************************************************/
hjk's avatar
hjk committed
30

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

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

45
#include <functional>
46
#include <QtConcurrentRun>
Wolfgang Beck's avatar
Wolfgang Beck committed
47
#ifndef ICHECK_BUILD
48
#  include <QFutureSynchronizer>
49
#  include <utils/runextensions.h>
Wolfgang Beck's avatar
Wolfgang Beck committed
50 51 52 53 54 55 56 57 58 59 60 61
#  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
62
#  include <QDir>
Wolfgang Beck's avatar
Wolfgang Beck committed
63
#endif
64

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

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

82 83 84 85 86
#include <QCoreApplication>
#include <QDebug>
#include <QMutexLocker>
#include <QTime>
#include <QTimer>
87
#include <QtConcurrentMap>
88

89
#include <QTextBlock>
90

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

94 95 96
namespace CPlusPlus {
uint qHash(const CppModelManagerInterface::ProjectPart &p)
{
97
    uint h = qHash(p.defines) ^ p.language ^ ((int) p.cxx11Enabled);
98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113

    foreach (const QString &i, p.includePaths)
        h ^= qHash(i);

    foreach (const QString &f, p.frameworkPaths)
        h ^= qHash(f);

    return h;
}
bool operator==(const CppModelManagerInterface::ProjectPart &p1,
                const CppModelManagerInterface::ProjectPart &p2)
{
    if (p1.defines != p2.defines)
        return false;
    if (p1.language != p2.language)
        return false;
114
    if (p1.cxx11Enabled != p2.cxx11Enabled)
115 116 117 118 119 120 121
        return false;
    if (p1.includePaths != p2.includePaths)
        return false;
    return p1.frameworkPaths == p2.frameworkPaths;
}
} // namespace CPlusPlus

122 123
using namespace CppTools;
using namespace CppTools::Internal;
con's avatar
con committed
124 125
using namespace CPlusPlus;

126 127 128 129 130 131 132 133 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 164 165
#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
166
#endif // QTCREATOR_WITH_DUMP_AST
167

con's avatar
con committed
168 169 170 171 172 173 174 175 176 177
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"
178
    "#define __restrict__\n"
con's avatar
con committed
179

180 181 182 183
    "#define __complex__\n"
    "#define __imag__\n"
    "#define __real__\n"

184 185
    "#define __builtin_va_arg(a,b) ((b)0)\n"

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

201
#ifndef ICHECK_BUILD
202
CppPreprocessor::CppPreprocessor(QPointer<CppModelManager> modelManager, bool dumpFileNameWhileParsing)
203 204
    : snapshot(modelManager->snapshot()),
      m_modelManager(modelManager),
205
      m_dumpFileNameWhileParsing(dumpFileNameWhileParsing),
206 207
      preprocess(this, &env),
      m_revision(0)
208 209 210
{
    preprocess.setKeepComments(true);
}
Roberto Raggi's avatar
Roberto Raggi committed
211

212 213 214 215
#else

CppPreprocessor::CppPreprocessor(QPointer<CPlusPlus::ParseManager> modelManager)
    : preprocess(this, &env),
216
      m_dumpFileNameWhileParsing(false),
217 218 219 220 221
      m_revision(0)
{
}
#endif

Roberto Raggi's avatar
Roberto Raggi committed
222
CppPreprocessor::~CppPreprocessor()
223
{ }
con's avatar
con committed
224

225 226 227
void CppPreprocessor::setRevision(unsigned revision)
{ m_revision = revision; }

228
void CppPreprocessor::setWorkingCopy(const CppModelManagerInterface::WorkingCopy &workingCopy)
229
{ m_workingCopy = workingCopy; }
con's avatar
con committed
230

231
void CppPreprocessor::setIncludePaths(const QStringList &includePaths)
232 233 234 235
{
    m_includePaths.clear();

    for (int i = 0; i < includePaths.size(); ++i) {
236
        const QString &path = includePaths.at(i);
237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256

#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
    }
}
257 258

void CppPreprocessor::setFrameworkPaths(const QStringList &frameworkPaths)
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293
{
    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
294

295 296 297
void CppPreprocessor::setProjectFiles(const QStringList &files)
{ m_projectFiles = files; }

298 299 300
void CppPreprocessor::setTodo(const QStringList &files)
{ m_todo = QSet<QString>::fromList(files); }

301
#ifndef ICHECK_BUILD
Wolfgang Beck's avatar
Wolfgang Beck committed
302
namespace {
303
class Process: public std::unary_function<Document::Ptr, void>
304 305
{
    QPointer<CppModelManager> _modelManager;
306 307
    Snapshot _snapshot;
    Document::Ptr _doc;
Roberto Raggi's avatar
Roberto Raggi committed
308
    Document::CheckMode _mode;
309 310

public:
311
    Process(QPointer<CppModelManager> modelManager,
Roberto Raggi's avatar
Roberto Raggi committed
312 313
            Document::Ptr doc,
            const Snapshot &snapshot,
314
            const CppModelManager::WorkingCopy &workingCopy)
315 316
        : _modelManager(modelManager),
          _snapshot(snapshot),
Roberto Raggi's avatar
Roberto Raggi committed
317 318
          _doc(doc),
          _mode(Document::FastCheck)
319
    {
320

Roberto Raggi's avatar
Roberto Raggi committed
321 322 323
        if (workingCopy.contains(_doc->fileName()))
            _mode = Document::FullCheck;
    }
324

Roberto Raggi's avatar
Roberto Raggi committed
325 326 327
    void operator()()
    {
        _doc->check(_mode);
328

329
        if (_modelManager)
Roberto Raggi's avatar
Roberto Raggi committed
330
            _modelManager->emitDocumentUpdated(_doc); // ### TODO: compress
331 332

        _doc->releaseSourceAndAST();
333 334 335
    }
};
} // end of anonymous namespace
Wolfgang Beck's avatar
Wolfgang Beck committed
336
#endif
337 338 339 340

void CppPreprocessor::run(const QString &fileName)
{
    QString absoluteFilePath = fileName;
341
    sourceNeeded(0, absoluteFilePath, IncludeGlobal);
342
}
343

344
void CppPreprocessor::resetEnvironment()
345 346 347 348
{
    env.reset();
    m_processed.clear();
}
349

350
bool CppPreprocessor::includeFile(const QString &absoluteFilePath, QString *result, unsigned *revision)
351
{
352
    if (absoluteFilePath.isEmpty() || m_included.contains(absoluteFilePath))
353 354 355 356
        return true;

    if (m_workingCopy.contains(absoluteFilePath)) {
        m_included.insert(absoluteFilePath);
357 358 359
        const QPair<QString, unsigned> r = m_workingCopy.get(absoluteFilePath);
        *result = r.first;
        *revision = r.second;
360 361 362 363 364
        return true;
    }

    QFileInfo fileInfo(absoluteFilePath);
    if (! fileInfo.isFile())
con's avatar
con committed
365
        return false;
366 367

    QFile file(absoluteFilePath);
368
    if (file.open(QFile::ReadOnly | QFile::Text)) {
369 370 371 372 373 374
        m_included.insert(absoluteFilePath);
        QTextStream stream(&file);
        const QString contents = stream.readAll();
        *result = contents.toUtf8();
        file.close();
        return true;
con's avatar
con committed
375 376
    }

377 378 379
    return false;
}

380
QString CppPreprocessor::tryIncludeFile(QString &fileName, IncludeType type, unsigned *revision)
Roberto Raggi's avatar
Roberto Raggi committed
381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401
{
    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;
}

402 403 404 405 406 407
static inline void appendDirSeparatorIfNeeded(QString &path)
{
    if (!path.endsWith(QLatin1Char('/'), Qt::CaseInsensitive))
        path += QLatin1Char('/');
}

Roberto Raggi's avatar
Roberto Raggi committed
408
QString CppPreprocessor::tryIncludeFile_helper(QString &fileName, IncludeType type, unsigned *revision)
409 410 411
{
    QFileInfo fileInfo(fileName);
    if (fileName == QLatin1String(pp_configuration_file) || fileInfo.isAbsolute()) {
412
        QString contents;
413
        includeFile(fileName, &contents, revision);
414 415 416 417 418 419
        return contents;
    }

    if (type == IncludeLocal && m_currentDoc) {
        QFileInfo currentFileInfo(m_currentDoc->fileName());
        QString path = currentFileInfo.absolutePath();
420
        appendDirSeparatorIfNeeded(path);
421 422
        path += fileName;
        path = QDir::cleanPath(path);
423
        QString contents;
424
        if (includeFile(path, &contents, revision)) {
425
            fileName = path;
con's avatar
con committed
426 427
            return contents;
        }
428
    }
con's avatar
con committed
429

430 431
    foreach (const QString &includePath, m_includePaths) {
        QString path = includePath;
432
        appendDirSeparatorIfNeeded(path);
433 434
        path += fileName;
        path = QDir::cleanPath(path);
435
        QString contents;
436
        if (includeFile(path, &contents, revision)) {
437 438
            fileName = path;
            return contents;
con's avatar
con committed
439
        }
440
    }
con's avatar
con committed
441

442 443 444
    // look in the system include paths
    foreach (const QString &includePath, m_systemIncludePaths) {
        QString path = includePath;
445
        appendDirSeparatorIfNeeded(path);
446 447
        path += fileName;
        path = QDir::cleanPath(path);
448
        QString contents;
449
        if (includeFile(path, &contents, revision)) {
450 451
            fileName = path;
            return contents;
con's avatar
con committed
452
        }
453 454 455 456 457 458
    }

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

460 461
        foreach (const QString &frameworkPath, m_frameworkPaths) {
            QString path = frameworkPath;
462
            appendDirSeparatorIfNeeded(path);
463 464 465
            path += frameworkName;
            path += QLatin1String(".framework/Headers/");
            path += name;
466
            path = QDir::cleanPath(path);
467
            QString contents;
468
            if (includeFile(path, &contents, revision)) {
con's avatar
con committed
469 470 471 472
                fileName = path;
                return contents;
            }
        }
473
    }
con's avatar
con committed
474

475 476 477
    QString path = fileName;
    if (path.at(0) != QLatin1Char('/'))
        path.prepend(QLatin1Char('/'));
con's avatar
con committed
478

479 480 481
    foreach (const QString &projectFile, m_projectFiles) {
        if (projectFile.endsWith(path)) {
            fileName = projectFile;
482
            QString contents;
483
            includeFile(fileName, &contents, revision);
484
            return contents;
con's avatar
con committed
485 486 487
        }
    }

488
    //qDebug() << "**** file" << fileName << "not found!";
489
    return QString();
490
}
con's avatar
con committed
491

Roberto Raggi's avatar
Roberto Raggi committed
492
void CppPreprocessor::macroAdded(const Macro &macro)
493 494 495
{
    if (! m_currentDoc)
        return;
con's avatar
con committed
496

Roberto Raggi's avatar
Roberto Raggi committed
497
    m_currentDoc->appendMacro(macro);
498
}
499

500
void CppPreprocessor::passedMacroDefinitionCheck(unsigned offset, unsigned line, const Macro &macro)
Christian Kamm's avatar
Christian Kamm committed
501 502 503 504
{
    if (! m_currentDoc)
        return;

505
    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), line,
506
                              QVector<MacroArgumentReference>());
Christian Kamm's avatar
Christian Kamm committed
507 508
}

509
void CppPreprocessor::failedMacroDefinitionCheck(unsigned offset, const ByteArrayRef &name)
Christian Kamm's avatar
Christian Kamm committed
510 511 512 513
{
    if (! m_currentDoc)
        return;

514
    m_currentDoc->addUndefinedMacroUse(QByteArray(name.start(), name.size()), offset);
Christian Kamm's avatar
Christian Kamm committed
515 516
}

517 518 519 520 521 522 523 524 525 526
void CppPreprocessor::notifyMacroReference(unsigned offset, unsigned line, const Macro &macro)
{
    if (! m_currentDoc)
        return;

    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), line,
                              QVector<MacroArgumentReference>());
}

void CppPreprocessor::startExpandingMacro(unsigned offset, unsigned line,
Roberto Raggi's avatar
Roberto Raggi committed
527
                                          const Macro &macro,
528
                                          const QVector<MacroArgumentReference> &actuals)
529 530 531
{
    if (! m_currentDoc)
        return;
532

533
    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), line, actuals);
534
}
535

536
void CppPreprocessor::stopExpandingMacro(unsigned, const Macro &)
537 538 539
{
    if (! m_currentDoc)
        return;
con's avatar
con committed
540

541 542
    //qDebug() << "stop expanding:" << macro.name;
}
con's avatar
con committed
543

544 545 546 547
void CppPreprocessor::mergeEnvironment(Document::Ptr doc)
{
    if (! doc)
        return;
con's avatar
con committed
548

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

551
    if (m_processed.contains(fn))
552
        return;
con's avatar
con committed
553

554
    m_processed.insert(fn);
con's avatar
con committed
555

556
    foreach (const Document::Include &incl, doc->includes()) {
557 558
        QString includedFile = incl.fileName();

559
        if (Document::Ptr includedDoc = snapshot.document(includedFile))
560
            mergeEnvironment(includedDoc);
561 562
        else
            run(includedFile);
Roberto Raggi's avatar
Roberto Raggi committed
563
    }
con's avatar
con committed
564

565
    env.addMacros(doc->definedMacros());
566
}
con's avatar
con committed
567

568 569 570 571 572 573 574 575 576 577 578 579 580 581
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);
}

582
void CppPreprocessor::sourceNeeded(unsigned line, QString &fileName, IncludeType type)
583 584 585 586
{
    if (fileName.isEmpty())
        return;

587 588
    unsigned editorRevision = 0;
    QString contents = tryIncludeFile(fileName, type, &editorRevision);
589
    fileName = QDir::cleanPath(fileName);
590
    if (m_currentDoc) {
591
        m_currentDoc->addIncludeFile(fileName, line);
592

593
        if (contents.isEmpty() && ! QFileInfo(fileName).isAbsolute()) {
594 595
            QString msg = QCoreApplication::translate(
                    "CppPreprocessor", "%1: No such file or directory").arg(fileName);
596

597 598
            Document::DiagnosticMessage d(Document::DiagnosticMessage::Warning,
                                          m_currentDoc->fileName(),
599
                                          line, /*column = */ 0,
600
                                          msg);
601

602
            m_currentDoc->addDiagnosticMessage(d);
603

604
            //qWarning() << "file not found:" << fileName << m_currentDoc->fileName() << env.current_line;
con's avatar
con committed
605
        }
606
    }
con's avatar
con committed
607

608 609
    if (m_dumpFileNameWhileParsing) {
        qDebug() << "Parsing file:" << fileName
610
//             << "contents:" << contents.size()
611 612
                    ;
    }
con's avatar
con committed
613

614
    Document::Ptr doc = snapshot.document(fileName);
615 616 617 618
    if (doc) {
        mergeEnvironment(doc);
        return;
    }
con's avatar
con committed
619

620
    doc = Document::create(fileName);
621
    doc->setRevision(m_revision);
622
    doc->setEditorRevision(editorRevision);
con's avatar
con committed
623

624 625 626 627
    QFileInfo info(fileName);
    if (info.exists())
        doc->setLastModified(info.lastModified());

628
    Document::Ptr previousDoc = switchDocument(doc);
con's avatar
con committed
629

630
    const QByteArray preprocessedCode = preprocess.run(fileName, contents);
con's avatar
con committed
631

632 633
//    { QByteArray b(preprocessedCode); b.replace("\n", "<<<\n"); qDebug("Preprocessed code for \"%s\": [[%s]]", fileName.toUtf8().constData(), b.constData()); }

634
    doc->setUtf8Source(preprocessedCode);
635
    doc->keepSourceAndAST();
636
    doc->tokenize();
637

638
    snapshot.insert(doc);
639
    m_todo.remove(fileName);
con's avatar
con committed
640

641
#ifndef ICHECK_BUILD
Roberto Raggi's avatar
Roberto Raggi committed
642
    Process process(m_modelManager, doc, snapshot, m_workingCopy);
643

Roberto Raggi's avatar
Roberto Raggi committed
644
    process();
645 646

    (void) switchDocument(previousDoc);
647
#else
648
    doc->releaseSource();
649 650 651 652
    Document::CheckMode mode = Document::FastCheck;
    mode = Document::FullCheck;
    doc->parse();
    doc->check(mode);
Erik Verbruggen's avatar
Erik Verbruggen committed
653 654

    (void) switchDocument(previousDoc);
655
#endif
656
}
con's avatar
con committed
657

658 659 660 661 662 663
Document::Ptr CppPreprocessor::switchDocument(Document::Ptr doc)
{
    Document::Ptr previousDoc = m_currentDoc;
    m_currentDoc = doc;
    return previousDoc;
}
con's avatar
con committed
664

665
#ifndef ICHECK_BUILD
666
void CppModelManager::updateModifiedSourceFiles()
667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684
{
    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);
}

685
CppModelManager *CppModelManager::instance()
686
{
687 688
    // TODO this is pretty stupid. use regular singleton pattern.
    return ExtensionSystem::PluginManager::getObject<CppModelManager>();
689 690
}

con's avatar
con committed
691 692 693 694 695 696 697

/*!
    \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
698
    modified within Qt Creator.
con's avatar
con committed
699 700
*/

701
CppModelManager::CppModelManager(QObject *parent)
702
    : CppModelManagerInterface(parent)
con's avatar
con committed
703
{
Roberto Raggi's avatar
Roberto Raggi committed
704
    m_findReferences = new CppFindReferences(this);
705
    m_indexerEnabled = qgetenv("QTCREATOR_NO_CODE_INDEXER").isNull();
706
    m_dumpFileNameWhileParsing = !qgetenv("QTCREATOR_DUMP_FILENAME_WHILE_PARSING").isNull();
Roberto Raggi's avatar
Roberto Raggi committed
707

708
    m_revision = 0;
Roberto Raggi's avatar
Roberto Raggi committed
709 710
    m_synchronizer.setCancelOnWait(true);

711 712
    m_dirty = true;

713
    ProjectExplorer::ProjectExplorerPlugin *pe =
714
       ProjectExplorer::ProjectExplorerPlugin::instance();
con's avatar
con committed
715

716
    QTC_ASSERT(pe, return);
con's avatar
con committed
717

718
    ProjectExplorer::SessionManager *session = pe->session();
Roberto Raggi's avatar
Roberto Raggi committed
719 720 721 722 723 724
    m_updateEditorSelectionsTimer = new QTimer(this);
    m_updateEditorSelectionsTimer->setInterval(500);
    m_updateEditorSelectionsTimer->setSingleShot(true);
    connect(m_updateEditorSelectionsTimer, SIGNAL(timeout()),
            this, SLOT(updateEditorSelections()));

725 726 727
    connect(session, SIGNAL(projectAdded(ProjectExplorer::Project*)),
            this, SLOT(onProjectAdded(ProjectExplorer::Project*)));

Robert Loehning's avatar
Robert Loehning committed
728 729
    connect(session, SIGNAL(aboutToRemoveProject(ProjectExplorer::Project*)),
            this, SLOT(onAboutToRemoveProject(ProjectExplorer::Project*)));
con's avatar
con committed
730

731
    connect(session, SIGNAL(aboutToUnloadSession(QString)),
732
            this, SLOT(onAboutToUnloadSession()));
con's avatar
con committed
733 734 735 736 737 738

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

    // thread connections
    connect(this, SIGNAL(documentUpdated(CPlusPlus::Document::Ptr)),
            this, SLOT(onDocumentUpdated(CPlusPlus::Document::Ptr)));
739 740
    connect(this, SIGNAL(extraDiagnosticsUpdated(QString)),
            this, SLOT(onExtraDiagnosticsUpdated(QString)));
con's avatar
con committed
741 742

    // Listen for editor closed and opened events so that we can keep track of changing files
Robert Loehning's avatar
Robert Loehning committed
743 744
    connect(Core::ICore::editorManager(), SIGNAL(editorOpened(Core::IEditor*)),
        this, SLOT(editorOpened(Core::IEditor*)));
con's avatar
con committed
745

Robert Loehning's avatar
Robert Loehning committed
746 747
    connect(Core::ICore::editorManager(), SIGNAL(editorAboutToClose(Core::IEditor*)),
        this, SLOT(editorAboutToClose(Core::IEditor*)));
748

749 750
    m_completionFallback = new InternalCompletionAssistProvider;
    m_completionAssistProvider = m_completionFallback;
751
    ExtensionSystem::PluginManager::addObject(m_completionAssistProvider);
752 753
    m_highlightingFallback = new CppHighlightingSupportInternalFactory;
    m_highlightingFactory = m_highlightingFallback;
con's avatar
con committed
754 755 756
}

CppModelManager::~CppModelManager()
757
{
758
    ExtensionSystem::PluginManager::removeObject(m_completionAssistProvider);
759 760 761
    delete m_completionFallback;
    delete m_highlightingFallback;
}
con's avatar
con committed
762

763
Snapshot CppModelManager::snapshot() const
764
{
765
    QMutexLocker locker(&protectSnapshot);
766 767
    return m_snapshot;
}
con's avatar
con committed
768

769 770 771 772 773 774
void CppModelManager::ensureUpdated()
{
    QMutexLocker locker(&mutex);
    if (! m_dirty)
        return;

775 776 777 778
    m_projectFiles = internalProjectFiles();
    m_includePaths = internalIncludePaths();
    m_frameworkPaths = internalFrameworkPaths();
    m_definedMacros = internalDefinedMacros();
779 780 781
    m_dirty = false;
}

782
QStringList CppModelManager::internalProjectFiles() const
con's avatar
con committed
783 784 785 786 787 788
{
    QStringList files;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
789 790
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts())
            files += part->sourceFiles;
con's avatar
con committed
791
    }
792
    files.removeDuplicates();
con's avatar
con committed
793 794 795
    return files;
}

796
QStringList CppModelManager::internalIncludePaths() const
con's avatar
con committed
797 798 799 800 801 802
{
    QStringList includePaths;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
803 804
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts())
            includePaths += part->includePaths;
con's avatar
con committed
805
    }
806
    includePaths.removeDuplicates();
con's avatar
con committed
807 808 809
    return includePaths;
}

810
QStringList CppModelManager::internalFrameworkPaths() const
con's avatar
con committed
811 812 813 814 815 816
{
    QStringList frameworkPaths;
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
817 818
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts())
            frameworkPaths += part->frameworkPaths;
con's avatar
con committed
819
    }
820
    frameworkPaths.removeDuplicates();
con's avatar
con committed
821 822 823
    return frameworkPaths;
}

824
QByteArray CppModelManager::internalDefinedMacros() const
con's avatar
con committed
825 826
{
    QByteArray macros;
827
    QSet<QByteArray> alreadyIn;
con's avatar
con committed
828 829 830 831
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
832 833 834 835 836 837 838 839 840 841
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
            const QList<QByteArray> defs = part->defines.split('\n');
            foreach (const QByteArray &def, defs) {
                if (!alreadyIn.contains(def)) {
                    macros += def;
                    macros.append('\n');
                    alreadyIn.insert(def);
                }
            }
        }
con's avatar
con committed
842 843 844 845
    }
    return macros;
}

846 847 848 849 850 851 852 853 854 855
void CppModelManager::addEditorSupport(AbstractEditorSupport *editorSupport)
{
    m_addtionalEditorSupport.insert(editorSupport);
}

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

856
QList<int> CppModelManager::references(CPlusPlus::Symbol *symbol, const LookupContext &context)
857
{
858
    return m_findReferences->references(symbol, context);
859 860
}

861
void CppModelManager::findUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context)
Roberto Raggi's avatar
Roberto Raggi committed
862
{
863
    if (symbol->identifier())
864
        m_findReferences->findUsages(symbol, context);
865 866
}

867 868
void CppModelManager::renameUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context,
                                   const QString &replacement)
869 870
{
    if (symbol->identifier())
871
        m_findReferences->renameUsages(symbol, context, replacement);
Roberto Raggi's avatar
Roberto Raggi committed
872 873
}

Christian Kamm's avatar
Christian Kamm committed
874 875 876 877 878
void CppModelManager::findMacroUsages(const CPlusPlus::Macro &macro)
{
    m_findReferences->findMacroUses(macro);
}

879 880 881 882 883
void CppModelManager::renameMacroUsages(const CPlusPlus::Macro &macro, const QString &replacement)
{
    m_findReferences->renameMacroUses(macro, replacement);
}

884
CppModelManager::WorkingCopy CppModelManager::buildWorkingCopyList()
con's avatar
con committed
885
{
886
    WorkingCopy workingCopy;
con's avatar
con committed
887 888 889 890 891
    QMapIterator<TextEditor::ITextEditor *, CppEditorSupport *> it(m_editorSupport);
    while (it.hasNext()) {
        it.next();
        TextEditor::ITextEditor *textEditor = it.key();
        CppEditorSupport *editorSupport = it.value();
892
        QString fileName = textEditor->document()->fileName();
893
        workingCopy.insert(fileName, editorSupport->contents(), editorSupport->editorRevision());
con's avatar
con committed
894 895
    }

896 897 898
    QSetIterator<AbstractEditorSupport *> jt(m_addtionalEditorSupport);
    while (jt.hasNext()) {
        AbstractEditorSupport *es =  jt.next();
899
        workingCopy.insert(es->fileName(), es->contents());
900 901
    }

con's avatar
con committed
902 903 904
    // add the project configuration file
    QByteArray conf(pp_configuration);
    conf += definedMacros();
905
    workingCopy.insert(pp_configuration_file, conf);
con's avatar
con committed
906 907 908 909

    return workingCopy;
}

910
CppModelManager::WorkingCopy CppModelManager::workingCopy() const
911 912 913 914
{
    return const_cast<CppModelManager *>(this)->buildWorkingCopyList();
}

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

918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933
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)
{
934 935 936
#if 0
    // Tons of debug output...
    qDebug()<<"========= CppModelManager::updateProjectInfo ======";
Erik Verbruggen's avatar
Erik Verbruggen committed
937 938
    qDebug()<<" for project:"<< pinfo.project().data()->document()->fileName();
    foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
939 940
        qDebug() << "=== part ===";
        qDebug() << "language:" << (part->language == CXX ? "C++" : "ObjC++");