Control.cpp 26 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
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();

134 135 136 137 138 139 140 141 142 143 144 145
        if (id == otherId) {
            // we have to differentiate TemplateNameId with respect to specialization or
            // instantiation
            if (name.isSpecialization() == otherName.isSpecialization()) {
                return std::lexicographical_compare(name.firstTemplateArgument(),
                                                    name.lastTemplateArgument(),
                                                    otherName.firstTemplateArgument(),
                                                    otherName.lastTemplateArgument());
            } else {
                return name.isSpecialization();
            }
        }
Roberto Raggi's avatar
Roberto Raggi committed
146 147 148 149 150 151 152 153

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

157
        return name.base() < otherName.base();
Roberto Raggi's avatar
Roberto Raggi committed
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173
    }
};

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
174 175 176
template <typename _Tp>
class Table: public std::set<_Tp, Compare<_Tp> >
{
177
    typedef std::set<_Tp, Compare<_Tp> > _Base;
Roberto Raggi's avatar
Roberto Raggi committed
178 179
public:
    _Tp *intern(const _Tp &element)
180
    { return const_cast<_Tp *>(&*_Base::insert(element).first); }
Roberto Raggi's avatar
Roberto Raggi committed
181 182 183 184
};

} // end of anonymous namespace

185 186 187 188 189 190 191
template <typename _Iterator>
static void delete_array_entries(_Iterator first, _Iterator last)
{
    for (; first != last; ++first)
        delete *first;
}

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

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

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

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

229
    const DestructorNameId *findOrInsertDestructorNameId(const Name *name)
con's avatar
con committed
230
    {
231
        return destructorNameIds.intern(DestructorNameId(name));
con's avatar
con committed
232 233
    }

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

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

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

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

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

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

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

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

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

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

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

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

297 298 299 300 301 302 303
    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
304
    Argument *newArgument(unsigned sourceLocation, const Name *name)
con's avatar
con committed
305
    {
306
        Argument *argument = new Argument(translationUnit, sourceLocation, name);
307
        symbols.push_back(argument);
con's avatar
con committed
308 309 310
        return argument;
    }

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

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

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

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

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

Roberto Raggi's avatar
Roberto Raggi committed
346
    Namespace *newNamespace(unsigned sourceLocation, const Name *name)
con's avatar
con committed
347
    {
348 349 350 351 352 353 354 355
        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);
356
        symbols.push_back(ns);
con's avatar
con committed
357 358 359
        return ns;
    }

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

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

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

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

388 389 390 391 392 393 394
    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
395
    ObjCBaseClass *newObjCBaseClass(unsigned sourceLocation, const Name *name)
396 397
    {
        ObjCBaseClass *c = new ObjCBaseClass(translationUnit, sourceLocation, name);
398
        symbols.push_back(c);
399 400 401
        return c;
    }

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

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

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

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

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

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

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

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

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

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

    TypeMatcher matcher;

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

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

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

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

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

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

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

518 519 520 521 522 523 524 525 526 527 528
    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");
529 530 531

    d->cpp11Override = identifier("override");
    d->cpp11Final = identifier("final");
532
}
con's avatar
con committed
533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552

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

553 554 555 556 557 558 559 560 561
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
562
const Identifier *Control::findIdentifier(const char *chars, unsigned size) const
563 564
{ return d->identifiers.findLiteral(chars, size); }

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

568
const Identifier *Control::identifier(const char *chars)
con's avatar
con committed
569
{
Roberto Raggi's avatar
Roberto Raggi committed
570
    unsigned length = std::strlen(chars);
571
    return identifier(chars, length);
con's avatar
con committed
572 573
}

574 575 576 577 578 579
Control::IdentifierIterator Control::firstIdentifier() const
{ return d->identifiers.begin(); }

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

580 581 582 583 584 585 586 587 588 589 590 591
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(); }

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

595
const StringLiteral *Control::stringLiteral(const char *chars)
con's avatar
con committed
596
{
Roberto Raggi's avatar
Roberto Raggi committed
597
    unsigned length = std::strlen(chars);
598
    return stringLiteral(chars, length);
con's avatar
con committed
599 600
}

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

604
const NumericLiteral *Control::numericLiteral(const char *chars)
con's avatar
con committed
605
{
Roberto Raggi's avatar
Roberto Raggi committed
606
    unsigned length = std::strlen(chars);
607
    return numericLiteral(chars, length);
con's avatar
con committed
608 609
}

Roberto Raggi's avatar
Roberto Raggi committed
610
const TemplateNameId *Control::templateNameId(const Identifier *id,
611
                                              bool isSpecialization,
Roberto Raggi's avatar
Roberto Raggi committed
612 613
                                              const FullySpecifiedType *const args,
                                              unsigned argv)
con's avatar
con committed
614
{
615
    return d->findOrInsertTemplateNameId(id, isSpecialization, args, args + argv);
con's avatar
con committed
616 617
}

618 619
const DestructorNameId *Control::destructorNameId(const Name *name)
{ return d->findOrInsertDestructorNameId(name); }
con's avatar
con committed
620

621
const OperatorNameId *Control::operatorNameId(OperatorNameId::Kind kind)
con's avatar
con committed
622 623
{ return d->findOrInsertOperatorNameId(kind); }

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

627
const QualifiedNameId *Control::qualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
628
{
629
    return d->findOrInsertQualifiedNameId(base, name);
con's avatar
con committed
630 631
}

Roberto Raggi's avatar
Roberto Raggi committed
632 633 634
const SelectorNameId *Control::selectorNameId(const Name *const *names,
                                              unsigned nameCount,
                                              bool hasArguments)
635
{
Roberto Raggi's avatar
Roberto Raggi committed
636
    return d->findOrInsertSelectorNameId(names, names + nameCount, hasArguments);
637 638 639
}


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

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

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

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

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

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

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

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

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

676 677 678
Template *Control::newTemplate(unsigned sourceLocation, const Name *name)
{ return d->newTemplate(sourceLocation, name); }

679 680 681
NamespaceAlias *Control::newNamespaceAlias(unsigned sourceLocation, const Name *name)
{ return d->newNamespaceAlias(sourceLocation, name); }

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

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

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

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

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

697 698 699
EnumeratorDeclaration *Control::newEnumeratorDeclaration(unsigned sourceLocation, const Name *name)
{ return d->newEnumeratorDeclaration(sourceLocation, name); }

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

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

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

711 712 713 714
QtPropertyDeclaration *Control::newQtPropertyDeclaration(unsigned sourceLocation,
                                                         const Name *name)
{ return d->newQtPropertyDeclaration(sourceLocation, name); }

715 716 717
QtEnum *Control::newQtEnum(unsigned sourceLocation, const Name *name)
{ return d->newQtEnum(sourceLocation, name); }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

772 773 774 775 776 777
const Identifier *Control::cpp11Override() const
{ return d->cpp11Override; }

const Identifier *Control::cpp11Final() const
{ return d->cpp11Final; }

778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793
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();
}

794 795 796 797
bool Control::hasSymbol(Symbol *symbol) const
{
    return std::find(d->symbols.begin(), d->symbols.end(), symbol) != d->symbols.end();
}
798 799 800 801 802

void Control::squeeze()
{
    d->numericLiterals.reset();
}
803 804 805 806 807 808 809 810 811 812

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

void Control::setTopLevelDeclarationProcessor(CPlusPlus::TopLevelDeclarationProcessor *processor)
{
    d->processor = processor;
}
813 814 815 816 817

void Control::addSymbol(Symbol *symbol)
{
    d->symbols.push_back(symbol);
}