hobbes::ObjUnqualify Struct Reference

Inheritance diagram for hobbes::ObjUnqualify:

Collaboration diagram for hobbes::ObjUnqualify:

Public Types
typedef std::vector< size_t >	Idxs

Public Member Functions
	ObjUnqualify (const Objs *objs, const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds)
ExprPtr	wrapWithTy (const QualTypePtr &qty, Expr *e) const
ExprPtr	with (const Fn *v) const
ExprPtr	with (const App *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 Let *v) const
ExprPtr	with (const LetRec *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

Static Public Member Functions
static Idxs	coercionIndexes (const TEnvPtr &tenv, const ExprPtr &fe, const MonoTypePtr &convTo, Definitions *ds)
static MonoTypes	convFroms (const Constraints &cs, const MonoTypePtr &convTo)

Public Attributes
const Objs *	objs
const TEnvPtr &	tenv
const ConstraintPtr &	constraint
Subtype	isa
Definitions *	ds

Member Typedef Documentation

Idxs

typedef std::vector<size_t> hobbes::ObjUnqualify::Idxs

Constructor & Destructor Documentation

ObjUnqualify()

hobbes::ObjUnqualify::ObjUnqualify ( const Objs *  objs, const TEnvPtr &  tenv, const ConstraintPtr &  cst, Definitions *  ds  )

inline

Member Function Documentation

coercionIndexes()

static Idxs hobbes::ObjUnqualify::coercionIndexes ( const TEnvPtr &  tenv, const ExprPtr &  fe, const MonoTypePtr &  convTo, Definitions *  ds  )

inlinestatic

convFroms()

static MonoTypes hobbes::ObjUnqualify::convFroms ( const Constraints &  cs, const MonoTypePtr &  convTo  )

inlinestatic

with() [1/2]

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [2/2]

ExprPtr hobbes::ObjUnqualify::with ( const App *  v ) const

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

wrapWithTy()

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

Member Data Documentation

constraint

const ConstraintPtr& hobbes::ObjUnqualify::constraint

ds

Definitions* hobbes::ObjUnqualify::ds

isa

Subtype hobbes::ObjUnqualify::isa

objs

const Objs* hobbes::ObjUnqualify::objs

tenv

const TEnvPtr& hobbes::ObjUnqualify::tenv

---

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

• lib/hobbes/lang/preds/subtype/obj.C