hobbes::switchExprTyFnM Struct Reference

#include <expr.H>

Inheritance diagram for hobbes::switchExprTyFnM:

Collaboration diagram for hobbes::switchExprTyFnM:

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

Private Member Functions
UnitV	updateTy (Expr *e)

Member Function Documentation

updateTy()

UnitV hobbes::switchExprTyFnM::updateTy ( Expr *  e )

private

with() [1/25]

UnitV hobbes::switchExprTyFnM::with ( Unit *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [2/25]

UnitV hobbes::switchExprTyFnM::with ( Bool *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [3/25]

UnitV hobbes::switchExprTyFnM::with ( Char *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [4/25]

UnitV hobbes::switchExprTyFnM::with ( Byte *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [5/25]

UnitV hobbes::switchExprTyFnM::with ( Short *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [6/25]

UnitV hobbes::switchExprTyFnM::with ( Int *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [7/25]

UnitV hobbes::switchExprTyFnM::with ( Long *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [8/25]

UnitV hobbes::switchExprTyFnM::with ( Float *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [9/25]

UnitV hobbes::switchExprTyFnM::with ( Double *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [10/25]

UnitV hobbes::switchExprTyFnM::with ( Var *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [11/25]

UnitV hobbes::switchExprTyFnM::with ( Let *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [12/25]

UnitV hobbes::switchExprTyFnM::with ( LetRec *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [13/25]

UnitV hobbes::switchExprTyFnM::with ( Fn *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [14/25]

UnitV hobbes::switchExprTyFnM::with ( App *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [15/25]

UnitV hobbes::switchExprTyFnM::with ( Assign *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [16/25]

UnitV hobbes::switchExprTyFnM::with ( MkArray *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [17/25]

UnitV hobbes::switchExprTyFnM::with ( MkVariant *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [18/25]

UnitV hobbes::switchExprTyFnM::with ( MkRecord *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [19/25]

UnitV hobbes::switchExprTyFnM::with ( AIndex *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [20/25]

UnitV hobbes::switchExprTyFnM::with ( Case *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [21/25]

UnitV hobbes::switchExprTyFnM::with ( Switch *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [22/25]

UnitV hobbes::switchExprTyFnM::with ( Proj *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [23/25]

UnitV hobbes::switchExprTyFnM::with ( Assump *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [24/25]

UnitV hobbes::switchExprTyFnM::with ( Pack *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

with() [25/25]

UnitV hobbes::switchExprTyFnM::with ( Unpack *  v )

virtual

Implements hobbes::switchExprM< UnitV >.

withTy()

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

virtual

Reimplemented in hobbes::applySubstitutionF, and hobbes::exprTypeSubst.

---

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

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