Control.cpp 25.3 KB
Newer Older
con's avatar
con committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
// 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"
28
#include "TypeMatcher.h"
Roberto Raggi's avatar
Roberto Raggi committed
29 30
#include <map>
#include <set>
31
#include <algorithm>
con's avatar
con committed
32

Roberto Raggi's avatar
Roberto Raggi committed
33
using namespace CPlusPlus;
con's avatar
con committed
34

Roberto Raggi's avatar
Roberto Raggi committed
35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 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
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
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 132 133 134 135 136 137 138 139 140 141 142 143 144
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
    {
145 146
        if (name.base() == otherName.base())
            return name.name() < otherName.name();
Roberto Raggi's avatar
Roberto Raggi committed
147

148
        return name.base() < otherName.base();
Roberto Raggi's avatar
Roberto Raggi committed
149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164
    }
};

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
165 166 167
template <typename _Tp>
class Table: public std::set<_Tp, Compare<_Tp> >
{
168
    typedef std::set<_Tp, Compare<_Tp> > _Base;
Roberto Raggi's avatar
Roberto Raggi committed
169 170
public:
    _Tp *intern(const _Tp &element)
171
    { return const_cast<_Tp *>(&*_Base::insert(element).first); }
Roberto Raggi's avatar
Roberto Raggi committed
172 173 174 175
};

} // end of anonymous namespace

176
#ifdef Q_OS_SYMBIAN
Wolfgang Beck's avatar
Wolfgang Beck committed
177 178 179 180 181 182 183 184 185
//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
186 187 188 189 190 191 192
template <typename _Iterator>
static void delete_array_entries(_Iterator first, _Iterator last)
{
    for (; first != last; ++first)
        delete *first;
}

con's avatar
con committed
193 194
template <typename _Array>
static void delete_array_entries(const _Array &a)
195
{ delete_array_entries(a.begin(), a.end()); }
Wolfgang Beck's avatar
Wolfgang Beck committed
196
#endif
197

con's avatar
con committed
198 199 200 201
class Control::Data
{
public:
    Data(Control *control)
Erik Verbruggen's avatar
Erik Verbruggen committed
202 203 204 205 206 207 208 209 210 211 212 213 214
        : 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)
215
        , processor(0)
216
    {}
con's avatar
con committed
217 218 219 220

    ~Data()
    {
        // symbols
221
        delete_array_entries(symbols);
con's avatar
con committed
222 223
    }

Roberto Raggi's avatar
Roberto Raggi committed
224 225
    template <typename _Iterator>
    const TemplateNameId *findOrInsertTemplateNameId(const Identifier *id, _Iterator first, _Iterator last)
con's avatar
con committed
226
    {
Roberto Raggi's avatar
Roberto Raggi committed
227
        return templateNameIds.intern(TemplateNameId(id, first, last));
con's avatar
con committed
228 229
    }

Roberto Raggi's avatar
Roberto Raggi committed
230
    const DestructorNameId *findOrInsertDestructorNameId(const Identifier *id)
con's avatar
con committed
231
    {
Roberto Raggi's avatar
Roberto Raggi committed
232
        return destructorNameIds.intern(DestructorNameId(id));
con's avatar
con committed
233 234
    }

235
    const OperatorNameId *findOrInsertOperatorNameId(OperatorNameId::Kind kind)
con's avatar
con committed
236
    {
Roberto Raggi's avatar
Roberto Raggi committed
237
        return operatorNameIds.intern(OperatorNameId(kind));
con's avatar
con committed
238 239
    }

Roberto Raggi's avatar
Roberto Raggi committed
240
    const ConversionNameId *findOrInsertConversionNameId(const FullySpecifiedType &type)
con's avatar
con committed
241
    {
Roberto Raggi's avatar
Roberto Raggi committed
242
        return conversionNameIds.intern(ConversionNameId(type));
con's avatar
con committed
243 244
    }

245
    const QualifiedNameId *findOrInsertQualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
246
    {
247
        return qualifiedNameIds.intern(QualifiedNameId(base, name));
con's avatar
con committed
248 249
    }

Roberto Raggi's avatar
Roberto Raggi committed
250 251
    template <typename _Iterator>
    const SelectorNameId *findOrInsertSelectorNameId(_Iterator first, _Iterator last, bool hasArguments)
252
    {
Roberto Raggi's avatar
Roberto Raggi committed
253
        return selectorNameIds.intern(SelectorNameId(first, last, hasArguments));
254 255
    }

con's avatar
con committed
256 257
    IntegerType *findOrInsertIntegerType(int kind)
    {
Roberto Raggi's avatar
Roberto Raggi committed
258
        return integerTypes.intern(IntegerType(kind));
con's avatar
con committed
259 260 261 262
    }

    FloatType *findOrInsertFloatType(int kind)
    {
Roberto Raggi's avatar
Roberto Raggi committed
263
        return floatTypes.intern(FloatType(kind));
con's avatar
con committed
264 265
    }

Roberto Raggi's avatar
Roberto Raggi committed
266
    PointerToMemberType *findOrInsertPointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
267
    {
Roberto Raggi's avatar
Roberto Raggi committed
268
        return pointerToMemberTypes.intern(PointerToMemberType(memberName, elementType));
con's avatar
con committed
269 270
    }

271
    PointerType *findOrInsertPointerType(const FullySpecifiedType &elementType)
con's avatar
con committed
272
    {
Roberto Raggi's avatar
Roberto Raggi committed
273
        return pointerTypes.intern(PointerType(elementType));
con's avatar
con committed
274 275
    }

276
    ReferenceType *findOrInsertReferenceType(const FullySpecifiedType &elementType, bool rvalueRef)
con's avatar
con committed
277
    {
278
        return referenceTypes.intern(ReferenceType(elementType, rvalueRef));
con's avatar
con committed
279 280
    }

281
    ArrayType *findOrInsertArrayType(const FullySpecifiedType &elementType, unsigned size)
con's avatar
con committed
282
    {
Roberto Raggi's avatar
Roberto Raggi committed
283
        return arrayTypes.intern(ArrayType(elementType, size));
con's avatar
con committed
284 285
    }

Roberto Raggi's avatar
Roberto Raggi committed
286
    NamedType *findOrInsertNamedType(const Name *name)
con's avatar
con committed
287
    {
Roberto Raggi's avatar
Roberto Raggi committed
288
        return namedTypes.intern(NamedType(name));
con's avatar
con committed
289 290
    }

Roberto Raggi's avatar
Roberto Raggi committed
291
    Declaration *newDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
292
    {
293
        Declaration *declaration = new Declaration(translationUnit, sourceLocation, name);
294
        symbols.push_back(declaration);
con's avatar
con committed
295 296 297
        return declaration;
    }

298 299 300 301 302 303 304
    EnumeratorDeclaration *newEnumeratorDeclaration(unsigned sourceLocation, const Name *name)
    {
        EnumeratorDeclaration *decl = new EnumeratorDeclaration(translationUnit, sourceLocation, name);
        symbols.push_back(decl);
        return decl;
    }

Roberto Raggi's avatar
Roberto Raggi committed
305
    Argument *newArgument(unsigned sourceLocation, const Name *name)
con's avatar
con committed
306
    {
307
        Argument *argument = new Argument(translationUnit, sourceLocation, name);
308
        symbols.push_back(argument);
con's avatar
con committed
309 310 311
        return argument;
    }

Roberto Raggi's avatar
Roberto Raggi committed
312 313
    TypenameArgument *newTypenameArgument(unsigned sourceLocation, const Name *name)
    {
314
        TypenameArgument *argument = new TypenameArgument(translationUnit, sourceLocation, name);
Roberto Raggi's avatar
Roberto Raggi committed
315 316 317 318
        symbols.push_back(argument);
        return argument;
    }

Roberto Raggi's avatar
Roberto Raggi committed
319
    Function *newFunction(unsigned sourceLocation, const Name *name)
con's avatar
con committed
320
    {
321
        Function *function = new Function(translationUnit, sourceLocation, name);
322
        symbols.push_back(function);
con's avatar
con committed
323 324 325
        return function;
    }

Roberto Raggi's avatar
Roberto Raggi committed
326
    BaseClass *newBaseClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
327
    {
328
        BaseClass *baseClass = new BaseClass(translationUnit, sourceLocation, name);
329
        symbols.push_back(baseClass);
con's avatar
con committed
330 331 332 333 334 335
        return baseClass;
    }

    Block *newBlock(unsigned sourceLocation)
    {
        Block *block = new Block(translationUnit, sourceLocation);
336
        symbols.push_back(block);
con's avatar
con committed
337 338 339
        return block;
    }

Roberto Raggi's avatar
Roberto Raggi committed
340
    Class *newClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
341
    {
342
        Class *klass = new Class(translationUnit, sourceLocation, name);
343
        symbols.push_back(klass);
con's avatar
con committed
344 345 346
        return klass;
    }

Roberto Raggi's avatar
Roberto Raggi committed
347
    Namespace *newNamespace(unsigned sourceLocation, const Name *name)
con's avatar
con committed
348
    {
349 350 351 352 353 354 355 356
        Namespace *ns = new Namespace(translationUnit, sourceLocation, name);
        symbols.push_back(ns);
        return ns;
    }

    Template *newTemplate(unsigned sourceLocation, const Name *name)
    {
        Template *ns = new Template(translationUnit, sourceLocation, name);
357
        symbols.push_back(ns);
con's avatar
con committed
358 359 360
        return ns;
    }

361 362
    NamespaceAlias *newNamespaceAlias(unsigned sourceLocation, const Name *name)
    {
363
        NamespaceAlias *ns = new NamespaceAlias(translationUnit, sourceLocation, name);
364 365 366 367
        symbols.push_back(ns);
        return ns;
    }

Roberto Raggi's avatar
Roberto Raggi committed
368
    UsingNamespaceDirective *newUsingNamespaceDirective(unsigned sourceLocation, const Name *name)
con's avatar
con committed
369
    {
370
        UsingNamespaceDirective *u = new UsingNamespaceDirective(translationUnit, sourceLocation, name);
371
        symbols.push_back(u);
con's avatar
con committed
372 373 374
        return u;
    }

Roberto Raggi's avatar
Roberto Raggi committed
375
    ForwardClassDeclaration *newForwardClassDeclaration(unsigned sourceLocation, const Name *name)
376
    {
377
        ForwardClassDeclaration *c = new ForwardClassDeclaration(translationUnit, sourceLocation, name);
378
        symbols.push_back(c);
379 380 381
        return c;
    }

382 383 384 385 386 387 388
    QtPropertyDeclaration *newQtPropertyDeclaration(unsigned sourceLocation, const Name *name)
    {
        QtPropertyDeclaration *d = new QtPropertyDeclaration(translationUnit, sourceLocation, name);
        symbols.push_back(d);
        return d;
    }

389 390 391 392 393 394 395
    QtEnum *newQtEnum(unsigned sourceLocation, const Name *name)
    {
        QtEnum *d = new QtEnum(translationUnit, sourceLocation, name);
        symbols.push_back(d);
        return d;
    }

Roberto Raggi's avatar
Roberto Raggi committed
396
    ObjCBaseClass *newObjCBaseClass(unsigned sourceLocation, const Name *name)
397 398
    {
        ObjCBaseClass *c = new ObjCBaseClass(translationUnit, sourceLocation, name);
399
        symbols.push_back(c);
400 401 402
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
403
    ObjCBaseProtocol *newObjCBaseProtocol(unsigned sourceLocation, const Name *name)
404 405
    {
        ObjCBaseProtocol *p = new ObjCBaseProtocol(translationUnit, sourceLocation, name);
406
        symbols.push_back(p);
407 408 409
        return p;
    }

Roberto Raggi's avatar
Roberto Raggi committed
410
    ObjCClass *newObjCClass(unsigned sourceLocation, const Name *name)
411 412
    {
        ObjCClass *c = new ObjCClass(translationUnit, sourceLocation, name);
413
        symbols.push_back(c);
414 415 416
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
417
    ObjCForwardClassDeclaration *newObjCForwardClassDeclaration(unsigned sourceLocation, const Name *name)
418 419
    {
        ObjCForwardClassDeclaration *fwd = new ObjCForwardClassDeclaration(translationUnit, sourceLocation, name);
420
        symbols.push_back(fwd);
421 422 423
        return fwd;
    }

Roberto Raggi's avatar
Roberto Raggi committed
424
    ObjCProtocol *newObjCProtocol(unsigned sourceLocation, const Name *name)
425 426
    {
        ObjCProtocol *p = new ObjCProtocol(translationUnit, sourceLocation, name);
427
        symbols.push_back(p);
428 429 430
        return p;
    }

Roberto Raggi's avatar
Roberto Raggi committed
431
    ObjCForwardProtocolDeclaration *newObjCForwardProtocolDeclaration(unsigned sourceLocation, const Name *name)
432 433
    {
        ObjCForwardProtocolDeclaration *fwd = new ObjCForwardProtocolDeclaration(translationUnit, sourceLocation, name);
434
        symbols.push_back(fwd);
435 436 437
        return fwd;
    }

Roberto Raggi's avatar
Roberto Raggi committed
438
    ObjCMethod *newObjCMethod(unsigned sourceLocation, const Name *name)
439 440
    {
        ObjCMethod *method = new ObjCMethod(translationUnit, sourceLocation, name);
441
        symbols.push_back(method);
442 443 444
        return method;
    }

Roberto Raggi's avatar
Roberto Raggi committed
445
    ObjCPropertyDeclaration *newObjCPropertyDeclaration(unsigned sourceLocation, const Name *name)
446 447
    {
        ObjCPropertyDeclaration *decl = new ObjCPropertyDeclaration(translationUnit, sourceLocation, name);
448
        symbols.push_back(decl);
449 450 451
        return decl;
    }

Roberto Raggi's avatar
Roberto Raggi committed
452
    Enum *newEnum(unsigned sourceLocation, const Name *name)
con's avatar
con committed
453
    {
454
        Enum *e = new Enum(translationUnit, sourceLocation, name);
455
        symbols.push_back(e);
con's avatar
con committed
456 457 458
        return e;
    }

Roberto Raggi's avatar
Roberto Raggi committed
459
    UsingDeclaration *newUsingDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
460
    {
461
        UsingDeclaration *u = new UsingDeclaration(translationUnit, sourceLocation, name);
462
        symbols.push_back(u);
con's avatar
con committed
463 464 465 466 467 468
        return u;
    }

    Control *control;
    TranslationUnit *translationUnit;
    DiagnosticClient *diagnosticClient;
469 470 471

    TypeMatcher matcher;

con's avatar
con committed
472 473 474 475 476 477 478
    LiteralTable<Identifier> identifiers;
    LiteralTable<StringLiteral> stringLiterals;
    LiteralTable<NumericLiteral> numericLiterals;

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

    // names
Roberto Raggi's avatar
Roberto Raggi committed
479 480 481 482 483 484
    Table<DestructorNameId> destructorNameIds;
    Table<OperatorNameId> operatorNameIds;
    Table<ConversionNameId> conversionNameIds;
    Table<TemplateNameId> templateNameIds;
    Table<QualifiedNameId> qualifiedNameIds;
    Table<SelectorNameId> selectorNameIds;
con's avatar
con committed
485 486 487

    // types
    VoidType voidType;
Roberto Raggi's avatar
Roberto Raggi committed
488 489 490 491 492 493 494
    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
495 496

    // symbols
497
    std::vector<Symbol *> symbols;
498

Erik Verbruggen's avatar
Erik Verbruggen committed
499
    const Identifier *deprecatedId;
500
    const Identifier *unavailableId;
501
    // ObjC context keywords:
Roberto Raggi's avatar
Roberto Raggi committed
502 503 504 505 506 507 508 509
    const Identifier *objcGetterId;
    const Identifier *objcSetterId;
    const Identifier *objcReadwriteId;
    const Identifier *objcReadonlyId;
    const Identifier *objcAssignId;
    const Identifier *objcRetainId;
    const Identifier *objcCopyId;
    const Identifier *objcNonatomicId;
510
    TopLevelDeclarationProcessor *processor;
con's avatar
con committed
511 512 513
};

Control::Control()
514 515 516
{
    d = new Data(this);

517 518 519 520 521 522 523 524 525 526 527
    d->deprecatedId = identifier("deprecated");
    d->unavailableId = identifier("unavailable");

    d->objcGetterId = identifier("getter");
    d->objcSetterId = identifier("setter");
    d->objcReadwriteId = identifier("readwrite");
    d->objcReadonlyId = identifier("readonly");
    d->objcAssignId = identifier("assign");
    d->objcRetainId = identifier("retain");
    d->objcCopyId = identifier("copy");
    d->objcNonatomicId = identifier("nonatomic");
528
}
con's avatar
con committed
529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548

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; }

549 550 551 552 553 554 555 556 557
const OperatorNameId *Control::findOperatorNameId(OperatorNameId::Kind operatorId) const
{
    Table<OperatorNameId>::const_iterator i = d->operatorNameIds.find(operatorId);
    if (i == d->operatorNameIds.end())
        return 0;
    else
        return &*i;
}

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

561
const Identifier *Control::identifier(const char *chars, unsigned size)
con's avatar
con committed
562 563
{ return d->identifiers.findOrInsertLiteral(chars, size); }

564
const Identifier *Control::identifier(const char *chars)
con's avatar
con committed
565
{
Roberto Raggi's avatar
Roberto Raggi committed
566
    unsigned length = std::strlen(chars);
567
    return identifier(chars, length);
con's avatar
con committed
568 569
}

570 571 572 573 574 575
Control::IdentifierIterator Control::firstIdentifier() const
{ return d->identifiers.begin(); }

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

576 577 578 579 580 581 582 583 584 585 586 587
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(); }

588
const StringLiteral *Control::stringLiteral(const char *chars, unsigned size)
con's avatar
con committed
589 590
{ return d->stringLiterals.findOrInsertLiteral(chars, size); }

591
const StringLiteral *Control::stringLiteral(const char *chars)
con's avatar
con committed
592
{
Roberto Raggi's avatar
Roberto Raggi committed
593
    unsigned length = std::strlen(chars);
594
    return stringLiteral(chars, length);
con's avatar
con committed
595 596
}

597
const NumericLiteral *Control::numericLiteral(const char *chars, unsigned size)
con's avatar
con committed
598 599
{ return d->numericLiterals.findOrInsertLiteral(chars, size); }

600
const NumericLiteral *Control::numericLiteral(const char *chars)
con's avatar
con committed
601
{
Roberto Raggi's avatar
Roberto Raggi committed
602
    unsigned length = std::strlen(chars);
603
    return numericLiteral(chars, length);
con's avatar
con committed
604 605
}

Roberto Raggi's avatar
Roberto Raggi committed
606 607 608
const TemplateNameId *Control::templateNameId(const Identifier *id,
                                              const FullySpecifiedType *const args,
                                              unsigned argv)
con's avatar
con committed
609
{
Roberto Raggi's avatar
Roberto Raggi committed
610
    return d->findOrInsertTemplateNameId(id, args, args + argv);
con's avatar
con committed
611 612
}

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

616
const OperatorNameId *Control::operatorNameId(OperatorNameId::Kind kind)
con's avatar
con committed
617 618
{ return d->findOrInsertOperatorNameId(kind); }

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

622
const QualifiedNameId *Control::qualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
623
{
624
    return d->findOrInsertQualifiedNameId(base, name);
con's avatar
con committed
625 626
}

Roberto Raggi's avatar
Roberto Raggi committed
627 628 629
const SelectorNameId *Control::selectorNameId(const Name *const *names,
                                              unsigned nameCount,
                                              bool hasArguments)
630
{
Roberto Raggi's avatar
Roberto Raggi committed
631
    return d->findOrInsertSelectorNameId(names, names + nameCount, hasArguments);
632 633 634
}


con's avatar
con committed
635 636 637 638 639 640 641 642 643
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
644
PointerToMemberType *Control::pointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
645 646
{ return d->findOrInsertPointerToMemberType(memberName, elementType); }

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

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

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

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

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

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

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

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

671 672 673
Template *Control::newTemplate(unsigned sourceLocation, const Name *name)
{ return d->newTemplate(sourceLocation, name); }

674 675 676
NamespaceAlias *Control::newNamespaceAlias(unsigned sourceLocation, const Name *name)
{ return d->newNamespaceAlias(sourceLocation, name); }

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

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

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

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

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

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

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

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

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

706 707 708 709
QtPropertyDeclaration *Control::newQtPropertyDeclaration(unsigned sourceLocation,
                                                         const Name *name)
{ return d->newQtPropertyDeclaration(sourceLocation, name); }

710 711 712
QtEnum *Control::newQtEnum(unsigned sourceLocation, const Name *name)
{ return d->newQtEnum(sourceLocation, name); }

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

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

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

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

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

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

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

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

Erik Verbruggen's avatar
Erik Verbruggen committed
737 738 739
const Identifier *Control::deprecatedId() const
{ return d->deprecatedId; }

740 741 742
const Identifier *Control::unavailableId() const
{ return d->unavailableId; }

Roberto Raggi's avatar
Roberto Raggi committed
743
const Identifier *Control::objcGetterId() const
744 745
{ return d->objcGetterId; }

Roberto Raggi's avatar
Roberto Raggi committed
746
const Identifier *Control::objcSetterId() const
747 748
{ return d->objcSetterId; }

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

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

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

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

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

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

767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782
Symbol **Control::firstSymbol() const
{
    if (d->symbols.empty())
        return 0;

    return &*d->symbols.begin();
}

Symbol **Control::lastSymbol() const
{
    if (d->symbols.empty())
        return 0;

    return &*d->symbols.begin() + d->symbols.size();
}

783 784 785 786
bool Control::hasSymbol(Symbol *symbol) const
{
    return std::find(d->symbols.begin(), d->symbols.end(), symbol) != d->symbols.end();
}
787 788 789 790 791

void Control::squeeze()
{
    d->numericLiterals.reset();
}
792 793 794 795 796 797 798 799 800 801

TopLevelDeclarationProcessor *Control::topLevelDeclarationProcessor() const
{
    return d->processor;
}

void Control::setTopLevelDeclarationProcessor(CPlusPlus::TopLevelDeclarationProcessor *processor)
{
    d->processor = processor;
}