src/ast/type-checker-visitor.hh

   1 #ifndef AST_TYPE_CHECKER_VISITOR_HH
   2 # define AST_TYPE_CHECKER_VISITOR_HH
   3
   4 # include <utility>
   5 # include <map>
   6
   7 # include <ast/browse-visitor.hh>
   8
   9 namespace ast
  10 {
  11   /// @defgroup Visitors
  12   /**
  13    * @brief Check that all expressions are correct (type)
  14    * @ingroup Visitors
  15    */
  16   class TypeCheckerVisitor : public BrowseVisitor
  17   {
  18   public:
  19     TypeCheckerVisitor();
  20     virtual ~TypeCheckerVisitor();
  21
  22     virtual void visit(AssignExp & node);
  23
  24     virtual void visit(AddExp & node);
  25     virtual void visit(SubExp & node);
  26     virtual void visit(MulExp & node);
  27     virtual void visit(DivExp & node);
  28     virtual void visit(ModExp & node);
  29
  30     virtual void visit(AndExp & node);
  31     virtual void visit(OrExp & node);
  32     virtual void visit(XorExp & node);
  33
  34     virtual void visit(ShlExp & node);
  35     virtual void visit(AShrExp & node);
  36     virtual void visit(LShrExp & node);
  37
  38     virtual void visit(OrOrExp & node);
  39     virtual void visit(AndAndExp & node);
  40
  41     virtual void visit(EqExp & node);
  42     virtual void visit(NeqExp & node);
  43     virtual void visit(LtExp & node);
  44     virtual void visit(LtEqExp & node);
  45     virtual void visit(GtExp & node);
  46     virtual void visit(GtEqExp & node);
  47
  48     virtual void visit(NotExp & node);
  49     virtual void visit(NegExp & node);
  50     virtual void visit(BangExp & node);
  51
  52     virtual void visit(IdExp & node);
  53     virtual void visit(DereferenceExp & node);
  54     virtual void visit(DereferenceByIndexExp & node);
  55     virtual void visit(CastExp & node);
  56     virtual void visit(CallExp & node);
  57
  58     virtual void visit(Symbol & node);
  59
  60     virtual void visit(File & node);
  61     virtual void visit(Function & node);
  62     virtual void visit(Block & node);
  63
  64     virtual void visit(Return & node);
  65
  66     virtual void visit(ConditionalBranch & node);
  67
  68     inline void setScope(Scope * scope);
  69
  70   protected:
  71     static void homogenizeTypes(BinaryExp & node);
  72
  73   public:
  74     typedef BrowseVisitor super_t;
  75
  76   private:
  77     Function *  currentFunction_;
  78     Scope *     scope_;
  79   };
  80 }
  81
  82 # include "type-checker-visitor.hxx"
  83
  84 #endif /* !AST_TYPE_CHECKER_VISITOR_HH */