hobbes::LoadFileP Class Reference

Inheritance diagram for hobbes::LoadFileP:

Collaboration diagram for hobbes::LoadFileP:

Classes
struct	insertLoadedFileF
struct	LoadedFile

Public Types
typedef std::map< std::string, LoadedFile >	LoadedFiles

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

Public Attributes
LoadedFiles	loadedFiles

Member Typedef Documentation

LoadedFiles

typedef std::map<std::string, LoadedFile> hobbes::LoadFileP::LoadedFiles

Member Function Documentation

bindings()

SymSet hobbes::LoadFileP::bindings ( ) const

inlinevirtual

Implements hobbes::Unqualifier.

dependencies()

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

inlinevirtual

Implements hobbes::Unqualifier.

explain()

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

inlinevirtual

Implements hobbes::Unqualifier.

loadedFile() [1/2]

const LoadedFile& hobbes::LoadFileP::loadedFile ( bool  writeable, const std::string &  path  ) const

inline

loadedFile() [2/2]

const LoadedFile& hobbes::LoadFileP::loadedFile ( const ConstraintPtr &  cst ) const

inline

lookup()

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

inlinevirtual

Implements hobbes::Unqualifier.

refine()

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

inlinevirtual

Implements hobbes::Unqualifier.

satisfiable()

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

inlinevirtual

Implements hobbes::Unqualifier.

satisfied()

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

inlinevirtual

Implements hobbes::Unqualifier.

unqualify()

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

inlinevirtual

Implements hobbes::Unqualifier.

Member Data Documentation

loadedFiles

LoadedFiles hobbes::LoadFileP::loadedFiles

mutable

---

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

• lib/hobbes/db/bindings.C