hobbes::Exists Class Reference

#include <type.H>

Inheritance diagram for hobbes::Exists:

Collaboration diagram for hobbes::Exists:

Public Member Functions
void	show (std::ostream &out) const
const std::string &	absTypeName () const
const MonoTypePtr &	absType () const
Public Member Functions inherited from hobbes::MonoTypeCase< Exists >
	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 &tname, const MonoTypePtr &bty)

Static Public Attributes
static const int	type_case_id = 9

Private Member Functions
	Exists (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

Exists()

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

private

Member Function Documentation

absType()

const MonoTypePtr & hobbes::Exists::absType

(

)

const

absTypeName()

const std::string & hobbes::Exists::absTypeName

(

)

const

make()

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

static

show()

void hobbes::Exists::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::Exists::bty

private

tname

std::string hobbes::Exists::tname

private

type_case_id

const int hobbes::Exists::type_case_id = 9

static

---

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

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