TipCons.h

Go to the documentation of this file.

#pragma once
 
#include "TipType.h"
#include <vector>
 
class TipCons : public TipType {
public:
  TipCons() = default;
 
  const std::vector<std::shared_ptr<TipType>> &getArguments() const;
  void setArguments(std::vector<std::shared_ptr<TipType>> &args);
  virtual int arity() const;
  bool doMatch(TipType const *t) const;
 
  // delegate the obligation to override accept to subtypes
 
protected:
  TipCons(std::vector<std::shared_ptr<TipType>> arguments);
  std::vector<std::shared_ptr<TipType>> arguments;
};