Module graph 

The C++ usage graph’s language knowledge.

The forward scan (extractor plus hits), the visibility/macro/include resolver (resolver) and the whole-workspace inverted per-file walk (inverted) are one body of code and crossed together: extractor glob imports resolver, hits reads extractor’s scan context, and inverted names forty items from the other two.

No analyzer handle appears here. brokk-bifrost-analysis downcasts once and hands over a CppGraphSource – the dispatching analyzer’s side of a scan – which carries the CppSource the memoized C++ products come from.

Modules

extractor

hits

inverted

Whole-workspace inverted edge builder for C++.

namespace_alias

Namespace-alias binding shared by forward and inverse C++ type lookup.

resolver

syntax

Structs

CppGraphSource

The dispatching analyzer’s side of a C++ usage-graph scan.

CppWorkspaceDefinitions

The workspace definition query surface, spelled so the C++ resolver does not depend on the analysis crate’s store implementation.

Traits

CppWorkspaceSource

The workspace-wide questions a C++ scan asks of the dispatching analyzer rather than of the C++ analyzer.

Functions

callable_definitions_share_identity_evidence

crate::identity::cpp_callable_definitions_share_identity_evidence with its header/implementation evidence root supplied from the graph source.

callable_definitions_share_identity_evidence_with_visibility

The structured-parameter variant of callable_definitions_share_identity_evidence.