cppmodelmanager.cpp 43 KB
Newer Older
1
/**************************************************************************
con's avatar
con committed
2 3 4
**
** This file is part of Qt Creator
**
hjk's avatar
hjk committed
5
** Copyright (c) 2012 Nokia Corporation and/or its subsidiary(-ies).
con's avatar
con committed
6
**
Eike Ziller's avatar
Eike Ziller committed
7
** Contact: http://www.qt-project.org/
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
**
29
**************************************************************************/
hjk's avatar
hjk committed
30

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

#include "cppmodelmanager.h"
35
#include "cppcompletionassist.h"
36 37
#include "cpphighlightingsupport.h"
#include "cpphighlightingsupportinternal.h"
38
#include "abstracteditorsupport.h"
Wolfgang Beck's avatar
Wolfgang Beck committed
39 40 41 42 43
#ifndef ICHECK_BUILD
#  include "cpptoolsconstants.h"
#  include "cpptoolseditorsupport.h"
#  include "cppfindreferences.h"
#endif
con's avatar
con committed
44

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

65
#include <utils/hostosinfo.h>
hjk's avatar
hjk committed
66 67
#include <utils/qtcassert.h>

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

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

90
#include <QTextBlock>
91

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

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

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

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

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 162 163 164 165 166
#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
167
#endif // QTCREATOR_WITH_DUMP_AST
168

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

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

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

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

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

213 214 215 216
#else

CppPreprocessor::CppPreprocessor(QPointer<CPlusPlus::ParseManager> modelManager)
    : preprocess(this, &env),
217
      m_dumpFileNameWhileParsing(false),
218 219 220 221 222
      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
        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;
                }
251
            }
252 253 254
            m_includePaths.append(path);
        } else {
            m_includePaths.append(path);
255 256 257
        }
    }
}
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

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

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

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

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

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

518 519 520 521 522 523 524 525 526 527
void CppPreprocessor::notifyMacroReference(unsigned offset, unsigned line, const Macro &macro)
{
    if (! m_currentDoc)
        return;

    m_currentDoc->addMacroUse(macro, offset, macro.name().length(), line,
                              QVector<MacroArgumentReference>());
}

void CppPreprocessor::startExpandingMacro(unsigned offset, unsigned line,
Roberto Raggi's avatar
Roberto Raggi committed
528
                                          const Macro &macro,
529
                                          const QVector<MacroArgumentReference> &actuals)
530 531 532
{
    if (! m_currentDoc)
        return;
533

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

603
            m_currentDoc->addDiagnosticMessage(d);
604

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

712 713
    m_dirty = true;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

783
QStringList CppModelManager::internalProjectFiles() const
con's avatar
con committed
784 785 786 787 788 789
{
    QStringList files;
    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())
            files += part->sourceFiles;
con's avatar
con committed
792
    }
793
    files.removeDuplicates();
con's avatar
con committed
794 795 796
    return files;
}

797
QStringList CppModelManager::internalIncludePaths() const
con's avatar
con committed
798 799 800 801 802 803
{
    QStringList includePaths;
    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())
            includePaths += part->includePaths;
con's avatar
con committed
806
    }
807
    includePaths.removeDuplicates();
con's avatar
con committed
808 809 810
    return includePaths;
}

811
QStringList CppModelManager::internalFrameworkPaths() const
con's avatar
con committed
812 813 814 815 816 817
{
    QStringList frameworkPaths;
    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())
            frameworkPaths += part->frameworkPaths;
con's avatar
con committed
820
    }
821
    frameworkPaths.removeDuplicates();
con's avatar
con committed
822 823 824
    return frameworkPaths;
}

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

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

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

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

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

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

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

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

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

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

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

    return workingCopy;
}

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

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

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

    qDebug() << "";
#endif
954 955 956 957 958
    QMutexLocker locker(&mutex);

    if (! pinfo.isValid())
        return;

959 960
    ProjectExplorer::Project *project = pinfo.project().data();
    m_projects.insert(project, pinfo);
961
    m_dirty = true;
962 963 964

    m_srcToProjectPart.clear();

965 966 967 968
    foreach (const ProjectInfo &projectInfo, m_projects.values())
        foreach (const ProjectPart::Ptr &projectPart, projectInfo.projectParts())
            foreach (const QString &sourceFile, projectPart->sour