Environment.hxx File Reference

#include <iostream>
#include <map>
#include <string>
#include <set>
#include "shared_ptr.hxx"

Go to the source code of this file.

Data Structures
struct	Binding< T >
struct	Environment< T >
Defines
#define	BF_PRIVATE   0x1u
#define	BF_COMPLETE   0x2u
#define	BF_REBIND   0x4u
#define	BF_NO_MERGE   0x8u
#define	BF_PROVIDING   0x10u
#define	BF_PRIVATE   0x1u
#define	BF_COMPLETE   0x2u
#define	BF_REBIND   0x4u
#define	BF_NO_MERGE   0x8u
#define	BF_PROVIDING   0x10u
Typedefs
typedef std::less< boost::shared_ptr< Instance > >	InstancePtrLess
typedef std::set< boost::shared_ptr< Instance >, InstancePtrLess >	InstanceSet
typedef Environment< InstanceSet >	InstEnvironment
typedef Environment< AST >	ASTEnvironment
typedef Environment< TypeScheme >	TSEnvironment

---

Define Documentation

#define BF_COMPLETE   0x2u

Definition at line 55 of file Environment.hxx.

#define BF_COMPLETE   0x2u

Definition at line 55 of file Environment.hxx.

Referenced by aliasPublicBindings(), bindIdentDef(), importSymBindings(), importTSBindings(), markComplete(), resolve(), useIFGamma(), and useIFInsts().

#define BF_NO_MERGE   0x8u

Definition at line 58 of file Environment.hxx.

#define BF_NO_MERGE   0x8u

Definition at line 58 of file Environment.hxx.

Referenced by bindIdentDef().

#define BF_PRIVATE   0x1u

Definition at line 54 of file Environment.hxx.

#define BF_PRIVATE   0x1u

Definition at line 54 of file Environment.hxx.

Referenced by aliasPublicBindings(), importIfBinding(), importInstBindings(), importSymBindings(), importTSBindings(), resolve(), typeInfer(), useIFGamma(), and useIFInsts().

#define BF_PROVIDING   0x10u

Definition at line 63 of file Environment.hxx.

#define BF_PROVIDING   0x10u

Definition at line 63 of file Environment.hxx.

Referenced by providing(), and resolve().

#define BF_REBIND   0x4u

Definition at line 56 of file Environment.hxx.

#define BF_REBIND   0x4u

Definition at line 56 of file Environment.hxx.

Referenced by importSymBindings(), importTSBindings(), InferObject(), InferStruct(), InferUnion(), typeEqInfer(), and typeInfer().

---

Typedef Documentation

typedef Environment<AST> ASTEnvironment

Definition at line 216 of file Environment.hxx.

typedef std::less<boost::shared_ptr<Instance> > InstancePtrLess

Definition at line 207 of file Environment.hxx.

typedef std::set<boost::shared_ptr<Instance>, InstancePtrLess > InstanceSet

Definition at line 212 of file Environment.hxx.

typedef Environment<InstanceSet> InstEnvironment

Definition at line 214 of file Environment.hxx.

typedef Environment<TypeScheme> TSEnvironment

Definition at line 219 of file Environment.hxx.

---