diff options
Diffstat (limited to 'src/shared/cplusplus/CheckDeclarator.cpp')
-rw-r--r-- | src/shared/cplusplus/CheckDeclarator.cpp | 310 |
1 files changed, 0 insertions, 310 deletions
diff --git a/src/shared/cplusplus/CheckDeclarator.cpp b/src/shared/cplusplus/CheckDeclarator.cpp deleted file mode 100644 index 41b4ea1b3a..0000000000 --- a/src/shared/cplusplus/CheckDeclarator.cpp +++ /dev/null @@ -1,310 +0,0 @@ -/************************************************************************** -** -** This file is part of Qt Creator -** -** Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies). -** -** Contact: Nokia Corporation (qt-info@nokia.com) -** -** Commercial Usage -** -** 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. -** -** GNU Lesser General Public License Usage -** -** 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. -** -** If you are unsure which license is appropriate for your use, please -** contact the sales department at http://qt.nokia.com/contact. -** -**************************************************************************/ -// 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 "CheckDeclarator.h" -#include "Semantic.h" -#include "AST.h" -#include "Control.h" -#include "TranslationUnit.h" -#include "Literals.h" -#include "CoreTypes.h" -#include "Symbols.h" - -using namespace CPlusPlus; - -CheckDeclarator::CheckDeclarator(Semantic *semantic) - : SemanticCheck(semantic), - _declarator(0), - _scope(0), - _name(0) -{ } - -CheckDeclarator::~CheckDeclarator() -{ } - -FullySpecifiedType CheckDeclarator::check(DeclaratorAST *declarator, - const FullySpecifiedType &type, - Scope *scope, - const Name **name) -{ - FullySpecifiedType previousType = switchFullySpecifiedType(type); - Scope *previousScope = switchScope(scope); - DeclaratorAST *previousDeclarator = switchDeclarator(declarator); - const Name **previousName = switchName(name); - accept(declarator); - (void) switchName(previousName); - (void) switchDeclarator(previousDeclarator); - (void) switchScope(previousScope); - return switchFullySpecifiedType(previousType); -} - -FullySpecifiedType CheckDeclarator::check(PtrOperatorListAST *ptrOperators, - const FullySpecifiedType &type, - Scope *scope) -{ - FullySpecifiedType previousType = switchFullySpecifiedType(type); - Scope *previousScope = switchScope(scope); - accept(ptrOperators); - (void) switchScope(previousScope); - return switchFullySpecifiedType(previousType); -} - -FullySpecifiedType CheckDeclarator::check(ObjCMethodPrototypeAST *methodPrototype, - Scope *scope) -{ - FullySpecifiedType previousType = switchFullySpecifiedType(FullySpecifiedType()); - Scope *previousScope = switchScope(scope); - accept(methodPrototype); - (void) switchScope(previousScope); - return switchFullySpecifiedType(previousType); -} - -DeclaratorAST *CheckDeclarator::switchDeclarator(DeclaratorAST *declarator) -{ - DeclaratorAST *previousDeclarator = _declarator; - _declarator = declarator; - return previousDeclarator; -} - -FullySpecifiedType CheckDeclarator::switchFullySpecifiedType(const FullySpecifiedType &type) -{ - FullySpecifiedType previousType = _fullySpecifiedType; - _fullySpecifiedType = type; - return previousType; -} - -Scope *CheckDeclarator::switchScope(Scope *scope) -{ - Scope *previousScope = _scope; - _scope = scope; - return previousScope; -} - -const Name **CheckDeclarator::switchName(const Name **name) -{ - const Name **previousName = _name; - _name = name; - return previousName; -} - -bool CheckDeclarator::visit(DeclaratorAST *ast) -{ - accept(ast->ptr_operator_list); - accept(ast->postfix_declarator_list); - accept(ast->core_declarator); - - if (ast->initializer) { - FullySpecifiedType exprTy = semantic()->check(ast->initializer, _scope); - - if (Function *funTy = _fullySpecifiedType->asFunctionType()) - funTy->setPureVirtual(true); - } - - return false; -} - -bool CheckDeclarator::visit(DeclaratorIdAST *ast) -{ - const Name *name = semantic()->check(ast->name, _scope); - if (_name) - *_name = name; - return false; -} - -bool CheckDeclarator::visit(NestedDeclaratorAST *ast) -{ - accept(ast->declarator); - return false; -} - -bool CheckDeclarator::visit(FunctionDeclaratorAST *ast) -{ - Function *fun = control()->newFunction(ast->firstToken()); - fun->setAmbiguous(ast->as_cpp_initializer != 0); - ast->symbol = fun; - fun->setReturnType(_fullySpecifiedType); - - if (ast->parameters) { - DeclarationListAST *parameter_declarations = ast->parameters->parameter_declaration_list; - for (DeclarationListAST *decl = parameter_declarations; decl; decl = decl->next) { - semantic()->check(decl->value, fun); - } - - if (ast->parameters->dot_dot_dot_token) - fun->setVariadic(true); - } - - // check the arguments - bool hasDefaultArguments = false; - for (unsigned i = 0; i < fun->argumentCount(); ++i) { - Argument *arg = fun->argumentAt(i)->asArgument(); - if (hasDefaultArguments && ! arg->hasInitializer()) { - translationUnit()->error(ast->firstToken(), - "default argument missing for parameter at position %d", i + 1); - } else if (! hasDefaultArguments) { - hasDefaultArguments = arg->hasInitializer(); - } - } - - FullySpecifiedType funTy(fun); - funTy = semantic()->check(ast->cv_qualifier_list, _scope, funTy); - - fun->setConst(funTy.isConst()); - fun->setVolatile(funTy.isVolatile()); - - _fullySpecifiedType = funTy; - return false; -} - -bool CheckDeclarator::visit(ArrayDeclaratorAST *ast) -{ - ArrayType *ty = control()->arrayType(_fullySpecifiedType); // ### set the dimension - FullySpecifiedType exprTy = semantic()->check(ast->expression, _scope); - FullySpecifiedType arrTy(ty); - _fullySpecifiedType = ty; - return false; -} - -bool CheckDeclarator::visit(PointerToMemberAST *ast) -{ - const Name *memberName = semantic()->check(ast->nested_name_specifier_list, _scope); - PointerToMemberType *ptrTy = control()->pointerToMemberType(memberName, _fullySpecifiedType); - FullySpecifiedType ty(ptrTy); - _fullySpecifiedType = ty; - applyCvQualifiers(ast->cv_qualifier_list); - return false; -} - -bool CheckDeclarator::visit(PointerAST *ast) -{ - if (_fullySpecifiedType->isReferenceType()) - translationUnit()->error(ast->firstToken(), "cannot declare pointer to a reference"); - - PointerType *ptrTy = control()->pointerType(_fullySpecifiedType); - FullySpecifiedType ty(ptrTy); - _fullySpecifiedType = ty; - applyCvQualifiers(ast->cv_qualifier_list); - return false; -} - -bool CheckDeclarator::visit(ReferenceAST *ast) -{ - const bool rvalueRef = (tokenKind(ast->reference_token) == T_AMPER_AMPER); - - if (_fullySpecifiedType->isReferenceType()) - translationUnit()->error(ast->firstToken(), "cannot declare reference to a reference"); - - ReferenceType *refTy = control()->referenceType(_fullySpecifiedType, rvalueRef); - FullySpecifiedType ty(refTy); - _fullySpecifiedType = ty; - return false; -} - -bool CheckDeclarator::visit(ObjCMethodPrototypeAST *ast) -{ - if (!ast) - return false; - - if (!ast->selector) { - // TODO: (EV) this currently happens when parsing: - // + (id<NSSomeProtocol>) zoo; - // where the parser will start doing template magic. We'll need to disambiguate this case. - return false; - } - - FullySpecifiedType returnType; - if (ast->type_name && ast->type_name->type_id) - returnType = semantic()->check(ast->type_name->type_id, _scope); - - unsigned location = ast->selector->firstToken(); - - semantic()->check(ast->selector, _scope); - - ObjCMethod *method = control()->newObjCMethod(location, ast->selector->name); - ast->symbol = method; - method->setScope(_scope); - method->setVisibility(semantic()->currentVisibility()); - method->setReturnType(returnType); - if (semantic()->isObjCClassMethod(tokenKind(ast->method_type_token))) - method->setStorage(Symbol::Static); - - for (ObjCMessageArgumentDeclarationListAST *it = ast->argument_list; it; it = it->next) { - ObjCMessageArgumentDeclarationAST *argDecl = it->value; - - semantic()->check(argDecl, method); - } - - if (ast->dot_dot_dot_token) - method->setVariadic(true); - - _fullySpecifiedType = FullySpecifiedType(method); - _fullySpecifiedType = semantic()->check(ast->attribute_list, _scope, - _fullySpecifiedType); - - return false; -} - -void CheckDeclarator::applyCvQualifiers(SpecifierListAST *it) -{ - for (; it; it = it->next) { - SpecifierAST *cv = it->value; - SimpleSpecifierAST *spec = static_cast<SimpleSpecifierAST *>(cv); - switch (translationUnit()->tokenKind(spec->specifier_token)) { - case T_VOLATILE: - _fullySpecifiedType.setVolatile(true); - break; - case T_CONST: - _fullySpecifiedType.setConst(true); - break; - default: - break; - } // switch - } -} - - |