cppmodelmanager.cpp 40.9 KB
Newer Older
1
/**************************************************************************
con's avatar
con committed
2 3 4
**
** This file is part of Qt Creator
**
hjk's avatar
hjk committed
5
** Copyright (c) 2012 Nokia Corporation and/or its subsidiary(-ies).
con's avatar
con committed
6
**
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 38 39 40
#include "cppcompletionsupport.h"
#include "cppcompletionsupportinternal.h"
#include "cpphighlightingsupport.h"
#include "cpphighlightingsupportinternal.h"
41
#include "abstracteditorsupport.h"
Wolfgang Beck's avatar
Wolfgang Beck committed
42 43 44 45 46
#ifndef ICHECK_BUILD
#  include "cpptoolsconstants.h"
#  include "cpptoolseditorsupport.h"
#  include "cppfindreferences.h"
#endif
con's avatar
con committed
47

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

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

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

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

92
#include <QTextBlock>
93

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

97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124
namespace CPlusPlus {
uint qHash(const CppModelManagerInterface::ProjectPart &p)
{
    uint h = qHash(p.defines) ^ p.language ^ p.flags;

    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;
    if (p1.flags != p2.flags)
        return false;
    if (p1.includePaths != p2.includePaths)
        return false;
    return p1.frameworkPaths == p2.frameworkPaths;
}
} // namespace CPlusPlus

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

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

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

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

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

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

204
#ifndef ICHECK_BUILD
205
CppPreprocessor::CppPreprocessor(QPointer<CppModelManager> modelManager)
206 207
    : snapshot(modelManager->snapshot()),
      m_modelManager(modelManager),
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 218 219 220 221 222
#else

CppPreprocessor::CppPreprocessor(QPointer<CPlusPlus::ParseManager> modelManager)
    : preprocess(this, &env),
      m_revision(0)
{
}
#endif

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

378 379 380
    return false;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

506
    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), env.currentLine,
Christian Kamm's avatar
Christian Kamm committed
507 508 509 510 511 512 513 514 515 516 517
                              QVector<MacroArgumentReference>(), true);
}

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

    m_currentDoc->addUndefinedMacroUse(name, offset);
}

518
void CppPreprocessor::startExpandingMacro(unsigned offset,
Roberto Raggi's avatar
Roberto Raggi committed
519
                                          const Macro &macro,
520
                                          const QByteArray &originalText,
Christian Kamm's avatar
Christian Kamm committed
521
                                          bool inCondition,
522
                                          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 529
    m_currentDoc->addMacroUse(macro, offset, originalText.length(), env.currentLine,
                              actuals, inCondition);
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
    //qDebug() << "parse file:" << fileName << "contents:" << contents.size();
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(fileName, contents);
con's avatar
con committed
623

624
    doc->setUtf8Source(preprocessedCode);
625
    doc->keepSourceAndAST();
626
    doc->tokenize();
627

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

631
#ifndef ICHECK_BUILD
Roberto Raggi's avatar
Roberto Raggi committed
632
    Process process(m_modelManager, doc, snapshot, m_workingCopy);
633

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

    (void) switchDocument(previousDoc);
637
#else
638
    doc->releaseSource();
639 640 641 642
    Document::CheckMode mode = Document::FastCheck;
    mode = Document::FullCheck;
    doc->parse();
    doc->check(mode);
Erik Verbruggen's avatar
Erik Verbruggen committed
643 644

    (void) switchDocument(previousDoc);
645
#endif
646
}
con's avatar
con committed
647

648 649 650 651 652 653
Document::Ptr CppPreprocessor::switchDocument(Document::Ptr doc)
{
    Document::Ptr previousDoc = m_currentDoc;
    m_currentDoc = doc;
    return previousDoc;
}
con's avatar
con committed
654

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

675
CppModelManager *CppModelManager::instance()
676 677
{
    ExtensionSystem::PluginManager *pluginManager = ExtensionSystem::PluginManager::instance();
678
    return pluginManager->getObject<CppModelManager>();
679 680
}

con's avatar
con committed
681 682 683 684 685 686 687

/*!
    \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
688
    modified within Qt Creator.
con's avatar
con committed
689 690
*/

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

697
    m_revision = 0;
Roberto Raggi's avatar
Roberto Raggi committed
698 699
    m_synchronizer.setCancelOnWait(true);

700 701
    m_dirty = true;

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

705
    QTC_ASSERT(pe, return);
con's avatar
con committed
706

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

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

con's avatar
con committed
717 718 719
    connect(session, SIGNAL(aboutToRemoveProject(ProjectExplorer::Project *)),
            this, SLOT(onAboutToRemoveProject(ProjectExplorer::Project *)));

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

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

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

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

hjk's avatar
hjk committed
735
    connect(Core::ICore::editorManager(), SIGNAL(editorAboutToClose(Core::IEditor *)),
con's avatar
con committed
736
        this, SLOT(editorAboutToClose(Core::IEditor *)));
737 738 739 740 741

    m_completionFallback = new CppCompletionSupportInternalFactory;
    m_completionFactory = m_completionFallback;
    m_highlightingFallback = new CppHighlightingSupportInternalFactory;
    m_highlightingFactory = m_highlightingFallback;
con's avatar
con committed
742 743 744
}

CppModelManager::~CppModelManager()
745 746 747 748
{
    delete m_completionFallback;
    delete m_highlightingFallback;
}
con's avatar
con committed
749

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

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

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

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

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

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

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

824 825 826 827 828 829 830 831 832 833
void CppModelManager::addEditorSupport(AbstractEditorSupport *editorSupport)
{
    m_addtionalEditorSupport.insert(editorSupport);
}

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

834
QList<int> CppModelManager::references(CPlusPlus::Symbol *symbol, const LookupContext &context)
835
{
836
    return m_findReferences->references(symbol, context);
837 838
}

839
void CppModelManager::findUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context)
Roberto Raggi's avatar
Roberto Raggi committed
840
{
841
    if (symbol->identifier())
842
        m_findReferences->findUsages(symbol, context);
843 844
}

845 846
void CppModelManager::renameUsages(CPlusPlus::Symbol *symbol, const CPlusPlus::LookupContext &context,
                                   const QString &replacement)
847 848
{
    if (symbol->identifier())
849
        m_findReferences->renameUsages(symbol, context, replacement);
Roberto Raggi's avatar
Roberto Raggi committed
850 851
}

Christian Kamm's avatar
Christian Kamm committed
852 853 854 855 856
void CppModelManager::findMacroUsages(const CPlusPlus::Macro &macro)
{
    m_findReferences->findMacroUses(macro);
}

857
CppModelManager::WorkingCopy CppModelManager::buildWorkingCopyList()
con's avatar
con committed
858
{
859
    WorkingCopy workingCopy;
con's avatar
con committed
860 861 862 863 864
    QMapIterator<TextEditor::ITextEditor *, CppEditorSupport *> it(m_editorSupport);
    while (it.hasNext()) {
        it.next();
        TextEditor::ITextEditor *textEditor = it.key();
        CppEditorSupport *editorSupport = it.value();
865
        QString fileName = textEditor->document()->fileName();
866
        workingCopy.insert(fileName, editorSupport->contents(), editorSupport->editorRevision());
con's avatar
con committed
867 868
    }

869 870 871
    QSetIterator<AbstractEditorSupport *> jt(m_addtionalEditorSupport);
    while (jt.hasNext()) {
        AbstractEditorSupport *es =  jt.next();
872
        workingCopy.insert(es->fileName(), es->contents());
873 874
    }

con's avatar
con committed
875 876 877
    // add the project configuration file
    QByteArray conf(pp_configuration);
    conf += definedMacros();
878
    workingCopy.insert(pp_configuration_file, conf);
con's avatar
con committed
879 880 881 882

    return workingCopy;
}

883
CppModelManager::WorkingCopy CppModelManager::workingCopy() const
884 885 886 887
{
    return const_cast<CppModelManager *>(this)->buildWorkingCopyList();
}

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

891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906
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)
{
907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924
#if 0
    // Tons of debug output...
    qDebug()<<"========= CppModelManager::updateProjectInfo ======";
    qDebug()<<" for project:"<< pinfo.project.data()->file()->fileName();
    foreach (const ProjectPart::Ptr &part, pinfo.projectParts) {
        qDebug() << "=== part ===";
        qDebug() << "language:" << (part->language == CXX ? "C++" : "ObjC++");
        qDebug() << "compilerflags:" << part->flags;
        qDebug() << "precompiled header:" << part->precompiledHeaders;
        qDebug() << "defines:" << part->defines;
        qDebug() << "includes:" << part->includePaths;
        qDebug() << "frameworkPaths:" << part->frameworkPaths;
        qDebug() << "sources:" << part->sourceFiles;
        qDebug() << "";
    }

    qDebug() << "";
#endif
925 926 927 928 929
    QMutexLocker locker(&mutex);

    if (! pinfo.isValid())
        return;

930 931
    ProjectExplorer::Project *project = pinfo.project().data();
    m_projects.insert(project, pinfo);
932
    m_dirty = true;
933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966

    m_srcToProjectPart.clear();

    foreach (const ProjectPart::Ptr &projectPart, pinfo.projectParts()) {
        foreach (const QString &sourceFile, projectPart->sourceFiles) {
            m_srcToProjectPart[sourceFile].append(projectPart);
        }
    }
}

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;
967
}
con's avatar
con committed
968 969 970

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

974
        CppPreprocessor *preproc = new CppPreprocessor(this);
975
        preproc->setRevision(++m_revision);
976 977 978 979 980 981 982
        preproc->setProjectFiles(projectFiles());
        preproc->setIncludePaths(includePaths());
        preproc->setFrameworkPaths(frameworkPaths());
        preproc->setWorkingCopy(workingCopy);

        QFuture<void> result = QtConcurrent::run(&CppModelManager::parse,
                                                 preproc, sourceFiles);
con's avatar
con committed
983

Roberto Raggi's avatar
Roberto Raggi committed
984 985 986 987 988
        if (m_synchronizer.futures().size() > 10) {
            QList<QFuture<void> > futures = m_synchronizer.futures();

            m_synchronizer.clearFutures();

989
            foreach (