cppmodelmanager.cpp 43 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
**
7
** Contact: Nokia Corporation (qt-info@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
29
** Nokia at qt-info@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 "cppcompletionassist.h"
38 39
#include "cpphighlightingsupport.h"
#include "cpphighlightingsupportinternal.h"
40
#include "abstracteditorsupport.h"
Wolfgang Beck's avatar
Wolfgang Beck committed
41 42 43 44 45
#ifndef ICHECK_BUILD
#  include "cpptoolsconstants.h"
#  include "cpptoolseditorsupport.h"
#  include "cppfindreferences.h"
#endif
con's avatar
con committed
46

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

hjk's avatar
hjk committed
67 68
#include <utils/qtcassert.h>

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

84 85 86 87 88
#include <QCoreApplication>
#include <QDebug>
#include <QMutexLocker>
#include <QTime>
#include <QTimer>
89
#include <QtConcurrentMap>
90

91
#include <QTextBlock>
92

93 94
#include <iostream>
#include <sstream>
hjk's avatar
hjk committed
95

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

    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;
116
    if (p1.cxx11Enabled != p2.cxx11Enabled)
117 118 119 120 121 122 123
        return false;
    if (p1.includePaths != p2.includePaths)
        return false;
    return p1.frameworkPaths == p2.frameworkPaths;
}
} // namespace CPlusPlus

124 125
using namespace CppTools;
using namespace CppTools::Internal;
con's avatar
con committed
126 127
using namespace CPlusPlus;

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 166 167
#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
168
#endif // QTCREATOR_WITH_DUMP_AST
169

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

182 183 184 185
    "#define __complex__\n"
    "#define __imag__\n"
    "#define __real__\n"

186 187
    "#define __builtin_va_arg(a,b) ((b)0)\n"

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

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

214 215 216 217
#else

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

Roberto Raggi's avatar
Roberto Raggi committed
224
CppPreprocessor::~CppPreprocessor()
225
{ }
con's avatar
con committed
226

227 228 229
void CppPreprocessor::setRevision(unsigned revision)
{ m_revision = revision; }

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

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

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

#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
    }
}
259 260

void CppPreprocessor::setFrameworkPaths(const QStringList &frameworkPaths)
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 294 295
{
    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
296

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

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

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

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

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

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

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

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

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

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

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

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

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

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

379 380 381
    return false;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

519 520 521 522 523 524 525 526 527 528
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
529
                                          const Macro &macro,
530
                                          const QVector<MacroArgumentReference> &actuals)
531 532 533
{
    if (! m_currentDoc)
        return;
534

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

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

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

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

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

553
    if (m_processed.contains(fn))
554
        return;
con's avatar
con committed
555

556
    m_processed.insert(fn);
con's avatar
con committed
557

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

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

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

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

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

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

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

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

604
            m_currentDoc->addDiagnosticMessage(d);
605

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

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

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

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

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

630
    Document::Ptr previousDoc = switchDocument(doc);
con's avatar
con committed
631

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

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

636
    doc->setUtf8Source(preprocessedCode);
637
    doc->keepSourceAndAST();
638
    doc->tokenize();
639

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

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

Roberto Raggi's avatar
Roberto Raggi committed
646
    process();
647 648

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

    (void) switchDocument(previousDoc);
657
#endif
658
}
con's avatar
con committed
659

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

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

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

con's avatar
con committed
693 694 695 696 697 698 699

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

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

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

713 714
    m_dirty = true;

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

718
    QTC_ASSERT(pe, return);
con's avatar
con committed
719

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

826
QByteArray CppModelManager::internalDefinedMacros() const
con's avatar
con committed
827 828
{
    QByteArray macros;
829
    QSet<QByteArray> alreadyIn;
con's avatar
con committed
830 831 832 833
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
834 835 836 837 838 839 840 841 842 843
        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
844 845 846 847
    }
    return macros;
}

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

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

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

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

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

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

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

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

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

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

    return workingCopy;
}

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

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

920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935
QList<CppModelManager::ProjectInfo> CppModelManager::projectInfos() const
{
    QMutexLocker locker(&mutex