/*
 *  Copyright (C) 2015  Andrei Karas
 *
 *  This file is part of Paranoid null checker.
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 3 of the License, or
 *  any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

#ifndef ANALYSIS_EXPRESSION_H
#define ANALYSIS_EXPRESSION_H

#include "includes.h"

struct AddrExprNode;
struct BindExprNode;
struct CallExprNode;
struct CleanupPointExprNode;
struct CompoundExprNode;
struct CondExprNode;
struct DeclExprNode;
struct EqExprNode;
struct GotoExprNode;
struct InitExprNode;
struct ModifyExprNode;
struct NeExprNode;
struct Node;
struct NonLvalueExprNode;
struct NopExprNode;
struct PointerPlusExprNode;
struct ReturnExprNode;
struct TruthAndExprNode;
struct TruthAndIfExprNode;
struct TruthOrExprNode;
struct TruthOrIfExprNode;
struct VarItem;
struct WalkItem;

#include <vector>

namespace Analysis
{
    void analyseModifyExpr(ModifyExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analysePointerPlusExpr(PointerPlusExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseAddrExpr(AddrExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCallExpr(CallExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCleanupPointExpr(CleanupPointExprNode* node, const WalkItem &wi, WalkItem &wo);

    void analyseReturnExpr(ReturnExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseNeExpr(NeExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseEqExpr(EqExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthOrExpr(TruthOrExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthOrIfExpr(TruthOrIfExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthAndExpr(TruthAndExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthAndIfExpr(TruthAndIfExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCondExpr(CondExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCompoundExpr(CompoundExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseBindExpr(BindExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseDeclExpr(DeclExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseNopExpr(NopExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseNonLvalueExpr(NonLvalueExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseInitExpr(InitExprNode* node, const WalkItem &wi, WalkItem &wo);

    void analyseGotoExpr(GotoExprNode *node,
                         const WalkItem &wi,
                         WalkItem &wo);

    void handleSetVar(Node *node1,
                      Node *node2,
                      const WalkItem &wi,
                      WalkItem &wo);

    void handleSetVarDecl(Node *node,
                          const WalkItem &wi,
                          WalkItem &wo);

    VarItem getComponentRefVariable(Node *node);

    std::vector<VarItem> getComponentRefParts(Node *node);

    std::vector<VarItem> getComponentRefLeftParts(Node *node);

    bool handleSetVarToFunction(const VarItem &var,
                                Node *node1,
                                Node *node2,
                                WalkItem &wo);

    bool isValidVar(const VarItem &str);

    VarItem getVariableName(Node *node);
}

#endif // ANALYSIS_EXPRESSION_H