hobbes::LetRec Class Reference

#include <expr.H>

Inheritance diagram for hobbes::LetRec:

Collaboration diagram for hobbes::LetRec:

Public Types
typedef std::pair< std::string, ExprPtr >	Binding
typedef std::vector< Binding >	Bindings
Public Types inherited from hobbes::ExprCase< LetRec >
typedef ExprCase< LetRec >	Base

Public Member Functions
	LetRec (const Bindings &, const ExprPtr &, const LexicalAnnotation &)
bool	operator== (const LetRec &) const
const Bindings &	bindings () const
const ExprPtr &	bodyExpr () const
str::seq	varNames () const
Bindings &	bindings ()
void	bodyExpr (const ExprPtr &)
Expr *	clone () const
void	show (std::ostream &) const
void	showAnnotated (std::ostream &) const
Public Member Functions inherited from hobbes::ExprCase< LetRec >
	ExprCase (const LexicalAnnotation &)
bool	operator== (const Expr &rhs) const
Public Member Functions inherited from hobbes::Expr
virtual	~Expr ()
const QualTypePtr &	type () const
void	type (const QualTypePtr &ty)
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 = 11

Private Attributes
Bindings	bs
ExprPtr	e

Additional Inherited Members
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::Expr
	Expr (int cid, const LexicalAnnotation &)

Member Typedef Documentation

Binding

typedef std::pair<std::string, ExprPtr> hobbes::LetRec::Binding

Bindings

typedef std::vector<Binding> hobbes::LetRec::Bindings

Constructor & Destructor Documentation

LetRec()

hobbes::LetRec::LetRec	(	const Bindings &	bs,
		const ExprPtr &	e,
		const LexicalAnnotation &	la
	)

Member Function Documentation

bindings() [1/2]

const LetRec::Bindings & hobbes::LetRec::bindings

(

)

const

bindings() [2/2]

LetRec::Bindings & hobbes::LetRec::bindings

(

)

bodyExpr() [1/2]

const ExprPtr & hobbes::LetRec::bodyExpr

(

)

const

bodyExpr() [2/2]

void hobbes::LetRec::bodyExpr

(

const ExprPtr &

e

)

clone()

Expr * hobbes::LetRec::clone ( ) const

virtual

Implements hobbes::Expr.

operator==()

bool hobbes::LetRec::operator== ( const LetRec &  rhs ) const

virtual

Implements hobbes::ExprCase< LetRec >.

show()

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

virtual

Implements hobbes::Expr.

showAnnotated()

void hobbes::LetRec::showAnnotated ( std::ostream &  out ) const

virtual

Implements hobbes::Expr.

varNames()

str::seq hobbes::LetRec::varNames

(

)

const

Member Data Documentation

bs

Bindings hobbes::LetRec::bs

private

e

ExprPtr hobbes::LetRec::e

private

type_case_id

const int hobbes::LetRec::type_case_id = 11

static

---

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

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