Inheritance diagram for hobbes::RewriteFnAccess:
Collaboration diagram for hobbes::RewriteFnAccess:
Public Member Functions | |
| RewriteFnAccess (const HasField &hf, const HFEliminator &hfe, const TEnvPtr &tenv, Definitions *ds, const ConstraintPtr &cst) | |
| ExprPtr | with (const App *ap) const |
| ExprPtr | with (const Var *v) const |
 Public Member Functions inherited from hobbes::switchExprTyFn | |
| virtual QualTypePtr | withTy (const QualTypePtr &qt) const |
| virtual ExprPtr | wrapWithTy (const QualTypePtr &qty, Expr *e) 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 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 |
Public Attributes | |
| const HFEliminator & | hfe |
| const TEnvPtr & | tenv |
| Definitions * | ds |
| const ConstraintPtr & | cst |
| std::string | fieldName |
Constructor & Destructor Documentation
◆ RewriteFnAccess()
|
inline |
Member Function Documentation
◆ with() [1/2]
Reimplemented from hobbes::switchExprTyFn.
◆ with() [2/2]
Reimplemented from hobbes::switchExprTyFn.
Member Data Documentation
◆ cst
| const ConstraintPtr& hobbes::RewriteFnAccess::cst |
◆ ds
| Definitions* hobbes::RewriteFnAccess::ds |
◆ fieldName
| std::string hobbes::RewriteFnAccess::fieldName |
◆ hfe
| const HFEliminator& hobbes::RewriteFnAccess::hfe |
◆ tenv
| const TEnvPtr& hobbes::RewriteFnAccess::tenv |
The documentation for this struct was generated from the following file:
- lib/hobbes/lang/preds/hasfield.C
