hobbes::switchExprTyFn Struct Reference

#include <expr.H>

Inheritance diagram for hobbes::switchExprTyFn:

Collaboration diagram for hobbes::switchExprTyFn:

Public Member Functions
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 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 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

Member Function Documentation

with() [1/16]

ExprPtr hobbes::switchExprTyFn::with ( const Var *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::LoadFileP::insertLoadedFileF, hobbes::TCUnqualify, hobbes::ATRecordUnqualify, hobbes::ReceiveP::RewriteReceives, hobbes::RDUnqualify, hobbes::InvokeP::RewriteInvokes, hobbes::VDUnqualify, hobbes::RewriteFnAccess, hobbes::ConnectionP::StripConnQual, hobbes::DBFLUnqualify, hobbes::ProcessPUnqualify, hobbes::RewriteMSelect, hobbes::IsoRecUnqualify, and hobbes::SizeOfPUnqualify.

with() [2/16]

ExprPtr hobbes::switchExprTyFn::with ( const Let *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::ProcManUnqualify, and hobbes::ClosureConvertF.

with() [3/16]

ExprPtr hobbes::switchExprTyFn::with ( const LetRec *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::ClosureConvertF.

with() [4/16]

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

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::ObjUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::ProcManUnqualify, and hobbes::ClosureConvertF.

with() [5/16]

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

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::ATRecordUnqualify, hobbes::ObjUnqualify, hobbes::ProcManUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::RewriteFnAccess, hobbes::DBFLUnqualify, hobbes::ProcessPUnqualify, and hobbes::RewriteMSelect.

with() [6/16]

ExprPtr hobbes::switchExprTyFn::with ( const Assign *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::RDUnqualify, and hobbes::HFRecordUnqualify.

with() [7/16]

ExprPtr hobbes::switchExprTyFn::with ( const MkArray *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

with() [8/16]

ExprPtr hobbes::switchExprTyFn::with ( const MkVariant *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

with() [9/16]

ExprPtr hobbes::switchExprTyFn::with ( const MkRecord *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

with() [10/16]

ExprPtr hobbes::switchExprTyFn::with ( const AIndex *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

with() [11/16]

ExprPtr hobbes::switchExprTyFn::with ( const Case *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::ClosureConvertF.

with() [12/16]

ExprPtr hobbes::switchExprTyFn::with ( const Switch *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

with() [13/16]

ExprPtr hobbes::switchExprTyFn::with ( const Proj *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::HFDBFLUnqualify, hobbes::ProcManUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::HFLookupUnqualify, and hobbes::HFSLookupUnqualify.

with() [14/16]

ExprPtr hobbes::switchExprTyFn::with ( const Assump *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::stripAssumpF.

with() [15/16]

ExprPtr hobbes::switchExprTyFn::with ( const Pack *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::StripTransparentPackF.

with() [16/16]

ExprPtr hobbes::switchExprTyFn::with ( const Unpack *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

Reimplemented in hobbes::ClosureConvertF.

withConst()

ExprPtr hobbes::switchExprTyFn::withConst ( const Expr *  v ) const

virtual

Implements hobbes::switchExprC< ExprPtr >.

withTy()

QualTypePtr hobbes::switchExprTyFn::withTy ( const QualTypePtr &  qt ) const

virtual

Reimplemented in hobbes::LoadFileP::insertLoadedFileF, hobbes::substTyF, hobbes::TCUnqualify, hobbes::RDUnqualify, hobbes::VDUnqualify, hobbes::DBFLUnqualify, hobbes::ProcessPUnqualify, hobbes::IsoRecUnqualify, and hobbes::SizeOfPUnqualify.

wrapWithTy()

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

virtual

Reimplemented in hobbes::liftTypeAsAssumpF, hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::ATRecordUnqualify, hobbes::ReceiveP::RewriteReceives, hobbes::ObjUnqualify, hobbes::InvokeP::RewriteInvokes, hobbes::StripCst, hobbes::LsP::StripCst, hobbes::StripTransparentPackF, hobbes::HFLookupUnqualify, hobbes::UnqualifySafePackF, hobbes::HFTEnvLookupUnqualify, hobbes::HFSLookupUnqualify, hobbes::ConnectionP::StripConnQual, hobbes::ProcManUnqualify, hobbes::HFRecordUnqualify, hobbes::SplitP::StripCst, hobbes::StripCst, hobbes::StripCst, hobbes::HCVariantUnqualify, hobbes::StripEqCst, and hobbes::StripCst.

---

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

• include/hobbes/lang/expr.H
• lib/hobbes/lang/expr.C