TipTypeVisitor.h

Go to the documentation of this file.

#pragma once
 
#include "Type.h"
 
class TipTypeVisitor {
public:
  virtual bool visit(TipAlpha *element) { return true; }
  virtual void endVisit(TipAlpha *element) {}
  virtual bool visit(TipFunction *element) { return true; }
  virtual void endVisit(TipFunction *element) {}
  virtual bool visit(TipInt *element) { return true; }
  virtual void endVisit(TipInt *element) {}
  virtual bool visit(TipMu *element) { return true; }
  virtual void endVisit(TipMu *element) {}
  virtual bool visit(TipRecord *element) { return true; }
  virtual void endVisit(TipRecord *element) {}
  virtual bool visit(TipAbsentField *element) { return true; }
  virtual void endVisit(TipAbsentField *element) {}
  virtual bool visit(TipRef *element) { return true; }
  virtual void endVisit(TipRef *element) {}
  virtual bool visit(TipVar *element) { return true; }
  virtual void endVisit(TipVar *element) {}
};