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 ast's type is semanticaly correct
  16      * @ingroup Visitors
  17      */
  18     class TypeChecker : public Visitor<TypeChecker>
  19     {
  20     public:
  21       TypeChecker();
  22       virtual ~TypeChecker();
  23
  24       /** @brief type check the node, and may replace it */
  25       template <typename T>
  26       T check(T node);
  27
  28       /** @brief initialise the visitor's table */
  29       static void initBase();
  30
  31       /** @brief add a cast to a member if it is needed */
  32       static void homogenizeTypes(ast::BinaryExp & node);
  33       void pointerArith(ast::Exp * pointer, ast::Exp * offset);
  34
  35       ast::FunctionPtr currentFunction;
  36       ast::Scope *     scope;
  37       ast::NodePtr     replacement;
  38     };
  39   }
  40 }
  41
  42 #endif /* !VISITORS_TYPE_CHECKER_VISITOR_HH */