TipMu Class Reference

Class representing a recursive type. More...

#include <TipMu.h>

Inheritance diagram for TipMu:

Collaboration diagram for TipMu:

Public Member Functions
	TipMu ()=delete
	TipMu (std::shared_ptr< TipVar > v, std::shared_ptr< TipType > t)
const std::shared_ptr< TipVar > &	getV () const
const std::shared_ptr< TipType > &	getT () const
bool	operator== (const TipType &other) const override
bool	operator!= (const TipType &other) const override
void	accept (TipTypeVisitor *visitor) override
Public Member Functions inherited from TipType
virtual	~TipType ()=default

Protected Member Functions
std::ostream &	print (std::ostream &out) const override

Detailed Description

Class representing a recursive type.

Constructor & Destructor Documentation

TipMu() [1/2]

TipMu::TipMu ( )

delete

TipMu() [2/2]

TipMu::TipMu	(	std::shared_ptr< TipVar >	v,
		std::shared_ptr< TipType >	t
	)

Member Function Documentation

accept()

void TipMu::accept ( TipTypeVisitor *  visitor )

overridevirtual

Implements TipType.

getT()

const std::shared_ptr< TipType > & TipMu::getT

(

)

const

getV()

const std::shared_ptr< TipVar > & TipMu::getV

(

)

const

operator!=()

bool TipMu::operator!= ( const TipType &  other ) const

overridevirtual

Implements TipType.

operator==()

bool TipMu::operator== ( const TipType &  other ) const

overridevirtual

Implements TipType.

print()

std::ostream & TipMu::print ( std::ostream &  out ) const

overrideprotectedvirtual

Implements TipType.

---

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

• /home/runner/work/tipc/tipc/src/semantic/types/concrete/TipMu.h
• /home/runner/work/tipc/tipc/src/semantic/types/concrete/TipMu.cpp