hobbes::ClosureConvertF Struct Reference

Inheritance diagram for hobbes::ClosureConvertF:

Collaboration diagram for hobbes::ClosureConvertF:

Public Member Functions
	ClosureConvertF (const TEnvPtr &tenv, const TEnvs &roots)
VarSet	excludeRootVars (const VarSet &vs) const
ExprPtr	with (const Fn *v) const
ExprPtr	with (const Let *v) const
ExprPtr	with (const Unpack *v) const
ExprPtr	with (const Case *v) const
ExprPtr	with (const LetRec *v) const
Public Member Functions inherited from hobbes::switchExprTyFn
virtual QualTypePtr	withTy (const QualTypePtr &qt) const
virtual ExprPtr	wrapWithTy (const QualTypePtr &qty, Expr *e) const
ExprPtr	withConst (const Expr *v) const
ExprPtr	with (const Var *v) const
ExprPtr	with (const App *v) const
ExprPtr	with (const Assign *v) const
ExprPtr	with (const MkArray *v) const
ExprPtr	with (const MkVariant *v) const
ExprPtr	with (const MkRecord *v) const
ExprPtr	with (const AIndex *v) const
ExprPtr	with (const Switch *v) const
ExprPtr	with (const Proj *v) const
ExprPtr	with (const Assump *v) const
ExprPtr	with (const Pack *v) const
Public Member Functions inherited from hobbes::switchExprC< ExprPtr >
ExprPtr	with (const Unit *v) const
ExprPtr	with (const Bool *v) const
ExprPtr	with (const Char *v) const
ExprPtr	with (const Byte *v) const
ExprPtr	with (const Short *v) const
ExprPtr	with (const Int *v) const
ExprPtr	with (const Long *v) const
ExprPtr	with (const Float *v) const
ExprPtr	with (const Double *v) const

Static Public Member Functions
static TEnvPtr	fnFrame (const TEnvPtr &ptenv, const std::vector< std::string > &vns)
static TEnvPtr	letRecFrame (const TEnvPtr &ptenv, const LetRec::Bindings &bs)

Public Attributes
TEnvPtr	tenv
TEnvs	roots

Constructor & Destructor Documentation

ClosureConvertF()

hobbes::ClosureConvertF::ClosureConvertF ( const TEnvPtr &  tenv, const TEnvs &  roots  )

inline

Member Function Documentation

excludeRootVars()

VarSet hobbes::ClosureConvertF::excludeRootVars ( const VarSet &  vs ) const

inline

fnFrame()

static TEnvPtr hobbes::ClosureConvertF::fnFrame ( const TEnvPtr &  ptenv, const std::vector< std::string > &  vns  )

inlinestatic

letRecFrame()

static TEnvPtr hobbes::ClosureConvertF::letRecFrame ( const TEnvPtr &  ptenv, const LetRec::Bindings &  bs  )

inlinestatic

with() [1/5]

ExprPtr hobbes::ClosureConvertF::with ( const Fn *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [2/5]

ExprPtr hobbes::ClosureConvertF::with ( const Let *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [3/5]

ExprPtr hobbes::ClosureConvertF::with ( const Unpack *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [4/5]

ExprPtr hobbes::ClosureConvertF::with ( const Case *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [5/5]

ExprPtr hobbes::ClosureConvertF::with ( const LetRec *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

Member Data Documentation

roots

TEnvs hobbes::ClosureConvertF::roots

tenv

TEnvPtr hobbes::ClosureConvertF::tenv

---

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

• lib/hobbes/lang/closcvt.C