Expand description
The language-neutral symbol-resolution result schema.
A resolution report says which source definition each reference in a
repository denotes, and how certain that answer is. It contains no parser
and no filesystem behavior: a producer states facts through
ResolutionReportBuilder, and every report — built in process or decoded
from JSON — passes one shared validator before it exists.
Identifiers are dense positions in sorted slices, so a consumer indexes the report directly, and reordering the filesystem walk that produced it cannot change a single identifier.
Structs§
- Candidate
Input - One candidate a writer offers for a reference.
- Resolution
Candidate - One definition a reference may denote.
- Resolution
Record - The complete answer for one reference.
- Resolution
Report - A complete, validated resolution result.
- Resolution
Report Builder - The fallible writer every report passes through.
- Resolution
Report Limits - How many units, definitions, references, and resolution records one report may contain.
- Resolution
Unit - One compilation context a report resolves names inside.
- Source
Position - A zero-based point in one source file.
- Source
Span - A half-open range in one normalized repository-relative file.
- Symbol
Definition - One definition site inside one resolution unit.
- Symbol
Reference - One reference site inside one resolution unit.
Enums§
- Reference
Kind - The closed vocabulary of references a report emits.
- Report
Collection - Which report collection a structural rule names.
- Resolution
Certainty - How much a candidate is known.
- Resolution
Gap - Why a reference did not resolve, or resolved only to possibilities.
- Resolution
Report Error - A rejected resolution report, or a rejected write into one.
- Resolution
Tier - Which mechanism produced a report.
- Symbol
Kind - The closed vocabulary of definitions a report emits.
Type Aliases§
- Definition
Handle - A definition a builder holds. Clone, never
Copy, and never serialized. - Definition
Id - A definition’s dense identifier within one report.
- Reference
Handle - A reference a builder holds. Clone, never
Copy, and never serialized. - Reference
Id - A reference’s dense identifier within one report.
- Resolution
Unit Handle - A unit a builder holds. Clone, never
Copy, and never serialized. - Resolution
Unit Id - A resolution unit’s dense identifier within one report.