summaryrefslogtreecommitdiff
path: root/src/shared/cplusplus/CheckDeclarator.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/shared/cplusplus/CheckDeclarator.cpp')
-rw-r--r--src/shared/cplusplus/CheckDeclarator.cpp310
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
- }
-}
-
-