Produces set of type variables in a type expression. More...

#include <TypeVars.h>

Inheritance diagram for TypeVars:

Collaboration diagram for TypeVars:

Public Member Functions
	TypeVars ()=default

std::set< std::shared_ptr< TipVar > >	getVars ()

virtual void	endVisit (TipMu *element) override

virtual void	endVisit (TipAlpha *element) override

virtual void	endVisit (TipVar *element) override

Public Member Functions inherited from TipTypeVisitor
virtual bool	visit (TipAlpha *element)

virtual bool	visit (TipFunction *element)

virtual void	endVisit (TipFunction *element)

virtual bool	visit (TipInt *element)

virtual void	endVisit (TipInt *element)

virtual bool	visit (TipMu *element)

virtual bool	visit (TipRecord *element)

virtual void	endVisit (TipRecord *element)

virtual bool	visit (TipAbsentField *element)

virtual void	endVisit (TipAbsentField *element)

virtual bool	visit (TipRef *element)

virtual void	endVisit (TipRef *element)

virtual bool	visit (TipVar *element)

Static Public Member Functions
static std::set< std::shared_ptr< TipVar > >	collect (TipType *t)
	Collect the set of type variables in a type expression. More...

Detailed Description

Produces set of type variables in a type expression.

Constructor & Destructor Documentation

TypeVars::TypeVars ( )

default

std::set< std::shared_ptr< TipVar > > TypeVars::collect ( TipType * t )

static

Collect the set of type variables in a type expression.

Parameters

t	The type within which to collect variables.

void TypeVars::endVisit ( TipAlpha * element )

overridevirtual

Reimplemented from TipTypeVisitor.

void TypeVars::endVisit ( TipMu * element )

overridevirtual

Reimplemented from TipTypeVisitor.

void TypeVars::endVisit ( TipVar * element )

overridevirtual

Reimplemented from TipTypeVisitor.

std::set<std::shared_ptr<TipVar> > TypeVars::getVars ( )

inline

The documentation for this class was generated from the following files: