TypeVars.h

Go to the documentation of this file.

#pragma once
 
#include "TipTypeVisitor.h"
#include <set>
 
class TypeVars : public TipTypeVisitor {
  std::set<std::shared_ptr<TipVar>> vars;
 
public:
  TypeVars() = default;
 
  static std::set<std::shared_ptr<TipVar>> collect(TipType *t);
 
  std::set<std::shared_ptr<TipVar>> getVars() { return vars; }
 
  virtual void endVisit(TipMu *element) override;
  virtual void endVisit(TipAlpha *element) override;
  virtual void endVisit(TipVar *element) override;
};