hobbes::ADBFSigUnqualify Struct Reference

Inheritance diagram for hobbes::ADBFSigUnqualify:

Collaboration diagram for hobbes::ADBFSigUnqualify:

Public Member Functions
bool	unpackConstraint (const ConstraintPtr &cst)
	ADBFSigUnqualify (const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *defs)
bool	expectedObjType (const MonoTypePtr &ty) const
ExprPtr	wrapWithTy (const QualTypePtr &qty, Expr *e) const
ExprPtr	with (const Fn *v) const
ExprPtr	with (const Let *v) const
ExprPtr	with (const Assign *v) const
Public Member Functions inherited from hobbes::switchExprTyFn
virtual QualTypePtr	withTy (const QualTypePtr &qt) const
ExprPtr	withConst (const Expr *v) const
ExprPtr	with (const Var *v) const
ExprPtr	with (const LetRec *v) const
ExprPtr	with (const App *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
const TEnvPtr &	tenv
const ConstraintPtr &	constraint
Definitions *	defs
MonoTypePtr	stype
HasField::Direction	udir
std::string	fname
const Record *	frec
int	findex
bool	isArr

Constructor & Destructor Documentation

ADBFSigUnqualify()

hobbes::ADBFSigUnqualify::ADBFSigUnqualify ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, Definitions *  defs  )

inline

Member Function Documentation

expectedObjType()

bool hobbes::ADBFSigUnqualify::expectedObjType ( const MonoTypePtr &  ty ) const

inline

unpackConstraint()

bool hobbes::ADBFSigUnqualify::unpackConstraint ( const ConstraintPtr &  cst )

inline

with() [1/3]

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [2/3]

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

with() [3/3]

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

wrapWithTy()

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

inlinevirtual

Reimplemented from hobbes::switchExprTyFn.

Member Data Documentation

constraint

const ConstraintPtr& hobbes::ADBFSigUnqualify::constraint

defs

Definitions* hobbes::ADBFSigUnqualify::defs

findex

int hobbes::ADBFSigUnqualify::findex

fname

std::string hobbes::ADBFSigUnqualify::fname

frec

const Record* hobbes::ADBFSigUnqualify::frec

isArr

bool hobbes::ADBFSigUnqualify::isArr

stype

MonoTypePtr hobbes::ADBFSigUnqualify::stype

tenv

const TEnvPtr& hobbes::ADBFSigUnqualify::tenv

udir

HasField::Direction hobbes::ADBFSigUnqualify::udir

---

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

• lib/hobbes/db/signals.C