Struct ResolutionReportBuilder 

pub struct ResolutionReportBuilder { /* private fields */ }

The fallible writer every report passes through.

Implementations

impl ResolutionReportBuilder

pub fn new(tier: ResolutionTier, limits: ResolutionReportLimits) -> Self

An empty builder for one tier under one set of limits.

pub fn add_unit( &mut self, language: Language, key: Arc<str>, name: Arc<str>, ) -> Result<ResolutionUnitHandle, ResolutionReportError>

State one resolution unit.

pub fn add_definition( &mut self, unit: &ResolutionUnitHandle, kind: SymbolKind, name: Arc<str>, span: SourceSpan, parent: Option<&DefinitionHandle>, ) -> Result<DefinitionHandle, ResolutionReportError>

State one definition inside a unit this builder issued.

pub fn add_reference( &mut self, unit: &ResolutionUnitHandle, kind: ReferenceKind, text: Arc<str>, span: SourceSpan, enclosing_definition: Option<&DefinitionHandle>, ) -> Result<ReferenceHandle, ResolutionReportError>

State one reference inside a unit this builder issued.

pub fn set_resolution( &mut self, reference: &ReferenceHandle, candidates: Box<[CandidateInput]>, gaps: Box<[ResolutionGap]>, ) -> Result<(), ResolutionReportError>

State the answer for one reference this builder issued.

pub fn finish(self) -> Result<ResolutionReport, ResolutionReportError>

Sort, assign identifiers, validate, and return the report.

The drafts move into the report: a writer that has finished stating facts owns nothing the report needs to copy.