hobbes::injFileReferencesF Struct Reference

Inheritance diagram for hobbes::injFileReferencesF:

Collaboration diagram for hobbes::injFileReferencesF:

Public Member Functions
	injFileReferencesF (const ExprPtr &f)
MonoTypePtr	with (const TApp *v) const
Public Member Functions inherited from hobbes::switchTyFn
MonoTypePtr	with (const Prim *v) const
MonoTypePtr	with (const OpaquePtr *v) const
MonoTypePtr	with (const TVar *v) const
MonoTypePtr	with (const TGen *v) const
MonoTypePtr	with (const TAbs *v) const
MonoTypePtr	with (const FixedArray *v) const
MonoTypePtr	with (const Array *v) const
MonoTypePtr	with (const Variant *v) const
MonoTypePtr	with (const Record *v) const
MonoTypePtr	with (const Func *v) const
MonoTypePtr	with (const Exists *v) const
MonoTypePtr	with (const Recursive *v) const
MonoTypePtr	with (const TString *v) const
MonoTypePtr	with (const TLong *v) const
MonoTypePtr	with (const TExpr *) const

Public Attributes
ExprPtr	f

Constructor & Destructor Documentation

injFileReferencesF()

hobbes::injFileReferencesF::injFileReferencesF ( const ExprPtr &  f )

inline

Member Function Documentation

with()

MonoTypePtr hobbes::injFileReferencesF::with ( const TApp *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

Member Data Documentation

f

ExprPtr hobbes::injFileReferencesF::f

---

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

• lib/hobbes/db/bindings.C