hobbes::TExpr Class Reference

#include <type.H>

Inheritance diagram for hobbes::TExpr:

Collaboration diagram for hobbes::TExpr:

Public Member Functions
void	show (std::ostream &) const
const ExprPtr &	expr () const
Public Member Functions inherited from hobbes::MonoTypeCase< TExpr >
	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 ExprPtr &)

Static Public Attributes
static const int	type_case_id = 14

Private Member Functions
	TExpr (const ExprPtr &)

Private Attributes
ExprPtr	e

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

TExpr()

hobbes::TExpr::TExpr ( const ExprPtr &  e )

private

Member Function Documentation

expr()

const ExprPtr & hobbes::TExpr::expr

(

)

const

make()

MonoTypePtr hobbes::TExpr::make ( const ExprPtr &  e )

static

show()

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

virtual

Implements hobbes::MonoType.

Friends And Related Function Documentation

MonoType

friend class MonoType

friend

Member Data Documentation

e

ExprPtr hobbes::TExpr::e

private

type_case_id

const int hobbes::TExpr::type_case_id = 14

static

---

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

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