Inheritance diagram for hobbes::ATRecordUnqualify:
Collaboration diagram for hobbes::ATRecordUnqualify:
Public Member Functions | |
| ATRecordUnqualify (const TEnvPtr &tenv, const ConstraintPtr &cst) | |
| ExprPtr | wrapWithTy (const QualTypePtr &qty, Expr *e) const |
| ExprPtr | with (const Var *vn) const |
| ExprPtr | with (const App *ap) 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 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 | |
| TEnvPtr | tenv |
| const ConstraintPtr & | constraint |
| AppendsTo | appto |
Constructor & Destructor Documentation
◆ ATRecordUnqualify()
|
inline |
Member Function Documentation
◆ with() [1/2]
Reimplemented from hobbes::switchExprTyFn.
◆ with() [2/2]
Reimplemented from hobbes::switchExprTyFn.
◆ wrapWithTy()
|
inlinevirtual |
Reimplemented from hobbes::switchExprTyFn.
Member Data Documentation
◆ appto
| AppendsTo hobbes::ATRecordUnqualify::appto |
◆ constraint
| const ConstraintPtr& hobbes::ATRecordUnqualify::constraint |
◆ tenv
| TEnvPtr hobbes::ATRecordUnqualify::tenv |
The documentation for this struct was generated from the following file:
- lib/hobbes/lang/preds/appendsto/record.C
