Struct BindingQuery 

pub struct BindingQuery<'a> { /* private fields */ }

Builder for binding queries.

Example

let result = BindingQuery::new("MyClass")
    .file_scope(FileScope::Any)
    .mode(ResolutionMode::AllowSuffixCandidates)
    .resolve(&snapshot);

Implementations

impl<'a> BindingQuery<'a>

pub fn new(symbol: &'a str) -> Self

Creates a new binding query for the given symbol.

Defaults to FileScope::Any and ResolutionMode::AllowSuffixCandidates.

pub fn file_scope(self, scope: FileScope<'a>) -> Self

Restricts the query to a specific file scope.

pub fn mode(self, mode: ResolutionMode) -> Self

Sets the resolution mode.

pub fn resolve(self, snapshot: &GraphSnapshot) -> BindingResult

Resolves the query against the given snapshot.

Delegates to [super::plane::resolve_shared] which is the shared implementation core used by both BindingQuery::resolve() and BindingPlane::resolve(). Returns only the BindingResult (without the witness step trace) for backward compatibility with existing callers.

The byte-equality T19 gate in phase2_binding_plane_in_memory.rs asserts that the output of this method is identical to the pre-P2U07 snapshot captured in test-fixtures/phase2_binding_result_snapshots/.

pub fn resolve_with_witness(self, snapshot: &GraphSnapshot) -> BindingResolution

Opt-in upgrade path — resolves the query and returns the full BindingResolution containing both the BindingResult and the ordered witness step trace.

Use this method when you need access to the resolution witness (e.g., for CLI --explain output, rule-layer consumers, or diagnostic tooling introduced in Phase 2). Callers that only need the binding outcome should continue to use BindingQuery::resolve which returns the leaner BindingResult directly.

The result field of the returned BindingResolution is byte-equal to the value that BindingQuery::resolve would return for the same query — both delegate to the same [super::plane::resolve_shared] core.