TipAlpha.h

Go to the documentation of this file.

#pragma once
 
#include "TipCons.h"
#include "TipVar.h"
#include <string>
 
class TipAlpha : public TipVar {
public:
  TipAlpha() = delete;
 
  TipAlpha(ASTNode *node);
 
  TipAlpha(ASTNode *node, std::string const name);
 
  TipAlpha(ASTNode *node, ASTNode *context, std::string const name);
 
  ASTNode *getContext() const;
  std::string const &getName() const;
 
  bool operator==(const TipType &other) const override;
  bool operator!=(const TipType &other) const override;
 
  void accept(TipTypeVisitor *visitor) override;
 
protected:
  // Node for distinguishing free type variables based on usage context
  ASTNode *context;
 
  std::ostream &print(std::ostream &out) const override;
 
  std::string const name;
};