forked from qt-creator/qt-creator
393 lines
15 KiB
C++
393 lines
15 KiB
C++
/***************************************************************************
|
|
**
|
|
** This file is part of Qt Creator
|
|
**
|
|
** Copyright (c) 2008 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.2, 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
|