hobbes::Unqualifier Struct Reference

#include <tyunqualify.H>

Inheritance diagram for hobbes::Unqualifier:

Collaboration diagram for hobbes::Unqualifier:

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

Member Function Documentation

bindings()

virtual SymSet hobbes::Unqualifier::bindings ( ) const

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::SplitP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

dependencies()

virtual FunDeps hobbes::Unqualifier::dependencies ( const ConstraintPtr &  ) const

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::SplitP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

explain()

virtual void hobbes::Unqualifier::explain ( const TEnvPtr &  , const ConstraintPtr &  , const ExprPtr &  , Definitions *  , annmsgs *    )

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::SplitP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

lookup()

virtual PolyTypePtr hobbes::Unqualifier::lookup ( const std::string &  vn ) const

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::SplitP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

refine()

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

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, hobbes::SizeOfP, and hobbes::SplitP.

satisfiable()

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

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SplitP, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

satisfied()

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

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::SplitP, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

unqualify()

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

pure virtual

Implemented in hobbes::LoadFileP, hobbes::ReceiveP, hobbes::InvokeP, hobbes::LsP, hobbes::ConnectionP, hobbes::SplitP, hobbes::FieldVerifier, hobbes::TClass, hobbes::UnqualifierSet, hobbes::AppendsToUnqualifier, hobbes::SubtypeUnqualifier, hobbes::CtorVerifier, hobbes::RecordDeconstructor, hobbes::VariantDeconstructor, hobbes::ProcessP, hobbes::DataP, hobbes::DeconstructP, hobbes::EqualTypes, hobbes::DBFileRefLoader, hobbes::NotEqualTypes, hobbes::Existentials, hobbes::FixIsoRecur, hobbes::TypeofP, and hobbes::SizeOfP.

---

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

• include/hobbes/lang/tyunqualify.H