tipc/FreshAlphaCopier_8h_source.html

 #pragma once


 #include "Copier.h"


 class FreshAlphaCopier : public Copier {

 public:

   FreshAlphaCopier() = default;


   static std::shared_ptr<TipType> copy(TipType *t, ASTNode *context);


   virtual void endVisit(TipAlpha *element) override;


   ASTNode *context;

 };

Copier.h

ASTNode
Abstract base class for all AST nodes.
Definition: ASTNode.h:34

Copier
Makes a copy of a TipType.
Definition: Copier.h:10

FreshAlphaCopier
Makes a copy of a TipType with fresh alphas for the given ASTnode.
Definition: FreshAlphaCopier.h:10

FreshAlphaCopier::FreshAlphaCopier
FreshAlphaCopier()=default

FreshAlphaCopier::copy
static std::shared_ptr< TipType > copy(TipType *t, ASTNode *context)
Definition: FreshAlphaCopier.cpp:7

FreshAlphaCopier::endVisit
virtual void endVisit(TipAlpha *element) override
Definition: FreshAlphaCopier.cpp:14

FreshAlphaCopier::context
ASTNode * context
Definition: FreshAlphaCopier.h:20

TipAlpha
Class for free type variables.
Definition: TipAlpha.h:10

TipType
Abstract base class of all types.
Definition: TipType.h:19