src/ozulis/visitors/type-checker.hh

   1 #ifndef VISITORS_TYPE_CHECKER_VISITOR_HH
   2 # define VISITORS_TYPE_CHECKER_VISITOR_HH
   3
   4 # include <utility>
   5 # include <map>
   6
   7 # include <ozulis/visitors/visitor.hh>
   8
   9 namespace ozulis
  10 {
  11   namespace visitors
  12   {
  13     /// @defgroup Visitors
  14     /**
  15      * @brief Check that all expressions are correct (type)
  16      * @ingroup Visitors
  17      */
  18     class TypeChecker : public Visitor<TypeChecker>
  19     {
  20     public:
  21       TypeChecker();
  22       virtual ~TypeChecker();
  23
  24       inline void setScope(ast::Scope * scope);
  25
  26       template <typename T>
  27       void check(T *& node);
  28
  29       static void initBase();
  30
  31       static void homogenizeTypes(ast::BinaryExp & node);
  32       void pointerArith(ast::Exp * pointer, ast::Exp * offset);
  33
  34       ast::Function * currentFunction;
  35       ast::Scope *    scope;
  36       ast::Node *     replacement;
  37     };
  38   }
  39 }
  40
  41 # include "type-checker.hxx"
  42
  43 #endif /* !VISITORS_TYPE_CHECKER_VISITOR_HH */