Skip to main content

Module resolver

Module resolver 

Source

Structs§

ActivatedCallableArity
ConditionalIncludeProjection
CppScanBinding
EffectiveUsingIndex
MacroBinding
MacroEnvironment
MacroEnvironmentCursor
MacroLocalBinding
A local declaration contributed by one structurally known function-like macro.
OrdinaryTypeImport
OutOfLineMemberDefinitionOwners
ProjectUsingIndex
QualifiedOwnerComponents
SourceUsingIndex
TargetSpec
TypeScanKey
VisibilityData
VisibilityIndex
Per-query C++ visibility facts.

Enums§

CallArityEvidence
CppClassDeclarationStrength
CppTemplateResolutionError
Why template-argument resolution failed. Definition diagnostics render each mode differently; graph scans only care that the resolution is unproven and match Err(_).
DesignatedInitializerOwner
Aggregate-owner proof for a structurally recognized designated initializer.
DirectOwnerResolution
EffectiveUsingTarget
EnclosingMemberOwnerResolution
EnumOwnerKind
LexicalCallableValueResolution
LexicalTypeResolution
MacroDefinition
MacroEvent
MacroIncludeProtection
NamespaceValueResolution
OrdinaryMacroReferenceResolution
OrdinaryTypeImportResolution
PreprocessorGuard
RecoveredCReferenceRanges
RecoveredDeclaratorTypeContext
TargetKind
UsingEnumMemberResolution
VisibleMemberResolution

Functions§

append_cpp_name_components
argument_children
build_visibility_data
build_visible_identifier_index
call_arity
callable_preprocessor_context_is_visible
canonical_cpp_scope_components
Return the indexed C++ owner scope without reparsing its rendered name.
collapse_owner_candidates
collect_include_closure
constructor_style_local_declaration
constructor_type_node
cpp_alias_declaration_target_text
Text of the type that a C or C++ alias declaration names, read from the type_definition or alias_declaration node’s type field.
cpp_bind_template_arguments
cpp_callable_arity
cpp_class_declaration_strength
cpp_function_return_type_text
The declared return type text of a C++ function unit, with leading declaration specifiers stripped, e.g. T* for T* operator->().
cpp_global_field_has_internal_linkage
cpp_name_component_nodes
cpp_name_for
cpp_namespace_for
cpp_reference_fqn_candidates
cpp_substitute_template_arguments
cpp_substitute_template_term
cpp_template_reference_arguments
cpp_type_name_components
cpp_unify_template_term
declaration_constructor_arity
declaration_is_object_construction_candidate
declaration_mentions_type
declarator_name_node
designated_initializer_owner
Recognize a designated-initializer field and, when possible, resolve its aggregate owner.
enclosing_namespace_context
extract_variable_name
field_declared_binding
field_declared_type_binding
field_initializer_constructs_target
first_type_child
function_terminal_node
Return the terminal identifier represented by a callable or type callee.
has_ancestor_kind
infer_cpp_initializer_binding
infer_cpp_initializer_type
is_c_source_file
Whether file is proven to use plain-C source semantics.
is_call_callee_node
Whether node is part of a call’s callee expression, walking only through the grammar wrappers that can structurally contain that callee.
is_declaration_name
is_declarator_node
is_globally_qualified_cpp_name
is_nested_type_node
True when node is a component of a larger structured type node whose outer range is the single reference surfaced to callers.
is_ordinary_macro_reference_node
is_type_alias
lexical_component_tiers
matches_kind_for_lookup
merge_preprocessor_guards
name_matches_callable
name_matches_terminal
name_mentions
normalize_cpp_reference_text
normalize_reference_name
normalize_type_text
out_of_line_destructor_type_reference
Return the terminal type-name occurrence in an out-of-line destructor declarator such as endpoint::~endpoint. Unlike an ordinary terminal method name, this identifier is a second reference to the owner type.
out_of_line_member_definition_owner
parameter_belongs_to_callable_scope
Whether a parameter declaration belongs to the callable scope whose body can contain references to it.
precise_parent_of
preprocessor_conditional_family_range
The byte range of the #if/#elif/#else chain that encloses the smallest node covering [start_byte, end_byte), or None when nothing there is conditional.
preprocessor_guard_environment
qualified_name_has_concrete_scope_separators
True when each structured qualifier on the callable-name path has a real :: token. A macro-prefixed return type can make tree-sitter insert a zero-width missing separator and parse TYPE Result<T> method() as the false qualified declarator Result<T>::method.
qualified_owner_components
recovered_macro_decorated_declarator_type
Recognize a real type displaced into a qualified declarator by parser recovery.
recovered_macro_decorated_type_node
Return the declaration/function type displaced by a macro-shaped qualified declarator, together with the enclosing declaration context. Callers use the macro scope only as structural admission evidence; the returned node is the real type reference to resolve and record.
reference_matches_unit
resolve_declaring_member_owner
resolve_namespace_value
same_logical_symbol
same_symbol
same_visible_global_field_symbol
same_visible_symbol
signature_arity
terminal_name
type_owner_of
Like precise_parent_of, but drops module (namespace) parents. A namespace is a scope, not a type or receiver, so namespace-scoped functions and constants resolve as free functions and globals rather than members.
type_reference_hit_node
visible_owner_from_member_name

Type Aliases§

MacroEnvironmentCursorCell
MacroEventCell
OrdinaryTypeImportCell