Inheritance diagram for hobbes::InvokeP::RewriteInvokes:

Collaboration diagram for hobbes::InvokeP::RewriteInvokes:

Public Member Functions
	RewriteInvokes (const ConstraintPtr &cst, const std::string &invokeFn)

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

ExprPtr	with (const Var *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 Let *v) const

ExprPtr	with (const LetRec *v) const

ExprPtr	with (const Fn *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 Case *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

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

Constructor & Destructor Documentation

◆ RewriteInvokes()

hobbes::InvokeP::RewriteInvokes::RewriteInvokes	(	const ConstraintPtr &	cst,
		const std::string &	invokeFn
	)

inline

ExprPtr hobbes::InvokeP::RewriteInvokes::with ( const Var * v ) const

inlinevirtual

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

inlinevirtual

const ConstraintPtr& hobbes::InvokeP::RewriteInvokes::constraint

std::string hobbes::InvokeP::RewriteInvokes::invokeFn

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