Control.cpp 25.1 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) 2010 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
** Commercial Usage
10
**
11 12 13 14
** Licensees holding valid Qt Commercial licenses may use this file in
** accordance with the Qt Commercial License Agreement provided with the
** Software or, alternatively, in accordance with the terms contained in
** a written agreement between you and Nokia.
15
**
16
** GNU Lesser General Public License Usage
17
**
18 19 20 21 22 23
** Alternatively, this file may be used under the terms of the GNU Lesser
** General Public License version 2.1 as published by the Free Software
** Foundation and appearing in the file LICENSE.LGPL included in the
** packaging of this file.  Please review the following information to
** ensure the GNU Lesser General Public License version 2.1 requirements
** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
24
**
25
** If you are unsure which license is appropriate for your use, please
hjk's avatar
hjk committed
26
** contact the sales department at http://qt.nokia.com/contact.
con's avatar
con committed
27
**
28
**************************************************************************/
con's avatar
con committed
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55
// Copyright (c) 2008 Roberto Raggi <roberto.raggi@gmail.com>
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

#include "Control.h"
#include "Literals.h"
#include "LiteralTable.h"
#include "TranslationUnit.h"
#include "CoreTypes.h"
#include "Symbols.h"
#include "Names.h"
56
#include "TypeMatcher.h"
Roberto Raggi's avatar
Roberto Raggi committed
57 58
#include <map>
#include <set>
con's avatar
con committed
59

Roberto Raggi's avatar
Roberto Raggi committed
60
using namespace CPlusPlus;
con's avatar
con committed
61

Roberto Raggi's avatar
Roberto Raggi committed
62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 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 125 126 127 128 129 130
namespace {

template <typename _Tp>
struct Compare;

template <> struct Compare<IntegerType>
{
    bool operator()(const IntegerType &ty, const IntegerType &otherTy) const
    { return ty.kind() < otherTy.kind(); }
};

template <> struct Compare<FloatType>
{
    bool operator()(const FloatType &ty, const FloatType &otherTy) const
    { return ty.kind() < otherTy.kind(); }
};

template <> struct Compare<PointerToMemberType>
{
    bool operator()(const PointerToMemberType &ty, const PointerToMemberType &otherTy) const
    {
        if (ty.memberName() < otherTy.memberName())
            return true;

        else if (ty.memberName() == otherTy.memberName())
            return ty.elementType() < otherTy.elementType();

        return false;
    }
};

template <> struct Compare<PointerType>
{
    bool operator()(const PointerType &ty, const PointerType &otherTy) const
    {
        return ty.elementType() < otherTy.elementType();
    }
};

template <> struct Compare<ReferenceType>
{
    bool operator()(const ReferenceType &ty, const ReferenceType &otherTy) const
    {
        return ty.elementType() < otherTy.elementType();
    }
};

template <> struct Compare<NamedType>
{
    bool operator()(const NamedType &ty, const NamedType &otherTy) const
    {
        return ty.name() < otherTy.name();
    }
};

template <> struct Compare<ArrayType>
{
    bool operator()(const ArrayType &ty, const ArrayType &otherTy) const
    {
        if (ty.size() < otherTy.size())
            return true;

        else if (ty.size() == otherTy.size())
            return ty.elementType() < otherTy.elementType();

        return false;
    }
};

Roberto Raggi's avatar
Roberto Raggi committed
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 169 170 171 172 173 174 175 176 177 178 179
template <> struct Compare<NameId>
{
    bool operator()(const NameId &name, const NameId &otherName) const
    {
        return name.identifier() < otherName.identifier();
    }
};

template <> struct Compare<DestructorNameId>
{
    bool operator()(const DestructorNameId &name, const DestructorNameId &otherName) const
    {
        return name.identifier() < otherName.identifier();
    }
};

template <> struct Compare<OperatorNameId>
{
    bool operator()(const OperatorNameId &name, const OperatorNameId &otherName) const
    {
        return name.kind() < otherName.kind();
    }
};

template <> struct Compare<ConversionNameId>
{
    bool operator()(const ConversionNameId &name, const ConversionNameId &otherName) const
    {
        return name.type() < otherName.type();
    }
};
template <> struct Compare<TemplateNameId>
{
    bool operator()(const TemplateNameId &name, const TemplateNameId &otherName) const
    {
        const Identifier *id = name.identifier();
        const Identifier *otherId = otherName.identifier();

        if (id == otherId)
            return std::lexicographical_compare(name.firstTemplateArgument(), name.lastTemplateArgument(),
                                                otherName.firstTemplateArgument(), otherName.lastTemplateArgument());

        return id < otherId;
    }
};
template <> struct Compare<QualifiedNameId>
{
    bool operator()(const QualifiedNameId &name, const QualifiedNameId &otherName) const
    {
180 181
        if (name.base() == otherName.base())
            return name.name() < otherName.name();
Roberto Raggi's avatar
Roberto Raggi committed
182

183
        return name.base() < otherName.base();
Roberto Raggi's avatar
Roberto Raggi committed
184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199
    }
};

template <> struct Compare<SelectorNameId>
{
    bool operator()(const SelectorNameId &name, const SelectorNameId &otherName) const
    {
        if (name.hasArguments() == otherName.hasArguments())
            return std::lexicographical_compare(name.firstName(), name.lastName(),
                                                otherName.firstName(), otherName.lastName());

        return name.hasArguments() < otherName.hasArguments();
    }
};


Roberto Raggi's avatar
Roberto Raggi committed
200 201 202
template <typename _Tp>
class Table: public std::set<_Tp, Compare<_Tp> >
{
203
    typedef std::set<_Tp, Compare<_Tp> > _Base;
Roberto Raggi's avatar
Roberto Raggi committed
204 205
public:
    _Tp *intern(const _Tp &element)
206
    { return const_cast<_Tp *>(&*_Base::insert(element).first); }
Roberto Raggi's avatar
Roberto Raggi committed
207 208 209 210
};

} // end of anonymous namespace

211
#ifdef Q_OS_SYMBIAN
Wolfgang Beck's avatar
Wolfgang Beck committed
212 213 214 215 216 217 218 219 220
//Symbian compiler has some difficulties to understand the templates.
static void delete_array_entries(std::vector<Symbol *> vt)
{
    std::vector<Symbol *>::iterator it;
    for (it = vt.begin(); it != vt.end(); ++it) {
        delete *it;
    }
}
#else
221 222 223 224 225 226 227
template <typename _Iterator>
static void delete_array_entries(_Iterator first, _Iterator last)
{
    for (; first != last; ++first)
        delete *first;
}

con's avatar
con committed
228 229
template <typename _Array>
static void delete_array_entries(const _Array &a)
230
{ delete_array_entries(a.begin(), a.end()); }
Wolfgang Beck's avatar
Wolfgang Beck committed
231
#endif
232

con's avatar
con committed
233 234 235 236
class Control::Data
{
public:
    Data(Control *control)
Erik Verbruggen's avatar
Erik Verbruggen committed
237 238 239 240 241 242 243 244 245 246 247 248 249
        : control(control)
        , translationUnit(0)
        , diagnosticClient(0)
        , deprecatedId(0)
        , unavailableId(0)
        , objcGetterId(0)
        , objcSetterId(0)
        , objcReadwriteId(0)
        , objcReadonlyId(0)
        , objcAssignId(0)
        , objcRetainId(0)
        , objcCopyId(0)
        , objcNonatomicId(0)
250
    {}
con's avatar
con committed
251 252 253 254

    ~Data()
    {
        // symbols
255
        delete_array_entries(symbols);
con's avatar
con committed
256 257
    }

Roberto Raggi's avatar
Roberto Raggi committed
258
    const NameId *findOrInsertNameId(const Identifier *id)
con's avatar
con committed
259 260 261
    {
        if (! id)
            return 0;
Roberto Raggi's avatar
Roberto Raggi committed
262 263

        return nameIds.intern(NameId(id));
con's avatar
con committed
264 265
    }

Roberto Raggi's avatar
Roberto Raggi committed
266 267
    template <typename _Iterator>
    const TemplateNameId *findOrInsertTemplateNameId(const Identifier *id, _Iterator first, _Iterator last)
con's avatar
con committed
268
    {
Roberto Raggi's avatar
Roberto Raggi committed
269
        return templateNameIds.intern(TemplateNameId(id, first, last));
con's avatar
con committed
270 271
    }

Roberto Raggi's avatar
Roberto Raggi committed
272
    const DestructorNameId *findOrInsertDestructorNameId(const Identifier *id)
con's avatar
con committed
273
    {
Roberto Raggi's avatar
Roberto Raggi committed
274
        return destructorNameIds.intern(DestructorNameId(id));
con's avatar
con committed
275 276
    }

Roberto Raggi's avatar
Roberto Raggi committed
277
    const OperatorNameId *findOrInsertOperatorNameId(int kind)
con's avatar
con committed
278
    {
Roberto Raggi's avatar
Roberto Raggi committed
279
        return operatorNameIds.intern(OperatorNameId(kind));
con's avatar
con committed
280 281
    }

Roberto Raggi's avatar
Roberto Raggi committed
282
    const ConversionNameId *findOrInsertConversionNameId(const FullySpecifiedType &type)
con's avatar
con committed
283
    {
Roberto Raggi's avatar
Roberto Raggi committed
284
        return conversionNameIds.intern(ConversionNameId(type));
con's avatar
con committed
285 286
    }

287
    const QualifiedNameId *findOrInsertQualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
288
    {
289
        return qualifiedNameIds.intern(QualifiedNameId(base, name));
con's avatar
con committed
290 291
    }

Roberto Raggi's avatar
Roberto Raggi committed
292 293
    template <typename _Iterator>
    const SelectorNameId *findOrInsertSelectorNameId(_Iterator first, _Iterator last, bool hasArguments)
294
    {
Roberto Raggi's avatar
Roberto Raggi committed
295
        return selectorNameIds.intern(SelectorNameId(first, last, hasArguments));
296 297
    }

con's avatar
con committed
298 299
    IntegerType *findOrInsertIntegerType(int kind)
    {
Roberto Raggi's avatar
Roberto Raggi committed
300
        return integerTypes.intern(IntegerType(kind));
con's avatar
con committed
301 302 303 304
    }

    FloatType *findOrInsertFloatType(int kind)
    {
Roberto Raggi's avatar
Roberto Raggi committed
305
        return floatTypes.intern(FloatType(kind));
con's avatar
con committed
306 307
    }

Roberto Raggi's avatar
Roberto Raggi committed
308
    PointerToMemberType *findOrInsertPointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
309
    {
Roberto Raggi's avatar
Roberto Raggi committed
310
        return pointerToMemberTypes.intern(PointerToMemberType(memberName, elementType));
con's avatar
con committed
311 312
    }

313
    PointerType *findOrInsertPointerType(const FullySpecifiedType &elementType)
con's avatar
con committed
314
    {
Roberto Raggi's avatar
Roberto Raggi committed
315
        return pointerTypes.intern(PointerType(elementType));
con's avatar
con committed
316 317
    }

318
    ReferenceType *findOrInsertReferenceType(const FullySpecifiedType &elementType, bool rvalueRef)
con's avatar
con committed
319
    {
320
        return referenceTypes.intern(ReferenceType(elementType, rvalueRef));
con's avatar
con committed
321 322
    }

323
    ArrayType *findOrInsertArrayType(const FullySpecifiedType &elementType, unsigned size)
con's avatar
con committed
324
    {
Roberto Raggi's avatar
Roberto Raggi committed
325
        return arrayTypes.intern(ArrayType(elementType, size));
con's avatar
con committed
326 327
    }

Roberto Raggi's avatar
Roberto Raggi committed
328
    NamedType *findOrInsertNamedType(const Name *name)
con's avatar
con committed
329
    {
Roberto Raggi's avatar
Roberto Raggi committed
330
        return namedTypes.intern(NamedType(name));
con's avatar
con committed
331 332
    }

Roberto Raggi's avatar
Roberto Raggi committed
333
    Declaration *newDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
334 335 336
    {
        Declaration *declaration = new Declaration(translationUnit,
                                                   sourceLocation, name);
337
        symbols.push_back(declaration);
con's avatar
con committed
338 339 340
        return declaration;
    }

Roberto Raggi's avatar
Roberto Raggi committed
341
    Argument *newArgument(unsigned sourceLocation, const Name *name)
con's avatar
con committed
342 343 344
    {
        Argument *argument = new Argument(translationUnit,
                                          sourceLocation, name);
345
        symbols.push_back(argument);
con's avatar
con committed
346 347 348
        return argument;
    }

Roberto Raggi's avatar
Roberto Raggi committed
349 350 351 352 353 354 355 356
    TypenameArgument *newTypenameArgument(unsigned sourceLocation, const Name *name)
    {
        TypenameArgument *argument = new TypenameArgument(translationUnit,
                                                          sourceLocation, name);
        symbols.push_back(argument);
        return argument;
    }

Roberto Raggi's avatar
Roberto Raggi committed
357
    Function *newFunction(unsigned sourceLocation, const Name *name)
con's avatar
con committed
358 359 360
    {
        Function *function = new Function(translationUnit,
                                          sourceLocation, name);
361
        symbols.push_back(function);
con's avatar
con committed
362 363 364
        return function;
    }

Roberto Raggi's avatar
Roberto Raggi committed
365
    BaseClass *newBaseClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
366 367 368
    {
        BaseClass *baseClass = new BaseClass(translationUnit,
                                             sourceLocation, name);
369
        symbols.push_back(baseClass);
con's avatar
con committed
370 371 372 373 374 375
        return baseClass;
    }

    Block *newBlock(unsigned sourceLocation)
    {
        Block *block = new Block(translationUnit, sourceLocation);
376
        symbols.push_back(block);
con's avatar
con committed
377 378 379
        return block;
    }

Roberto Raggi's avatar
Roberto Raggi committed
380
    Class *newClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
381 382 383
    {
        Class *klass = new Class(translationUnit,
                                 sourceLocation, name);
384
        symbols.push_back(klass);
con's avatar
con committed
385 386 387
        return klass;
    }

Roberto Raggi's avatar
Roberto Raggi committed
388
    Namespace *newNamespace(unsigned sourceLocation, const Name *name)
con's avatar
con committed
389 390 391
    {
        Namespace *ns = new Namespace(translationUnit,
                                      sourceLocation, name);
392
        symbols.push_back(ns);
con's avatar
con committed
393 394 395
        return ns;
    }

396 397 398 399 400 401 402 403
    NamespaceAlias *newNamespaceAlias(unsigned sourceLocation, const Name *name)
    {
        NamespaceAlias *ns = new NamespaceAlias(translationUnit,
                                                sourceLocation, name);
        symbols.push_back(ns);
        return ns;
    }

Roberto Raggi's avatar
Roberto Raggi committed
404
    UsingNamespaceDirective *newUsingNamespaceDirective(unsigned sourceLocation, const Name *name)
con's avatar
con committed
405 406 407
    {
        UsingNamespaceDirective *u = new UsingNamespaceDirective(translationUnit,
                                                                 sourceLocation, name);
408
        symbols.push_back(u);
con's avatar
con committed
409 410 411
        return u;
    }

Roberto Raggi's avatar
Roberto Raggi committed
412
    ForwardClassDeclaration *newForwardClassDeclaration(unsigned sourceLocation, const Name *name)
413 414 415
    {
        ForwardClassDeclaration *c = new ForwardClassDeclaration(translationUnit,
                                                                 sourceLocation, name);
416
        symbols.push_back(c);
417 418 419
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
420
    ObjCBaseClass *newObjCBaseClass(unsigned sourceLocation, const Name *name)
421 422
    {
        ObjCBaseClass *c = new ObjCBaseClass(translationUnit, sourceLocation, name);
423
        symbols.push_back(c);
424 425 426
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
427
    ObjCBaseProtocol *newObjCBaseProtocol(unsigned sourceLocation, const Name *name)
428 429
    {
        ObjCBaseProtocol *p = new ObjCBaseProtocol(translationUnit, sourceLocation, name);
430
        symbols.push_back(p);
431 432 433
        return p;
    }

Roberto Raggi's avatar
Roberto Raggi committed
434
    ObjCClass *newObjCClass(unsigned sourceLocation, const Name *name)
435 436
    {
        ObjCClass *c = new ObjCClass(translationUnit, sourceLocation, name);
437
        symbols.push_back(c);
438 439 440
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
441
    ObjCForwardClassDeclaration *newObjCForwardClassDeclaration(unsigned sourceLocation, const Name *name)
442 443
    {
        ObjCForwardClassDeclaration *fwd = new ObjCForwardClassDeclaration(translationUnit, sourceLocation, name);
444
        symbols.push_back(fwd);
445 446 447
        return fwd;
    }

Roberto Raggi's avatar
Roberto Raggi committed
448
    ObjCProtocol *newObjCProtocol(unsigned sourceLocation, const Name *name)
449 450
    {
        ObjCProtocol *p = new ObjCProtocol(translationUnit, sourceLocation, name);
451
        symbols.push_back(p);
452 453 454
        return p;
    }

Roberto Raggi's avatar
Roberto Raggi committed
455
    ObjCForwardProtocolDeclaration *newObjCForwardProtocolDeclaration(unsigned sourceLocation, const Name *name)
456 457
    {
        ObjCForwardProtocolDeclaration *fwd = new ObjCForwardProtocolDeclaration(translationUnit, sourceLocation, name);
458
        symbols.push_back(fwd);
459 460 461
        return fwd;
    }

Roberto Raggi's avatar
Roberto Raggi committed
462
    ObjCMethod *newObjCMethod(unsigned sourceLocation, const Name *name)
463 464
    {
        ObjCMethod *method = new ObjCMethod(translationUnit, sourceLocation, name);
465
        symbols.push_back(method);
466 467 468
        return method;
    }

Roberto Raggi's avatar
Roberto Raggi committed
469
    ObjCPropertyDeclaration *newObjCPropertyDeclaration(unsigned sourceLocation, const Name *name)
470 471
    {
        ObjCPropertyDeclaration *decl = new ObjCPropertyDeclaration(translationUnit, sourceLocation, name);
472
        symbols.push_back(decl);
473 474 475
        return decl;
    }

Roberto Raggi's avatar
Roberto Raggi committed
476
    Enum *newEnum(unsigned sourceLocation, const Name *name)
con's avatar
con committed
477 478 479
    {
        Enum *e = new Enum(translationUnit,
                           sourceLocation, name);
480
        symbols.push_back(e);
con's avatar
con committed
481 482 483
        return e;
    }

Roberto Raggi's avatar
Roberto Raggi committed
484
    UsingDeclaration *newUsingDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
485 486 487
    {
        UsingDeclaration *u = new UsingDeclaration(translationUnit,
                                                   sourceLocation, name);
488
        symbols.push_back(u);
con's avatar
con committed
489 490 491 492 493 494
        return u;
    }

    Control *control;
    TranslationUnit *translationUnit;
    DiagnosticClient *diagnosticClient;
495 496 497

    TypeMatcher matcher;

con's avatar
con committed
498 499 500 501 502 503 504
    LiteralTable<Identifier> identifiers;
    LiteralTable<StringLiteral> stringLiterals;
    LiteralTable<NumericLiteral> numericLiterals;

    // ### replace std::map with lookup tables. ASAP!

    // names
Roberto Raggi's avatar
Roberto Raggi committed
505 506 507 508 509 510 511
    Table<NameId> nameIds;
    Table<DestructorNameId> destructorNameIds;
    Table<OperatorNameId> operatorNameIds;
    Table<ConversionNameId> conversionNameIds;
    Table<TemplateNameId> templateNameIds;
    Table<QualifiedNameId> qualifiedNameIds;
    Table<SelectorNameId> selectorNameIds;
con's avatar
con committed
512 513 514

    // types
    VoidType voidType;
Roberto Raggi's avatar
Roberto Raggi committed
515 516 517 518 519 520 521
    Table<IntegerType> integerTypes;
    Table<FloatType> floatTypes;
    Table<PointerToMemberType> pointerToMemberTypes;
    Table<PointerType> pointerTypes;
    Table<ReferenceType> referenceTypes;
    Table<ArrayType> arrayTypes;
    Table<NamedType> namedTypes;
con's avatar
con committed
522 523

    // symbols
524
    std::vector<Symbol *> symbols;
525

Erik Verbruggen's avatar
Erik Verbruggen committed
526
    const Identifier *deprecatedId;
527
    const Identifier *unavailableId;
528
    // ObjC context keywords:
Roberto Raggi's avatar
Roberto Raggi committed
529 530 531 532 533 534 535 536
    const Identifier *objcGetterId;
    const Identifier *objcSetterId;
    const Identifier *objcReadwriteId;
    const Identifier *objcReadonlyId;
    const Identifier *objcAssignId;
    const Identifier *objcRetainId;
    const Identifier *objcCopyId;
    const Identifier *objcNonatomicId;
con's avatar
con committed
537 538 539
};

Control::Control()
540 541 542
{
    d = new Data(this);

Erik Verbruggen's avatar
Erik Verbruggen committed
543
    d->deprecatedId = findOrInsertIdentifier("deprecated");
544
    d->unavailableId = findOrInsertIdentifier("unavailable");
Erik Verbruggen's avatar
Erik Verbruggen committed
545

546 547 548 549 550 551 552 553 554
    d->objcGetterId = findOrInsertIdentifier("getter");
    d->objcSetterId = findOrInsertIdentifier("setter");
    d->objcReadwriteId = findOrInsertIdentifier("readwrite");
    d->objcReadonlyId = findOrInsertIdentifier("readonly");
    d->objcAssignId = findOrInsertIdentifier("assign");
    d->objcRetainId = findOrInsertIdentifier("retain");
    d->objcCopyId = findOrInsertIdentifier("copy");
    d->objcNonatomicId = findOrInsertIdentifier("nonatomic");
}
con's avatar
con committed
555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574

Control::~Control()
{ delete d; }

TranslationUnit *Control::translationUnit() const
{ return d->translationUnit; }

TranslationUnit *Control::switchTranslationUnit(TranslationUnit *unit)
{
    TranslationUnit *previousTranslationUnit = d->translationUnit;
    d->translationUnit = unit;
    return previousTranslationUnit;
}

DiagnosticClient *Control::diagnosticClient() const
{ return d->diagnosticClient; }

void Control::setDiagnosticClient(DiagnosticClient *diagnosticClient)
{ d->diagnosticClient = diagnosticClient; }

Roberto Raggi's avatar
Roberto Raggi committed
575
const Identifier *Control::findIdentifier(const char *chars, unsigned size) const
576 577
{ return d->identifiers.findLiteral(chars, size); }

Roberto Raggi's avatar
Roberto Raggi committed
578
const Identifier *Control::findOrInsertIdentifier(const char *chars, unsigned size)
con's avatar
con committed
579 580
{ return d->identifiers.findOrInsertLiteral(chars, size); }

Roberto Raggi's avatar
Roberto Raggi committed
581
const Identifier *Control::findOrInsertIdentifier(const char *chars)
con's avatar
con committed
582
{
Roberto Raggi's avatar
Roberto Raggi committed
583
    unsigned length = std::strlen(chars);
con's avatar
con committed
584 585 586
    return findOrInsertIdentifier(chars, length);
}

587 588 589 590 591 592
Control::IdentifierIterator Control::firstIdentifier() const
{ return d->identifiers.begin(); }

Control::IdentifierIterator Control::lastIdentifier() const
{ return d->identifiers.end(); }

593 594 595 596 597 598 599 600 601 602 603 604
Control::StringLiteralIterator Control::firstStringLiteral() const
{ return d->stringLiterals.begin(); }

Control::StringLiteralIterator Control::lastStringLiteral() const
{ return d->stringLiterals.end(); }

Control::NumericLiteralIterator Control::firstNumericLiteral() const
{ return d->numericLiterals.begin(); }

Control::NumericLiteralIterator Control::lastNumericLiteral() const
{ return d->numericLiterals.end(); }

Roberto Raggi's avatar
Roberto Raggi committed
605
const StringLiteral *Control::findOrInsertStringLiteral(const char *chars, unsigned size)
con's avatar
con committed
606 607
{ return d->stringLiterals.findOrInsertLiteral(chars, size); }

Roberto Raggi's avatar
Roberto Raggi committed
608
const StringLiteral *Control::findOrInsertStringLiteral(const char *chars)
con's avatar
con committed
609
{
Roberto Raggi's avatar
Roberto Raggi committed
610
    unsigned length = std::strlen(chars);
con's avatar
con committed
611 612 613
    return findOrInsertStringLiteral(chars, length);
}

Roberto Raggi's avatar
Roberto Raggi committed
614
const NumericLiteral *Control::findOrInsertNumericLiteral(const char *chars, unsigned size)
con's avatar
con committed
615 616
{ return d->numericLiterals.findOrInsertLiteral(chars, size); }

Roberto Raggi's avatar
Roberto Raggi committed
617
const NumericLiteral *Control::findOrInsertNumericLiteral(const char *chars)
con's avatar
con committed
618
{
Roberto Raggi's avatar
Roberto Raggi committed
619
    unsigned length = std::strlen(chars);
con's avatar
con committed
620 621 622
    return findOrInsertNumericLiteral(chars, length);
}

Roberto Raggi's avatar
Roberto Raggi committed
623
const NameId *Control::nameId(const Identifier *id)
con's avatar
con committed
624 625
{ return d->findOrInsertNameId(id); }

Roberto Raggi's avatar
Roberto Raggi committed
626 627 628
const TemplateNameId *Control::templateNameId(const Identifier *id,
                                              const FullySpecifiedType *const args,
                                              unsigned argv)
con's avatar
con committed
629
{
Roberto Raggi's avatar
Roberto Raggi committed
630
    return d->findOrInsertTemplateNameId(id, args, args + argv);
con's avatar
con committed
631 632
}

Roberto Raggi's avatar
Roberto Raggi committed
633
const DestructorNameId *Control::destructorNameId(const Identifier *id)
con's avatar
con committed
634 635
{ return d->findOrInsertDestructorNameId(id); }

Roberto Raggi's avatar
Roberto Raggi committed
636
const OperatorNameId *Control::operatorNameId(int kind)
con's avatar
con committed
637 638
{ return d->findOrInsertOperatorNameId(kind); }

Roberto Raggi's avatar
Roberto Raggi committed
639
const ConversionNameId *Control::conversionNameId(const FullySpecifiedType &type)
con's avatar
con committed
640 641
{ return d->findOrInsertConversionNameId(type); }

642
const QualifiedNameId *Control::qualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
643
{
644
    return d->findOrInsertQualifiedNameId(base, name);
con's avatar
con committed
645 646
}

Roberto Raggi's avatar
Roberto Raggi committed
647 648 649
const SelectorNameId *Control::selectorNameId(const Name *const *names,
                                              unsigned nameCount,
                                              bool hasArguments)
650
{
Roberto Raggi's avatar
Roberto Raggi committed
651
    return d->findOrInsertSelectorNameId(names, names + nameCount, hasArguments);
652 653 654
}


con's avatar
con committed
655 656 657 658 659 660 661 662 663
VoidType *Control::voidType()
{ return &d->voidType; }

IntegerType *Control::integerType(int kind)
{ return d->findOrInsertIntegerType(kind); }

FloatType *Control::floatType(int kind)
{ return d->findOrInsertFloatType(kind); }

Roberto Raggi's avatar
Roberto Raggi committed
664
PointerToMemberType *Control::pointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
665 666
{ return d->findOrInsertPointerToMemberType(memberName, elementType); }

667
PointerType *Control::pointerType(const FullySpecifiedType &elementType)
con's avatar
con committed
668 669
{ return d->findOrInsertPointerType(elementType); }

670 671
ReferenceType *Control::referenceType(const FullySpecifiedType &elementType, bool rvalueRef)
{ return d->findOrInsertReferenceType(elementType, rvalueRef); }
con's avatar
con committed
672

673
ArrayType *Control::arrayType(const FullySpecifiedType &elementType, unsigned size)
con's avatar
con committed
674 675
{ return d->findOrInsertArrayType(elementType, size); }

Roberto Raggi's avatar
Roberto Raggi committed
676
NamedType *Control::namedType(const Name *name)
con's avatar
con committed
677 678
{ return d->findOrInsertNamedType(name); }

Roberto Raggi's avatar
Roberto Raggi committed
679
Argument *Control::newArgument(unsigned sourceLocation, const Name *name)
con's avatar
con committed
680 681
{ return d->newArgument(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
682 683 684
TypenameArgument *Control::newTypenameArgument(unsigned sourceLocation, const Name *name)
{ return d->newTypenameArgument(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
685
Function *Control::newFunction(unsigned sourceLocation, const Name *name)
con's avatar
con committed
686 687
{ return d->newFunction(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
688
Namespace *Control::newNamespace(unsigned sourceLocation, const Name *name)
con's avatar
con committed
689 690
{ return d->newNamespace(sourceLocation, name); }

691 692 693
NamespaceAlias *Control::newNamespaceAlias(unsigned sourceLocation, const Name *name)
{ return d->newNamespaceAlias(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
694
BaseClass *Control::newBaseClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
695 696
{ return d->newBaseClass(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
697
Class *Control::newClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
698 699
{ return d->newClass(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
700
Enum *Control::newEnum(unsigned sourceLocation, const Name *name)
con's avatar
con committed
701 702 703 704 705
{ return d->newEnum(sourceLocation, name); }

Block *Control::newBlock(unsigned sourceLocation)
{ return d->newBlock(sourceLocation); }

Roberto Raggi's avatar
Roberto Raggi committed
706
Declaration *Control::newDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
707 708 709
{ return d->newDeclaration(sourceLocation, name); }

UsingNamespaceDirective *Control::newUsingNamespaceDirective(unsigned sourceLocation,
Roberto Raggi's avatar
Roberto Raggi committed
710
                                                                const Name *name)
con's avatar
con committed
711 712
{ return d->newUsingNamespaceDirective(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
713
UsingDeclaration *Control::newUsingDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
714 715
{ return d->newUsingDeclaration(sourceLocation, name); }

716
ForwardClassDeclaration *Control::newForwardClassDeclaration(unsigned sourceLocation,
Roberto Raggi's avatar
Roberto Raggi committed
717
                                                             const Name *name)
718 719
{ return d->newForwardClassDeclaration(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
720
ObjCBaseClass *Control::newObjCBaseClass(unsigned sourceLocation, const Name *name)
721 722
{ return d->newObjCBaseClass(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
723
ObjCBaseProtocol *Control::newObjCBaseProtocol(unsigned sourceLocation, const Name *name)
724 725
{ return d->newObjCBaseProtocol(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
726
ObjCClass *Control::newObjCClass(unsigned sourceLocation, const Name *name)
727 728
{ return d->newObjCClass(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
729
ObjCForwardClassDeclaration *Control::newObjCForwardClassDeclaration(unsigned sourceLocation, const Name *name)
730 731
{ return d->newObjCForwardClassDeclaration(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
732
ObjCProtocol *Control::newObjCProtocol(unsigned sourceLocation, const Name *name)
733 734
{ return d->newObjCProtocol(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
735
ObjCForwardProtocolDeclaration *Control::newObjCForwardProtocolDeclaration(unsigned sourceLocation, const Name *name)
736
{ return d->newObjCForwardProtocolDeclaration(sourceLocation, name); }
737

Roberto Raggi's avatar
Roberto Raggi committed
738
ObjCMethod *Control::newObjCMethod(unsigned sourceLocation, const Name *name)
739 740
{ return d->newObjCMethod(sourceLocation, name); }

Roberto Raggi's avatar
Roberto Raggi committed
741
ObjCPropertyDeclaration *Control::newObjCPropertyDeclaration(unsigned sourceLocation, const Name *name)
742 743
{ return d->newObjCPropertyDeclaration(sourceLocation, name); }

Erik Verbruggen's avatar
Erik Verbruggen committed
744 745 746
const Identifier *Control::deprecatedId() const
{ return d->deprecatedId; }

747 748 749
const Identifier *Control::unavailableId() const
{ return d->unavailableId; }

Roberto Raggi's avatar
Roberto Raggi committed
750
const Identifier *Control::objcGetterId() const
751 752
{ return d->objcGetterId; }

Roberto Raggi's avatar
Roberto Raggi committed
753
const Identifier *Control::objcSetterId() const
754 755
{ return d->objcSetterId; }

Roberto Raggi's avatar
Roberto Raggi committed
756
const Identifier *Control::objcReadwriteId() const
757 758
{ return d->objcReadwriteId; }

Roberto Raggi's avatar
Roberto Raggi committed
759
const Identifier *Control::objcReadonlyId() const
760 761
{ return d->objcReadonlyId; }

Roberto Raggi's avatar
Roberto Raggi committed
762
const Identifier *Control::objcAssignId() const
763 764
{ return d->objcAssignId; }

Roberto Raggi's avatar
Roberto Raggi committed
765
const Identifier *Control::objcRetainId() const
766 767
{ return d->objcRetainId; }

Roberto Raggi's avatar
Roberto Raggi committed
768
const Identifier *Control::objcCopyId() const
769
{ return d->objcCopyId; }
Roberto Raggi's avatar
Roberto Raggi committed
770

Roberto Raggi's avatar
Roberto Raggi committed
771
const Identifier *Control::objcNonatomicId() const
772
{ return d->objcNonatomicId; }