hobbes::Recursive Class Reference

#include <type.H>

Inheritance diagram for hobbes::Recursive:

Collaboration diagram for hobbes::Recursive:

Public Member Functions
void	show (std::ostream &) const
const std::string &	recTypeName () const
const MonoTypePtr &	recType () const
Public Member Functions inherited from hobbes::MonoTypeCase< Recursive >
	MonoTypeCase ()
Public Member Functions inherited from hobbes::MonoType
virtual	~MonoType ()
bool	operator== (const MonoType &rhs) const
int	case_id () const
template<typename Class , typename T , typename ... Args>
MonoTypePtr	makeType (const Args &... args)

Static Public Member Functions
static MonoTypePtr	make (const std::string &, const MonoTypePtr &)

Static Public Attributes
static const int	type_case_id = 13

Private Member Functions
	Recursive (const std::string &tname, const MonoTypePtr &bty)

Private Attributes
std::string	tname
MonoTypePtr	bty

Friends
class	MonoType

Additional Inherited Members
Public Types inherited from hobbes::MonoType
typedef std::shared_ptr< MonoType >	ptr
typedef std::set< std::string >	TypeVarNames
Public Attributes inherited from hobbes::MonoType
TypeVarNames	freeTVars
int	tgenCount
unsigned int	memorySize
ptr	unaliasedType
Protected Member Functions inherited from hobbes::MonoType
	MonoType (int cid)
Static Protected Member Functions inherited from hobbes::MonoType
template<typename Class , typename T , typename ... Args>
static ptr	makeType (const Args &... args)

Constructor & Destructor Documentation

Recursive()

hobbes::Recursive::Recursive ( const std::string &  tname, const MonoTypePtr &  bty  )

private

Member Function Documentation

make()

MonoTypePtr hobbes::Recursive::make ( const std::string &  tname, const MonoTypePtr &  bty  )

static

recType()

const MonoTypePtr & hobbes::Recursive::recType

(

)

const

recTypeName()

const std::string & hobbes::Recursive::recTypeName

(

)

const

show()

void hobbes::Recursive::show ( std::ostream &  out ) const

virtual

Implements hobbes::MonoType.

Friends And Related Function Documentation

MonoType

friend class MonoType

friend

Member Data Documentation

bty

MonoTypePtr hobbes::Recursive::bty

private

tname

std::string hobbes::Recursive::tname

private

type_case_id

const int hobbes::Recursive::type_case_id = 13

static

---

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

• include/hobbes/lang/type.H
• lib/hobbes/lang/type.C