Compiler_Module_Binder.H File Reference

Reusable binding helpers for linked module surfaces. More...

#include <sstream>
#include <string>
#include <tpl_dynMapTree.H>
#include <Compiler_Module_Linker.H>

Include dependency graph for Compiler_Module_Binder.H:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Aleph::Compiler_Module_Bound_Name
	One top-level name successfully bound in a module namespace. More...
struct	Aleph::Compiler_Module_Bindings
	Bound top-level names visible from one module. More...
struct	Aleph::Compiler_Module_Binding_Issue
	One structural issue reported by the reusable module binder. More...
struct	Aleph::Compiler_Module_Binding_Result
	Binding result over one linked module-surface view. More...

Namespaces
namespace	Aleph
	Main namespace for Aleph-w library functions.
namespace	Aleph::Compiler_Module_Binder_Detail

Enumerations
enum class	Aleph::Compiler_Module_Binding_Issue_Kind { Aleph::Missing_Metadata , Aleph::Ambiguous_Value_Name , Aleph::Ambiguous_Type_Name }
	Structural issues emitted while binding linked module surfaces. More...

Functions
const char *	Aleph::compiler_module_binding_issue_name (const Compiler_Module_Binding_Issue_Kind kind) noexcept
	Returns the stable debug name for one module-binding issue kind.
int	Aleph::Compiler_Module_Binder_Detail::export_namespace_bucket (const Compiler_Module_Export_Kind kind) noexcept
Compiler_Module_Binding_Issue	Aleph::Compiler_Module_Binder_Detail::translate_issue (const Compiler_Module_Linkage_Issue &issue)
Compiler_Module_Binding_Result	Aleph::compiler_bind_module_surfaces (const Compiler_Module_Link_Result &linkage)
	Binds linked module surfaces into one deterministic name view.
std::string	Aleph::compiler_render_module_bindings (const Compiler_Module_Binding_Result &result)
	Renders one deterministic text artifact for bound module names.

Detailed Description

Reusable binding helpers for linked module surfaces.

This header turns one Compiler_Module_Link_Result into a deterministic binding view that answers which top-level names are actually bindable from each module after considering local exports, direct imports, and namespace conflicts. The binding layer intentionally stays shallow: it models visible top-level names, not full type-checking or member resolution.

Definition in file Compiler_Module_Binder.H.