PolyTypeConstraintCollectVisitor.h

Go to the documentation of this file.

#pragma once
 
#include "ASTVisitor.h"
#include "ConstraintHandler.h"
#include "PolyTypeConstraintVisitor.h"
#include "SymbolTable.h"
#include "TipType.h"
#include "TypeConstraint.h"
#include <memory>
#include <set>
#include <stack>
#include <string>
#include <vector>
 
class PolyTypeConstraintCollectVisitor : public PolyTypeConstraintVisitor {
public:
  explicit PolyTypeConstraintCollectVisitor(SymbolTable *pTable,
                                            CallGraph *callGraph,
                                            std::shared_ptr<Unifier> u);
  std::vector<TypeConstraint> &getCollectedConstraints();
 
private:
  static std::unique_ptr<ConstraintHandler> buildConstraintHandler();
};