diff options
author | hjk <qtc-committer@nokia.com> | 2009-01-26 16:19:24 +0100 |
---|---|---|
committer | hjk <qtc-committer@nokia.com> | 2009-01-26 16:19:24 +0100 |
commit | fe0533de2a634ca377c2d8a0073e0eb2cbf89abf (patch) | |
tree | 29d3d30e6cc5a1068a94097a5660bc4d133a205f /shared/cplusplus/CheckSpecifier.cpp | |
parent | c85ba53365d606192069a841ed806979f17d80bc (diff) | |
download | qt-creator-fe0533de2a634ca377c2d8a0073e0eb2cbf89abf.tar.gz |
Fixes: move all files in shared/* to src/shared/*
Diffstat (limited to 'shared/cplusplus/CheckSpecifier.cpp')
-rw-r--r-- | shared/cplusplus/CheckSpecifier.cpp | 392 |
1 files changed, 0 insertions, 392 deletions
diff --git a/shared/cplusplus/CheckSpecifier.cpp b/shared/cplusplus/CheckSpecifier.cpp deleted file mode 100644 index eeb59eebcc..0000000000 --- a/shared/cplusplus/CheckSpecifier.cpp +++ /dev/null @@ -1,392 +0,0 @@ -/*************************************************************************** -** -** This file is part of Qt Creator -** -** Copyright (c) 2008-2009 Nokia Corporation and/or its subsidiary(-ies). -** -** Contact: Qt Software Information (qt-info@nokia.com) -** -** -** Non-Open Source Usage -** -** Licensees may use this file in accordance with the Qt Beta Version -** License Agreement, Agreement version 2.2 provided with the Software or, -** alternatively, in accordance with the terms contained in a written -** agreement between you and Nokia. -** -** GNU General Public License Usage -** -** Alternatively, this file may be used under the terms of the GNU General -** Public License versions 2.0 or 3.0 as published by the Free Software -** Foundation and appearing in the file LICENSE.GPL included in the packaging -** of this file. Please review the following information to ensure GNU -** General Public Licensing requirements will be met: -** -** http://www.fsf.org/licensing/licenses/info/GPLv2.html and -** http://www.gnu.org/copyleft/gpl.html. -** -** In addition, as a special exception, Nokia gives you certain additional -** rights. These rights are described in the Nokia Qt GPL Exception -** version 1.3, included in the file GPL_EXCEPTION.txt in this package. -** -***************************************************************************/ -// 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 "CheckSpecifier.h" -#include "Semantic.h" -#include "AST.h" -#include "Token.h" -#include "TranslationUnit.h" -#include "Literals.h" -#include "Names.h" -#include "CoreTypes.h" -#include "Symbols.h" -#include "Control.h" -#include "Scope.h" - -CPLUSPLUS_BEGIN_NAMESPACE - -CheckSpecifier::CheckSpecifier(Semantic *semantic) - : SemanticCheck(semantic), - _specifier(0), - _scope(0) -{ } - -CheckSpecifier::~CheckSpecifier() -{ } - -FullySpecifiedType CheckSpecifier::check(SpecifierAST *specifier, Scope *scope) -{ - FullySpecifiedType previousType = switchFullySpecifiedType(FullySpecifiedType()); - Scope *previousScope = switchScope(scope); - SpecifierAST *previousSpecifier = switchSpecifier(specifier); - accept(specifier); - (void) switchSpecifier(previousSpecifier); - (void) switchScope(previousScope); - return switchFullySpecifiedType(previousType); -} - -SpecifierAST *CheckSpecifier::switchSpecifier(SpecifierAST *specifier) -{ - SpecifierAST *previousSpecifier = _specifier; - _specifier = specifier; - return previousSpecifier; -} - -FullySpecifiedType CheckSpecifier::switchFullySpecifiedType(FullySpecifiedType type) -{ - FullySpecifiedType previousType = _fullySpecifiedType; - _fullySpecifiedType = type; - return previousType; -} - -Scope *CheckSpecifier::switchScope(Scope *scope) -{ - Scope *previousScope = _scope; - _scope = scope; - return previousScope; -} - -bool CheckSpecifier::visit(SimpleSpecifierAST *ast) -{ - switch (tokenKind(ast->specifier_token)) { - case T_CONST: - if (_fullySpecifiedType.isConst()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setConst(true); - break; - - case T_VOLATILE: - if (_fullySpecifiedType.isVolatile()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setVolatile(true); - break; - - case T_FRIEND: - if (_fullySpecifiedType.isFriend()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setFriend(true); - break; - - case T_REGISTER: - if (_fullySpecifiedType.isRegister()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setRegister(true); - break; - - case T_STATIC: - if (_fullySpecifiedType.isStatic()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setStatic(true); - break; - - case T_EXTERN: - if (_fullySpecifiedType.isExtern()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setExtern(true); - break; - - case T_MUTABLE: - if (_fullySpecifiedType.isMutable()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setMutable(true); - break; - - case T_TYPEDEF: - if (_fullySpecifiedType.isTypedef()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setTypedef(true); - break; - - case T_INLINE: - if (_fullySpecifiedType.isInline()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setInline(true); - break; - - case T_VIRTUAL: - if (_fullySpecifiedType.isVirtual()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setVirtual(true); - break; - - case T_EXPLICIT: - if (_fullySpecifiedType.isExplicit()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setExplicit(true); - break; - - case T_SIGNED: - if (_fullySpecifiedType.isSigned()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setSigned(true); - break; - - case T_UNSIGNED: - if (_fullySpecifiedType.isUnsigned()) - translationUnit()->error(ast->specifier_token, - "duplicate `%s'", spell(ast->specifier_token)); - _fullySpecifiedType.setUnsigned(true); - break; - - case T_CHAR: - if (_fullySpecifiedType.type()) - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - _fullySpecifiedType.setType(control()->integerType(IntegerType::Char)); - break; - - case T_WCHAR_T: - if (_fullySpecifiedType.type()) - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - _fullySpecifiedType.setType(control()->integerType(IntegerType::WideChar)); - break; - - case T_BOOL: - if (_fullySpecifiedType.type()) - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - _fullySpecifiedType.setType(control()->integerType(IntegerType::Bool)); - break; - - case T_SHORT: - if (Type *tp = _fullySpecifiedType.type()) { - IntegerType *intType = control()->integerType(IntegerType::Int); - if (tp != intType) - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - } - _fullySpecifiedType.setType(control()->integerType(IntegerType::Short)); - break; - - case T_INT: - if (Type *tp = _fullySpecifiedType.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"); - } - _fullySpecifiedType.setType(control()->integerType(IntegerType::Int)); - break; - - case T_LONG: - if (Type *tp = _fullySpecifiedType.type()) { - IntegerType *intType = control()->integerType(IntegerType::Int); - IntegerType *longType = control()->integerType(IntegerType::Long); - FloatType *doubleType = control()->floatType(FloatType::Double); - if (tp == longType) { - _fullySpecifiedType.setType(control()->integerType(IntegerType::LongLong)); - break; - } else if (tp == doubleType) { - _fullySpecifiedType.setType(control()->floatType(FloatType::LongDouble)); - break; - } else if (tp != intType) { - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - } - } - _fullySpecifiedType.setType(control()->integerType(IntegerType::Long)); - break; - - case T_FLOAT: - if (_fullySpecifiedType.type()) - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - _fullySpecifiedType.setType(control()->floatType(FloatType::Float)); - break; - - case T_DOUBLE: - if (Type *tp = _fullySpecifiedType.type()) { - IntegerType *longType = control()->integerType(IntegerType::Long); - if (tp == longType) { - _fullySpecifiedType.setType(control()->floatType(FloatType::LongDouble)); - break; - } - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - } - _fullySpecifiedType.setType(control()->floatType(FloatType::Double)); - break; - - case T_VOID: - if (_fullySpecifiedType.type()) - translationUnit()->error(ast->specifier_token, - "duplicate data type in declaration"); - _fullySpecifiedType.setType(control()->voidType()); - break; - - default: - break; - } // switch - accept(ast->next); - return false; -} - -bool CheckSpecifier::visit(ClassSpecifierAST *ast) -{ - Name *className = semantic()->check(ast->name, _scope); - Class *klass = control()->newClass(ast->firstToken(), className); - 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); - klass->setVisibility(semantic()->currentVisibility()); - _scope->enterSymbol(klass); - _fullySpecifiedType.setType(klass); - - for (BaseSpecifierAST *base = ast->base_clause; base; base = base->next) { - Name *baseClassName = semantic()->check(base->name, _scope); - BaseClass *baseClass = control()->newBaseClass(ast->firstToken(), baseClassName); - if (base->token_virtual) - baseClass->setVirtual(true); - if (base->token_access_specifier) { - int accessSpecifier = tokenKind(base->token_access_specifier); - int visibility = semantic()->visibilityForAccessSpecifier(accessSpecifier); - baseClass->setVisibility(visibility); - } - klass->addBaseClass(baseClass); - } - - int visibility = semantic()->visibilityForClassKey(classKey); - int previousVisibility = semantic()->switchVisibility(visibility); - int previousMethodKey = semantic()->switchMethodKey(Function::NormalMethod); - - for (DeclarationAST *member = ast->member_specifiers; - member; member = member->next) { - semantic()->check(member, klass->members()); - } - - (void) semantic()->switchMethodKey(previousMethodKey); - (void) semantic()->switchVisibility(previousVisibility); - - accept(ast->next); - return false; -} - -bool CheckSpecifier::visit(NamedTypeSpecifierAST *ast) -{ - Name *name = semantic()->check(ast->name, _scope); - _fullySpecifiedType.setType(control()->namedType(name)); - accept(ast->next); - return false; -} - -bool CheckSpecifier::visit(ElaboratedTypeSpecifierAST *ast) -{ - Name *name = semantic()->check(ast->name, _scope); - _fullySpecifiedType.setType(control()->namedType(name)); - accept(ast->next); - return false; -} - -bool CheckSpecifier::visit(EnumSpecifierAST *ast) -{ - Name *name = semantic()->check(ast->name, _scope); - Enum *e = control()->newEnum(ast->firstToken(), name); - e->setVisibility(semantic()->currentVisibility()); - _scope->enterSymbol(e); - _fullySpecifiedType.setType(e); - for (EnumeratorAST *enumerator = ast->enumerators; enumerator; - enumerator = enumerator->next) { - Identifier *id = identifier(enumerator->identifier_token); - if (! id) - continue; - NameId *enumeratorName = control()->nameId(id); - Declaration *decl = control()->newDeclaration(enumerator->firstToken(), - enumeratorName); - e->addMember(decl); - } - accept(ast->next); - return false; -} - -bool CheckSpecifier::visit(TypeofSpecifierAST *ast) -{ - semantic()->check(ast->expression, _scope); - accept(ast->next); - return false; -} - -bool CheckSpecifier::visit(AttributeSpecifierAST *) -{ - return false; -} - -CPLUSPLUS_END_NAMESPACE |