cppmodelmanager.cpp 41.5 KB
Newer Older
hjk's avatar
hjk committed
1
/****************************************************************************
con's avatar
con committed
2
**
hjk's avatar
hjk committed
3 4
** Copyright (C) 2012 Digia Plc and/or its subsidiary(-ies).
** Contact: http://www.qt-project.org/legal
con's avatar
con committed
5
**
hjk's avatar
hjk committed
6
** This file is part of Qt Creator.
con's avatar
con committed
7
**
hjk's avatar
hjk committed
8 9 10 11 12 13 14
** Commercial License Usage
** Licensees holding valid commercial Qt licenses may use this file in
** accordance with the commercial license agreement provided with the
** Software or, alternatively, in accordance with the terms contained in
** a written agreement between you and Digia.  For licensing terms and
** conditions see http://qt.digia.com/licensing.  For further information
** use the contact form at http://qt.digia.com/contact-us.
15
**
16
** GNU Lesser General Public License Usage
hjk's avatar
hjk committed
17 18 19 20 21 22 23 24 25
** Alternatively, 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.
**
** In addition, as a special exception, Digia gives you certain additional
** rights.  These rights are described in the Digia Qt LGPL Exception
con's avatar
con committed
26 27
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
**
hjk's avatar
hjk committed
28
****************************************************************************/
hjk's avatar
hjk committed
29

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

33
#include "builtinindexingsupport.h"
con's avatar
con committed
34
#include "cppmodelmanager.h"
35
#include "cppcompletionassist.h"
36 37
#include "cpphighlightingsupport.h"
#include "cpphighlightingsupportinternal.h"
38
#include "cppindexingsupport.h"
39
#include "abstracteditorsupport.h"
40 41 42
#include "cpptoolsconstants.h"
#include "cpptoolseditorsupport.h"
#include "cppfindreferences.h"
con's avatar
con committed
43

44
#include <functional>
45
#include <QtConcurrentRun>
46 47 48 49 50 51 52 53 54 55 56 57 58
#include <QFutureSynchronizer>
#include <utils/runextensions.h>
#include <texteditor/itexteditor.h>
#include <texteditor/basetexteditor.h>
#include <projectexplorer/project.h>
#include <projectexplorer/projectexplorer.h>
#include <projectexplorer/projectexplorerconstants.h>
#include <projectexplorer/session.h>
#include <coreplugin/icore.h>
#include <coreplugin/mimedatabase.h>
#include <coreplugin/editormanager/editormanager.h>
#include <coreplugin/progressmanager/progressmanager.h>
#include <extensionsystem/pluginmanager.h>
59

60
#include <utils/hostosinfo.h>
hjk's avatar
hjk committed
61 62
#include <utils/qtcassert.h>

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

78 79 80 81 82
#include <QCoreApplication>
#include <QDebug>
#include <QMutexLocker>
#include <QTime>
#include <QTimer>
83
#include <QtConcurrentMap>
84

85
#include <QTextBlock>
86

87 88
#include <iostream>
#include <sstream>
hjk's avatar
hjk committed
89

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

    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;
110
    if (p1.cxx11Enabled != p2.cxx11Enabled)
111 112 113 114 115 116 117
        return false;
    if (p1.includePaths != p2.includePaths)
        return false;
    return p1.frameworkPaths == p2.frameworkPaths;
}
} // namespace CPlusPlus

118 119
using namespace CppTools;
using namespace CppTools::Internal;
con's avatar
con committed
120 121
using namespace CPlusPlus;

122 123 124 125 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
#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
162
#endif // QTCREATOR_WITH_DUMP_AST
163

con's avatar
con committed
164 165 166 167 168 169 170 171 172 173
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"
174
    "#define __restrict__\n"
con's avatar
con committed
175

176 177 178 179
    "#define __complex__\n"
    "#define __imag__\n"
    "#define __real__\n"

180 181
    "#define __builtin_va_arg(a,b) ((b)0)\n"

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

197
CppPreprocessor::CppPreprocessor(QPointer<CppModelManager> modelManager, bool dumpFileNameWhileParsing)
198 199
    : snapshot(modelManager->snapshot()),
      m_modelManager(modelManager),
200
      m_dumpFileNameWhileParsing(dumpFileNameWhileParsing),
201 202
      preprocess(this, &env),
      m_revision(0)
203 204 205
{
    preprocess.setKeepComments(true);
}
Roberto Raggi's avatar
Roberto Raggi committed
206 207

CppPreprocessor::~CppPreprocessor()
208
{ }
con's avatar
con committed
209

210 211 212
void CppPreprocessor::setRevision(unsigned revision)
{ m_revision = revision; }

213
void CppPreprocessor::setWorkingCopy(const CppModelManagerInterface::WorkingCopy &workingCopy)
214
{ m_workingCopy = workingCopy; }
con's avatar
con committed
215

216
void CppPreprocessor::setIncludePaths(const QStringList &includePaths)
217 218 219 220
{
    m_includePaths.clear();

    for (int i = 0; i < includePaths.size(); ++i) {
221
        const QString &path = includePaths.at(i);
222

223 224 225 226 227 228 229 230 231 232 233 234
        if (Utils::HostOsInfo::isMacHost()) {
            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;
                }
235
            }
236 237 238
            m_includePaths.append(path);
        } else {
            m_includePaths.append(path);
239 240 241
        }
    }
}
242 243

void CppPreprocessor::setFrameworkPaths(const QStringList &frameworkPaths)
244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278
{
    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
279

280 281 282
void CppPreprocessor::setProjectFiles(const QStringList &files)
{ m_projectFiles = files; }

283 284 285
void CppPreprocessor::setTodo(const QStringList &files)
{ m_todo = QSet<QString>::fromList(files); }

Wolfgang Beck's avatar
Wolfgang Beck committed
286
namespace {
287
class Process: public std::unary_function<Document::Ptr, void>
288 289
{
    QPointer<CppModelManager> _modelManager;
290 291
    Snapshot _snapshot;
    Document::Ptr _doc;
Roberto Raggi's avatar
Roberto Raggi committed
292
    Document::CheckMode _mode;
293 294

public:
295
    Process(QPointer<CppModelManager> modelManager,
Roberto Raggi's avatar
Roberto Raggi committed
296 297
            Document::Ptr doc,
            const Snapshot &snapshot,
298
            const CppModelManager::WorkingCopy &workingCopy)
299 300
        : _modelManager(modelManager),
          _snapshot(snapshot),
Roberto Raggi's avatar
Roberto Raggi committed
301 302
          _doc(doc),
          _mode(Document::FastCheck)
303
    {
304

Roberto Raggi's avatar
Roberto Raggi committed
305 306 307
        if (workingCopy.contains(_doc->fileName()))
            _mode = Document::FullCheck;
    }
308

Roberto Raggi's avatar
Roberto Raggi committed
309 310 311
    void operator()()
    {
        _doc->check(_mode);
312

313
        if (_modelManager)
314
            _modelManager->emitDocumentUpdated(_doc);
315 316

        _doc->releaseSourceAndAST();
317 318 319 320 321 322 323
    }
};
} // end of anonymous namespace

void CppPreprocessor::run(const QString &fileName)
{
    QString absoluteFilePath = fileName;
324
    sourceNeeded(0, absoluteFilePath, IncludeGlobal);
325
}
326

327
void CppPreprocessor::resetEnvironment()
328 329 330 331
{
    env.reset();
    m_processed.clear();
}
332

333
bool CppPreprocessor::includeFile(const QString &absoluteFilePath, QString *result, unsigned *revision)
334
{
335
    if (absoluteFilePath.isEmpty() || m_included.contains(absoluteFilePath))
336 337 338 339
        return true;

    if (m_workingCopy.contains(absoluteFilePath)) {
        m_included.insert(absoluteFilePath);
340 341 342
        const QPair<QString, unsigned> r = m_workingCopy.get(absoluteFilePath);
        *result = r.first;
        *revision = r.second;
343 344 345 346 347
        return true;
    }

    QFileInfo fileInfo(absoluteFilePath);
    if (! fileInfo.isFile())
con's avatar
con committed
348
        return false;
349 350

    QFile file(absoluteFilePath);
351
    if (file.open(QFile::ReadOnly | QFile::Text)) {
352
        m_included.insert(absoluteFilePath);
353
        QTextCodec *defaultCodec = Core::EditorManager::instance()->defaultTextCodec();
354
        QTextStream stream(&file);
355 356 357
        stream.setCodec(defaultCodec);
        if (result)
            *result = stream.readAll();
358 359
        file.close();
        return true;
con's avatar
con committed
360 361
    }

362 363 364
    return false;
}

365
QString CppPreprocessor::tryIncludeFile(QString &fileName, IncludeType type, unsigned *revision)
Roberto Raggi's avatar
Roberto Raggi committed
366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386
{
    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;
}

387 388 389 390 391 392
static inline void appendDirSeparatorIfNeeded(QString &path)
{
    if (!path.endsWith(QLatin1Char('/'), Qt::CaseInsensitive))
        path += QLatin1Char('/');
}

Roberto Raggi's avatar
Roberto Raggi committed
393
QString CppPreprocessor::tryIncludeFile_helper(QString &fileName, IncludeType type, unsigned *revision)
394 395 396
{
    QFileInfo fileInfo(fileName);
    if (fileName == QLatin1String(pp_configuration_file) || fileInfo.isAbsolute()) {
397
        QString contents;
398
        includeFile(fileName, &contents, revision);
399 400 401 402 403 404
        return contents;
    }

    if (type == IncludeLocal && m_currentDoc) {
        QFileInfo currentFileInfo(m_currentDoc->fileName());
        QString path = currentFileInfo.absolutePath();
405
        appendDirSeparatorIfNeeded(path);
406 407
        path += fileName;
        path = QDir::cleanPath(path);
408
        QString contents;
409
        if (includeFile(path, &contents, revision)) {
410
            fileName = path;
con's avatar
con committed
411 412
            return contents;
        }
413
    }
con's avatar
con committed
414

415 416
    foreach (const QString &includePath, m_includePaths) {
        QString path = includePath;
417
        appendDirSeparatorIfNeeded(path);
418 419
        path += fileName;
        path = QDir::cleanPath(path);
420
        QString contents;
421
        if (includeFile(path, &contents, revision)) {
422 423
            fileName = path;
            return contents;
con's avatar
con committed
424
        }
425
    }
con's avatar
con committed
426

427 428 429
    // look in the system include paths
    foreach (const QString &includePath, m_systemIncludePaths) {
        QString path = includePath;
430
        appendDirSeparatorIfNeeded(path);
431 432
        path += fileName;
        path = QDir::cleanPath(path);
433
        QString contents;
434
        if (includeFile(path, &contents, revision)) {
435 436
            fileName = path;
            return contents;
con's avatar
con committed
437
        }
438 439 440 441 442 443
    }

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

445 446
        foreach (const QString &frameworkPath, m_frameworkPaths) {
            QString path = frameworkPath;
447
            appendDirSeparatorIfNeeded(path);
448 449 450
            path += frameworkName;
            path += QLatin1String(".framework/Headers/");
            path += name;
451
            path = QDir::cleanPath(path);
452
            QString contents;
453
            if (includeFile(path, &contents, revision)) {
con's avatar
con committed
454 455 456 457
                fileName = path;
                return contents;
            }
        }
458
    }
con's avatar
con committed
459

460 461 462
    QString path = fileName;
    if (path.at(0) != QLatin1Char('/'))
        path.prepend(QLatin1Char('/'));
con's avatar
con committed
463

464 465 466
    foreach (const QString &projectFile, m_projectFiles) {
        if (projectFile.endsWith(path)) {
            fileName = projectFile;
467
            QString contents;
468
            includeFile(fileName, &contents, revision);
469
            return contents;
con's avatar
con committed
470 471 472
        }
    }

473
    //qDebug() << "**** file" << fileName << "not found!";
474
    return QString();
475
}
con's avatar
con committed
476

Roberto Raggi's avatar
Roberto Raggi committed
477
void CppPreprocessor::macroAdded(const Macro &macro)
478 479 480
{
    if (! m_currentDoc)
        return;
con's avatar
con committed
481

Roberto Raggi's avatar
Roberto Raggi committed
482
    m_currentDoc->appendMacro(macro);
483
}
484

485 486 487 488 489 490 491
static inline const Macro revision(const CppModelManagerInterface::WorkingCopy &s, const Macro &macro)
{
    Macro newMacro(macro);
    newMacro.setFileRevision(s.get(macro.fileName()).second);
    return newMacro;
}

492
void CppPreprocessor::passedMacroDefinitionCheck(unsigned offset, unsigned line, const Macro &macro)
Christian Kamm's avatar
Christian Kamm committed
493 494 495 496
{
    if (! m_currentDoc)
        return;

497
    m_currentDoc->addMacroUse(revision(m_workingCopy, macro), offset, macro.name().length(), line,
498
                              QVector<MacroArgumentReference>());
Christian Kamm's avatar
Christian Kamm committed
499 500
}

501
void CppPreprocessor::failedMacroDefinitionCheck(unsigned offset, const ByteArrayRef &name)
Christian Kamm's avatar
Christian Kamm committed
502 503 504 505
{
    if (! m_currentDoc)
        return;

506
    m_currentDoc->addUndefinedMacroUse(QByteArray(name.start(), name.size()), offset);
Christian Kamm's avatar
Christian Kamm committed
507 508
}

509 510 511 512 513
void CppPreprocessor::notifyMacroReference(unsigned offset, unsigned line, const Macro &macro)
{
    if (! m_currentDoc)
        return;

514
    m_currentDoc->addMacroUse(revision(m_workingCopy, macro), offset, macro.name().length(), line,
515 516 517 518
                              QVector<MacroArgumentReference>());
}

void CppPreprocessor::startExpandingMacro(unsigned offset, unsigned line,
Roberto Raggi's avatar
Roberto Raggi committed
519
                                          const Macro &macro,
520
                                          const QVector<MacroArgumentReference> &actuals)
521 522 523
{
    if (! m_currentDoc)
        return;
524

525
    m_currentDoc->addMacroUse(revision(m_workingCopy, macro), offset, macro.name().length(), line, actuals);
526
}
527

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

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

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

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

543
    if (m_processed.contains(fn))
544
        return;
con's avatar
con committed
545

546
    m_processed.insert(fn);
con's avatar
con committed
547

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

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

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

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

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

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

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

589 590
            Document::DiagnosticMessage d(Document::DiagnosticMessage::Warning,
                                          m_currentDoc->fileName(),
591
                                          line, /*column = */ 0,
592
                                          msg);
593

594
            m_currentDoc->addDiagnosticMessage(d);
595

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

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

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

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

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

620
    Document::Ptr previousDoc = switchDocument(doc);
con's avatar
con committed
621

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

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

626
    doc->setUtf8Source(preprocessedCode);
627
    doc->keepSourceAndAST();
628
    doc->tokenize();
629

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

Roberto Raggi's avatar
Roberto Raggi committed
633
    Process process(m_modelManager, doc, snapshot, m_workingCopy);
634

Roberto Raggi's avatar
Roberto Raggi committed
635
    process();
636 637

    (void) switchDocument(previousDoc);
638
}
con's avatar
con committed
639

640 641 642 643 644 645
Document::Ptr CppPreprocessor::switchDocument(Document::Ptr doc)
{
    Document::Ptr previousDoc = m_currentDoc;
    m_currentDoc = doc;
    return previousDoc;
}
con's avatar
con committed
646

647
void CppModelManager::updateModifiedSourceFiles()
648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665
{
    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);
}

con's avatar
con committed
666 667 668 669 670 671
/*!
    \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
672
    modified within Qt Creator.
con's avatar
con committed
673 674
*/

675 676 677 678 679 680 681 682 683 684 685 686 687 688
QMutex CppModelManager::m_modelManagerMutex;
CppModelManager *CppModelManager::m_modelManagerInstance = 0;

CppModelManager *CppModelManager::instance()
{
    if (m_modelManagerInstance)
        return m_modelManagerInstance;
    QMutexLocker locker(&m_modelManagerMutex);
    if (!m_modelManagerInstance) {
        m_modelManagerInstance = new CppModelManager;
    }
    return m_modelManagerInstance;
}

689
CppModelManager::CppModelManager(QObject *parent)
690
    : CppModelManagerInterface(parent)
691 692 693
    , m_completionAssistProvider(0)
    , m_highlightingFactory(0)
    , m_indexingSupporter(0)
con's avatar
con committed
694
{
Roberto Raggi's avatar
Roberto Raggi committed
695
    m_findReferences = new CppFindReferences(this);
696
    m_indexerEnabled = qgetenv("QTCREATOR_NO_CODE_INDEXER").isNull();
Roberto Raggi's avatar
Roberto Raggi committed
697

698 699
    m_dirty = true;

700
    ProjectExplorer::ProjectExplorerPlugin *pe =
701
       ProjectExplorer::ProjectExplorerPlugin::instance();
con's avatar
con committed
702

703
    QTC_ASSERT(pe, return);
con's avatar
con committed
704

705
    ProjectExplorer::SessionManager *session = pe->session();
Roberto Raggi's avatar
Roberto Raggi committed
706 707 708 709 710 711
    m_updateEditorSelectionsTimer = new QTimer(this);
    m_updateEditorSelectionsTimer->setInterval(500);
    m_updateEditorSelectionsTimer->setSingleShot(true);
    connect(m_updateEditorSelectionsTimer, SIGNAL(timeout()),
            this, SLOT(updateEditorSelections()));

712 713 714
    connect(session, SIGNAL(projectAdded(ProjectExplorer::Project*)),
            this, SLOT(onProjectAdded(ProjectExplorer::Project*)));

Robert Loehning's avatar
Robert Loehning committed
715 716
    connect(session, SIGNAL(aboutToRemoveProject(ProjectExplorer::Project*)),
            this, SLOT(onAboutToRemoveProject(ProjectExplorer::Project*)));
con's avatar
con committed
717

718
    connect(session, SIGNAL(aboutToUnloadSession(QString)),
719
            this, SLOT(onAboutToUnloadSession()));
con's avatar
con committed
720 721 722 723 724 725

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

    // thread connections
    connect(this, SIGNAL(documentUpdated(CPlusPlus::Document::Ptr)),
            this, SLOT(onDocumentUpdated(CPlusPlus::Document::Ptr)));
726 727
    connect(this, SIGNAL(extraDiagnosticsUpdated(QString)),
            this, SLOT(onExtraDiagnosticsUpdated(QString)));
con's avatar
con committed
728 729

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

Robert Loehning's avatar
Robert Loehning committed
733 734
    connect(Core::ICore::editorManager(), SIGNAL(editorAboutToClose(Core::IEditor*)),
        this, SLOT(editorAboutToClose(Core::IEditor*)));
735

736 737
    m_completionFallback = new InternalCompletionAssistProvider;
    m_completionAssistProvider = m_completionFallback;
738
    ExtensionSystem::PluginManager::addObject(m_completionAssistProvider);
739 740
    m_highlightingFallback = new CppHighlightingSupportInternalFactory;
    m_highlightingFactory = m_highlightingFallback;
741
    m_internalIndexingSupport = new BuiltinIndexingSupport(pp_configuration_file);
con's avatar
con committed
742 743 744
}

CppModelManager::~CppModelManager()
745
{
746
    ExtensionSystem::PluginManager::removeObject(m_completionAssistProvider);
747 748
    delete m_completionFallback;
    delete m_highlightingFallback;
749
    delete m_internalIndexingSupport;
750
}
con's avatar
con committed
751

752
Snapshot CppModelManager::snapshot() const
753
{
754
    QMutexLocker locker(&protectSnapshot);
755 756
    return m_snapshot;
}
con's avatar
con committed
757

758 759 760 761 762 763
void CppModelManager::ensureUpdated()
{
    QMutexLocker locker(&mutex);
    if (! m_dirty)
        return;

764 765 766 767
    m_projectFiles = internalProjectFiles();
    m_includePaths = internalIncludePaths();
    m_frameworkPaths = internalFrameworkPaths();
    m_definedMacros = internalDefinedMacros();
768 769 770
    m_dirty = false;
}

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

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

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

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

835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867
/// This method will aquire the mutex!
void CppModelManager::dumpModelManagerConfiguration()
{
    // Tons of debug output...
    qDebug()<<"========= CppModelManager::dumpModelManagerConfiguration ======";
    foreach (const ProjectInfo &pinfo, m_projects.values()) {
        qDebug()<<" for project:"<< pinfo.project().data()->document()->fileName();
        foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
            qDebug() << "=== part ===";
            qDebug() << "language:" << (part->language == CXX ? "C++" : "ObjC++");
            qDebug() << "C++11:" << part->cxx11Enabled;
            qDebug() << "Qt version:" << part->qtVersion;
            qDebug() << "precompiled header:" << part->precompiledHeaders;
            qDebug() << "defines:" << part->defines;
            qDebug() << "includes:" << part->includePaths;
            qDebug() << "frameworkPaths:" << part->frameworkPaths;
            qDebug() << "sources:" << part->sourceFiles;
            qDebug() << "";
        }
    }

    ensureUpdated();
    qDebug() << "=== Merged include paths ===";
    foreach (const QString &inc, m_includePaths)
        qDebug() << inc;
    qDebug() << "=== Merged framework paths ===";
    foreach (const QString &inc, m_frameworkPaths)
        qDebug() << inc;
    qDebug() << "=== Merged defined macros ===";
    qDebug() << m_definedMacros;
    qDebug()<<"========= End of dump ======";
}

868 869 870 871 872 873 874 875 876 877
void CppModelManager::addEditorSupport(AbstractEditorSupport *editorSupport)
{
    m_addtionalEditorSupport.insert(editorSupport);
}

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

878
QList<int> CppModelManager::references(CPlusPlus::Symbol *symbol, const LookupContext &context)
879
{
880
    return m_findReferences->references(symbol, context);
881 882
}

883
void CppModelManager::findUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context)
Roberto Raggi's avatar
Roberto Raggi committed
884
{
885
    if (symbol->identifier())
886
        m_findReferences->findUsages(symbol, context);
887 888
}

889 890
void CppModelManager::renameUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context,
                                   const QString &replacement)
891 892
{
    if (symbol->identifier())
893
        m_findReferences->renameUsages(symbol, context, replacement);
Roberto Raggi's avatar
Roberto Raggi committed
894 895
}

Christian Kamm's avatar
Christian Kamm committed
896 897 898 899 900
void CppModelManager::findMacroUsages(const CPlusPlus::Macro &macro)
{
    m_findReferences->findMacroUses(macro);
}

901 902 903 904 905
void CppModelManager::renameMacroUsages(const CPlusPlus::Macro &macro, const QString &replacement)
{
    m_findReferences->renameMacroUses(macro, replacement);
}

906
CppModelManager::WorkingCopy CppModelManager::buildWorkingCopyList()
con's avatar
con committed
907
{
908
    WorkingCopy workingCopy;
con's avatar
con committed
909 910 911 912 913
    QMapIterator<TextEditor::ITextEditor *, CppEditorSupport *> it(m_editorSupport);
    while (it.hasNext()) {
        it.next();
        TextEditor::ITextEditor *textEditor = it.key();
        CppEditorSupport *editorSupport = it.value();
914
        QString fileName = textEditor->document()->fileName();
915
        workingCopy.insert(fileName, editorSupport->contents(), editorSupport->editorRevision());
con's avatar
con committed
916 917
    }

918 919 920
    QSetIterator<AbstractEditorSupport *> jt(m_addtionalEditorSupport);
    while (jt.hasNext()) {
        AbstractEditorSupport *es =  jt.next();
921
        workingCopy.insert(es->fileName(), QString::fromUtf8(es->contents()));
922 923
    }

con's avatar
con committed
924 925 926
    // add the project configuration file
    QByteArray conf(pp_configuration);
    conf += definedMacros();
927
    workingCopy.insert(QLatin1String(pp_configuration_file), QString::fromUtf8(conf));
con's avatar
con committed
928 929 930 931

    return workingCopy;
}

932
CppModelManager::WorkingCopy CppModelManager::workingCopy() const
933 934 935 936
{
    return const_cast<CppModelManager *>(this)->buildWorkingCopyList();
}

dt's avatar
dt committed
937
QFuture<void> CppModelManager::updateSourceFiles(const QStringList &sourceFiles)
938 939 940 941
{
    if (sourceFiles.isEmpty() || !m_indexerEnabled)
        return QFuture<void>();

942 943
    if (m_indexingSupporter)
        m_indexingSupporter->refreshSourceFiles(sourceFiles);
944 945
    return m_internalIndexingSupport->refreshSourceFiles(sourceFiles);
}
con's avatar
con committed
946

947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962
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)
{
963 964
    { // only hold the mutex for a limited scope, so the dumping afterwards can aquire it without deadlocking.
        QMutexLocker locker(&mutex);
965

966 967
        if (! pinfo.isValid())
            return;
968

969 970 971
        ProjectExplorer::Project *project = pinfo.project().data();
        m_projects.insert(project, pinfo);
        m_dirty = true;
972

973
        m_srcToProjectPart.clear();
974

975 976 977 978 979
        foreach (const ProjectInfo &projectInfo, m_projects.values())
            foreach (const ProjectPart::Ptr &projectPart, projectInfo.projectParts())
                foreach (const QString &sourceFile, projectPart->sourceFiles)
                    m_srcToProjectPart[sourceFile].append(projectPart);
    }
980

981 982
    if (!qgetenv("QTCREATOR_DUMP_PROJECT_INFO").isEmpty())
        dumpModelManagerConfiguration();
983 984 985 986 987 988 989 990 991
}

QList<CppModelManager::ProjectPart::Ptr> CppModelManager::projectPart(const QString &fileName) const
{
    QList<CppModelManager::ProjectPart::Ptr> parts = m_srcToProjectPart.value(fileName);
    if (!parts.isEmpty())
        return parts;

    //### FIXME: This is a DIRTY hack!