Control.cpp 25.4 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 177 178 179 180 181 182
template <typename _Iterator>
static void delete_array_entries(_Iterator first, _Iterator last)
{
    for (; first != last; ++first)
        delete *first;
}

con's avatar
con committed
183 184
template <typename _Array>
static void delete_array_entries(const _Array &a)
185
{ delete_array_entries(a.begin(), a.end()); }
186

con's avatar
con committed
187 188 189 190
class Control::Data
{
public:
    Data(Control *control)
Erik Verbruggen's avatar
Erik Verbruggen committed
191 192 193 194 195 196 197 198 199 200 201 202 203
        : 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)
204
        , processor(0)
205
    {}
con's avatar
con committed
206 207 208 209

    ~Data()
    {
        // symbols
210
        delete_array_entries(symbols);
con's avatar
con committed
211 212
    }

Roberto Raggi's avatar
Roberto Raggi committed
213 214
    template <typename _Iterator>
    const TemplateNameId *findOrInsertTemplateNameId(const Identifier *id, _Iterator first, _Iterator last)
con's avatar
con committed
215
    {
Roberto Raggi's avatar
Roberto Raggi committed
216
        return templateNameIds.intern(TemplateNameId(id, first, last));
con's avatar
con committed
217 218
    }

219
    const DestructorNameId *findOrInsertDestructorNameId(const Name *name)
con's avatar
con committed
220
    {
221
        return destructorNameIds.intern(DestructorNameId(name));
con's avatar
con committed
222 223
    }

224
    const OperatorNameId *findOrInsertOperatorNameId(OperatorNameId::Kind kind)
con's avatar
con committed
225
    {
Roberto Raggi's avatar
Roberto Raggi committed
226
        return operatorNameIds.intern(OperatorNameId(kind));
con's avatar
con committed
227 228
    }

Roberto Raggi's avatar
Roberto Raggi committed
229
    const ConversionNameId *findOrInsertConversionNameId(const FullySpecifiedType &type)
con's avatar
con committed
230
    {
Roberto Raggi's avatar
Roberto Raggi committed
231
        return conversionNameIds.intern(ConversionNameId(type));
con's avatar
con committed
232 233
    }

234
    const QualifiedNameId *findOrInsertQualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
235
    {
236
        return qualifiedNameIds.intern(QualifiedNameId(base, name));
con's avatar
con committed
237 238
    }

Roberto Raggi's avatar
Roberto Raggi committed
239 240
    template <typename _Iterator>
    const SelectorNameId *findOrInsertSelectorNameId(_Iterator first, _Iterator last, bool hasArguments)
241
    {
Roberto Raggi's avatar
Roberto Raggi committed
242
        return selectorNameIds.intern(SelectorNameId(first, last, hasArguments));
243 244
    }

con's avatar
con committed
245 246
    IntegerType *findOrInsertIntegerType(int kind)
    {
Roberto Raggi's avatar
Roberto Raggi committed
247
        return integerTypes.intern(IntegerType(kind));
con's avatar
con committed
248 249 250 251
    }

    FloatType *findOrInsertFloatType(int kind)
    {
Roberto Raggi's avatar
Roberto Raggi committed
252
        return floatTypes.intern(FloatType(kind));
con's avatar
con committed
253 254
    }

Roberto Raggi's avatar
Roberto Raggi committed
255
    PointerToMemberType *findOrInsertPointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
256
    {
Roberto Raggi's avatar
Roberto Raggi committed
257
        return pointerToMemberTypes.intern(PointerToMemberType(memberName, elementType));
con's avatar
con committed
258 259
    }

260
    PointerType *findOrInsertPointerType(const FullySpecifiedType &elementType)
con's avatar
con committed
261
    {
Roberto Raggi's avatar
Roberto Raggi committed
262
        return pointerTypes.intern(PointerType(elementType));
con's avatar
con committed
263 264
    }

265
    ReferenceType *findOrInsertReferenceType(const FullySpecifiedType &elementType, bool rvalueRef)
con's avatar
con committed
266
    {
267
        return referenceTypes.intern(ReferenceType(elementType, rvalueRef));
con's avatar
con committed
268 269
    }

270
    ArrayType *findOrInsertArrayType(const FullySpecifiedType &elementType, unsigned size)
con's avatar
con committed
271
    {
Roberto Raggi's avatar
Roberto Raggi committed
272
        return arrayTypes.intern(ArrayType(elementType, size));
con's avatar
con committed
273 274
    }

Roberto Raggi's avatar
Roberto Raggi committed
275
    NamedType *findOrInsertNamedType(const Name *name)
con's avatar
con committed
276
    {
Roberto Raggi's avatar
Roberto Raggi committed
277
        return namedTypes.intern(NamedType(name));
con's avatar
con committed
278 279
    }

Roberto Raggi's avatar
Roberto Raggi committed
280
    Declaration *newDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
281
    {
282
        Declaration *declaration = new Declaration(translationUnit, sourceLocation, name);
283
        symbols.push_back(declaration);
con's avatar
con committed
284 285 286
        return declaration;
    }

287 288 289 290 291 292 293
    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
294
    Argument *newArgument(unsigned sourceLocation, const Name *name)
con's avatar
con committed
295
    {
296
        Argument *argument = new Argument(translationUnit, sourceLocation, name);
297
        symbols.push_back(argument);
con's avatar
con committed
298 299 300
        return argument;
    }

Roberto Raggi's avatar
Roberto Raggi committed
301 302
    TypenameArgument *newTypenameArgument(unsigned sourceLocation, const Name *name)
    {
303
        TypenameArgument *argument = new TypenameArgument(translationUnit, sourceLocation, name);
Roberto Raggi's avatar
Roberto Raggi committed
304 305 306 307
        symbols.push_back(argument);
        return argument;
    }

Roberto Raggi's avatar
Roberto Raggi committed
308
    Function *newFunction(unsigned sourceLocation, const Name *name)
con's avatar
con committed
309
    {
310
        Function *function = new Function(translationUnit, sourceLocation, name);
311
        symbols.push_back(function);
con's avatar
con committed
312 313 314
        return function;
    }

Roberto Raggi's avatar
Roberto Raggi committed
315
    BaseClass *newBaseClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
316
    {
317
        BaseClass *baseClass = new BaseClass(translationUnit, sourceLocation, name);
318
        symbols.push_back(baseClass);
con's avatar
con committed
319 320 321 322 323 324
        return baseClass;
    }

    Block *newBlock(unsigned sourceLocation)
    {
        Block *block = new Block(translationUnit, sourceLocation);
325
        symbols.push_back(block);
con's avatar
con committed
326 327 328
        return block;
    }

Roberto Raggi's avatar
Roberto Raggi committed
329
    Class *newClass(unsigned sourceLocation, const Name *name)
con's avatar
con committed
330
    {
331
        Class *klass = new Class(translationUnit, sourceLocation, name);
332
        symbols.push_back(klass);
con's avatar
con committed
333 334 335
        return klass;
    }

Roberto Raggi's avatar
Roberto Raggi committed
336
    Namespace *newNamespace(unsigned sourceLocation, const Name *name)
con's avatar
con committed
337
    {
338 339 340 341 342 343 344 345
        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);
346
        symbols.push_back(ns);
con's avatar
con committed
347 348 349
        return ns;
    }

350 351
    NamespaceAlias *newNamespaceAlias(unsigned sourceLocation, const Name *name)
    {
352
        NamespaceAlias *ns = new NamespaceAlias(translationUnit, sourceLocation, name);
353 354 355 356
        symbols.push_back(ns);
        return ns;
    }

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

Roberto Raggi's avatar
Roberto Raggi committed
364
    ForwardClassDeclaration *newForwardClassDeclaration(unsigned sourceLocation, const Name *name)
365
    {
366
        ForwardClassDeclaration *c = new ForwardClassDeclaration(translationUnit, sourceLocation, name);
367
        symbols.push_back(c);
368 369 370
        return c;
    }

371 372 373 374 375 376 377
    QtPropertyDeclaration *newQtPropertyDeclaration(unsigned sourceLocation, const Name *name)
    {
        QtPropertyDeclaration *d = new QtPropertyDeclaration(translationUnit, sourceLocation, name);
        symbols.push_back(d);
        return d;
    }

378 379 380 381 382 383 384
    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
385
    ObjCBaseClass *newObjCBaseClass(unsigned sourceLocation, const Name *name)
386 387
    {
        ObjCBaseClass *c = new ObjCBaseClass(translationUnit, sourceLocation, name);
388
        symbols.push_back(c);
389 390 391
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
392
    ObjCBaseProtocol *newObjCBaseProtocol(unsigned sourceLocation, const Name *name)
393 394
    {
        ObjCBaseProtocol *p = new ObjCBaseProtocol(translationUnit, sourceLocation, name);
395
        symbols.push_back(p);
396 397 398
        return p;
    }

Roberto Raggi's avatar
Roberto Raggi committed
399
    ObjCClass *newObjCClass(unsigned sourceLocation, const Name *name)
400 401
    {
        ObjCClass *c = new ObjCClass(translationUnit, sourceLocation, name);
402
        symbols.push_back(c);
403 404 405
        return c;
    }

Roberto Raggi's avatar
Roberto Raggi committed
406
    ObjCForwardClassDeclaration *newObjCForwardClassDeclaration(unsigned sourceLocation, const Name *name)
407 408
    {
        ObjCForwardClassDeclaration *fwd = new ObjCForwardClassDeclaration(translationUnit, sourceLocation, name);
409
        symbols.push_back(fwd);
410 411 412
        return fwd;
    }

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

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

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

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

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

Roberto Raggi's avatar
Roberto Raggi committed
448
    UsingDeclaration *newUsingDeclaration(unsigned sourceLocation, const Name *name)
con's avatar
con committed
449
    {
450
        UsingDeclaration *u = new UsingDeclaration(translationUnit, sourceLocation, name);
451
        symbols.push_back(u);
con's avatar
con committed
452 453 454 455 456 457
        return u;
    }

    Control *control;
    TranslationUnit *translationUnit;
    DiagnosticClient *diagnosticClient;
458 459 460

    TypeMatcher matcher;

con's avatar
con committed
461 462 463 464 465 466 467
    LiteralTable<Identifier> identifiers;
    LiteralTable<StringLiteral> stringLiterals;
    LiteralTable<NumericLiteral> numericLiterals;

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

    // names
Roberto Raggi's avatar
Roberto Raggi committed
468 469 470 471 472 473
    Table<DestructorNameId> destructorNameIds;
    Table<OperatorNameId> operatorNameIds;
    Table<ConversionNameId> conversionNameIds;
    Table<TemplateNameId> templateNameIds;
    Table<QualifiedNameId> qualifiedNameIds;
    Table<SelectorNameId> selectorNameIds;
con's avatar
con committed
474 475 476

    // types
    VoidType voidType;
Roberto Raggi's avatar
Roberto Raggi committed
477 478 479 480 481 482 483
    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
484 485

    // symbols
486
    std::vector<Symbol *> symbols;
487

Erik Verbruggen's avatar
Erik Verbruggen committed
488
    const Identifier *deprecatedId;
489
    const Identifier *unavailableId;
490
    // ObjC context keywords:
Roberto Raggi's avatar
Roberto Raggi committed
491 492 493 494 495 496 497 498
    const Identifier *objcGetterId;
    const Identifier *objcSetterId;
    const Identifier *objcReadwriteId;
    const Identifier *objcReadonlyId;
    const Identifier *objcAssignId;
    const Identifier *objcRetainId;
    const Identifier *objcCopyId;
    const Identifier *objcNonatomicId;
499 500
    const Identifier *cpp11Override;
    const Identifier *cpp11Final;
501
    TopLevelDeclarationProcessor *processor;
con's avatar
con committed
502 503 504
};

Control::Control()
505 506 507
{
    d = new Data(this);

508 509 510 511 512 513 514 515 516 517 518
    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");
519 520 521

    d->cpp11Override = identifier("override");
    d->cpp11Final = identifier("final");
522
}
con's avatar
con committed
523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542

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

543 544 545 546 547 548 549 550 551
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
552
const Identifier *Control::findIdentifier(const char *chars, unsigned size) const
553 554
{ return d->identifiers.findLiteral(chars, size); }

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

558
const Identifier *Control::identifier(const char *chars)
con's avatar
con committed
559
{
Roberto Raggi's avatar
Roberto Raggi committed
560
    unsigned length = std::strlen(chars);
561
    return identifier(chars, length);
con's avatar
con committed
562 563
}

564 565 566 567 568 569
Control::IdentifierIterator Control::firstIdentifier() const
{ return d->identifiers.begin(); }

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

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

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

585
const StringLiteral *Control::stringLiteral(const char *chars)
con's avatar
con committed
586
{
Roberto Raggi's avatar
Roberto Raggi committed
587
    unsigned length = std::strlen(chars);
588
    return stringLiteral(chars, length);
con's avatar
con committed
589 590
}

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

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

Roberto Raggi's avatar
Roberto Raggi committed
600 601 602
const TemplateNameId *Control::templateNameId(const Identifier *id,
                                              const FullySpecifiedType *const args,
                                              unsigned argv)
con's avatar
con committed
603
{
Roberto Raggi's avatar
Roberto Raggi committed
604
    return d->findOrInsertTemplateNameId(id, args, args + argv);
con's avatar
con committed
605 606
}

607 608
const DestructorNameId *Control::destructorNameId(const Name *name)
{ return d->findOrInsertDestructorNameId(name); }
con's avatar
con committed
609

610
const OperatorNameId *Control::operatorNameId(OperatorNameId::Kind kind)
con's avatar
con committed
611 612
{ return d->findOrInsertOperatorNameId(kind); }

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

616
const QualifiedNameId *Control::qualifiedNameId(const Name *base, const Name *name)
con's avatar
con committed
617
{
618
    return d->findOrInsertQualifiedNameId(base, name);
con's avatar
con committed
619 620
}

Roberto Raggi's avatar
Roberto Raggi committed
621 622 623
const SelectorNameId *Control::selectorNameId(const Name *const *names,
                                              unsigned nameCount,
                                              bool hasArguments)
624
{
Roberto Raggi's avatar
Roberto Raggi committed
625
    return d->findOrInsertSelectorNameId(names, names + nameCount, hasArguments);
626 627 628
}


con's avatar
con committed
629 630 631 632 633 634 635 636 637
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
638
PointerToMemberType *Control::pointerToMemberType(const Name *memberName, const FullySpecifiedType &elementType)
con's avatar
con committed
639 640
{ return d->findOrInsertPointerToMemberType(memberName, elementType); }

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

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

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

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

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

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

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

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

665 666 667
Template *Control::newTemplate(unsigned sourceLocation, const Name *name)
{ return d->newTemplate(sourceLocation, name); }

668 669 670
NamespaceAlias *Control::newNamespaceAlias(unsigned sourceLocation, const Name *name)
{ return d->newNamespaceAlias(sourceLocation, name); }

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

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

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

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

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

686 687 688
EnumeratorDeclaration *Control::newEnumeratorDeclaration(unsigned sourceLocation, const Name *name)
{ return d->newEnumeratorDeclaration(sourceLocation, name); }

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

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

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

700 701 702 703
QtPropertyDeclaration *Control::newQtPropertyDeclaration(unsigned sourceLocation,
                                                         const Name *name)
{ return d->newQtPropertyDeclaration(sourceLocation, name); }

704 705 706
QtEnum *Control::newQtEnum(unsigned sourceLocation, const Name *name)
{ return d->newQtEnum(sourceLocation, name); }

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

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

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

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

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

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

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

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

Erik Verbruggen's avatar
Erik Verbruggen committed
731 732 733
const Identifier *Control::deprecatedId() const
{ return d->deprecatedId; }

734 735 736
const Identifier *Control::unavailableId() const
{ return d->unavailableId; }

Roberto Raggi's avatar
Roberto Raggi committed
737
const Identifier *Control::objcGetterId() const
738 739
{ return d->objcGetterId; }

Roberto Raggi's avatar
Roberto Raggi committed
740
const Identifier *Control::objcSetterId() const
741 742
{ return d->objcSetterId; }

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

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

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

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

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

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

761 762 763 764 765 766
const Identifier *Control::cpp11Override() const
{ return d->cpp11Override; }

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

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;
}
802 803 804 805 806

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