diff options
Diffstat (limited to 'src/shared/cplusplus/Bind.cpp')
| -rw-r--r-- | src/shared/cplusplus/Bind.cpp | 3086 |
1 files changed, 0 insertions, 3086 deletions
diff --git a/src/shared/cplusplus/Bind.cpp b/src/shared/cplusplus/Bind.cpp deleted file mode 100644 index 0b6bda0d6e..0000000000 --- a/src/shared/cplusplus/Bind.cpp +++ /dev/null @@ -1,3086 +0,0 @@ -/************************************************************************** -** -** This file is part of Qt Creator -** -** Copyright (c) 2011 Nokia Corporation and/or its subsidiary(-ies). -** -** Contact: Nokia Corporation (info@qt.nokia.com) -** -** -** GNU Lesser General Public License Usage -** -** 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. -** -** In addition, as a special exception, Nokia gives you certain additional -** rights. These rights are described in the Nokia Qt LGPL Exception -** version 1.1, included in the file LGPL_EXCEPTION.txt in this package. -** -** Other Usage -** -** Alternatively, this file may be used in accordance with the terms and -** conditions contained in a signed written agreement between you and Nokia. -** -** If you have questions regarding the use of this file, please contact -** Nokia at info@qt.nokia.com. -** -**************************************************************************/ -// 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 "Bind.h" -#include "AST.h" -#include "TranslationUnit.h" -#include "Control.h" -#include "Names.h" -#include "Symbols.h" -#include "CoreTypes.h" -#include "Literals.h" -#include "Scope.h" -#include <vector> -#include <string> -#include <memory> -#include <cassert> - -using namespace CPlusPlus; - -const int Bind::kMaxDepth(100); - -Bind::Bind(TranslationUnit *unit) - : ASTVisitor(unit), - _scope(0), - _expression(0), - _name(0), - _declaratorId(0), - _visibility(Symbol::Public), - _objcVisibility(Symbol::Public), - _methodKey(Function::NormalMethod), - _skipFunctionBodies(false), - _depth(0) -{ -} - -bool Bind::skipFunctionBodies() const -{ - return _skipFunctionBodies; -} - -void Bind::setSkipFunctionBodies(bool skipFunctionBodies) -{ - _skipFunctionBodies = skipFunctionBodies; -} - -unsigned Bind::location(DeclaratorAST *ast, unsigned defaultLocation) const -{ - if (! ast) - return defaultLocation; - - else if (ast->core_declarator) - return location(ast->core_declarator, defaultLocation); - - return ast->firstToken(); -} - -unsigned Bind::location(CoreDeclaratorAST *ast, unsigned defaultLocation) const -{ - if (! ast) - return defaultLocation; - - else if (NestedDeclaratorAST *nested = ast->asNestedDeclarator()) - return location(nested->declarator, defaultLocation); - - else if (DeclaratorIdAST *id = ast->asDeclaratorId()) - return location(id->name, defaultLocation); - - return ast->firstToken(); -} - -unsigned Bind::location(NameAST *name, unsigned defaultLocation) const -{ - if (! name) - return defaultLocation; - - else if (DestructorNameAST *dtor = name->asDestructorName()) - return dtor->identifier_token; - - else if (TemplateIdAST *templId = name->asTemplateId()) - return templId->identifier_token; - - else if (QualifiedNameAST *q = name->asQualifiedName()) { - if (q->unqualified_name) - return location(q->unqualified_name, defaultLocation); - } - - return name->firstToken(); -} - -void Bind::setDeclSpecifiers(Symbol *symbol, const FullySpecifiedType &declSpecifiers) -{ - if (! symbol) - return; - - int storage = Symbol::NoStorage; - - if (declSpecifiers.isFriend()) - storage = Symbol::Friend; - else if (declSpecifiers.isAuto()) - storage = Symbol::Auto; - else if (declSpecifiers.isRegister()) - storage = Symbol::Register; - else if (declSpecifiers.isStatic()) - storage = Symbol::Static; - else if (declSpecifiers.isExtern()) - storage = Symbol::Extern; - else if (declSpecifiers.isMutable()) - storage = Symbol::Mutable; - else if (declSpecifiers.isTypedef()) - storage = Symbol::Typedef; - - symbol->setStorage(storage); - - if (Function *funTy = symbol->asFunction()) { - if (declSpecifiers.isVirtual()) { - funTy->setVirtual(true); - } - } - - if (declSpecifiers.isDeprecated()) - symbol->setDeprecated(true); - - if (declSpecifiers.isUnavailable()) - symbol->setUnavailable(true); -} - -Scope *Bind::switchScope(Scope *scope) -{ - if (! scope) - return _scope; - - std::swap(_scope, scope); - return scope; -} - -int Bind::switchVisibility(int visibility) -{ - std::swap(_visibility, visibility); - return visibility; -} - -int Bind::switchObjCVisibility(int visibility) -{ - std::swap(_objcVisibility, visibility); - return visibility; -} - -int Bind::switchMethodKey(int methodKey) -{ - std::swap(_methodKey, methodKey); - return methodKey; -} - -void Bind::operator()(TranslationUnitAST *ast, Namespace *globalNamespace) -{ - Scope *previousScope = switchScope(globalNamespace); - translationUnit(ast); - (void) switchScope(previousScope); -} - -void Bind::operator()(DeclarationAST *ast, Scope *scope) -{ - Scope *previousScope = switchScope(scope); - declaration(ast); - (void) switchScope(previousScope); -} - -FullySpecifiedType Bind::operator()(ExpressionAST *ast, Scope *scope) -{ - Scope *previousScope = switchScope(scope); - FullySpecifiedType ty = expression(ast); - (void) switchScope(previousScope); - return ty; -} - -FullySpecifiedType Bind::operator()(NewTypeIdAST *ast, Scope *scope) -{ - Scope *previousScope = switchScope(scope); - FullySpecifiedType ty = newTypeId(ast); - (void) switchScope(previousScope); - return ty; -} - -void Bind::statement(StatementAST *ast) -{ - accept(ast); -} - -Bind::ExpressionTy Bind::expression(ExpressionAST *ast) -{ - ExpressionTy value = ExpressionTy(); - std::swap(_expression, value); - accept(ast); - std::swap(_expression, value); - return value; -} - -void Bind::declaration(DeclarationAST *ast) -{ - accept(ast); -} - -const Name *Bind::name(NameAST *ast) -{ - const Name *value = 0; - std::swap(_name, value); - accept(ast); - std::swap(_name, value); - return value; -} - -FullySpecifiedType Bind::specifier(SpecifierAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType value = init; - std::swap(_type, value); - accept(ast); - std::swap(_type, value); - return value; -} - -FullySpecifiedType Bind::ptrOperator(PtrOperatorAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType value = init; - std::swap(_type, value); - accept(ast); - std::swap(_type, value); - return value; -} - -FullySpecifiedType Bind::coreDeclarator(CoreDeclaratorAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType value = init; - std::swap(_type, value); - accept(ast); - std::swap(_type, value); - return value; -} - -FullySpecifiedType Bind::postfixDeclarator(PostfixDeclaratorAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType value = init; - std::swap(_type, value); - accept(ast); - std::swap(_type, value); - return value; -} - -bool Bind::preVisit(AST *) -{ - ++_depth; - if (_depth > kMaxDepth) - return false; - return true; -} - -void Bind::postVisit(AST *) -{ - --_depth; -} - -// AST -bool Bind::visit(ObjCSelectorArgumentAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -const Name *Bind::objCSelectorArgument(ObjCSelectorArgumentAST *ast, bool *hasArg) -{ - if (! (ast && ast->name_token)) - return 0; - - if (ast->colon_token) - *hasArg = true; - - return identifier(ast->name_token); -} - -bool Bind::visit(AttributeAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::attribute(AttributeAST *ast) -{ - if (! ast) - return; - - // unsigned identifier_token = ast->identifier_token; - if (const Identifier *id = identifier(ast->identifier_token)) { - if (id == control()->deprecatedId()) - _type.setDeprecated(true); - else if (id == control()->unavailableId()) - _type.setUnavailable(true); - } - - // unsigned lparen_token = ast->lparen_token; - // unsigned tag_token = ast->tag_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned rparen_token = ast->rparen_token; -} - -bool Bind::visit(DeclaratorAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -FullySpecifiedType Bind::declarator(DeclaratorAST *ast, const FullySpecifiedType &init, DeclaratorIdAST **declaratorId) -{ - FullySpecifiedType type = init; - - if (! ast) - return type; - - std::swap(_declaratorId, declaratorId); - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - for (PtrOperatorListAST *it = ast->ptr_operator_list; it; it = it->next) { - type = this->ptrOperator(it->value, type); - } - for (PostfixDeclaratorListAST *it = ast->postfix_declarator_list; it; it = it->next) { - type = this->postfixDeclarator(it->value, type); - } - type = this->coreDeclarator(ast->core_declarator, type); - for (SpecifierListAST *it = ast->post_attribute_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - // unsigned equals_token = ast->equals_token; - ExpressionTy initializer = this->expression(ast->initializer); - std::swap(_declaratorId, declaratorId); - return type; -} - -bool Bind::visit(QtPropertyDeclarationItemAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -bool Bind::visit(QtInterfaceNameAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::qtInterfaceName(QtInterfaceNameAST *ast) -{ - if (! ast) - return; - - /*const Name *interface_name =*/ this->name(ast->interface_name); - for (NameListAST *it = ast->constraint_list; it; it = it->next) { - /*const Name *value =*/ this->name(it->value); - } -} - -bool Bind::visit(BaseSpecifierAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::baseSpecifier(BaseSpecifierAST *ast, unsigned colon_token, Class *klass) -{ - if (! ast) - return; - - unsigned sourceLocation = location(ast->name, ast->firstToken()); - if (! sourceLocation) - sourceLocation = std::max(colon_token, klass->sourceLocation()); - - const Name *baseClassName = this->name(ast->name); - BaseClass *baseClass = control()->newBaseClass(sourceLocation, baseClassName); - if (ast->virtual_token) - baseClass->setVirtual(true); - if (ast->access_specifier_token) { - const int visibility = visibilityForAccessSpecifier(tokenKind(ast->access_specifier_token)); - baseClass->setVisibility(visibility); // ### well, not exactly. - } - klass->addBaseClass(baseClass); - ast->symbol = baseClass; -} - -bool Bind::visit(CtorInitializerAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::ctorInitializer(CtorInitializerAST *ast, Function *fun) -{ - if (! ast) - return; - - // unsigned colon_token = ast->colon_token; - for (MemInitializerListAST *it = ast->member_initializer_list; it; it = it->next) { - this->memInitializer(it->value, fun); - } - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; -} - -bool Bind::visit(EnumeratorAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::enumerator(EnumeratorAST *ast, Enum *symbol) -{ - (void) symbol; - - if (! ast) - return; - - // unsigned identifier_token = ast->identifier_token; - // unsigned equal_token = ast->equal_token; - /*ExpressionTy expression =*/ this->expression(ast->expression); - - if (ast->identifier_token) { - const Name *name = identifier(ast->identifier_token); - EnumeratorDeclaration *e = control()->newEnumeratorDeclaration(ast->identifier_token, name); - e->setType(control()->integerType(IntegerType::Int)); // ### introduce IntegerType::Enumerator - - if (ExpressionAST *expr = ast->expression) { - e->setConstantValue(asStringLiteral(expr->firstToken(), expr->lastToken())); - } - - symbol->addMember(e); - } -} - -bool Bind::visit(ExceptionSpecificationAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -FullySpecifiedType Bind::exceptionSpecification(ExceptionSpecificationAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType type = init; - - if (! ast) - return type; - - // unsigned throw_token = ast->throw_token; - // unsigned lparen_token = ast->lparen_token; - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; - for (ExpressionListAST *it = ast->type_id_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned rparen_token = ast->rparen_token; - return type; -} - -bool Bind::visit(MemInitializerAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::memInitializer(MemInitializerAST *ast, Function *fun) -{ - if (! ast) - return; - - /*const Name *name =*/ this->name(ast->name); - - Scope *previousScope = switchScope(fun); - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - /*ExpressionTy value =*/ this->expression(it->value); - } - (void) switchScope(previousScope); -} - -bool Bind::visit(NestedNameSpecifierAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -const Name *Bind::nestedNameSpecifier(NestedNameSpecifierAST *ast) -{ - if (! ast) - return 0; - - const Name *class_or_namespace_name = this->name(ast->class_or_namespace_name); - return class_or_namespace_name; -} - -bool Bind::visit(NewPlacementAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::newPlacement(NewPlacementAST *ast) -{ - if (! ast) - return; - - // unsigned lparen_token = ast->lparen_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned rparen_token = ast->rparen_token; -} - -bool Bind::visit(NewArrayDeclaratorAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -FullySpecifiedType Bind::newArrayDeclarator(NewArrayDeclaratorAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType type = init; - - if (! ast) - return type; - - // unsigned lbracket_token = ast->lbracket_token; - ExpressionTy expression = this->expression(ast->expression); - // unsigned rbracket_token = ast->rbracket_token; - return type; -} - -bool Bind::visit(NewInitializerAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::newInitializer(NewInitializerAST *ast) -{ - if (! ast) - return; - - // unsigned lparen_token = ast->lparen_token; - ExpressionTy expression = this->expression(ast->expression); - // unsigned rparen_token = ast->rparen_token; -} - -bool Bind::visit(NewTypeIdAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -FullySpecifiedType Bind::newTypeId(NewTypeIdAST *ast) -{ - FullySpecifiedType type; - - if (! ast) - return type; - - - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - for (PtrOperatorListAST *it = ast->ptr_operator_list; it; it = it->next) { - type = this->ptrOperator(it->value, type); - } - for (NewArrayDeclaratorListAST *it = ast->new_array_declarator_list; it; it = it->next) { - type = this->newArrayDeclarator(it->value, type); - } - return type; -} - -bool Bind::visit(OperatorAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -OperatorNameId::Kind Bind::cppOperator(OperatorAST *ast) -{ - OperatorNameId::Kind kind = OperatorNameId::InvalidOp; - - if (! ast) - return kind; - - // unsigned op_token = ast->op_token; - // unsigned open_token = ast->open_token; - // unsigned close_token = ast->close_token; - - switch (tokenKind(ast->op_token)) { - case T_NEW: - if (ast->open_token) - kind = OperatorNameId::NewArrayOp; - else - kind = OperatorNameId::NewOp; - break; - - case T_DELETE: - if (ast->open_token) - kind = OperatorNameId::DeleteArrayOp; - else - kind = OperatorNameId::DeleteOp; - break; - - case T_PLUS: - kind = OperatorNameId::PlusOp; - break; - - case T_MINUS: - kind = OperatorNameId::MinusOp; - break; - - case T_STAR: - kind = OperatorNameId::StarOp; - break; - - case T_SLASH: - kind = OperatorNameId::SlashOp; - break; - - case T_PERCENT: - kind = OperatorNameId::PercentOp; - break; - - case T_CARET: - kind = OperatorNameId::CaretOp; - break; - - case T_AMPER: - kind = OperatorNameId::AmpOp; - break; - - case T_PIPE: - kind = OperatorNameId::PipeOp; - break; - - case T_TILDE: - kind = OperatorNameId::TildeOp; - break; - - case T_EXCLAIM: - kind = OperatorNameId::ExclaimOp; - break; - - case T_EQUAL: - kind = OperatorNameId::EqualOp; - break; - - case T_LESS: - kind = OperatorNameId::LessOp; - break; - - case T_GREATER: - kind = OperatorNameId::GreaterOp; - break; - - case T_PLUS_EQUAL: - kind = OperatorNameId::PlusEqualOp; - break; - - case T_MINUS_EQUAL: - kind = OperatorNameId::MinusEqualOp; - break; - - case T_STAR_EQUAL: - kind = OperatorNameId::StarEqualOp; - break; - - case T_SLASH_EQUAL: - kind = OperatorNameId::SlashEqualOp; - break; - - case T_PERCENT_EQUAL: - kind = OperatorNameId::PercentEqualOp; - break; - - case T_CARET_EQUAL: - kind = OperatorNameId::CaretEqualOp; - break; - - case T_AMPER_EQUAL: - kind = OperatorNameId::AmpEqualOp; - break; - - case T_PIPE_EQUAL: - kind = OperatorNameId::PipeEqualOp; - break; - - case T_LESS_LESS: - kind = OperatorNameId::LessLessOp; - break; - - case T_GREATER_GREATER: - kind = OperatorNameId::GreaterGreaterOp; - break; - - case T_LESS_LESS_EQUAL: - kind = OperatorNameId::LessLessEqualOp; - break; - - case T_GREATER_GREATER_EQUAL: - kind = OperatorNameId::GreaterGreaterEqualOp; - break; - - case T_EQUAL_EQUAL: - kind = OperatorNameId::EqualEqualOp; - break; - - case T_EXCLAIM_EQUAL: - kind = OperatorNameId::ExclaimEqualOp; - break; - - case T_LESS_EQUAL: - kind = OperatorNameId::LessEqualOp; - break; - - case T_GREATER_EQUAL: - kind = OperatorNameId::GreaterEqualOp; - break; - - case T_AMPER_AMPER: - kind = OperatorNameId::AmpAmpOp; - break; - - case T_PIPE_PIPE: - kind = OperatorNameId::PipePipeOp; - break; - - case T_PLUS_PLUS: - kind = OperatorNameId::PlusPlusOp; - break; - - case T_MINUS_MINUS: - kind = OperatorNameId::MinusMinusOp; - break; - - case T_COMMA: - kind = OperatorNameId::CommaOp; - break; - - case T_ARROW_STAR: - kind = OperatorNameId::ArrowStarOp; - break; - - case T_ARROW: - kind = OperatorNameId::ArrowOp; - break; - - case T_LPAREN: - kind = OperatorNameId::FunctionCallOp; - break; - - case T_LBRACKET: - kind = OperatorNameId::ArrayAccessOp; - break; - - default: - kind = OperatorNameId::InvalidOp; - } // switch - - return kind; -} - -bool Bind::visit(ParameterDeclarationClauseAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::parameterDeclarationClause(ParameterDeclarationClauseAST *ast, unsigned lparen_token, Function *fun) -{ - if (! ast) - return; - - if (! fun) { - translationUnit()->warning(lparen_token, "undefined function"); - return; - } - - Scope *previousScope = switchScope(fun); - - for (ParameterDeclarationListAST *it = ast->parameter_declaration_list; it; it = it->next) { - this->declaration(it->value); - } - - if (ast->dot_dot_dot_token) - fun->setVariadic(true); - - (void) switchScope(previousScope); -} - -bool Bind::visit(TranslationUnitAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::translationUnit(TranslationUnitAST *ast) -{ - if (! ast) - return; - - for (DeclarationListAST *it = ast->declaration_list; it; it = it->next) { - this->declaration(it->value); - } -} - -bool Bind::visit(ObjCProtocolRefsAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::objCProtocolRefs(ObjCProtocolRefsAST *ast, Symbol *objcClassOrProtocol) -{ - if (! ast) - return; - - for (NameListAST *it = ast->identifier_list; it; it = it->next) { - const Name *protocolName = this->name(it->value); - ObjCBaseProtocol *baseProtocol = control()->newObjCBaseProtocol(it->value->firstToken(), protocolName); - if (ObjCClass *klass = objcClassOrProtocol->asObjCClass()) - klass->addProtocol(baseProtocol); - else if (ObjCProtocol *proto = objcClassOrProtocol->asObjCProtocol()) - proto->addProtocol(baseProtocol); - } -} - -bool Bind::visit(ObjCMessageArgumentAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::objCMessageArgument(ObjCMessageArgumentAST *ast) -{ - if (! ast) - return; - - ExpressionTy parameter_value_expression = this->expression(ast->parameter_value_expression); -} - -bool Bind::visit(ObjCTypeNameAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -FullySpecifiedType Bind::objCTypeName(ObjCTypeNameAST *ast) -{ - if (! ast) - return FullySpecifiedType(); - - // unsigned type_qualifier_token = ast->type_qualifier_token; - ExpressionTy type_id = this->expression(ast->type_id); - return type_id; -} - -bool Bind::visit(ObjCInstanceVariablesDeclarationAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::objCInstanceVariablesDeclaration(ObjCInstanceVariablesDeclarationAST *ast, ObjCClass *klass) -{ - (void) klass; - - if (! ast) - return; - - // unsigned lbrace_token = ast->lbrace_token; - for (DeclarationListAST *it = ast->instance_variable_list; it; it = it->next) { - this->declaration(it->value); - } - // unsigned rbrace_token = ast->rbrace_token; -} - -bool Bind::visit(ObjCPropertyAttributeAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::objCPropertyAttribute(ObjCPropertyAttributeAST *ast) -{ - if (! ast) - return; - - // unsigned attribute_identifier_token = ast->attribute_identifier_token; - // unsigned equals_token = ast->equals_token; - /*const Name *method_selector =*/ this->name(ast->method_selector); -} - -bool Bind::visit(ObjCMessageArgumentDeclarationAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::objCMessageArgumentDeclaration(ObjCMessageArgumentDeclarationAST *ast, ObjCMethod *method) -{ - if (! ast) - return; - - FullySpecifiedType type = this->objCTypeName(ast->type_name); - - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - - const Name *param_name = this->name(ast->param_name); - Argument *arg = control()->newArgument(location(ast->param_name, ast->firstToken()), param_name); - arg->setType(type); - ast->argument = arg; - method->addMember(arg); -} - -bool Bind::visit(ObjCMethodPrototypeAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -ObjCMethod *Bind::objCMethodPrototype(ObjCMethodPrototypeAST *ast) -{ - if (! ast) - return 0; - - // unsigned method_type_token = ast->method_type_token; - FullySpecifiedType returnType = this->objCTypeName(ast->type_name); - const Name *selector = this->name(ast->selector); - - const unsigned sourceLocation = location(ast->selector, ast->firstToken()); - ObjCMethod *method = control()->newObjCMethod(sourceLocation, selector); - // ### set the offsets - method->setReturnType(returnType); - if (isObjCClassMethod(tokenKind(ast->method_type_token))) - method->setStorage(Symbol::Static); - method->setVisibility(_objcVisibility); - ast->symbol = method; - - Scope *previousScope = switchScope(method); - for (ObjCMessageArgumentDeclarationListAST *it = ast->argument_list; it; it = it->next) { - this->objCMessageArgumentDeclaration(it->value, method); - } - (void) switchScope(previousScope); - - if (ast->dot_dot_dot_token) - method->setVariadic(true); - - FullySpecifiedType specifiers; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - specifiers = this->specifier(it->value, specifiers); - } - //setDeclSpecifiers(method, specifiers); - - return method; -} - -bool Bind::visit(ObjCSynthesizedPropertyAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::objCSynthesizedProperty(ObjCSynthesizedPropertyAST *ast) -{ - if (! ast) - return; - - // unsigned property_identifier_token = ast->property_identifier_token; - // unsigned equals_token = ast->equals_token; - // unsigned alias_identifier_token = ast->alias_identifier_token; -} - -bool Bind::visit(LambdaIntroducerAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::lambdaIntroducer(LambdaIntroducerAST *ast) -{ - if (! ast) - return; - - // unsigned lbracket_token = ast->lbracket_token; - this->lambdaCapture(ast->lambda_capture); - // unsigned rbracket_token = ast->rbracket_token; -} - -bool Bind::visit(LambdaCaptureAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::lambdaCapture(LambdaCaptureAST *ast) -{ - if (! ast) - return; - - // unsigned default_capture_token = ast->default_capture_token; - for (CaptureListAST *it = ast->capture_list; it; it = it->next) { - this->capture(it->value); - } -} - -bool Bind::visit(CaptureAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::capture(CaptureAST *ast) -{ - if (! ast) - return; - -} - -bool Bind::visit(LambdaDeclaratorAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -void Bind::lambdaDeclarator(LambdaDeclaratorAST *ast) -{ - if (! ast) - return; - - - Function *fun = 0; // ### implement me - - // unsigned lparen_token = ast->lparen_token; - FullySpecifiedType type; - this->parameterDeclarationClause(ast->parameter_declaration_clause, ast->lparen_token, fun); - // unsigned rparen_token = ast->rparen_token; - for (SpecifierListAST *it = ast->attributes; it; it = it->next) { - type = this->specifier(it->value, type); - } - // unsigned mutable_token = ast->mutable_token; - type = this->exceptionSpecification(ast->exception_specification, type); - type = this->trailingReturnType(ast->trailing_return_type, type); -} - -bool Bind::visit(TrailingReturnTypeAST *ast) -{ - (void) ast; - assert(!"unreachable"); - return false; -} - -FullySpecifiedType Bind::trailingReturnType(TrailingReturnTypeAST *ast, const FullySpecifiedType &init) -{ - FullySpecifiedType type = init; - - if (! ast) - return type; - - // unsigned arrow_token = ast->arrow_token; - for (SpecifierListAST *it = ast->attributes; it; it = it->next) { - type = this->specifier(it->value, type); - } - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - return type; -} - -const StringLiteral *Bind::asStringLiteral(unsigned firstToken, unsigned lastToken) -{ - std::string buffer; - for (unsigned index = firstToken; index != lastToken; ++index) { - const Token &tk = tokenAt(index); - if (tk.whitespace() || tk.newline()) - buffer += ' '; - buffer += tk.spell(); - } - return control()->stringLiteral(buffer.c_str(), buffer.size()); -} - -// StatementAST -bool Bind::visit(QtMemberDeclarationAST *ast) -{ - const Name *name = 0; - - if (tokenKind(ast->q_token) == T_Q_D) - name = control()->identifier("d"); - else - name = control()->identifier("q"); - - FullySpecifiedType declTy = this->expression(ast->type_id); - - if (tokenKind(ast->q_token) == T_Q_D) { - if (NamedType *namedTy = declTy->asNamedType()) { - if (const Identifier *nameId = namedTy->name()->asNameId()) { - std::string privateClass; - privateClass += nameId->identifier()->chars(); - privateClass += "Private"; - - const Name *privName = control()->identifier(privateClass.c_str(), privateClass.size()); - declTy.setType(control()->namedType(privName)); - } - } - } - - Declaration *symbol = control()->newDeclaration(/*generated*/ 0, name); - symbol->setType(control()->pointerType(declTy)); - - _scope->addMember(symbol); - return false; -} - -bool Bind::visit(CaseStatementAST *ast) -{ - ExpressionTy expression = this->expression(ast->expression); - this->statement(ast->statement); - return false; -} - -bool Bind::visit(CompoundStatementAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - unsigned startScopeToken = ast->lbrace_token ? ast->lbrace_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - ast->symbol = block; - _scope->addMember(block); - Scope *previousScope = switchScope(block); - for (StatementListAST *it = ast->statement_list; it; it = it->next) { - this->statement(it->value); - } - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(DeclarationStatementAST *ast) -{ - this->declaration(ast->declaration); - return false; -} - -bool Bind::visit(DoStatementAST *ast) -{ - this->statement(ast->statement); - ExpressionTy expression = this->expression(ast->expression); - return false; -} - -bool Bind::visit(ExpressionOrDeclarationStatementAST *ast) -{ - this->statement(ast->expression); - this->statement(ast->declaration); - return false; -} - -bool Bind::visit(ExpressionStatementAST *ast) -{ - ExpressionTy expression = this->expression(ast->expression); - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - -bool Bind::visit(ForeachStatementAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - - if (declaratorId && declaratorId->name) { - unsigned sourceLocation = location(declaratorId->name, ast->firstToken()); - Declaration *decl = control()->newDeclaration(sourceLocation, declaratorId->name->name); - decl->setType(type); - block->addMember(decl); - } - - /*ExpressionTy initializer =*/ this->expression(ast->initializer); - /*ExpressionTy expression =*/ this->expression(ast->expression); - this->statement(ast->statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(ForStatementAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - this->statement(ast->initializer); - /*ExpressionTy condition =*/ this->expression(ast->condition); - // unsigned semicolon_token = ast->semicolon_token; - /*ExpressionTy expression =*/ this->expression(ast->expression); - // unsigned rparen_token = ast->rparen_token; - this->statement(ast->statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(IfStatementAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - /*ExpressionTy condition =*/ this->expression(ast->condition); - this->statement(ast->statement); - this->statement(ast->else_statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(LabeledStatementAST *ast) -{ - // unsigned label_token = ast->label_token; - // unsigned colon_token = ast->colon_token; - this->statement(ast->statement); - return false; -} - -bool Bind::visit(BreakStatementAST *ast) -{ - (void) ast; - // unsigned break_token = ast->break_token; - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - -bool Bind::visit(ContinueStatementAST *ast) -{ - (void) ast; - // unsigned continue_token = ast->continue_token; - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - -bool Bind::visit(GotoStatementAST *ast) -{ - (void) ast; - // unsigned goto_token = ast->goto_token; - // unsigned identifier_token = ast->identifier_token; - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - -bool Bind::visit(ReturnStatementAST *ast) -{ - ExpressionTy expression = this->expression(ast->expression); - return false; -} - -bool Bind::visit(SwitchStatementAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - /*ExpressionTy condition =*/ this->expression(ast->condition); - this->statement(ast->statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(TryBlockStatementAST *ast) -{ - // unsigned try_token = ast->try_token; - this->statement(ast->statement); - for (CatchClauseListAST *it = ast->catch_clause_list; it; it = it->next) { - this->statement(it->value); - } - return false; -} - -bool Bind::visit(CatchClauseAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - this->declaration(ast->exception_declaration); - // unsigned rparen_token = ast->rparen_token; - this->statement(ast->statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(WhileStatementAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - /*ExpressionTy condition =*/ this->expression(ast->condition); - this->statement(ast->statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(ObjCFastEnumerationAST *ast) -{ - Block *block = control()->newBlock(ast->firstToken()); - const unsigned startScopeToken = ast->lparen_token ? ast->lparen_token : ast->firstToken(); - block->setStartOffset(tokenAt(startScopeToken).end()); - block->setEndOffset(tokenAt(ast->lastToken()).begin()); - _scope->addMember(block); - ast->symbol = block; - - Scope *previousScope = switchScope(block); - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - - if (declaratorId && declaratorId->name) { - unsigned sourceLocation = location(declaratorId->name, ast->firstToken()); - Declaration *decl = control()->newDeclaration(sourceLocation, declaratorId->name->name); - decl->setType(type); - block->addMember(decl); - } - - /*ExpressionTy initializer =*/ this->expression(ast->initializer); - /*ExpressionTy fast_enumeratable_expression =*/ this->expression(ast->fast_enumeratable_expression); - this->statement(ast->statement); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(ObjCSynchronizedStatementAST *ast) -{ - // unsigned synchronized_token = ast->synchronized_token; - // unsigned lparen_token = ast->lparen_token; - ExpressionTy synchronized_object = this->expression(ast->synchronized_object); - // unsigned rparen_token = ast->rparen_token; - this->statement(ast->statement); - return false; -} - - -// ExpressionAST -bool Bind::visit(IdExpressionAST *ast) -{ - /*const Name *name =*/ this->name(ast->name); - return false; -} - -bool Bind::visit(CompoundExpressionAST *ast) -{ - // unsigned lparen_token = ast->lparen_token; - this->statement(ast->statement); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(CompoundLiteralAST *ast) -{ - // unsigned lparen_token = ast->lparen_token; - ExpressionTy type_id = this->expression(ast->type_id); - // unsigned rparen_token = ast->rparen_token; - ExpressionTy initializer = this->expression(ast->initializer); - return false; -} - -bool Bind::visit(QtMethodAST *ast) -{ - // unsigned method_token = ast->method_token; - // unsigned lparen_token = ast->lparen_token; - FullySpecifiedType type; - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(BinaryExpressionAST *ast) -{ - ExpressionTy left_expression = this->expression(ast->left_expression); - // unsigned binary_op_token = ast->binary_op_token; - ExpressionTy right_expression = this->expression(ast->right_expression); - return false; -} - -bool Bind::visit(CastExpressionAST *ast) -{ - // unsigned lparen_token = ast->lparen_token; - ExpressionTy type_id = this->expression(ast->type_id); - // unsigned rparen_token = ast->rparen_token; - ExpressionTy expression = this->expression(ast->expression); - return false; -} - -bool Bind::visit(ConditionAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - - if (declaratorId && declaratorId->name) { - unsigned sourceLocation = location(declaratorId->name, ast->firstToken()); - Declaration *decl = control()->newDeclaration(sourceLocation, declaratorId->name->name); - decl->setType(type); - _scope->addMember(decl); - } - - return false; -} - -bool Bind::visit(ConditionalExpressionAST *ast) -{ - ExpressionTy condition = this->expression(ast->condition); - // unsigned question_token = ast->question_token; - ExpressionTy left_expression = this->expression(ast->left_expression); - // unsigned colon_token = ast->colon_token; - ExpressionTy right_expression = this->expression(ast->right_expression); - return false; -} - -bool Bind::visit(CppCastExpressionAST *ast) -{ - // unsigned cast_token = ast->cast_token; - // unsigned less_token = ast->less_token; - ExpressionTy type_id = this->expression(ast->type_id); - // unsigned greater_token = ast->greater_token; - // unsigned lparen_token = ast->lparen_token; - ExpressionTy expression = this->expression(ast->expression); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(DeleteExpressionAST *ast) -{ - // unsigned scope_token = ast->scope_token; - // unsigned delete_token = ast->delete_token; - // unsigned lbracket_token = ast->lbracket_token; - // unsigned rbracket_token = ast->rbracket_token; - ExpressionTy expression = this->expression(ast->expression); - return false; -} - -bool Bind::visit(ArrayInitializerAST *ast) -{ - // unsigned lbrace_token = ast->lbrace_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned rbrace_token = ast->rbrace_token; - return false; -} - -bool Bind::visit(NewExpressionAST *ast) -{ - // unsigned scope_token = ast->scope_token; - // unsigned new_token = ast->new_token; - this->newPlacement(ast->new_placement); - // unsigned lparen_token = ast->lparen_token; - ExpressionTy type_id = this->expression(ast->type_id); - // unsigned rparen_token = ast->rparen_token; - this->newTypeId(ast->new_type_id); - this->newInitializer(ast->new_initializer); - return false; -} - -bool Bind::visit(TypeidExpressionAST *ast) -{ - // unsigned typeid_token = ast->typeid_token; - // unsigned lparen_token = ast->lparen_token; - ExpressionTy expression = this->expression(ast->expression); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(TypenameCallExpressionAST *ast) -{ - // unsigned typename_token = ast->typename_token; - /*const Name *name =*/ this->name(ast->name); - // unsigned lparen_token = ast->lparen_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(TypeConstructorCallAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - // unsigned lparen_token = ast->lparen_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(SizeofExpressionAST *ast) -{ - // unsigned sizeof_token = ast->sizeof_token; - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; - // unsigned lparen_token = ast->lparen_token; - ExpressionTy expression = this->expression(ast->expression); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(NumericLiteralAST *ast) -{ - (void) ast; - // unsigned literal_token = ast->literal_token; - return false; -} - -bool Bind::visit(BoolLiteralAST *ast) -{ - (void) ast; - // unsigned literal_token = ast->literal_token; - return false; -} - -bool Bind::visit(ThisExpressionAST *ast) -{ - (void) ast; - // unsigned this_token = ast->this_token; - return false; -} - -bool Bind::visit(NestedExpressionAST *ast) -{ - // unsigned lparen_token = ast->lparen_token; - ExpressionTy expression = this->expression(ast->expression); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(StringLiteralAST *ast) -{ - // unsigned literal_token = ast->literal_token; - ExpressionTy next = this->expression(ast->next); - return false; -} - -bool Bind::visit(ThrowExpressionAST *ast) -{ - // unsigned throw_token = ast->throw_token; - ExpressionTy expression = this->expression(ast->expression); - return false; -} - -bool Bind::visit(TypeIdAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - _expression = type; - return false; -} - -bool Bind::visit(UnaryExpressionAST *ast) -{ - // unsigned unary_op_token = ast->unary_op_token; - ExpressionTy expression = this->expression(ast->expression); - return false; -} - -bool Bind::visit(ObjCMessageExpressionAST *ast) -{ - // unsigned lbracket_token = ast->lbracket_token; - /*ExpressionTy receiver_expression =*/ this->expression(ast->receiver_expression); - /*const Name *selector =*/ this->name(ast->selector); - for (ObjCMessageArgumentListAST *it = ast->argument_list; it; it = it->next) { - this->objCMessageArgument(it->value); - } - // unsigned rbracket_token = ast->rbracket_token; - return false; -} - -bool Bind::visit(ObjCProtocolExpressionAST *ast) -{ - (void) ast; - // unsigned protocol_token = ast->protocol_token; - // unsigned lparen_token = ast->lparen_token; - // unsigned identifier_token = ast->identifier_token; - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(ObjCEncodeExpressionAST *ast) -{ - // unsigned encode_token = ast->encode_token; - FullySpecifiedType type = this->objCTypeName(ast->type_name); - return false; -} - -bool Bind::visit(ObjCSelectorExpressionAST *ast) -{ - // unsigned selector_token = ast->selector_token; - // unsigned lparen_token = ast->lparen_token; - /*const Name *selector =*/ this->name(ast->selector); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(LambdaExpressionAST *ast) -{ - this->lambdaIntroducer(ast->lambda_introducer); - this->lambdaDeclarator(ast->lambda_declarator); - this->statement(ast->statement); - return false; -} - -bool Bind::visit(BracedInitializerAST *ast) -{ - // unsigned lbrace_token = ast->lbrace_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - } - // unsigned comma_token = ast->comma_token; - // unsigned rbrace_token = ast->rbrace_token; - return false; -} - -static int methodKeyForInvokableToken(int kind) -{ - if (kind == T_Q_SIGNAL) - return Function::SignalMethod; - else if (kind == T_Q_SLOT) - return Function::SlotMethod; - else if (kind == T_Q_INVOKABLE) - return Function::InvokableMethod; - - return Function::NormalMethod; -} - -// DeclarationAST -bool Bind::visit(SimpleDeclarationAST *ast) -{ - int methodKey = _methodKey; - if (ast->qt_invokable_token) - methodKey = methodKeyForInvokableToken(tokenKind(ast->qt_invokable_token)); - - // unsigned qt_invokable_token = ast->qt_invokable_token; - FullySpecifiedType type; - for (SpecifierListAST *it = ast->decl_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - - List<Symbol *> **symbolTail = &ast->symbols; - - if (! ast->declarator_list) { - ElaboratedTypeSpecifierAST *elabTypeSpec = 0; - for (SpecifierListAST *it = ast->decl_specifier_list; ! elabTypeSpec && it; it = it->next) - elabTypeSpec = it->value->asElaboratedTypeSpecifier(); - - if (elabTypeSpec && tokenKind(elabTypeSpec->classkey_token) != T_TYPENAME) { - unsigned sourceLocation = elabTypeSpec->firstToken(); - const Name *name = 0; - if (elabTypeSpec->name) { - sourceLocation = location(elabTypeSpec->name, sourceLocation); - name = elabTypeSpec->name->name; - } - - ForwardClassDeclaration *decl = control()->newForwardClassDeclaration(sourceLocation, name); - setDeclSpecifiers(decl, type); - _scope->addMember(decl); - - *symbolTail = new (translationUnit()->memoryPool()) List<Symbol *>(decl); - symbolTail = &(*symbolTail)->next; - } - } - - for (DeclaratorListAST *it = ast->declarator_list; it; it = it->next) { - DeclaratorIdAST *declaratorId = 0; - FullySpecifiedType declTy = this->declarator(it->value, type.qualifiedType(), &declaratorId); - - const Name *declName = 0; - unsigned sourceLocation = location(it->value, ast->firstToken()); - if (declaratorId && declaratorId->name) { - declName = declaratorId->name->name; - } - - Declaration *decl = control()->newDeclaration(sourceLocation, declName); - decl->setType(declTy); - setDeclSpecifiers(decl, type); - - if (Function *fun = decl->type()->asFunctionType()) { - fun->setScope(_scope); - - setDeclSpecifiers(fun, type); - if (declaratorId && declaratorId->name) - fun->setName(declaratorId->name->name); // update the function name - } - - if (_scope->isClass()) { - decl->setVisibility(_visibility); - - if (Function *funTy = decl->type()->asFunctionType()) { - funTy->setMethodKey(methodKey); - - if (funTy->isVirtual() && it->value->equal_token) - funTy->setPureVirtual(true); - } - } - - _scope->addMember(decl); - - *symbolTail = new (translationUnit()->memoryPool()) List<Symbol *>(decl); - symbolTail = &(*symbolTail)->next; - } - return false; -} - -bool Bind::visit(EmptyDeclarationAST *ast) -{ - (void) ast; - unsigned semicolon_token = ast->semicolon_token; - if (_scope && (_scope->isClass() || _scope->isNamespace())) { - const Token &tk = tokenAt(semicolon_token); - - if (! tk.generated()) - translationUnit()->warning(semicolon_token, "extra `;'"); - } - return false; -} - -bool Bind::visit(AccessDeclarationAST *ast) -{ - const int accessSpecifier = tokenKind(ast->access_specifier_token); - _visibility = visibilityForAccessSpecifier(accessSpecifier); - - if (ast->slots_token) - _methodKey = Function::SlotMethod; - else if (accessSpecifier == T_Q_SIGNALS) - _methodKey = Function::SignalMethod; - else - _methodKey = Function::NormalMethod; - - return false; -} - -bool Bind::visit(QtObjectTagAST *ast) -{ - (void) ast; - // unsigned q_object_token = ast->q_object_token; - return false; -} - -bool Bind::visit(QtPrivateSlotAST *ast) -{ - // unsigned q_private_slot_token = ast->q_private_slot_token; - // unsigned lparen_token = ast->lparen_token; - // unsigned dptr_token = ast->dptr_token; - // unsigned dptr_lparen_token = ast->dptr_lparen_token; - // unsigned dptr_rparen_token = ast->dptr_rparen_token; - // unsigned comma_token = ast->comma_token; - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -static void qtPropertyAttribute(TranslationUnit *unit, ExpressionAST *expression, - int *flags, - QtPropertyDeclaration::Flag flag, - QtPropertyDeclaration::Flag function) -{ - if (!expression) - return; - *flags &= ~function & ~flag; - if (BoolLiteralAST *boollit = expression->asBoolLiteral()) { - const int kind = unit->tokenAt(boollit->literal_token).kind(); - if (kind == T_TRUE) - *flags |= flag; - } else { - *flags |= function; - } -} - -bool Bind::visit(QtPropertyDeclarationAST *ast) -{ - // unsigned property_specifier_token = ast->property_specifier_token; - // unsigned lparen_token = ast->lparen_token; - ExpressionTy type_id = this->expression(ast->type_id); - const Name *property_name = this->name(ast->property_name); - - unsigned sourceLocation = ast->firstToken(); - if (ast->property_name) - sourceLocation = ast->property_name->firstToken(); - QtPropertyDeclaration *propertyDeclaration = control()->newQtPropertyDeclaration(sourceLocation, property_name); - propertyDeclaration->setType(type_id); - - int flags = QtPropertyDeclaration::DesignableFlag - | QtPropertyDeclaration::ScriptableFlag - | QtPropertyDeclaration::StoredFlag; - for (QtPropertyDeclarationItemListAST *it = ast->property_declaration_item_list; it; it = it->next) { - if (!it->value || !it->value->item_name_token) - continue; - this->expression(it->value->expression); - - std::string name = spell(it->value->item_name_token); - - if (name == "CONSTANT") { - flags |= QtPropertyDeclaration::ConstantFlag; - } else if (name == "FINAL") { - flags |= QtPropertyDeclaration::FinalFlag; - } else if (name == "READ") { - flags |= QtPropertyDeclaration::ReadFunction; - } else if (name == "WRITE") { - flags |= QtPropertyDeclaration::WriteFunction; - } else if (name == "RESET") { - flags |= QtPropertyDeclaration::ResetFunction; - } else if (name == "NOTIFY") { - flags |= QtPropertyDeclaration::NotifyFunction; - } else if (name == "DESIGNABLE") { - qtPropertyAttribute(translationUnit(), it->value->expression, &flags, - QtPropertyDeclaration::DesignableFlag, QtPropertyDeclaration::DesignableFunction); - } else if (name == "SCRIPTABLE") { - qtPropertyAttribute(translationUnit(), it->value->expression, &flags, - QtPropertyDeclaration::ScriptableFlag, QtPropertyDeclaration::ScriptableFunction); - } else if (name == "STORED") { - qtPropertyAttribute(translationUnit(), it->value->expression, &flags, - QtPropertyDeclaration::StoredFlag, QtPropertyDeclaration::StoredFunction); - } else if (name == "USER") { - qtPropertyAttribute(translationUnit(), it->value->expression, &flags, - QtPropertyDeclaration::UserFlag, QtPropertyDeclaration::UserFunction); - } - } - propertyDeclaration->setFlags(flags); - _scope->addMember(propertyDeclaration); - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(QtEnumDeclarationAST *ast) -{ - // unsigned enum_specifier_token = ast->enum_specifier_token; - // unsigned lparen_token = ast->lparen_token; - for (NameListAST *it = ast->enumerator_list; it; it = it->next) { - const Name *value = this->name(it->value); - if (!value) - continue; - QtEnum *qtEnum = control()->newQtEnum(it->value->firstToken(), value); - _scope->addMember(qtEnum); - } - - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(QtFlagsDeclarationAST *ast) -{ - // unsigned flags_specifier_token = ast->flags_specifier_token; - // unsigned lparen_token = ast->lparen_token; - for (NameListAST *it = ast->flag_enums_list; it; it = it->next) { - /*const Name *value =*/ this->name(it->value); - } - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(QtInterfacesDeclarationAST *ast) -{ - // unsigned interfaces_token = ast->interfaces_token; - // unsigned lparen_token = ast->lparen_token; - for (QtInterfaceNameListAST *it = ast->interface_name_list; it; it = it->next) { - this->qtInterfaceName(it->value); - } - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(AsmDefinitionAST *ast) -{ - (void) ast; - // unsigned asm_token = ast->asm_token; - // unsigned volatile_token = ast->volatile_token; - // unsigned lparen_token = ast->lparen_token; - // unsigned rparen_token = ast->rparen_token; - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - -bool Bind::visit(ExceptionDeclarationAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; - return false; -} - -bool Bind::visit(FunctionDefinitionAST *ast) -{ - int methodKey = _methodKey; - if (ast->qt_invokable_token) - methodKey = methodKeyForInvokableToken(tokenKind(ast->qt_invokable_token)); - - FullySpecifiedType declSpecifiers; - for (SpecifierListAST *it = ast->decl_specifier_list; it; it = it->next) { - declSpecifiers = this->specifier(it->value, declSpecifiers); - } - DeclaratorIdAST *declaratorId = 0; - FullySpecifiedType type = this->declarator(ast->declarator, declSpecifiers.qualifiedType(), &declaratorId); - - Function *fun = type->asFunctionType(); - ast->symbol = fun; - - if (fun) { - setDeclSpecifiers(fun, declSpecifiers); - - if (_scope->isClass()) { - fun->setVisibility(_visibility); - fun->setMethodKey(methodKey); - } - - if (declaratorId && declaratorId->name) { - fun->setSourceLocation(location(declaratorId, ast->firstToken()), translationUnit()); - fun->setName(declaratorId->name->name); - } - - _scope->addMember(fun); - } else - translationUnit()->warning(ast->firstToken(), "expected a function declarator"); - - this->ctorInitializer(ast->ctor_initializer, fun); - - if (fun && ! _skipFunctionBodies && ast->function_body) { - Scope *previousScope = switchScope(fun); - this->statement(ast->function_body); - (void) switchScope(previousScope); - - if (CompoundStatementAST *c = ast->function_body->asCompoundStatement()) { - if (c->symbol) { - fun->setEndOffset(c->symbol->endOffset()); - } - } - } - - return false; -} - -bool Bind::visit(LinkageBodyAST *ast) -{ - // unsigned lbrace_token = ast->lbrace_token; - for (DeclarationListAST *it = ast->declaration_list; it; it = it->next) { - this->declaration(it->value); - } - // unsigned rbrace_token = ast->rbrace_token; - return false; -} - -bool Bind::visit(LinkageSpecificationAST *ast) -{ - // unsigned extern_token = ast->extern_token; - // unsigned extern_type_token = ast->extern_type_token; - this->declaration(ast->declaration); - return false; -} - -bool Bind::visit(NamespaceAST *ast) -{ - // unsigned namespace_token = ast->namespace_token; - // unsigned identifier_token = ast->identifier_token; - FullySpecifiedType type; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - - unsigned sourceLocation = ast->firstToken(); - const Name *namespaceName = 0; - if (ast->identifier_token) { - sourceLocation = ast->identifier_token; - namespaceName = identifier(ast->identifier_token); - } - - Namespace *ns = control()->newNamespace(sourceLocation, namespaceName); - ns->setStartOffset(tokenAt(sourceLocation).end()); // the scope starts after the namespace or the identifier token. - ns->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - ast->symbol = ns; - _scope->addMember(ns); - - Scope *previousScope = switchScope(ns); - this->declaration(ast->linkage_body); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(NamespaceAliasDefinitionAST *ast) -{ - unsigned sourceLocation = ast->firstToken(); - const Name *name = 0; - if (ast->namespace_name_token) { - sourceLocation = ast->namespace_name_token; - name = identifier(ast->namespace_name_token); - } - - NamespaceAlias *namespaceAlias = control()->newNamespaceAlias(sourceLocation, name); - namespaceAlias->setNamespaceName(this->name(ast->name)); - _scope->addMember(namespaceAlias); - return false; -} - -bool Bind::visit(ParameterDeclarationAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - DeclaratorIdAST *declaratorId = 0; - type = this->declarator(ast->declarator, type, &declaratorId); - // unsigned equal_token = ast->equal_token; - ExpressionTy expression = this->expression(ast->expression); - - unsigned sourceLocation = ast->firstToken(); - if (declaratorId) - sourceLocation = declaratorId->firstToken(); - - const Name *argName = 0; - if (declaratorId && declaratorId->name) - argName = declaratorId->name->name; - - Argument *arg = control()->newArgument(location(declaratorId, ast->firstToken()), argName); - arg->setType(type); - - if (ast->expression) { - unsigned startOfExpression = ast->expression->firstToken(); - unsigned endOfExpression = ast->expression->lastToken(); - arg->setInitializer(asStringLiteral(startOfExpression, endOfExpression)); - } - - _scope->addMember(arg); - - ast->symbol = arg; - return false; -} - -bool Bind::visit(TemplateDeclarationAST *ast) -{ - Template *templ = control()->newTemplate(ast->firstToken(), 0); - templ->setStartOffset(tokenAt(ast->firstToken()).begin()); - templ->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - ast->symbol = templ; - Scope *previousScope = switchScope(templ); - - for (DeclarationListAST *it = ast->template_parameter_list; it; it = it->next) { - this->declaration(it->value); - } - // unsigned greater_token = ast->greater_token; - this->declaration(ast->declaration); - (void) switchScope(previousScope); - - if (Symbol *decl = templ->declaration()) { - templ->setSourceLocation(decl->sourceLocation(), translationUnit()); - templ->setName(decl->name()); - } - - _scope->addMember(templ); - return false; -} - -bool Bind::visit(TypenameTypeParameterAST *ast) -{ - unsigned sourceLocation = location(ast->name, ast->firstToken()); - // unsigned classkey_token = ast->classkey_token; - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; - const Name *name = this->name(ast->name); - ExpressionTy type_id = this->expression(ast->type_id); - - TypenameArgument *arg = control()->newTypenameArgument(sourceLocation, name); - arg->setType(type_id); - ast->symbol = arg; - _scope->addMember(arg); - return false; -} - -bool Bind::visit(TemplateTypeParameterAST *ast) -{ - unsigned sourceLocation = location(ast->name, ast->firstToken()); - - // unsigned template_token = ast->template_token; - // unsigned less_token = ast->less_token; - // ### process the template prototype -#if 0 - for (DeclarationListAST *it = ast->template_parameter_list; it; it = it->next) { - this->declaration(it->value); - } -#endif - // unsigned greater_token = ast->greater_token; - // unsigned class_token = ast->class_token; - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; - - const Name *name = this->name(ast->name); - ExpressionTy type_id = this->expression(ast->type_id); - - // ### introduce TemplateTypeArgument - TypenameArgument *arg = control()->newTypenameArgument(sourceLocation, name); - arg->setType(type_id); - ast->symbol = arg; - _scope->addMember(arg); - - return false; -} - -bool Bind::visit(UsingAST *ast) -{ - unsigned sourceLocation = location(ast->name, ast->firstToken()); - const Name *name = this->name(ast->name); - - UsingDeclaration *symbol = control()->newUsingDeclaration(sourceLocation, name); - ast->symbol = symbol; - _scope->addMember(symbol); - return false; -} - -bool Bind::visit(UsingDirectiveAST *ast) -{ - unsigned sourceLocation = location(ast->name, ast->firstToken()); - const Name *name = this->name(ast->name); - UsingNamespaceDirective *symbol = control()->newUsingNamespaceDirective(sourceLocation, name); - ast->symbol = symbol; - _scope->addMember(symbol); - return false; -} - -bool Bind::visit(ObjCClassForwardDeclarationAST *ast) -{ - FullySpecifiedType declSpecifiers; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - declSpecifiers = this->specifier(it->value, declSpecifiers); - } - - List<ObjCForwardClassDeclaration *> **symbolTail = &ast->symbols; - - // unsigned class_token = ast->class_token; - for (NameListAST *it = ast->identifier_list; it; it = it->next) { - const Name *name = this->name(it->value); - - const unsigned sourceLocation = location(it->value, ast->firstToken()); - ObjCForwardClassDeclaration *fwd = control()->newObjCForwardClassDeclaration(sourceLocation, name); - setDeclSpecifiers(fwd, declSpecifiers); - _scope->addMember(fwd); - - *symbolTail = new (translationUnit()->memoryPool()) List<ObjCForwardClassDeclaration *>(fwd); - symbolTail = &(*symbolTail)->next; - } - - return false; -} - -unsigned Bind::calculateScopeStart(ObjCClassDeclarationAST *ast) const -{ - if (ast->inst_vars_decl) - if (unsigned pos = ast->inst_vars_decl->lbrace_token) - return tokenAt(pos).end(); - - if (ast->protocol_refs) - if (unsigned pos = ast->protocol_refs->lastToken()) - return tokenAt(pos - 1).end(); - - if (ast->superclass) - if (unsigned pos = ast->superclass->lastToken()) - return tokenAt(pos - 1).end(); - - if (ast->colon_token) - return tokenAt(ast->colon_token).end(); - - if (ast->rparen_token) - return tokenAt(ast->rparen_token).end(); - - if (ast->category_name) - if (unsigned pos = ast->category_name->lastToken()) - return tokenAt(pos - 1).end(); - - if (ast->lparen_token) - return tokenAt(ast->lparen_token).end(); - - if (ast->class_name) - if (unsigned pos = ast->class_name->lastToken()) - return tokenAt(pos - 1).end(); - - return tokenAt(ast->firstToken()).begin(); -} - -bool Bind::visit(ObjCClassDeclarationAST *ast) -{ - FullySpecifiedType declSpecifiers; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - declSpecifiers = this->specifier(it->value, declSpecifiers); - } - const Name *class_name = this->name(ast->class_name); - const Name *category_name = this->name(ast->category_name); - - const unsigned sourceLocation = location(ast->class_name, ast->firstToken()); - ObjCClass *klass = control()->newObjCClass(sourceLocation, class_name); - ast->symbol = klass; - _scope->addMember(klass); - - klass->setStartOffset(calculateScopeStart(ast)); - klass->setEndOffset(tokenAt(ast->lastToken() - 1).begin()); - - if (ast->interface_token) - klass->setInterface(true); - - klass->setCategoryName(category_name); - - Scope *previousScope = switchScope(klass); - - if (const Name *superclass = this->name(ast->superclass)) { - ObjCBaseClass *superKlass = control()->newObjCBaseClass(ast->superclass->firstToken(), superclass); - klass->setBaseClass(superKlass); - } - - this->objCProtocolRefs(ast->protocol_refs, klass); - - const int previousObjCVisibility = switchObjCVisibility(Function::Protected); - - this->objCInstanceVariablesDeclaration(ast->inst_vars_decl, klass); - - (void) switchObjCVisibility(Function::Public); - for (DeclarationListAST *it = ast->member_declaration_list; it; it = it->next) { - this->declaration(it->value); - } - - (void) switchObjCVisibility(previousObjCVisibility); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(ObjCProtocolForwardDeclarationAST *ast) -{ - FullySpecifiedType declSpecifiers; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - declSpecifiers = this->specifier(it->value, declSpecifiers); - } - - List<ObjCForwardProtocolDeclaration *> **symbolTail = &ast->symbols; - - // unsigned class_token = ast->class_token; - for (NameListAST *it = ast->identifier_list; it; it = it->next) { - const Name *name = this->name(it->value); - - const unsigned sourceLocation = location(it->value, ast->firstToken()); - ObjCForwardProtocolDeclaration *fwd = control()->newObjCForwardProtocolDeclaration(sourceLocation, name); - setDeclSpecifiers(fwd, declSpecifiers); - _scope->addMember(fwd); - - *symbolTail = new (translationUnit()->memoryPool()) List<ObjCForwardProtocolDeclaration *>(fwd); - symbolTail = &(*symbolTail)->next; - } - - return false; -} - -unsigned Bind::calculateScopeStart(ObjCProtocolDeclarationAST *ast) const -{ - if (ast->protocol_refs) - if (unsigned pos = ast->protocol_refs->lastToken()) - return tokenAt(pos - 1).end(); - if (ast->name) - if (unsigned pos = ast->name->lastToken()) - return tokenAt(pos - 1).end(); - - return tokenAt(ast->firstToken()).begin(); -} - -bool Bind::visit(ObjCProtocolDeclarationAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - // unsigned protocol_token = ast->protocol_token; - const Name *name = this->name(ast->name); - - const unsigned sourceLocation = location(ast->name, ast->firstToken()); - ObjCProtocol *protocol = control()->newObjCProtocol(sourceLocation, name); - protocol->setStartOffset(calculateScopeStart(ast)); - protocol->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - ast->symbol = protocol; - _scope->addMember(protocol); - - Scope *previousScope = switchScope(protocol); - const int previousObjCVisibility = switchObjCVisibility(Function::Public); - - this->objCProtocolRefs(ast->protocol_refs, protocol); - for (DeclarationListAST *it = ast->member_declaration_list; it; it = it->next) { - this->declaration(it->value); - } - - (void) switchObjCVisibility(previousObjCVisibility); - (void) switchScope(previousScope); - return false; -} - -bool Bind::visit(ObjCVisibilityDeclarationAST *ast) -{ - _objcVisibility = visibilityForObjCAccessSpecifier(tokenKind(ast->visibility_token)); - return false; -} - -bool Bind::visit(ObjCPropertyDeclarationAST *ast) -{ - (void) ast; - FullySpecifiedType type; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - // unsigned property_token = ast->property_token; - // unsigned lparen_token = ast->lparen_token; - for (ObjCPropertyAttributeListAST *it = ast->property_attribute_list; it; it = it->next) { - this->objCPropertyAttribute(it->value); - } - // unsigned rparen_token = ast->rparen_token; - this->declaration(ast->simple_declaration); - // List<ObjCPropertyDeclaration *> *symbols = ast->symbols; - return false; -} - -bool Bind::visit(ObjCMethodDeclarationAST *ast) -{ - ObjCMethod *method = this->objCMethodPrototype(ast->method_prototype); - - if (! ast->function_body) { - const Name *name = method->name(); - unsigned sourceLocation = ast->firstToken(); - Declaration *decl = control()->newDeclaration(sourceLocation, name); - decl->setType(method); - _scope->addMember(decl); - } else if (! _skipFunctionBodies && ast->function_body) { - Scope *previousScope = switchScope(method); - this->statement(ast->function_body); - (void) switchScope(previousScope); - _scope->addMember(method); - } - - return false; -} - -bool Bind::visit(ObjCSynthesizedPropertiesDeclarationAST *ast) -{ - // unsigned synthesized_token = ast->synthesized_token; - for (ObjCSynthesizedPropertyListAST *it = ast->property_identifier_list; it; it = it->next) { - this->objCSynthesizedProperty(it->value); - } - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - -bool Bind::visit(ObjCDynamicPropertiesDeclarationAST *ast) -{ - // unsigned dynamic_token = ast->dynamic_token; - for (NameListAST *it = ast->property_identifier_list; it; it = it->next) { - /*const Name *value =*/ this->name(it->value); - } - // unsigned semicolon_token = ast->semicolon_token; - return false; -} - - -// NameAST -bool Bind::visit(ObjCSelectorAST *ast) // ### review -{ - std::vector<const Name *> arguments; - bool hasArgs = false; - - for (ObjCSelectorArgumentListAST *it = ast->selector_argument_list; it; it = it->next) { - if (const Name *selector_argument = this->objCSelectorArgument(it->value, &hasArgs)) - arguments.push_back(selector_argument); - } - - if (! arguments.empty()) { - _name = control()->selectorNameId(&arguments[0], arguments.size(), hasArgs); - ast->name = _name; - } - - return false; -} - -bool Bind::visit(QualifiedNameAST *ast) -{ - for (NestedNameSpecifierListAST *it = ast->nested_name_specifier_list; it; it = it->next) { - const Name *class_or_namespace_name = this->nestedNameSpecifier(it->value); - if (_name || ast->global_scope_token) - _name = control()->qualifiedNameId(_name, class_or_namespace_name); - else - _name = class_or_namespace_name; - } - - const Name *unqualified_name = this->name(ast->unqualified_name); - if (_name || ast->global_scope_token) - _name = control()->qualifiedNameId(_name, unqualified_name); - else - _name = unqualified_name; - - ast->name = _name; - return false; -} - -bool Bind::visit(OperatorFunctionIdAST *ast) -{ - const OperatorNameId::Kind op = this->cppOperator(ast->op); - ast->name = _name = control()->operatorNameId(op); - return false; -} - -bool Bind::visit(ConversionFunctionIdAST *ast) -{ - FullySpecifiedType type; - for (SpecifierListAST *it = ast->type_specifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - for (PtrOperatorListAST *it = ast->ptr_operator_list; it; it = it->next) { - type = this->ptrOperator(it->value, type); - } - ast->name = _name = control()->conversionNameId(type); - return false; -} - -bool Bind::visit(SimpleNameAST *ast) -{ - const Identifier *id = identifier(ast->identifier_token); - _name = id; - ast->name = _name; - return false; -} - -bool Bind::visit(DestructorNameAST *ast) -{ - const Identifier *id = identifier(ast->identifier_token); - _name = control()->destructorNameId(id); - ast->name = _name; - return false; -} - -bool Bind::visit(TemplateIdAST *ast) -{ - // collect the template parameters - std::vector<FullySpecifiedType> templateArguments; - for (ExpressionListAST *it = ast->template_argument_list; it; it = it->next) { - ExpressionTy value = this->expression(it->value); - templateArguments.push_back(value); - } - - const Identifier *id = identifier(ast->identifier_token); - if (templateArguments.empty()) - _name = control()->templateNameId(id); - else - _name = control()->templateNameId(id, &templateArguments[0], templateArguments.size()); - - ast->name = _name; - return false; -} - - -// SpecifierAST -bool Bind::visit(SimpleSpecifierAST *ast) -{ - switch (tokenKind(ast->specifier_token)) { - case T_CONST: - if (_type.isConst()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setConst(true); - break; - - case T_VOLATILE: - if (_type.isVolatile()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setVolatile(true); - break; - - case T_FRIEND: - if (_type.isFriend()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setFriend(true); - break; - - case T_AUTO: - if (_type.isAuto()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setAuto(true); - break; - - case T_REGISTER: - if (_type.isRegister()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setRegister(true); - break; - - case T_STATIC: - if (_type.isStatic()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setStatic(true); - break; - - case T_EXTERN: - if (_type.isExtern()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setExtern(true); - break; - - case T_MUTABLE: - if (_type.isMutable()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setMutable(true); - break; - - case T_TYPEDEF: - if (_type.isTypedef()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setTypedef(true); - break; - - case T_INLINE: - if (_type.isInline()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setInline(true); - break; - - case T_VIRTUAL: - if (_type.isVirtual()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setVirtual(true); - break; - - case T_EXPLICIT: - if (_type.isExplicit()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setExplicit(true); - break; - - case T_SIGNED: - if (_type.isSigned()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setSigned(true); - break; - - case T_UNSIGNED: - if (_type.isUnsigned()) - translationUnit()->error(ast->specifier_token, "duplicate `%s'", spell(ast->specifier_token)); - _type.setUnsigned(true); - break; - - case T_CHAR: - if (_type) - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - _type.setType(control()->integerType(IntegerType::Char)); - break; - - case T_WCHAR_T: - if (_type) - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - _type.setType(control()->integerType(IntegerType::WideChar)); - break; - - case T_BOOL: - if (_type) - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - _type.setType(control()->integerType(IntegerType::Bool)); - break; - - case T_SHORT: - if (_type) { - IntegerType *intType = control()->integerType(IntegerType::Int); - if (_type.type() != intType) - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - } - _type.setType(control()->integerType(IntegerType::Short)); - break; - - case T_INT: - if (_type) { - Type *tp = _type.type(); - IntegerType *shortType = control()->integerType(IntegerType::Short); - IntegerType *longType = control()->integerType(IntegerType::Long); - IntegerType *longLongType = control()->integerType(IntegerType::LongLong); - if (tp == shortType || tp == longType || tp == longLongType) - break; - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - } - _type.setType(control()->integerType(IntegerType::Int)); - break; - - case T_LONG: - if (_type) { - Type *tp = _type.type(); - IntegerType *intType = control()->integerType(IntegerType::Int); - IntegerType *longType = control()->integerType(IntegerType::Long); - FloatType *doubleType = control()->floatType(FloatType::Double); - if (tp == longType) { - _type.setType(control()->integerType(IntegerType::LongLong)); - break; - } else if (tp == doubleType) { - _type.setType(control()->floatType(FloatType::LongDouble)); - break; - } else if (tp != intType) { - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - } - } - _type.setType(control()->integerType(IntegerType::Long)); - break; - - case T_FLOAT: - if (_type) - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - _type.setType(control()->floatType(FloatType::Float)); - break; - - case T_DOUBLE: - if (_type) { - IntegerType *longType = control()->integerType(IntegerType::Long); - if (_type.type() == longType) { - _type.setType(control()->floatType(FloatType::LongDouble)); - break; - } - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - } - _type.setType(control()->floatType(FloatType::Double)); - break; - - case T_VOID: - if (_type) - translationUnit()->error(ast->specifier_token, "duplicate data type in declaration"); - _type.setType(control()->voidType()); - break; - - default: - break; - } // switch - return false; -} - -bool Bind::visit(AttributeSpecifierAST *ast) -{ - // unsigned attribute_token = ast->attribute_token; - // unsigned first_lparen_token = ast->first_lparen_token; - // unsigned second_lparen_token = ast->second_lparen_token; - for (AttributeListAST *it = ast->attribute_list; it; it = it->next) { - this->attribute(it->value); - } - // unsigned first_rparen_token = ast->first_rparen_token; - // unsigned second_rparen_token = ast->second_rparen_token; - return false; -} - -bool Bind::visit(TypeofSpecifierAST *ast) -{ - ExpressionTy expression = this->expression(ast->expression); - _type = expression; - return false; -} - -bool Bind::visit(ClassSpecifierAST *ast) -{ - // unsigned classkey_token = ast->classkey_token; - unsigned sourceLocation = ast->firstToken(); - unsigned startScopeOffset = tokenAt(sourceLocation).end(); // at the end of the class key - - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - _type = this->specifier(it->value, _type); - } - - const Name *className = this->name(ast->name); - - if (ast->name) { - sourceLocation = location(ast->name, sourceLocation); - startScopeOffset = tokenAt(sourceLocation).end(); // at the end of the class name - - if (QualifiedNameAST *q = ast->name->asQualifiedName()) { - if (q->unqualified_name) { - sourceLocation = q->unqualified_name->firstToken(); - startScopeOffset = tokenAt(q->unqualified_name->lastToken() - 1).end(); // at the end of the unqualified name - } - } - } - - Class *klass = control()->newClass(sourceLocation, className); - klass->setStartOffset(startScopeOffset); - klass->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - _scope->addMember(klass); - - if (_scope->isClass()) - klass->setVisibility(_visibility); - - // set the class key - unsigned classKey = tokenKind(ast->classkey_token); - if (classKey == T_CLASS) - klass->setClassKey(Class::ClassKey); - else if (classKey == T_STRUCT) - klass->setClassKey(Class::StructKey); - else if (classKey == T_UNION) - klass->setClassKey(Class::UnionKey); - - _type.setType(klass); - - Scope *previousScope = switchScope(klass); - const int previousVisibility = switchVisibility(visibilityForClassKey(classKey)); - const int previousMethodKey = switchMethodKey(Function::NormalMethod); - - for (BaseSpecifierListAST *it = ast->base_clause_list; it; it = it->next) { - this->baseSpecifier(it->value, ast->colon_token, klass); - } - // unsigned dot_dot_dot_token = ast->dot_dot_dot_token; - for (DeclarationListAST *it = ast->member_specifier_list; it; it = it->next) { - this->declaration(it->value); - } - - (void) switchMethodKey(previousMethodKey); - (void) switchVisibility(previousVisibility); - (void) switchScope(previousScope); - - ast->symbol = klass; - return false; -} - -bool Bind::visit(NamedTypeSpecifierAST *ast) -{ - _type.setType(control()->namedType(this->name(ast->name))); - return false; -} - -bool Bind::visit(ElaboratedTypeSpecifierAST *ast) -{ - // unsigned classkey_token = ast->classkey_token; - for (SpecifierListAST *it = ast->attribute_list; it; it = it->next) { - _type = this->specifier(it->value, _type); - } - _type.setType(control()->namedType(this->name(ast->name))); - return false; -} - -bool Bind::visit(EnumSpecifierAST *ast) -{ - unsigned sourceLocation = location(ast->name, ast->firstToken()); - const Name *enumName = this->name(ast->name); - - Enum *e = control()->newEnum(sourceLocation, enumName); - e->setStartOffset(tokenAt(sourceLocation).end()); // at the end of the enum or identifier token. - e->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - ast->symbol = e; - _scope->addMember(e); - - if (_scope->isClass()) - e->setVisibility(_visibility); - - Scope *previousScope = switchScope(e); - for (EnumeratorListAST *it = ast->enumerator_list; it; it = it->next) { - this->enumerator(it->value, e); - } - - if (ast->stray_comma_token /* && ! translationUnit()->cxx0xEnabled()*/) { - const Token &tk = tokenAt(ast->stray_comma_token); - if (! tk.generated()) - translationUnit()->warning(ast->stray_comma_token, - "commas at the end of enumerator lists are a C++0x-specific feature"); - } - - (void) switchScope(previousScope); - return false; -} - - -// PtrOperatorAST -bool Bind::visit(PointerToMemberAST *ast) -{ - const Name *memberName = 0; - - for (NestedNameSpecifierListAST *it = ast->nested_name_specifier_list; it; it = it->next) { - const Name *class_or_namespace_name = this->nestedNameSpecifier(it->value); - if (memberName || ast->global_scope_token) - memberName = control()->qualifiedNameId(memberName, class_or_namespace_name); - else - memberName = class_or_namespace_name; - } - - FullySpecifiedType type(control()->pointerToMemberType(memberName, _type)); - for (SpecifierListAST *it = ast->cv_qualifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - _type = type; - return false; -} - -bool Bind::visit(PointerAST *ast) -{ - if (_type->isReferenceType()) - translationUnit()->error(ast->firstToken(), "cannot declare pointer to a reference"); - - FullySpecifiedType type(control()->pointerType(_type)); - for (SpecifierListAST *it = ast->cv_qualifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - _type = type; - return false; -} - -bool Bind::visit(ReferenceAST *ast) -{ - const bool rvalueRef = (tokenKind(ast->reference_token) == T_AMPER_AMPER); - - if (_type->isReferenceType()) - translationUnit()->error(ast->firstToken(), "cannot declare reference to a reference"); - - FullySpecifiedType type(control()->referenceType(_type, rvalueRef)); - _type = type; - return false; -} - - -// PostfixAST -bool Bind::visit(CallAST *ast) -{ - /*ExpressionTy base_expression =*/ this->expression(ast->base_expression); - // unsigned lparen_token = ast->lparen_token; - for (ExpressionListAST *it = ast->expression_list; it; it = it->next) { - /*ExpressionTy value =*/ this->expression(it->value); - } - // unsigned rparen_token = ast->rparen_token; - return false; -} - -bool Bind::visit(ArrayAccessAST *ast) -{ - /*ExpressionTy base_expression =*/ this->expression(ast->base_expression); - // unsigned lbracket_token = ast->lbracket_token; - /*ExpressionTy expression =*/ this->expression(ast->expression); - // unsigned rbracket_token = ast->rbracket_token; - return false; -} - -bool Bind::visit(PostIncrDecrAST *ast) -{ - ExpressionTy base_expression = this->expression(ast->base_expression); - // unsigned incr_decr_token = ast->incr_decr_token; - return false; -} - -bool Bind::visit(MemberAccessAST *ast) -{ - ExpressionTy base_expression = this->expression(ast->base_expression); - // unsigned access_token = ast->access_token; - // unsigned template_token = ast->template_token; - /*const Name *member_name =*/ this->name(ast->member_name); - return false; -} - - -// CoreDeclaratorAST -bool Bind::visit(DeclaratorIdAST *ast) -{ - /*const Name *name =*/ this->name(ast->name); - *_declaratorId = ast; - return false; -} - -bool Bind::visit(NestedDeclaratorAST *ast) -{ - _type = this->declarator(ast->declarator, _type, _declaratorId); - return false; -} - - -// PostfixDeclaratorAST -bool Bind::visit(FunctionDeclaratorAST *ast) -{ - Function *fun = control()->newFunction(0, 0); - fun->setStartOffset(tokenAt(ast->firstToken()).begin()); - fun->setEndOffset(tokenAt(ast->lastToken() - 1).end()); - fun->setReturnType(_type); - - // unsigned lparen_token = ast->lparen_token; - this->parameterDeclarationClause(ast->parameter_declaration_clause, ast->lparen_token, fun); - // unsigned rparen_token = ast->rparen_token; - FullySpecifiedType type(fun); - for (SpecifierListAST *it = ast->cv_qualifier_list; it; it = it->next) { - type = this->specifier(it->value, type); - } - - // propagate the cv-qualifiers - fun->setConst(type.isConst()); - fun->setVolatile(type.isVolatile()); - - this->exceptionSpecification(ast->exception_specification, type); - this->trailingReturnType(ast->trailing_return_type, type); - if (ast->as_cpp_initializer != 0) { - fun->setAmbiguous(true); - /*ExpressionTy as_cpp_initializer =*/ this->expression(ast->as_cpp_initializer); - } - ast->symbol = fun; - _type = type; - return false; -} - -bool Bind::visit(ArrayDeclaratorAST *ast) -{ - ExpressionTy expression = this->expression(ast->expression); - FullySpecifiedType type(control()->arrayType(_type)); - _type = type; - return false; -} - -int Bind::visibilityForAccessSpecifier(int tokenKind) -{ - switch (tokenKind) { - case T_PUBLIC: - return Symbol::Public; - case T_PROTECTED: - return Symbol::Protected; - case T_PRIVATE: - return Symbol::Private; - case T_Q_SIGNALS: - return Symbol::Protected; - default: - return Symbol::Public; - } -} - -int Bind::visibilityForClassKey(int tokenKind) -{ - switch (tokenKind) { - case T_CLASS: - return Symbol::Private; - case T_STRUCT: - case T_UNION: - return Symbol::Public; - default: - return Symbol::Public; - } -} - -int Bind::visibilityForObjCAccessSpecifier(int tokenKind) -{ - switch (tokenKind) { - case T_AT_PUBLIC: - return Symbol::Public; - case T_AT_PROTECTED: - return Symbol::Protected; - case T_AT_PRIVATE: - return Symbol::Private; - case T_AT_PACKAGE: - return Symbol::Package; - default: - return Symbol::Protected; - } -} - -bool Bind::isObjCClassMethod(int tokenKind) -{ - switch (tokenKind) { - case T_PLUS: - return true; - case T_MINUS: - default: - return false; - } -} |