cppmodelmanager.cpp 42.4 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 512 513 514 515 516 517 518
}

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

    m_currentDoc->addUndefinedMacroUse(name, offset);
}

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

Christian Kamm's avatar
Christian Kamm committed
527
    //qDebug() << "start expanding:" << macro.name() << "text:" << originalText;
528
    m_currentDoc->addMacroUse(macro, offset, originalText.length(), env.currentLine,
529
                              actuals);
530
}
531

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

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

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

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

547
    if (m_processed.contains(fn))
548
        return;
con's avatar
con committed
549

550
    m_processed.insert(fn);
con's avatar
con committed
551

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

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

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

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

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

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

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

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

598
            m_currentDoc->addDiagnosticMessage(d);
599

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

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

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

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

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

624
    Document::Ptr previousDoc = switchDocument(doc);
con's avatar
con committed
625

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

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

630
    doc->setUtf8Source(preprocessedCode);
631
    doc->keepSourceAndAST();
632
    doc->tokenize();
633

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

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

Roberto Raggi's avatar
Roberto Raggi committed
640
    process();
641 642

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

    (void) switchDocument(previousDoc);
651
#endif
652
}
con's avatar
con committed
653

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

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

681
CppModelManager *CppModelManager::instance()
682 683
{
    ExtensionSystem::PluginManager *pluginManager = ExtensionSystem::PluginManager::instance();
684
    return pluginManager->getObject<CppModelManager>();
685 686
}

con's avatar
con committed
687 688 689 690 691 692 693

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

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

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

707 708
    m_dirty = true;

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

712
    QTC_ASSERT(pe, return);
con's avatar
con committed
713

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

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

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

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

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

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

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

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

745 746 747
    m_completionFallback = new InternalCompletionAssistProvider;
    m_completionAssistProvider = m_completionFallback;
    ExtensionSystem::PluginManager::instance()->addObject(m_completionAssistProvider);
748 749
    m_highlightingFallback = new CppHighlightingSupportInternalFactory;
    m_highlightingFactory = m_highlightingFallback;
con's avatar
con committed
750 751 752
}

CppModelManager::~CppModelManager()
753
{
754
    ExtensionSystem::PluginManager::instance()->removeObject(m_completionAssistProvider);
755 756 757
    delete m_completionFallback;
    delete m_highlightingFallback;
}
con's avatar
con committed
758

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

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

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

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

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

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

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

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

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

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

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

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

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

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

887 888 889
    QSetIterator<AbstractEditorSupport *> jt(m_addtionalEditorSupport);
    while (jt.hasNext()) {
        AbstractEditorSupport *es =  jt.next();
890
        workingCopy.insert(es->fileName(), es->contents());
891 892
    }

con's avatar
con committed
893 894 895
    // add the project configuration file
    QByteArray conf(pp_configuration);
    conf += definedMacros();
896
    workingCopy.insert(pp_configuration_file, conf);
con's avatar
con committed
897 898 899 900

    return workingCopy;
}

901
CppModelManager::WorkingCopy CppModelManager::workingCopy() const
902 903 904 905
{
    return const_cast<CppModelManager *>(this)->buildWorkingCopyList();
}

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

909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924
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)
{
925 926 927
#if 0
    // Tons of debug output...
    qDebug()<<"========= CppModelManager::updateProjectInfo ======";
Erik Verbruggen's avatar
Erik Verbruggen committed
928 929
    qDebug()<<" for project:"<< pinfo.project().data()->document()->fileName();
    foreach (const ProjectPart::Ptr &part, pinfo.projectParts()) {
930 931
        qDebug() << "=== part ===";
        qDebug() << "language:" << (part->language == CXX ? "C++" : "ObjC++");
Erik Verbruggen's avatar
Erik Verbruggen committed
932 933
        qDebug() << "C++11:" << part->cxx11Enabled;
        qDebug() << "Qt version:" << part->qtVersion;
934 935 936 937 938 939 940 941 942 943
        qDebug() << "precompiled header:" << part->precompiledHeaders;
        qDebug() << "defines:" << part->defines;
        qDebug() << "includes:" << part->includePaths;
        qDebug() << "frameworkPaths:" << part->frameworkPaths;
        qDebug() << "sources:" << part->sourceFiles;
        qDebug() << "";
    }

    qDebug() << "";
#endif
944 945 946 947 948
    QMutexLocker locker(&mutex);

    if (! pinfo.isValid())
        return;

949 950
    ProjectExplorer::Project *project = pinfo.project().data();
    m_projects.insert(project, pinfo);
951
    m_dirty = true;
952 953 954

    m_srcToProjectPart.clear();

955 956 957 958
    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);
959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984
}

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!
    if (fileName.endsWith(".h")) {
        QString cppFile = fileName.mid(0, fileName.length() - 2) + QLatin1String(".cpp");
        parts = m_srcToProjectPart.value(cppFile);
        if (!parts.isEmpty())
            return parts;
    }

    DependencyTable table;
    table.build(snapshot());
    QStringList deps = table.filesDependingOn(fileName);
    foreach (const QString &dep, deps) {
        parts = m_srcToProjectPart.value(dep);
        if (!parts.isEmpty())
            return parts;
    }

    return parts;
985
}
con's avatar
con committed
986 987 988

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