Substituter.h

Go to the documentation of this file.

#pragma once
 
#include "TipTypeVisitor.h"
 
class Substituter : public TipTypeVisitor {
  TipVar *target;
  std::shared_ptr<TipType> substitution;
 
protected:
  std::vector<std::shared_ptr<TipType>> visitedTypes;
  Substituter() = default;
 
public:
  Substituter(TipVar *t, std::shared_ptr<TipType> s)
      : target(t), substitution(s) {}
 
  static std::shared_ptr<TipType> substitute(TipType *t, TipVar *v,
                                             std::shared_ptr<TipType> s);
 
  std::shared_ptr<TipType> getResult();
 
  virtual void endVisit(TipAlpha *element) override;
  virtual void endVisit(TipFunction *element) override;
  virtual void endVisit(TipInt *element) override;
  virtual void endVisit(TipMu *element) override;
  virtual void endVisit(TipRecord *element) override;
  virtual void endVisit(TipAbsentField *element) override;
  virtual void endVisit(TipRef *element) override;
  virtual void endVisit(TipVar *element) override;
};