cppmodelmanager.cpp 42.8 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 343 344

void CppPreprocessor::run(const QString &fileName)
{
    QString absoluteFilePath = fileName;
    sourceNeeded(absoluteFilePath, IncludeGlobal, /*line = */ 0);
}
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

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

507
    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), env.currentLine,
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
void CppPreprocessor::startExpandingMacro(unsigned offset,
Roberto Raggi's avatar
Roberto Raggi committed
520
                                          const Macro &macro,
521
                                          const ByteArrayRef &originalText,
522
                                          const QVector<MacroArgumentReference> &actuals)
523 524 525
{
    if (! m_currentDoc)
        return;
526

Leandro Melo's avatar
Leandro Melo committed
527
    m_currentDoc->addMacroUse(macro, offset, originalText.length(), env.currentLine, actuals);
528
}
529

530
void CppPreprocessor::stopExpandingMacro(unsigned, const Macro &)
531 532 533
{
    if (! m_currentDoc)
        return;
con's avatar
con committed
534

535 536
    //qDebug() << "stop expanding:" << macro.name;
}
con's avatar
con committed
537

538 539 540 541
void CppPreprocessor::mergeEnvironment(Document::Ptr doc)
{
    if (! doc)
        return;
con's avatar
con committed
542

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

545
    if (m_processed.contains(fn))
546
        return;
con's avatar
con committed
547

548
    m_processed.insert(fn);
con's avatar
con committed
549

550
    foreach (const Document::Include &incl, doc->includes()) {
551 552
        QString includedFile = incl.fileName();

553
        if (Document::Ptr includedDoc = snapshot.document(includedFile))
554
            mergeEnvironment(includedDoc);
555 556
        else
            run(includedFile);
Roberto Raggi's avatar
Roberto Raggi committed
557
    }
con's avatar
con committed
558

559
    env.addMacros(doc->definedMacros());
560
}
con's avatar
con committed
561

562 563 564 565 566 567 568 569 570 571 572 573 574 575
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);
}

576
void CppPreprocessor::sourceNeeded(QString &fileName, IncludeType type, unsigned line)
577 578 579 580
{
    if (fileName.isEmpty())
        return;

581 582
    unsigned editorRevision = 0;
    QString contents = tryIncludeFile(fileName, type, &editorRevision);
583
    fileName = QDir::cleanPath(fileName);
584
    if (m_currentDoc) {
585
        m_currentDoc->addIncludeFile(fileName, line);
586

587
        if (contents.isEmpty() && ! QFileInfo(fileName).isAbsolute()) {
588 589
            QString msg = QCoreApplication::translate(
                    "CppPreprocessor", "%1: No such file or directory").arg(fileName);
590

591 592 593 594
            Document::DiagnosticMessage d(Document::DiagnosticMessage::Warning,
                                          m_currentDoc->fileName(),
                                          env.currentLine, /*column = */ 0,
                                          msg);
595

596
            m_currentDoc->addDiagnosticMessage(d);
597

598
            //qWarning() << "file not found:" << fileName << m_currentDoc->fileName() << env.current_line;
con's avatar
con committed
599
        }
600
    }
con's avatar
con committed
601

602 603
    if (m_dumpFileNameWhileParsing) {
        qDebug() << "Parsing file:" << fileName
604
//             << "contents:" << contents.size()
605 606
                    ;
    }
con's avatar
con committed
607

608
    Document::Ptr doc = snapshot.document(fileName);
609 610 611 612
    if (doc) {
        mergeEnvironment(doc);
        return;
    }
con's avatar
con committed
613

614
    doc = Document::create(fileName);
615
    doc->setRevision(m_revision);
616
    doc->setEditorRevision(editorRevision);
con's avatar
con committed
617

618 619 620 621
    QFileInfo info(fileName);
    if (info.exists())
        doc->setLastModified(info.lastModified());

622
    Document::Ptr previousDoc = switchDocument(doc);
con's avatar
con committed
623

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

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

628
    doc->setUtf8Source(preprocessedCode);
629
    doc->keepSourceAndAST();
630
    doc->tokenize();
631

632
    snapshot.insert(doc);
633
    m_todo.remove(fileName);
con's avatar
con committed
634

635
#ifndef ICHECK_BUILD
Roberto Raggi's avatar
Roberto Raggi committed
636
    Process process(m_modelManager, doc, snapshot, m_workingCopy);
637

Roberto Raggi's avatar
Roberto Raggi committed
638
    process();
639 640

    (void) switchDocument(previousDoc);
641
#else
642
    doc->releaseSource();
643 644 645 646
    Document::CheckMode mode = Document::FastCheck;
    mode = Document::FullCheck;
    doc->parse();
    doc->check(mode);
Erik Verbruggen's avatar
Erik Verbruggen committed
647 648

    (void) switchDocument(previousDoc);
649
#endif
650
}
con's avatar
con committed
651

652 653 654 655 656 657
Document::Ptr CppPreprocessor::switchDocument(Document::Ptr doc)
{
    Document::Ptr previousDoc = m_currentDoc;
    m_currentDoc = doc;
    return previousDoc;
}
con's avatar
con committed
658

659
#ifndef ICHECK_BUILD
660
void CppModelManager::updateModifiedSourceFiles()
661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678
{
    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);
}

679
CppModelManager *CppModelManager::instance()
680
{
681 682
    // TODO this is pretty stupid. use regular singleton pattern.
    return ExtensionSystem::PluginManager::getObject<CppModelManager>();
683 684
}

con's avatar
con committed
685 686 687 688 689 690 691

/*!
    \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
692
    modified within Qt Creator.
con's avatar
con committed
693 694
*/

695
CppModelManager::CppModelManager(QObject *parent)
696
    : CppModelManagerInterface(parent)
con's avatar
con committed
697
{
Roberto Raggi's avatar
Roberto Raggi committed
698
    m_findReferences = new CppFindReferences(this);
699
    m_indexerEnabled = qgetenv("QTCREATOR_NO_CODE_INDEXER").isNull();
700
    m_dumpFileNameWhileParsing = !qgetenv("QTCREATOR_DUMP_FILENAME_WHILE_PARSING").isNull();
Roberto Raggi's avatar
Roberto Raggi committed
701

702
    m_revision = 0;
Roberto Raggi's avatar
Roberto Raggi committed
703 704
    m_synchronizer.setCancelOnWait(true);

705 706
    m_dirty = true;

707
    ProjectExplorer::ProjectExplorerPlugin *pe =
708
       ProjectExplorer::ProjectExplorerPlugin::instance();
con's avatar
con committed
709

710
    QTC_ASSERT(pe, return);
con's avatar
con committed
711

712
    ProjectExplorer::SessionManager *session = pe->session();
Roberto Raggi's avatar
Roberto Raggi committed
713 714 715 716 717 718
    m_updateEditorSelectionsTimer = new QTimer(this);
    m_updateEditorSelectionsTimer->setInterval(500);
    m_updateEditorSelectionsTimer->setSingleShot(true);
    connect(m_updateEditorSelectionsTimer, SIGNAL(timeout()),
            this, SLOT(updateEditorSelections()));

719 720 721
    connect(session, SIGNAL(projectAdded(ProjectExplorer::Project*)),
            this, SLOT(onProjectAdded(ProjectExplorer::Project*)));

Robert Loehning's avatar
Robert Loehning committed
722 723
    connect(session, SIGNAL(aboutToRemoveProject(ProjectExplorer::Project*)),
            this, SLOT(onAboutToRemoveProject(ProjectExplorer::Project*)));
con's avatar
con committed
724

725
    connect(session, SIGNAL(aboutToUnloadSession(QString)),
726
            this, SLOT(onAboutToUnloadSession()));
con's avatar
con committed
727 728 729 730 731 732

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

    // thread connections
    connect(this, SIGNAL(documentUpdated(CPlusPlus::Document::Ptr)),
            this, SLOT(onDocumentUpdated(CPlusPlus::Document::Ptr)));
733 734
    connect(this, SIGNAL(extraDiagnosticsUpdated(QString)),
            this, SLOT(onExtraDiagnosticsUpdated(QString)));
con's avatar
con committed
735 736

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

Robert Loehning's avatar
Robert Loehning committed
740 741
    connect(Core::ICore::editorManager(), SIGNAL(editorAboutToClose(Core::IEditor*)),
        this, SLOT(editorAboutToClose(Core::IEditor*)));
742

743 744
    m_completionFallback = new InternalCompletionAssistProvider;
    m_completionAssistProvider = m_completionFallback;
745
    ExtensionSystem::PluginManager::addObject(m_completionAssistProvider);
746 747
    m_highlightingFallback = new CppHighlightingSupportInternalFactory;
    m_highlightingFactory = m_highlightingFallback;
con's avatar
con committed
748 749 750
}

CppModelManager::~CppModelManager()
751
{
752
    ExtensionSystem::PluginManager::removeObject(m_completionAssistProvider);
753 754 755
    delete m_completionFallback;
    delete m_highlightingFallback;
}
con's avatar
con committed
756

757
Snapshot CppModelManager::snapshot() const
758
{
759
    QMutexLocker locker(&protectSnapshot);
760 761
    return m_snapshot;
}
con's avatar
con committed
762

763 764 765 766 767 768
void CppModelManager::ensureUpdated()
{
    QMutexLocker locker(&mutex);
    if (! m_dirty)
        return;

769 770 771 772
    m_projectFiles = internalProjectFiles();
    m_includePaths = internalIncludePaths();
    m_frameworkPaths = internalFrameworkPaths();
    m_definedMacros = internalDefinedMacros();
773 774 775
    m_dirty = false;
}

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

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

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

818
QByteArray CppModelManager::internalDefinedMacros() const
con's avatar
con committed
819 820
{
    QByteArray macros;
821
    QSet<QByteArray> alreadyIn;
con's avatar
con committed
822 823 824 825
    QMapIterator<ProjectExplorer::Project *, ProjectInfo> it(m_projects);
    while (it.hasNext()) {
        it.next();
        ProjectInfo pinfo = it.value();
826 827 828 829 830 831 832 833 834 835
        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
836 837 838 839
    }
    return macros;
}

840 841 842 843 844 845 846 847 848 849
void CppModelManager::addEditorSupport(AbstractEditorSupport *editorSupport)
{
    m_addtionalEditorSupport.insert(editorSupport);
}

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

850
QList<int> CppModelManager::references(CPlusPlus::Symbol *symbol, const LookupContext &context)
851
{
852
    return m_findReferences->references(symbol, context);
853 854
}

855
void CppModelManager::findUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context)
Roberto Raggi's avatar
Roberto Raggi committed
856
{
857
    if (symbol->identifier())
858
        m_findReferences->findUsages(symbol, context);
859 860
}

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

Christian Kamm's avatar
Christian Kamm committed
868 869 870 871 872
void CppModelManager::findMacroUsages(const CPlusPlus::Macro &macro)
{
    m_findReferences->findMacroUses(macro);
}

873 874 875 876 877
void CppModelManager::renameMacroUsages(const CPlusPlus::Macro &macro, const QString &replacement)
{
    m_findReferences->renameMacroUses(macro, replacement);
}

878
CppModelManager::WorkingCopy CppModelManager::buildWorkingCopyList()
con's avatar
con committed
879
{
880
    WorkingCopy workingCopy;
con's avatar
con committed
881 882 883 884 885
    QMapIterator<TextEditor::ITextEditor *, CppEditorSupport *> it(m_editorSupport);
    while (it.hasNext()) {
        it.next();
        TextEditor::ITextEditor *textEditor = it.key();
        CppEditorSupport *editorSupport = it.value();
886
        QString fileName = textEditor->document()->fileName();
887
        workingCopy.insert(fileName, editorSupport->contents(), editorSupport->editorRevision());
con's avatar
con committed
888 889
    }

890 891 892
    QSetIterator<AbstractEditorSupport *> jt(m_addtionalEditorSupport);
    while (jt.hasNext()) {