/****************************************************************************

**

** Copyright (C) 2010 Nokia Corporation and/or its subsidiary(-ies).

** All rights reserved.

** Contact: Nokia Corporation (qt-info@nokia.com)

**

** This file is part of the Qt Mobility Components.

**

** $QT_BEGIN_LICENSE:LGPL$

** No Commercial Usage

** This file contains pre-release code and may not be distributed.

** You may use this file in accordance with the terms and conditions

** contained in the Technology Preview License Agreement accompanying

** this package.

**

** 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.

**

** 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.

**

** If you have questions regarding the use of this file, please contact

** Nokia at qt-info@nokia.com.

**

**

**

**

**

**

**

**

** $QT_END_LICENSE$

**

****************************************************************************/

// 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.

#ifndef CPLUSPLUS_CHECKEXPRESSION_H

#define CPLUSPLUS_CHECKEXPRESSION_H

#include "CPlusPlusForwardDeclarations.h"

#include "SemanticCheck.h"

#include "FullySpecifiedType.h"

namespace CPlusPlus {

class CPLUSPLUS_EXPORT CheckExpression: public SemanticCheck

{

public:

    CheckExpression(Semantic *semantic);

    virtual ~CheckExpression();

    FullySpecifiedType check(ExpressionAST *expression, Scope *scope);

protected:

    ExpressionAST *switchExpression(ExpressionAST *expression);

    FullySpecifiedType switchFullySpecifiedType(const FullySpecifiedType &type);

    Scope *switchScope(Scope *scope);

    using ASTVisitor::visit;

    virtual bool visit(BinaryExpressionAST *ast);

    virtual bool visit(CastExpressionAST *ast);

    virtual bool visit(ConditionAST *ast);

    virtual bool visit(ConditionalExpressionAST *ast);

    virtual bool visit(CppCastExpressionAST *ast);

    virtual bool visit(DeleteExpressionAST *ast);

    virtual bool visit(ArrayInitializerAST *ast);

    virtual bool visit(NewExpressionAST *ast);

    virtual bool visit(TypeidExpressionAST *ast);

    virtual bool visit(TypenameCallExpressionAST *ast);

    virtual bool visit(TypeConstructorCallAST *ast);

    virtual bool visit(PostfixExpressionAST *ast);

    virtual bool visit(SizeofExpressionAST *ast);

    virtual bool visit(NumericLiteralAST *ast);

    virtual bool visit(BoolLiteralAST *ast);

    virtual bool visit(ThisExpressionAST *ast);

    virtual bool visit(NestedExpressionAST *ast);

    virtual bool visit(StringLiteralAST *ast);

    virtual bool visit(ThrowExpressionAST *ast);

    virtual bool visit(TypeIdAST *ast);

    virtual bool visit(UnaryExpressionAST *ast);

    virtual bool visit(QtMethodAST *ast);

    virtual bool visit(CompoundLiteralAST *ast);

    //names

    virtual bool visit(QualifiedNameAST *ast);

    virtual bool visit(OperatorFunctionIdAST *ast);

    virtual bool visit(ConversionFunctionIdAST *ast);

    virtual bool visit(SimpleNameAST *ast);

    virtual bool visit(DestructorNameAST *ast);

    virtual bool visit(TemplateIdAST *ast);

    // postfix expressions

    virtual bool visit(CallAST *ast);

    virtual bool visit(ArrayAccessAST *ast);

    virtual bool visit(PostIncrDecrAST *ast);

    virtual bool visit(MemberAccessAST *ast);

    // ObjC

    virtual bool visit(ObjCMessageExpressionAST *ast);

    virtual bool visit(ObjCEncodeExpressionAST *ast);

    virtual bool visit(ObjCSelectorExpressionAST *ast);

private:

    ExpressionAST *_expression;

    FullySpecifiedType _fullySpecifiedType;

    Scope *_scope;

    bool _checkOldStyleCasts: 1;

};

} // end of namespace CPlusPlus

#endif // CPLUSPLUS_CHECKEXPRESSION_H