hobbes::ReceiveP Class Reference

Inheritance diagram for hobbes::ReceiveP:

Collaboration diagram for hobbes::ReceiveP:

Classes
struct	RewriteReceives

Public Member Functions
bool	refine (const TEnvPtr &, const ConstraintPtr &, MonoTypeUnifier *, Definitions *)
bool	satisfied (const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) const
bool	satisfiable (const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) const
void	explain (const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds, annmsgs *msgs)
ExprPtr	unqualify (const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds) const
PolyTypePtr	lookup (const std::string &vn) const
SymSet	bindings () const
FunDeps	dependencies (const ConstraintPtr &cst) const

Static Public Member Functions
static std::string	constraintName ()
static std::string	receive ()

Static Private Member Functions
static bool	decodeConstraint (const ConstraintPtr &c, MonoTypePtr *ch, MonoTypePtr *ty)
static std::string	makeReceiveFn (const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds, const LexicalAnnotation &la)

Member Function Documentation

bindings()

SymSet hobbes::ReceiveP::bindings ( ) const

inlinevirtual

Implements hobbes::Unqualifier.

constraintName()

static std::string hobbes::ReceiveP::constraintName ( )

inlinestatic

decodeConstraint()

static bool hobbes::ReceiveP::decodeConstraint ( const ConstraintPtr &  c, MonoTypePtr *  ch, MonoTypePtr *  ty  )

inlinestaticprivate

dependencies()

FunDeps hobbes::ReceiveP::dependencies ( const ConstraintPtr &  cst ) const

inlinevirtual

Implements hobbes::Unqualifier.

explain()

void hobbes::ReceiveP::explain ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, const ExprPtr &  e, Definitions *  ds, annmsgs *  msgs  )

inlinevirtual

Implements hobbes::Unqualifier.

lookup()

PolyTypePtr hobbes::ReceiveP::lookup ( const std::string &  vn ) const

inlinevirtual

Implements hobbes::Unqualifier.

makeReceiveFn()

static std::string hobbes::ReceiveP::makeReceiveFn ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, Definitions *  ds, const LexicalAnnotation &  la  )

inlinestaticprivate

receive()

static std::string hobbes::ReceiveP::receive ( )

inlinestatic

refine()

bool hobbes::ReceiveP::refine ( const TEnvPtr &  , const ConstraintPtr &  , MonoTypeUnifier *  , Definitions *    )

inlinevirtual

Implements hobbes::Unqualifier.

satisfiable()

bool hobbes::ReceiveP::satisfiable ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, Definitions *  ds  ) const

inlinevirtual

Implements hobbes::Unqualifier.

satisfied()

bool hobbes::ReceiveP::satisfied ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, Definitions *  ds  ) const

inlinevirtual

Implements hobbes::Unqualifier.

unqualify()

ExprPtr hobbes::ReceiveP::unqualify ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, const ExprPtr &  e, Definitions *  ds  ) const

inlinevirtual

Implements hobbes::Unqualifier.

---

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

• lib/hobbes/ipc/nbindings.C