Inheritance diagram for hobbes::HFSLookupUnqualify:
Collaboration diagram for hobbes::HFSLookupUnqualify:
Public Member Functions | |
| HFSLookupUnqualify (const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *defs) | |
| ExprPtr | wrapWithTy (const QualTypePtr &qty, Expr *e) const |
| ExprPtr | with (const Proj *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 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 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 |
Constructor & Destructor Documentation
◆ HFSLookupUnqualify()
|
inline |
Member Function Documentation
◆ with()
Reimplemented from hobbes::switchExprTyFn.
◆ wrapWithTy()
|
inlinevirtual |
Reimplemented from hobbes::switchExprTyFn.
Member Data Documentation
◆ constraint
| const ConstraintPtr& hobbes::HFSLookupUnqualify::constraint |
◆ defs
| Definitions* hobbes::HFSLookupUnqualify::defs |
◆ tenv
| const TEnvPtr& hobbes::HFSLookupUnqualify::tenv |
The documentation for this struct was generated from the following file:
- lib/hobbes/lang/preds/hasfield/slookup.C
