hobbes::SplitP Class Reference

Inheritance diagram for hobbes::SplitP:

Collaboration diagram for hobbes::SplitP:

Classes
struct	StripCst

Public Member Functions
bool	refine (const TEnvPtr &, const ConstraintPtr &cst, MonoTypeUnifier *u, Definitions *)
bool	satisfied (const TEnvPtr &, const ConstraintPtr &cst, Definitions *) const
bool	satisfiable (const TEnvPtr &tenv, const ConstraintPtr &c, 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 &) const
SymSet	bindings () const
FunDeps	dependencies (const ConstraintPtr &) const

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

Static Private Member Functions
static bool	asCSplit (const ConstraintPtr &c, std::string *str, std::string *delim, MonoTypePtr *result)
static MonoTypePtr	csplitType (const std::string &str, const std::string &delim)
static bool	asCDelim (const ConstraintPtr &c, std::string *delim, str::seq *strs, MonoTypePtr *result)

Member Function Documentation

asCDelim()

static bool hobbes::SplitP::asCDelim ( const ConstraintPtr &  c, std::string *  delim, str::seq *  strs, MonoTypePtr *  result  )

inlinestaticprivate

asCSplit()

static bool hobbes::SplitP::asCSplit ( const ConstraintPtr &  c, std::string *  str, std::string *  delim, MonoTypePtr *  result  )

inlinestaticprivate

bindings()

SymSet hobbes::SplitP::bindings ( ) const

inlinevirtual

Implements hobbes::Unqualifier.

constraintName()

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

inlinestatic

csplitType()

static MonoTypePtr hobbes::SplitP::csplitType ( const std::string &  str, const std::string &  delim  )

inlinestaticprivate

dependencies()

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

inlinevirtual

Implements hobbes::Unqualifier.

explain()

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

inlinevirtual

Implements hobbes::Unqualifier.

lookup()

PolyTypePtr hobbes::SplitP::lookup ( const std::string &  ) const

inlinevirtual

Implements hobbes::Unqualifier.

refine()

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

inlinevirtual

Implements hobbes::Unqualifier.

satisfiable()

bool hobbes::SplitP::satisfiable ( const TEnvPtr &  tenv, const ConstraintPtr &  c, Definitions *  ds  ) const

inlinevirtual

Implements hobbes::Unqualifier.

satisfied()

bool hobbes::SplitP::satisfied ( const TEnvPtr &  , const ConstraintPtr &  cst, Definitions *    ) const

inlinevirtual

Implements hobbes::Unqualifier.

unqualify()

ExprPtr hobbes::SplitP::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/lang/preds/str.C