hobbes::HFDBFLUnqualify Struct Reference

Inheritance diagram for hobbes::HFDBFLUnqualify:

Collaboration diagram for hobbes::HFDBFLUnqualify:

Public Member Functions
bool	unpackConstraint (const ConstraintPtr &cst)
	HFDBFLUnqualify (const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *defs)
bool	expectedObjType (const MonoTypePtr &ty) const
ExprPtr	wrapWithTy (const QualTypePtr &qty, Expr *e) const
ExprPtr	with (const Fn *v) const
ExprPtr	with (const Let *v) const
ExprPtr	with (const Proj *v) const
ExprPtr	with (const Assign *v) const
Public Member Functions inherited from hobbes::switchExprTyFn
virtual QualTypePtr	withTy (const QualTypePtr &qt) const
ExprPtr	withConst (const Expr *v) const
ExprPtr	with (const Var *v) const
ExprPtr	with (const LetRec *v) const
ExprPtr	with (const App *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 Case *v) const
ExprPtr	with (const Switch *v) const
ExprPtr	with (const Assump *v) const
ExprPtr	with (const Pack *v) const
ExprPtr	with (const Unpack *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

Public Attributes
const TEnvPtr &	tenv
const ConstraintPtr &	constraint
Definitions *	defs
FileConfig	fcfg
MonoTypePtr	ftype
HasField::Direction	udir
std::string	fname

Constructor & Destructor Documentation

HFDBFLUnqualify()

hobbes::HFDBFLUnqualify::HFDBFLUnqualify ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, Definitions *  defs  )

inline

Member Function Documentation

expectedObjType()

bool hobbes::HFDBFLUnqualify::expectedObjType ( const MonoTypePtr &  ty ) const

inline

unpackConstraint()

bool hobbes::HFDBFLUnqualify::unpackConstraint ( const ConstraintPtr &  cst )

inline

with() [1/4]

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [2/4]

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [3/4]

ExprPtr hobbes::HFDBFLUnqualify::with ( const Proj *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [4/4]

ExprPtr hobbes::HFDBFLUnqualify::with ( const Assign *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

wrapWithTy()

ExprPtr hobbes::HFDBFLUnqualify::wrapWithTy ( const QualTypePtr &  qty, Expr *  e  ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

Member Data Documentation

constraint

const ConstraintPtr& hobbes::HFDBFLUnqualify::constraint

defs

Definitions* hobbes::HFDBFLUnqualify::defs

fcfg

FileConfig hobbes::HFDBFLUnqualify::fcfg

fname

std::string hobbes::HFDBFLUnqualify::fname

ftype

MonoTypePtr hobbes::HFDBFLUnqualify::ftype

tenv

const TEnvPtr& hobbes::HFDBFLUnqualify::tenv

udir

HasField::Direction hobbes::HFDBFLUnqualify::udir

---

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

• lib/hobbes/db/bindings.C