hobbes::typedb Struct Reference

#include <tylift.H>

Inheritance diagram for hobbes::typedb:

Collaboration diagram for hobbes::typedb:

Public Member Functions
virtual MonoTypePtr	defineNamedType (const std::string &name, const str::seq &argNames, const MonoTypePtr &ty)=0
virtual bool	isTypeName (const std::string &) const =0
virtual MonoTypePtr	namedTypeRepresentation (const std::string &) const =0
virtual void	defineTypeAlias (const std::string &name, const str::seq &argNames, const MonoTypePtr &ty)=0
virtual bool	isTypeAliasName (const std::string &name) const =0
virtual MonoTypePtr	replaceTypeAliases (const MonoTypePtr &ty) const =0
virtual PolyTypePtr	opaquePtrPolyType (const std::type_info &, unsigned int sz, bool inStruct)=0
virtual MonoTypePtr	opaquePtrMonoType (const std::type_info &, unsigned int sz, bool inStruct)=0
virtual PolyTypePtr	generalize (const MonoTypePtr &mt) const =0

Member Function Documentation

defineNamedType()

virtual MonoTypePtr hobbes::typedb::defineNamedType ( const std::string &  name, const str::seq &  argNames, const MonoTypePtr &  ty  )

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

defineTypeAlias()

virtual void hobbes::typedb::defineTypeAlias ( const std::string &  name, const str::seq &  argNames, const MonoTypePtr &  ty  )

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

generalize()

virtual PolyTypePtr hobbes::typedb::generalize ( const MonoTypePtr &  mt ) const

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

isTypeAliasName()

virtual bool hobbes::typedb::isTypeAliasName ( const std::string &  name ) const

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

isTypeName()

virtual bool hobbes::typedb::isTypeName ( const std::string &  ) const

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

namedTypeRepresentation()

virtual MonoTypePtr hobbes::typedb::namedTypeRepresentation ( const std::string &  ) const

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

opaquePtrMonoType()

virtual MonoTypePtr hobbes::typedb::opaquePtrMonoType ( const std::type_info &  , unsigned int  sz, bool  inStruct  )

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

opaquePtrPolyType()

virtual PolyTypePtr hobbes::typedb::opaquePtrPolyType ( const std::type_info &  , unsigned int  sz, bool  inStruct  )

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

replaceTypeAliases()

virtual MonoTypePtr hobbes::typedb::replaceTypeAliases ( const MonoTypePtr &  ty ) const

pure virtual

Implemented in hobbes::cc, and hobbes::nulltypedb.

---

The documentation for this struct was generated from the following file:

• include/hobbes/lang/tylift.H