Control.cpp 25.3 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>
59
#include <algorithm>
con's avatar
con committed
60

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

Roberto Raggi's avatar
Roberto Raggi committed
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 131
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
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 180
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
    {
181 182
        if (name.base() == otherName.base())
            return name.name() < otherName.name();
Roberto Raggi's avatar
Roberto Raggi committed
183

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

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

} // end of anonymous namespace

212
#ifdef Q_OS_SYMBIAN
Wolfgang Beck's avatar
Wolfgang Beck committed
213 214 215 216 217 218 219 220 221
//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
222 223 224 225 226 227 228
template <typename _Iterator>
static void delete_array_entries(_Iterator first, _Iterator last)
{
    for (; first != last; ++first)
        delete *first;
}

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

con's avatar
con committed
234 235 236 237
class Control::Data
{
public:
    Data(Control *control)
Erik Verbruggen's avatar
Erik Verbruggen committed
238 239 240 241 242 243 244 245 246 247 248 249 250
        : 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)
251
    {}
con's avatar
con committed
252 253 254 255

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Roberto Raggi's avatar
Roberto Raggi committed
350 351 352 353 354 355 356 357
    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
358
    Function *newFunction(unsigned sourceLocation, const Name *name)
con's avatar
con committed
359 360 361
    {
        Function *function = new Function(translationUnit,
                                          sourceLocation, name);
362
        symbols.push_back(function);
con's avatar
con committed
363 364 365
        return function;
    }

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

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

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

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

397 398 399 400 401 402 403 404
    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
405
    UsingNamespaceDirective *newUsingNamespaceDirective(unsigned sourceLocation, const Name *name)
con's avatar
con committed
406 407 408
    {
        UsingNamespaceDirective *u = new UsingNamespaceDirective(translationUnit,
                                                                 sourceLocation, name);
409
        symbols.push_back(u);
con's avatar
con committed
410 411 412
        return u;
    }

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

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

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

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

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

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

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

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

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

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

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

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

    TypeMatcher matcher;

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

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

    // names
Roberto Raggi's avatar
Roberto Raggi committed
506 507 508 509 510 511 512
    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
513 514 515

    // types
    VoidType voidType;
Roberto Raggi's avatar
Roberto Raggi committed
516 517 518 519 520 521 522
    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
523 524

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

Erik Verbruggen's avatar
Erik Verbruggen committed
527
    const Identifier *deprecatedId;
528
    const Identifier *unavailableId;
529
    // ObjC context keywords:
Roberto Raggi's avatar
Roberto Raggi committed
530 531 532 533 534 535 536 537
    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
538 539 540
};

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

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

547 548 549 550 551 552 553 554 555
    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
556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575

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
576
const Identifier *Control::findIdentifier(const char *chars, unsigned size) const
577 578
{ return d->identifiers.findLiteral(chars, size); }

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

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

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

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

594 595 596 597 598 599 600 601 602 603 604 605
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
606
const StringLiteral *Control::findOrInsertStringLiteral(const char *chars, unsigned size)
con's avatar
con committed
607 608
{ return d->stringLiterals.findOrInsertLiteral(chars, size); }

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

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

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

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

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

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

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

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

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

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


con's avatar
con committed
656 657 658 659 660 661 662 663 664
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
665
PointerToMemberType *Control::pointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
666 667
{ return d->findOrInsertPointerToMemberType(memberName, elementType); }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Roberto Raggi's avatar
Roberto Raggi committed
772
const Identifier *Control::objcNonatomicId() const
773
{ return d->objcNonatomicId; }
774 775 776 777 778

bool Control::hasSymbol(Symbol *symbol) const
{
    return std::find(d->symbols.begin(), d->symbols.end(), symbol) != d->symbols.end();
}