CheckDeclaration.cpp 29.8 KB
Newer Older
1
/**************************************************************************
con's avatar
con committed
2
3
4
**
** This file is part of Qt Creator
**
5
** Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
con's avatar
con committed
6
**
7
** Contact: Nokia Corporation (qt-info@nokia.com)
con's avatar
con committed
8
**
9
** Commercial Usage
10
**
11
12
13
14
** Licensees holding valid Qt Commercial licenses may use this file in
** accordance with the Qt Commercial License Agreement provided with the
** Software or, alternatively, in accordance with the terms contained in
** a written agreement between you and Nokia.
15
**
16
** GNU Lesser General Public License Usage
17
**
18
19
20
21
22
23
** Alternatively, this file may be used under the terms of the GNU Lesser
** General Public License version 2.1 as published by the Free Software
** Foundation and appearing in the file LICENSE.LGPL included in the
** packaging of this file.  Please review the following information to
** ensure the GNU Lesser General Public License version 2.1 requirements
** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
24
**
25
** If you are unsure which license is appropriate for your use, please
hjk's avatar
hjk committed
26
** contact the sales department at http://qt.nokia.com/contact.
con's avatar
con committed
27
**
28
**************************************************************************/
con's avatar
con committed
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
// 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 "CheckDeclaration.h"
#include "Semantic.h"
#include "AST.h"
#include "TranslationUnit.h"
#include "Scope.h"
#include "Names.h"
#include "CoreTypes.h"
#include "Symbols.h"
#include "Control.h"
58
#include "Literals.h"
59
#include "QtContextKeywords.h"
60
#include <string>
con's avatar
con committed
61
62
#include <cassert>

63
64
#include <QDebug>

Roberto Raggi's avatar
Roberto Raggi committed
65
using namespace CPlusPlus;
con's avatar
con committed
66
67
68
69
70
71
72
73
74
75
76
77
78

CheckDeclaration::CheckDeclaration(Semantic *semantic)
    : SemanticCheck(semantic),
      _declaration(0),
      _scope(0),
      _templateParameters(0),
      _checkAnonymousArguments(false)
{ }

CheckDeclaration::~CheckDeclaration()
{ }

void CheckDeclaration::check(DeclarationAST *declaration,
79
                             Scope *scope, TemplateParameters *templateParameters)
con's avatar
con committed
80
81
{
    Scope *previousScope = switchScope(scope);
82
    TemplateParameters *previousTemplateParameters = switchTemplateParameters(templateParameters);
con's avatar
con committed
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
    DeclarationAST *previousDeclaration = switchDeclaration(declaration);
    accept(declaration);
    (void) switchDeclaration(previousDeclaration);
    (void) switchTemplateParameters(previousTemplateParameters);
    (void) switchScope(previousScope);
}

DeclarationAST *CheckDeclaration::switchDeclaration(DeclarationAST *declaration)
{
    DeclarationAST *previousDeclaration = _declaration;
    _declaration = declaration;
    return previousDeclaration;
}

Scope *CheckDeclaration::switchScope(Scope *scope)
{
    Scope *previousScope = _scope;
    _scope = scope;
    return previousScope;
}

104
TemplateParameters *CheckDeclaration::switchTemplateParameters(TemplateParameters *templateParameters)
con's avatar
con committed
105
{
106
    TemplateParameters *previousTemplateParameters = _templateParameters;
con's avatar
con committed
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
    _templateParameters = templateParameters;
    return previousTemplateParameters;
}

void CheckDeclaration::checkFunctionArguments(Function *fun)
{
    if (! _checkAnonymousArguments)
        return;

    if (_scope->isClassScope() && fun->isPublic()) {
        for (unsigned argc = 0; argc < fun->argumentCount(); ++argc) {
            Argument *arg = fun->argumentAt(argc)->asArgument();
            assert(arg != 0);

            if (! arg->name()) {
                translationUnit()->warning(arg->sourceLocation(),
                                           "anonymous argument");
            }
        }
    }
}

129
130
131
132
133
134
135
136
137
138
139
140
unsigned CheckDeclaration::locationOfDeclaratorId(DeclaratorAST *declarator) const
{
    if (declarator && declarator->core_declarator) {
        if (DeclaratorIdAST *declaratorId = declarator->core_declarator->asDeclaratorId())
            return declaratorId->firstToken();
        else if (NestedDeclaratorAST *nested = declarator->core_declarator->asNestedDeclarator())
            return locationOfDeclaratorId(nested->declarator);
    }

    return 0;
}

con's avatar
con committed
141
142
bool CheckDeclaration::visit(SimpleDeclarationAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
143
    FullySpecifiedType ty = semantic()->check(ast->decl_specifier_list, _scope);
con's avatar
con committed
144
145
    FullySpecifiedType qualTy = ty.qualifiedType();

146
147
    if (_templateParameters && ty) {
        if (Class *klass = ty->asClassType()) {
con's avatar
con committed
148
149
150
151
            klass->setTemplateParameters(_templateParameters);
        }
    }

Roberto Raggi's avatar
Roberto Raggi committed
152
153
    if (! ast->declarator_list && ast->decl_specifier_list && ! ast->decl_specifier_list->next) {
        if (ElaboratedTypeSpecifierAST *elab_type_spec = ast->decl_specifier_list->value->asElaboratedTypeSpecifier()) {
154
155
156
157
158
159

            unsigned sourceLocation = elab_type_spec->firstToken();

            if (elab_type_spec->name)
                sourceLocation = elab_type_spec->name->firstToken();

Roberto Raggi's avatar
Roberto Raggi committed
160
            const Name *name = semantic()->check(elab_type_spec->name, _scope);
161
            ForwardClassDeclaration *symbol =
162
                    control()->newForwardClassDeclaration(sourceLocation, name);
163
164
165
166
167
168
169
170
171
172
173

            if (_templateParameters) {
                symbol->setTemplateParameters(_templateParameters);
                _templateParameters = 0;
            }

            _scope->enterSymbol(symbol);
            return false;
        }
    }

174
175
    const bool isQ_SLOT   = ast->qt_invokable_token && tokenKind(ast->qt_invokable_token) == T_Q_SLOT;
    const bool isQ_SIGNAL = ast->qt_invokable_token && tokenKind(ast->qt_invokable_token) == T_Q_SIGNAL;
176
    const bool isQ_INVOKABLE = ast->qt_invokable_token && tokenKind(ast->qt_invokable_token) == T_Q_INVOKABLE;
177

Roberto Raggi's avatar
Roberto Raggi committed
178
    List<Declaration *> **decl_it = &ast->symbols;
Roberto Raggi's avatar
Roberto Raggi committed
179
    for (DeclaratorListAST *it = ast->declarator_list; it; it = it->next) {
Roberto Raggi's avatar
Roberto Raggi committed
180
        const Name *name = 0;
Roberto Raggi's avatar
Roberto Raggi committed
181
        FullySpecifiedType declTy = semantic()->check(it->value, qualTy,
con's avatar
con committed
182
183
                                                      _scope, &name);

Roberto Raggi's avatar
Roberto Raggi committed
184
        unsigned location = locationOfDeclaratorId(it->value);
185
        if (! location) {
Roberto Raggi's avatar
Roberto Raggi committed
186
187
            if (it->value)
                location = it->value->firstToken();
188
189
190
            else
                location = ast->firstToken();
        }
191

192
193
        Function *fun = 0;
        if (declTy && 0 != (fun = declTy->asFunctionType())) {
194
            fun->setSourceLocation(location);
con's avatar
con committed
195
196
197
            fun->setScope(_scope);
            fun->setName(name);
            fun->setMethodKey(semantic()->currentMethodKey());
198
            fun->setVirtual(ty.isVirtual());
199
200
201
202
            if (isQ_SIGNAL)
                fun->setMethodKey(Function::SignalMethod);
            else if (isQ_SLOT)
                fun->setMethodKey(Function::SlotMethod);
203
            else if (isQ_INVOKABLE)
204
                fun->setMethodKey(Function::InvokableMethod);
con's avatar
con committed
205
206
207
208
209
210
211
            fun->setVisibility(semantic()->currentVisibility());
        } else if (semantic()->currentMethodKey() != Function::NormalMethod) {
            translationUnit()->warning(ast->firstToken(),
                                       "expected a function declaration");
        }

        Declaration *symbol = control()->newDeclaration(location, name);
212
213
214
        symbol->setStartOffset(tokenAt(ast->firstToken()).offset);
        symbol->setEndOffset(tokenAt(ast->lastToken()).offset);

con's avatar
con committed
215
216
217
        symbol->setType(control()->integerType(IntegerType::Int));
        symbol->setType(declTy);

Roberto Raggi's avatar
Roberto Raggi committed
218
        if (_templateParameters && it == ast->declarator_list && ty && ! ty->isClassType())
con's avatar
con committed
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
            symbol->setTemplateParameters(_templateParameters);

        symbol->setVisibility(semantic()->currentVisibility());

        if (ty.isFriend())
            symbol->setStorage(Symbol::Friend);
        else if (ty.isRegister())
            symbol->setStorage(Symbol::Register);
        else if (ty.isStatic())
            symbol->setStorage(Symbol::Static);
        else if (ty.isExtern())
            symbol->setStorage(Symbol::Extern);
        else if (ty.isMutable())
            symbol->setStorage(Symbol::Mutable);
        else if (ty.isTypedef())
            symbol->setStorage(Symbol::Typedef);

Roberto Raggi's avatar
Roberto Raggi committed
236
237
        if (it->value && it->value->initializer) {
            FullySpecifiedType initTy = semantic()->check(it->value->initializer, _scope);
238
239
        }

Roberto Raggi's avatar
Roberto Raggi committed
240
241
242
243
        *decl_it = new (translationUnit()->memoryPool()) List<Declaration *>();
        (*decl_it)->value = symbol;
        decl_it = &(*decl_it)->next;

con's avatar
con committed
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
        _scope->enterSymbol(symbol);
    }
    return false;
}

bool CheckDeclaration::visit(EmptyDeclarationAST *)
{
    return false;
}

bool CheckDeclaration::visit(AccessDeclarationAST *ast)
{
    int accessSpecifier = tokenKind(ast->access_specifier_token);
    int visibility = semantic()->visibilityForAccessSpecifier(accessSpecifier);
    semantic()->switchVisibility(visibility);
    if (ast->slots_token)
        semantic()->switchMethodKey(Function::SlotMethod);
261
    else if (accessSpecifier == T_Q_SIGNALS)
con's avatar
con committed
262
263
264
265
266
267
268
269
270
271
272
        semantic()->switchMethodKey(Function::SignalMethod);
    else
        semantic()->switchMethodKey(Function::NormalMethod);
    return false;
}

bool CheckDeclaration::visit(AsmDefinitionAST *)
{
    return false;
}

273
bool CheckDeclaration::visit(ExceptionDeclarationAST *ast)
con's avatar
con committed
274
{
Roberto Raggi's avatar
Roberto Raggi committed
275
    FullySpecifiedType ty = semantic()->check(ast->type_specifier_list, _scope);
276
277
    FullySpecifiedType qualTy = ty.qualifiedType();

Roberto Raggi's avatar
Roberto Raggi committed
278
    const Name *name = 0;
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
    FullySpecifiedType declTy = semantic()->check(ast->declarator, qualTy,
                                                  _scope, &name);

    unsigned location = locationOfDeclaratorId(ast->declarator);
    if (! location) {
        if (ast->declarator)
            location = ast->declarator->firstToken();
        else
            location = ast->firstToken();
    }

    Declaration *symbol = control()->newDeclaration(location, name);
    symbol->setStartOffset(tokenAt(ast->firstToken()).offset);
    symbol->setEndOffset(tokenAt(ast->lastToken()).offset);
    symbol->setType(declTy);
    _scope->enterSymbol(symbol);

con's avatar
con committed
296
297
298
299
300
    return false;
}

bool CheckDeclaration::visit(FunctionDefinitionAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
301
    FullySpecifiedType ty = semantic()->check(ast->decl_specifier_list, _scope);
con's avatar
con committed
302
    FullySpecifiedType qualTy = ty.qualifiedType();
Roberto Raggi's avatar
Roberto Raggi committed
303
    const Name *name = 0;
con's avatar
con committed
304
305
    FullySpecifiedType funTy = semantic()->check(ast->declarator, qualTy,
                                                 _scope, &name);
306
    if (! (funTy && funTy->isFunctionType())) {
con's avatar
con committed
307
308
309
310
311
        translationUnit()->error(ast->firstToken(),
                                 "expected a function prototype");
        return false;
    }

312
    Function *fun = funTy->asFunctionType();
313
    fun->setVirtual(ty.isVirtual());
314
315
    fun->setStartOffset(tokenAt(ast->firstToken()).offset);
    fun->setEndOffset(tokenAt(ast->lastToken()).offset);
316
317
    if (ast->declarator)
        fun->setSourceLocation(ast->declarator->firstToken());
con's avatar
con committed
318
319
320
321
322
    fun->setName(name);
    fun->setTemplateParameters(_templateParameters);
    fun->setVisibility(semantic()->currentVisibility());
    fun->setMethodKey(semantic()->currentMethodKey());

323
324
    const bool isQ_SLOT   = ast->qt_invokable_token && tokenKind(ast->qt_invokable_token) == T_Q_SLOT;
    const bool isQ_SIGNAL = ast->qt_invokable_token && tokenKind(ast->qt_invokable_token) == T_Q_SIGNAL;
325
    const bool isQ_INVOKABLE = ast->qt_invokable_token && tokenKind(ast->qt_invokable_token) == T_Q_INVOKABLE;
326
327
328
329
330

    if (isQ_SIGNAL)
        fun->setMethodKey(Function::SignalMethod);
    else if (isQ_SLOT)
        fun->setMethodKey(Function::SlotMethod);
331
    else if (isQ_INVOKABLE)
332
        fun->setMethodKey(Function::InvokableMethod);
333

con's avatar
con committed
334
335
    checkFunctionArguments(fun);

Roberto Raggi's avatar
Roberto Raggi committed
336
    ast->symbol = fun;
con's avatar
con committed
337
338
    _scope->enterSymbol(fun);

339
340
341
342
343
344
345
346
347
348
349
350
    if (! semantic()->skipFunctionBodies()) {
        if (ast->ctor_initializer) {
            bool looksLikeCtor = false;
            if (ty.isValid() || ! fun->identity())
                looksLikeCtor = false;
            else if (fun->identity()->isNameId() || fun->identity()->isTemplateNameId())
                looksLikeCtor = true;

            if (! looksLikeCtor) {
                translationUnit()->error(ast->ctor_initializer->firstToken(),
                                         "only constructors take base initializers");
            }
351
            accept(ast->ctor_initializer);
352
        }
con's avatar
con committed
353

354
355
        const int previousVisibility = semantic()->switchVisibility(Symbol::Public);
        const int previousMethodKey = semantic()->switchMethodKey(Function::NormalMethod);
con's avatar
con committed
356

357
        semantic()->check(ast->function_body, fun->members());
con's avatar
con committed
358

359
360
361
        semantic()->switchMethodKey(previousMethodKey);
        semantic()->switchVisibility(previousVisibility);
    }
con's avatar
con committed
362
363
364
365

    return false;
}

Roberto Raggi's avatar
Roberto Raggi committed
366
367
368
bool CheckDeclaration::visit(MemInitializerAST *ast)
{
    (void) semantic()->check(ast->name, _scope);
369
370
371
    for (ExpressionListAST *it = ast->expression_list; it; it = it->next) {
        FullySpecifiedType ty = semantic()->check(it->value, _scope);
    }
Roberto Raggi's avatar
Roberto Raggi committed
372
373
374
    return false;
}

con's avatar
con committed
375
376
bool CheckDeclaration::visit(LinkageBodyAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
377
    for (DeclarationListAST *decl = ast->declaration_list; decl; decl = decl->next) {
378
       semantic()->check(decl->value, _scope);
con's avatar
con committed
379
380
381
382
383
384
    }
    return false;
}

bool CheckDeclaration::visit(LinkageSpecificationAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
385
    semantic()->check(ast->declaration, _scope);
con's avatar
con committed
386
387
388
389
390
    return false;
}

bool CheckDeclaration::visit(NamespaceAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
391
392
393
    const Name *namespaceName = 0;
    if (const Identifier *id = identifier(ast->identifier_token))
        namespaceName = control()->nameId(id);
394
395
396
397
398
399
400

    unsigned sourceLocation = ast->firstToken();

    if (ast->identifier_token)
        sourceLocation = ast->identifier_token;

    Namespace *ns = control()->newNamespace(sourceLocation, namespaceName);
401
402
    ns->setStartOffset(tokenAt(ast->firstToken()).offset);
    ns->setEndOffset(tokenAt(ast->lastToken()).offset);
Roberto Raggi's avatar
Roberto Raggi committed
403
    ast->symbol = ns;
con's avatar
con committed
404
405
406
407
408
409
410
411
412
413
414
415
416
    _scope->enterSymbol(ns);
    semantic()->check(ast->linkage_body, ns->members()); // ### we'll do the merge later.

    return false;
}

bool CheckDeclaration::visit(NamespaceAliasDefinitionAST *)
{
    return false;
}

bool CheckDeclaration::visit(ParameterDeclarationAST *ast)
{
417
418
419
420
421
422
423
    unsigned sourceLocation = locationOfDeclaratorId(ast->declarator);
    if (! sourceLocation) {
        if (ast->declarator)
            sourceLocation = ast->declarator->firstToken();
        else
            sourceLocation = ast->firstToken();
    }
424

Roberto Raggi's avatar
Roberto Raggi committed
425
    const Name *argName = 0;
Roberto Raggi's avatar
Roberto Raggi committed
426
    FullySpecifiedType ty = semantic()->check(ast->type_specifier_list, _scope);
con's avatar
con committed
427
428
429
    FullySpecifiedType argTy = semantic()->check(ast->declarator, ty.qualifiedType(),
                                                 _scope, &argName);
    FullySpecifiedType exprTy = semantic()->check(ast->expression, _scope);
430
    Argument *arg = control()->newArgument(sourceLocation, argName);
Roberto Raggi's avatar
Roberto Raggi committed
431
    ast->symbol = arg;
432
433
434
435
436
437
438
439
440
441
442
443
444
    if (ast->expression) {
        unsigned startOfExpression = ast->expression->firstToken();
        unsigned endOfExpression = ast->expression->lastToken();
        std::string buffer;
        for (unsigned index = startOfExpression; index != endOfExpression; ++index) {
            const Token &tk = tokenAt(index);
            if (tk.whitespace() || tk.newline())
                buffer += ' ';
            buffer += tk.spell();
        }
        const StringLiteral *initializer = control()->findOrInsertStringLiteral(buffer.c_str(), buffer.size());
        arg->setInitializer(initializer);
    }
con's avatar
con committed
445
446
447
448
449
450
451
    arg->setType(argTy);
    _scope->enterSymbol(arg);
    return false;
}

bool CheckDeclaration::visit(TemplateDeclarationAST *ast)
{
452
453
    Scope *scope = new Scope(_scope->owner());

Roberto Raggi's avatar
Roberto Raggi committed
454
    for (DeclarationListAST *param = ast->template_parameter_list; param; param = param->next) {
455
       semantic()->check(param->value, scope);
con's avatar
con committed
456
457
    }

458
459
460
    semantic()->check(ast->declaration, _scope,
                      new TemplateParameters(_templateParameters, scope));

con's avatar
con committed
461
462
463
464
465
    return false;
}

bool CheckDeclaration::visit(TypenameTypeParameterAST *ast)
{
466
467
468
469
    unsigned sourceLocation = ast->firstToken();
    if (ast->name)
        sourceLocation = ast->name->firstToken();

Roberto Raggi's avatar
Roberto Raggi committed
470
    const Name *name = semantic()->check(ast->name, _scope);
471
472
473
    TypenameArgument *arg = control()->newTypenameArgument(sourceLocation, name);
    FullySpecifiedType ty = semantic()->check(ast->type_id, _scope);
    arg->setType(ty);
Roberto Raggi's avatar
Roberto Raggi committed
474
    ast->symbol = arg;
con's avatar
con committed
475
476
477
478
479
480
    _scope->enterSymbol(arg);
    return false;
}

bool CheckDeclaration::visit(TemplateTypeParameterAST *ast)
{
481
482
483
484
    unsigned sourceLocation = ast->firstToken();
    if (ast->name)
        sourceLocation = ast->name->firstToken();

Roberto Raggi's avatar
Roberto Raggi committed
485
    const Name *name = semantic()->check(ast->name, _scope);
486
487
488
    TypenameArgument *arg = control()->newTypenameArgument(sourceLocation, name);
    FullySpecifiedType ty = semantic()->check(ast->type_id, _scope);
    arg->setType(ty);
Roberto Raggi's avatar
Roberto Raggi committed
489
    ast->symbol = arg;
con's avatar
con committed
490
491
492
493
494
495
    _scope->enterSymbol(arg);
    return false;
}

bool CheckDeclaration::visit(UsingAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
496
    const Name *name = semantic()->check(ast->name, _scope);
497
498
499
500
501
502

    unsigned sourceLocation = ast->firstToken();
    if (ast->name)
        sourceLocation = ast->name->firstToken();

    UsingDeclaration *u = control()->newUsingDeclaration(sourceLocation, name);
Roberto Raggi's avatar
Roberto Raggi committed
503
    ast->symbol = u;
con's avatar
con committed
504
505
506
507
508
509
    _scope->enterSymbol(u);
    return false;
}

bool CheckDeclaration::visit(UsingDirectiveAST *ast)
{
Roberto Raggi's avatar
Roberto Raggi committed
510
    const Name *name = semantic()->check(ast->name, _scope);
511
512
513
514
515
516

    unsigned sourceLocation = ast->firstToken();
    if (ast->name)
        sourceLocation = ast->name->firstToken();

    UsingNamespaceDirective *u = control()->newUsingNamespaceDirective(sourceLocation, name);
Roberto Raggi's avatar
Roberto Raggi committed
517
    ast->symbol = u;
con's avatar
con committed
518
    _scope->enterSymbol(u);
519
520
521
522
523

    if (! (_scope->isBlockScope() || _scope->isNamespaceScope()))
        translationUnit()->error(ast->firstToken(),
                                 "using-directive not within namespace or block scope");

con's avatar
con committed
524
525
526
    return false;
}

Erik Verbruggen's avatar
Erik Verbruggen committed
527
bool CheckDeclaration::visit(ObjCProtocolForwardDeclarationAST *ast)
528
529
530
531
{
    const unsigned sourceLocation = ast->firstToken();

    List<ObjCForwardProtocolDeclaration *> **symbolIter = &ast->symbols;
532
    for (NameListAST *it = ast->identifier_list; it; it = it->next) {
533
        unsigned declarationLocation;
Roberto Raggi's avatar
Roberto Raggi committed
534
535
        if (it->value)
            declarationLocation = it->value->firstToken();
536
537
538
        else
            declarationLocation = sourceLocation;

Roberto Raggi's avatar
Roberto Raggi committed
539
        const Name *protocolName = semantic()->check(it->value, _scope);
540
541
542
543
544
545
546
547
548
549
550
551
552
553
        ObjCForwardProtocolDeclaration *fwdProtocol = control()->newObjCForwardProtocolDeclaration(sourceLocation, protocolName);
        fwdProtocol->setStartOffset(tokenAt(ast->firstToken()).offset);
        fwdProtocol->setEndOffset(tokenAt(ast->lastToken()).offset);

        _scope->enterSymbol(fwdProtocol);

        *symbolIter = new (translationUnit()->memoryPool()) List<ObjCForwardProtocolDeclaration *>();
        (*symbolIter)->value = fwdProtocol;
        symbolIter = &(*symbolIter)->next;
    }

    return false;
}

Erik Verbruggen's avatar
Erik Verbruggen committed
554
bool CheckDeclaration::visit(ObjCProtocolDeclarationAST *ast)
555
556
557
558
559
560
561
{
    unsigned sourceLocation;
    if (ast->name)
        sourceLocation = ast->name->firstToken();
    else
        sourceLocation = ast->firstToken();

Roberto Raggi's avatar
Roberto Raggi committed
562
    const Name *protocolName = semantic()->check(ast->name, _scope);
563
564
565
566
    ObjCProtocol *protocol = control()->newObjCProtocol(sourceLocation, protocolName);
    protocol->setStartOffset(tokenAt(ast->firstToken()).offset);
    protocol->setEndOffset(tokenAt(ast->lastToken()).offset);

567
    if (ast->protocol_refs && ast->protocol_refs->identifier_list) {
568
        for (NameListAST *iter = ast->protocol_refs->identifier_list; iter; iter = iter->next) {
Roberto Raggi's avatar
Roberto Raggi committed
569
            NameAST* name = iter->value;
Roberto Raggi's avatar
Roberto Raggi committed
570
            const Name *protocolName = semantic()->check(name, _scope);
571
572
573
574
575
576
            ObjCBaseProtocol *baseProtocol = control()->newObjCBaseProtocol(name->firstToken(), protocolName);
            protocol->addProtocol(baseProtocol);
        }
    }

    int previousObjCVisibility = semantic()->switchObjCVisibility(Function::Public);
Roberto Raggi's avatar
Roberto Raggi committed
577
    for (DeclarationListAST *it = ast->member_declaration_list; it; it = it->next) {
578
        semantic()->check(it->value, protocol->members());
579
580
581
582
    }
    (void) semantic()->switchObjCVisibility(previousObjCVisibility);

    ast->symbol = protocol;
583
584
585
586
587
    _scope->enterSymbol(protocol);

    return false;
}

Erik Verbruggen's avatar
Erik Verbruggen committed
588
bool CheckDeclaration::visit(ObjCClassForwardDeclarationAST *ast)
589
590
591
592
{
    const unsigned sourceLocation = ast->firstToken();

    List<ObjCForwardClassDeclaration *> **symbolIter = &ast->symbols;
593
    for (NameListAST *it = ast->identifier_list; it; it = it->next) {
594
        unsigned declarationLocation;
Roberto Raggi's avatar
Roberto Raggi committed
595
596
        if (it->value)
            declarationLocation = it->value->firstToken();
597
598
599
        else
            declarationLocation = sourceLocation;

Roberto Raggi's avatar
Roberto Raggi committed
600
        const Name *className = semantic()->check(it->value, _scope);
601
602
603
604
605
606
607
608
609
610
611
612
613
614
        ObjCForwardClassDeclaration *fwdClass = control()->newObjCForwardClassDeclaration(sourceLocation, className);
        fwdClass->setStartOffset(tokenAt(ast->firstToken()).offset);
        fwdClass->setEndOffset(tokenAt(ast->lastToken()).offset);

        _scope->enterSymbol(fwdClass);

        *symbolIter = new (translationUnit()->memoryPool()) List<ObjCForwardClassDeclaration *>();
        (*symbolIter)->value = fwdClass;
        symbolIter = &(*symbolIter)->next;
    }

    return false;
}

Erik Verbruggen's avatar
Erik Verbruggen committed
615
bool CheckDeclaration::visit(ObjCClassDeclarationAST *ast)
616
617
618
619
620
621
622
{
    unsigned sourceLocation;
    if (ast->class_name)
        sourceLocation = ast->class_name->firstToken();
    else
        sourceLocation = ast->firstToken();

Roberto Raggi's avatar
Roberto Raggi committed
623
    const Name *className = semantic()->check(ast->class_name, _scope);
624
625
626
627
628
    ObjCClass *klass = control()->newObjCClass(sourceLocation, className);
    klass->setStartOffset(tokenAt(ast->firstToken()).offset);
    klass->setEndOffset(tokenAt(ast->lastToken()).offset);
    ast->symbol = klass;

629
630
631
    klass->setInterface(ast->interface_token != 0);

    if (ast->category_name) {
Roberto Raggi's avatar
Roberto Raggi committed
632
        const Name *categoryName = semantic()->check(ast->category_name, _scope);
633
634
635
        klass->setCategoryName(categoryName);
    }

636
    if (ast->superclass) {
Roberto Raggi's avatar
Roberto Raggi committed
637
        const Name *superClassName = semantic()->check(ast->superclass, _scope);
638
639
640
641
642
        ObjCBaseClass *superKlass = control()->newObjCBaseClass(ast->superclass->firstToken(), superClassName);
        klass->setBaseClass(superKlass);
    }

    if (ast->protocol_refs && ast->protocol_refs->identifier_list) {
643
        for (NameListAST *iter = ast->protocol_refs->identifier_list; iter; iter = iter->next) {
Roberto Raggi's avatar
Roberto Raggi committed
644
            NameAST* name = iter->value;
Roberto Raggi's avatar
Roberto Raggi committed
645
            const Name *protocolName = semantic()->check(name, _scope);
646
647
648
649
650
            ObjCBaseProtocol *baseProtocol = control()->newObjCBaseProtocol(name->firstToken(), protocolName);
            klass->addProtocol(baseProtocol);
        }
    }

651
652
653
654
655
    _scope->enterSymbol(klass);

    int previousObjCVisibility = semantic()->switchObjCVisibility(Function::Protected);

    if (ast->inst_vars_decl) {
Roberto Raggi's avatar
Roberto Raggi committed
656
        for (DeclarationListAST *it = ast->inst_vars_decl->instance_variable_list; it; it = it->next) {
657
            semantic()->check(it->value, klass->members());
658
659
660
        }
    }

Erik Verbruggen's avatar
Erik Verbruggen committed
661
662
    (void) semantic()->switchObjCVisibility(Function::Public);

Roberto Raggi's avatar
Roberto Raggi committed
663
    for (DeclarationListAST *it = ast->member_declaration_list; it; it = it->next) {
664
        semantic()->check(it->value, klass->members());
665
666
667
668
669
670
671
672
673
    }

    (void) semantic()->switchObjCVisibility(previousObjCVisibility);

    return false;
}

bool CheckDeclaration::visit(ObjCMethodDeclarationAST *ast)
{
674
675
676
677
678
    ObjCMethodPrototypeAST *methodProto = ast->method_prototype;
    if (!methodProto)
        return false;
    ObjCSelectorAST *selector = methodProto->selector;
    if (!selector)
679
680
        return false;

681
    FullySpecifiedType ty = semantic()->check(methodProto, _scope);
682
683
    ObjCMethod *methodTy = ty.type()->asObjCMethodType();
    if (!methodTy)
684
685
        return false;

686
    Symbol *symbol;
Erik Verbruggen's avatar
Erik Verbruggen committed
687
    if (ast->function_body) {
688
        if (!semantic()->skipFunctionBodies()) {
689
            semantic()->check(ast->function_body, methodTy->members());
690
        }
691

692
        symbol = methodTy;
Erik Verbruggen's avatar
Erik Verbruggen committed
693
    } else {
694
        Declaration *decl = control()->newDeclaration(selector->firstToken(), methodTy->name());
695
        decl->setType(methodTy);
Erik Verbruggen's avatar
Erik Verbruggen committed
696
        symbol = decl;
697
        symbol->setStorage(methodTy->storage());
698
    }
699

700
701
    symbol->setStartOffset(tokenAt(ast->firstToken()).offset);
    symbol->setEndOffset(tokenAt(ast->lastToken()).offset);
702
    symbol->setVisibility(semantic()->currentObjCVisibility());
703
704
705

    _scope->enterSymbol(symbol);

706
707
708
    return false;
}

709
710
711
712
713
714
715
716
bool CheckDeclaration::visit(ObjCVisibilityDeclarationAST *ast)
{
    int accessSpecifier = tokenKind(ast->visibility_token);
    int visibility = semantic()->visibilityForObjCAccessSpecifier(accessSpecifier);
    semantic()->switchObjCVisibility(visibility);
    return false;
}

717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
bool CheckDeclaration::checkPropertyAttribute(ObjCPropertyAttributeAST *attrAst,
                                              int &flags,
                                              int attr)
{
    if (flags & attr) {
        translationUnit()->warning(attrAst->attribute_identifier_token,
                                   "duplicate property attribute \"%s\"",
                                   spell(attrAst->attribute_identifier_token));
        return false;
    } else {
        flags |= attr;
        return true;
    }
}

bool CheckDeclaration::visit(ObjCPropertyDeclarationAST *ast)
{
734
735
736
737
738
739
740
741
742
743
    semantic()->check(ast->simple_declaration, _scope);
    SimpleDeclarationAST *simpleDecl = ast->simple_declaration->asSimpleDeclaration();

    if (!simpleDecl) {
        translationUnit()->warning(ast->simple_declaration->firstToken(),
                                   "invalid type for property declaration");
        return false;
    }

    int propAttrs = ObjCPropertyDeclaration::None;
Roberto Raggi's avatar
Roberto Raggi committed
744
    const Name *getterName = 0, *setterName = 0;
745

Roberto Raggi's avatar
Roberto Raggi committed
746
    for (ObjCPropertyAttributeListAST *iter= ast->property_attribute_list; iter; iter = iter->next) {
747
        ObjCPropertyAttributeAST *attrAst = iter->value;
748
749
750
        if (!attrAst)
            continue;

Roberto Raggi's avatar
Roberto Raggi committed
751
        const Identifier *attrId = identifier(attrAst->attribute_identifier_token);
752
        if (attrId == control()->objcGetterId()) {
753
754
            if (checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::Getter)) {
                getterName = semantic()->check(attrAst->method_selector, _scope);
755
            }
756
        } else if (attrId == control()->objcSetterId()) {
757
758
            if (checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::Setter)) {
                setterName = semantic()->check(attrAst->method_selector, _scope);
759
            }
760
        } else if (attrId == control()->objcReadwriteId()) {
761
            checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::ReadWrite);
762
        } else if (attrId == control()->objcReadonlyId()) {
763
            checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::ReadOnly);
764
        } else if (attrId == control()->objcAssignId()) {
765
            checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::Assign);
766
        } else if (attrId == control()->objcRetainId()) {
767
            checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::Retain);
768
        } else if (attrId == control()->objcCopyId()) {
769
            checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::Copy);
770
        } else if (attrId == control()->objcNonatomicId()) {
771
            checkPropertyAttribute(attrAst, propAttrs, ObjCPropertyDeclaration::NonAtomic);
772
773
774
        }
    }

775
776
    if (propAttrs & ObjCPropertyDeclaration::ReadOnly &&
        propAttrs & ObjCPropertyDeclaration::ReadWrite)
777
778
779
        // Should this be an error instead of only a warning?
        translationUnit()->warning(ast->property_token,
                                   "property can have at most one attribute \"readonly\" or \"readwrite\" specified");
780
    int setterSemAttrs = propAttrs & ObjCPropertyDeclaration::SetterSemanticsMask;
781
    if (setterSemAttrs
782
783
784
            && setterSemAttrs != ObjCPropertyDeclaration::Assign
            && setterSemAttrs != ObjCPropertyDeclaration::Retain
            && setterSemAttrs != ObjCPropertyDeclaration::Copy) {
785
786
787
788
789
        // Should this be an error instead of only a warning?
        translationUnit()->warning(ast->property_token,
                                   "property can have at most one attribute \"assign\", \"retain\", or \"copy\" specified");
    }

790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
    List<ObjCPropertyDeclaration *> **lastSymbols = &ast->symbols;
    for (List<Declaration*> *iter = simpleDecl->symbols; iter; iter = iter->next) {
        ObjCPropertyDeclaration *propDecl = control()->newObjCPropertyDeclaration(ast->firstToken(),
                                                                                  iter->value->name());
        propDecl->setType(iter->value->type());
        propDecl->setAttributes(propAttrs);
        propDecl->setGetterName(getterName);
        propDecl->setSetterName(setterName);
        _scope->enterSymbol(propDecl);

        *lastSymbols = new (translationUnit()->memoryPool()) List<ObjCPropertyDeclaration *>();
        (*lastSymbols)->value = propDecl;
        lastSymbols = &(*lastSymbols)->next;
    }

805
806
    return false;
}
807
808
809
810
811
812
813
814
815
816
817
818
819
820

bool CheckDeclaration::visit(QtEnumDeclarationAST *ast)
{
    for (NameListAST *iter = ast->enumerator_list; iter; iter = iter->next)
        semantic()->check(iter->value, _scope);
    return false;
}

bool CheckDeclaration::visit(QtFlagsDeclarationAST *ast)
{
    for (NameListAST *iter = ast->flag_enums_list; iter; iter = iter->next)
        semantic()->check(iter->value, _scope);
    return false;
}