/*

  * Copyright (C) 2012 David Anderson

  *

  * This file is part of JITCraft.

  *

  * JITCraft 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 (at your option)

  * any later version.

  * 

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

  * JITCraft. If not, see http://www.gnu.org/licenses/.

  */

 #ifndef _include_semantic_analysis_h_

 #define _include_semantic_analysis_h_

 #include <assert.h>

 #include "AST.h"

 namespace jc {

 class SemanticAnalysis : public AstVisitor

 {

     ParseTree *tree_;

     unsigned loopDepth_;

     Scope *scope_;

   private:

     void error() {

         assert(false);

     }

     void typeError(Expression *expr, const char *expected) {

         assert(false);

     }

     Type *visitForLoad(Expression *expression);

     Type *visitForRef(Expression *expression);

     bool preanalyze(FunctionStatement *node);

   public:

     SemanticAnalysis(ParseTree *tree);

     bool analyze();

   public:

     void visit(NameProxy *name);

     void visit(Assignment *node);

     void visit(BinaryExpression *node);

     void visit(ReturnStatement *node);

     void visit(ForStatement *node);

     void visit(BlockStatement *node);

     void visit(VariableDeclaration *node);

     void visit(IntegerLiteral *node);

     void visit(ExpressionStatement *node);

     void visit(FunctionStatement *node);

     void visit(CallExpression *node);

     void visit(IfStatement *node);

     void visit(IndexExpression *node);

     void visit(EnumStatement *node);

     void visit(FloatLiteral *node);

     void visit(WhileStatement *node);

     void visit(BreakStatement *node);

     void visit(ContinueStatement *node);

 };

 } // namespace jc

 #endif // _include_semantic_analysis_h_