hobbes::ConnectionP Class Reference

Inheritance diagram for hobbes::ConnectionP:

Collaboration diagram for hobbes::ConnectionP:

Classes
struct	StripConnQual

Public Member Functions
bool	refine (const TEnvPtr &tenv, const ConstraintPtr &cst, MonoTypeUnifier *u, Definitions *ds)
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 &, const ConstraintPtr &cst, const ExprPtr &e, Definitions *) const
PolyTypePtr	lookup (const std::string &vn) const
SymSet	bindings () const
FunDeps	dependencies (const ConstraintPtr &) const

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

Static Private Member Functions
static bool	decodeConstraint (const ConstraintPtr &c, MonoTypePtr *hostport, MonoTypePtr *handle)

Member Function Documentation

bindings()

SymSet hobbes::ConnectionP::bindings ( ) const

inlinevirtual

Implements hobbes::Unqualifier.

connectVar()

static std::string hobbes::ConnectionP::connectVar ( )

inlinestatic

constraintName()

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

inlinestatic

decodeConstraint()

static bool hobbes::ConnectionP::decodeConstraint ( const ConstraintPtr &  c, MonoTypePtr *  hostport, MonoTypePtr *  handle  )

inlinestaticprivate

dependencies()

FunDeps hobbes::ConnectionP::dependencies ( const ConstraintPtr &  ) const

inlinevirtual

Implements hobbes::Unqualifier.

explain()

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

inlinevirtual

Implements hobbes::Unqualifier.

lookup()

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

inlinevirtual

Implements hobbes::Unqualifier.

refine()

bool hobbes::ConnectionP::refine ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, MonoTypeUnifier *  u, Definitions *  ds  )

inlinevirtual

Implements hobbes::Unqualifier.

satisfiable()

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

inlinevirtual

Implements hobbes::Unqualifier.

satisfied()

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

inlinevirtual

Implements hobbes::Unqualifier.

unqualify()

ExprPtr hobbes::ConnectionP::unqualify ( const TEnvPtr &  , const ConstraintPtr &  cst, const ExprPtr &  e, Definitions *    ) const

inlinevirtual

Implements hobbes::Unqualifier.

---

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

• lib/hobbes/ipc/nbindings.C