hobbes::switchExpr< T > Struct Template Reference

#include <expr.H>

Inheritance diagram for hobbes::switchExpr< T >:

Collaboration diagram for hobbes::switchExpr< T >:

Public Member Functions
virtual T	with (const Unit *v) const =0
virtual T	with (const Bool *v) const =0
virtual T	with (const Char *v) const =0
virtual T	with (const Byte *v) const =0
virtual T	with (const Short *v) const =0
virtual T	with (const Int *v) const =0
virtual T	with (const Long *v) const =0
virtual T	with (const Float *v) const =0
virtual T	with (const Double *v) const =0
virtual T	with (const Var *v) const =0
virtual T	with (const Let *v) const =0
virtual T	with (const LetRec *v) const =0
virtual T	with (const Fn *v) const =0
virtual T	with (const App *v) const =0
virtual T	with (const Assign *v) const =0
virtual T	with (const MkArray *v) const =0
virtual T	with (const MkVariant *v) const =0
virtual T	with (const MkRecord *v) const =0
virtual T	with (const AIndex *v) const =0
virtual T	with (const Case *v) const =0
virtual T	with (const Switch *v) const =0
virtual T	with (const Proj *v) const =0
virtual T	with (const Assump *v) const =0
virtual T	with (const Pack *v) const =0
virtual T	with (const Unpack *v) const =0

Member Function Documentation

with() [1/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Unit *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [2/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Bool *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [3/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Char *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [4/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Byte *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [5/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Short *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [6/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Int *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [7/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Long *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [8/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Float *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [9/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Double *  v ) const

pure virtual

Implemented in hobbes::encodeExprF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::compileConstExpF, and hobbes::compileExpF.

with() [10/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Var *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::LoadFileP::insertLoadedFileF, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, 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::compileExpF, hobbes::IsoRecUnqualify, hobbes::SizeOfPUnqualify, and hobbes::macroExpandF.

with() [11/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Let *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::compileConstExpF, hobbes::ADBFSigUnqualify, hobbes::ProcManUnqualify, hobbes::ClosureConvertF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [12/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const LetRec *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::ClosureConvertF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [13/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Fn *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::compileConstExpF, hobbes::ADBFSigUnqualify, hobbes::ObjUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::compileExpF, hobbes::ProcManUnqualify, hobbes::ClosureConvertF, and hobbes::macroExpandF.

with() [14/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const App *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::ATRecordUnqualify, hobbes::ObjUnqualify, hobbes::ProcManUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::compileExpF, hobbes::RewriteFnAccess, hobbes::DBFLUnqualify, hobbes::ProcessPUnqualify, hobbes::RewriteMSelect, and hobbes::macroExpandF.

with() [15/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Assign *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::compileConstExpF, hobbes::ADBFSigUnqualify, hobbes::RDUnqualify, hobbes::compileExpF, hobbes::HFRecordUnqualify, and hobbes::macroExpandF.

with() [16/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const MkArray *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [17/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const MkVariant *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [18/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const MkRecord *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [19/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const AIndex *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [20/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Case *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, hobbes::ClosureConvertF, and hobbes::macroExpandF.

with() [21/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Switch *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::freeVarF, hobbes::switchExprTyFn, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [22/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Proj *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::compileConstExpF, hobbes::compileExpF, hobbes::ProcManUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::HFLookupUnqualify, hobbes::HFSLookupUnqualify, and hobbes::macroExpandF.

with() [23/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Assump *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::stripAssumpF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, and hobbes::macroExpandF.

with() [24/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Pack *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, hobbes::StripTransparentPackF, and hobbes::macroExpandF.

with() [25/25]

template<typename T>

virtual T hobbes::switchExpr< T >::with ( const Unpack *  v ) const

pure virtual

Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::encodeExprF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::switchExprC< T >, hobbes::switchExprC< int >, hobbes::switchExprC< ExprPtr >, hobbes::switchExprC< UnitV >, hobbes::switchExprC< VarSet >, hobbes::switchExprC< bool >, hobbes::isConstP, hobbes::substVarF, hobbes::compileConstExpF, hobbes::compileExpF, hobbes::ClosureConvertF, and hobbes::macroExpandF.

---

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

• include/hobbes/lang/expr.H