hobbes::InstanceDef Class Reference

#include <module.H>

Inheritance diagram for hobbes::InstanceDef:

Collaboration diagram for hobbes::InstanceDef:

Public Member Functions
	InstanceDef (const Constraints &cs, const std::string &cname, const MonoTypes &targs, const MVarDefs &mdefs, const LexicalAnnotation &)
const Constraints &	constraints () const
const std::string &	className () const
const MonoTypes &	args () const
const MVarDefs &	members () const
void	show (std::ostream &out) const
Public Member Functions inherited from hobbes::ModuleDefCase< InstanceDef >
	ModuleDefCase (const LexicalAnnotation &)
Public Member Functions inherited from hobbes::ModuleDef
virtual	~ModuleDef ()
int	case_id () const
Public Member Functions inherited from hobbes::LexicallyAnnotated
	LexicallyAnnotated (const LexicallyAnnotated &)
	LexicallyAnnotated (const LexicalAnnotation &)
	LexicallyAnnotated (const LexRange &)
	LexicallyAnnotated (const Pos &, const Pos &)
const LexicalAnnotation &	la () const

Static Public Attributes
static const int	type_case_id = 5

Private Attributes
Constraints	cs
std::string	cname
MonoTypes	targs
MVarDefs	mdefs

Additional Inherited Members
Public Types inherited from hobbes::ModuleDefCase< InstanceDef >
typedef ModuleDefCase< InstanceDef >	Base
Static Public Member Functions inherited from hobbes::LexicallyAnnotated
static void	pushFileContext (const std::string &)
static void	pushLiteralContext (const std::string &)
static void	popContext ()
static LexicalAnnotation	make (const Pos &, const Pos &)
Protected Member Functions inherited from hobbes::ModuleDef
	ModuleDef (int cid, const LexicalAnnotation &)

Constructor & Destructor Documentation

InstanceDef()

hobbes::InstanceDef::InstanceDef	(	const Constraints &	cs,
		const std::string &	cname,
		const MonoTypes &	targs,
		const MVarDefs &	mdefs,
		const LexicalAnnotation &	la
	)

Member Function Documentation

args()

const MonoTypes & hobbes::InstanceDef::args

(

)

const

className()

const std::string & hobbes::InstanceDef::className

(

)

const

constraints()

const Constraints & hobbes::InstanceDef::constraints

(

)

const

members()

const MVarDefs & hobbes::InstanceDef::members

(

)

const

show()

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

virtual

Implements hobbes::ModuleDef.

Member Data Documentation

cname

std::string hobbes::InstanceDef::cname

private

cs

Constraints hobbes::InstanceDef::cs

private

mdefs

MVarDefs hobbes::InstanceDef::mdefs

private

targs

MonoTypes hobbes::InstanceDef::targs

private

type_case_id

const int hobbes::InstanceDef::type_case_id = 5

static

---

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

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