hobbes::switchExprM< T > Struct Template Reference

#include <expr.H>

Inheritance diagram for hobbes::switchExprM< T >:

Collaboration diagram for hobbes::switchExprM< T >:

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

Member Function Documentation

with() [1/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [2/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [3/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [4/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [5/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [6/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [7/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [8/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [9/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [10/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [11/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [12/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [13/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [14/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [15/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [16/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [17/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [18/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [19/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [20/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [21/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [22/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [23/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [24/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

with() [25/25]

template<typename T>

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

pure virtual

Implemented in hobbes::switchExprTyFnM, and hobbes::expTypeInfF.

---

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

• include/hobbes/lang/expr.H