Struct DiagnosticCollector 

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

A diagnostic collector that accumulates diagnostics with source tracking.

Implementations

impl<'a> DiagnosticCollector<'a>

pub fn new(interner: &'a dyn TypeDatabase, file: impl Into<Arc<str>>) -> Self

pub fn diagnostics(&self) -> &[TypeDiagnostic]

Get the collected diagnostics.

pub fn take_diagnostics(&mut self) -> Vec<TypeDiagnostic>

Take the collected diagnostics.

pub fn type_not_assignable( &mut self, source: TypeId, target: TypeId, loc: &SourceLocation, )

Report a type not assignable error.

pub fn property_missing( &mut self, prop_name: &str, source: TypeId, target: TypeId, loc: &SourceLocation, )

Report a property missing error.

pub fn property_not_exist( &mut self, prop_name: &str, type_id: TypeId, loc: &SourceLocation, )

Report a property not exist error.

pub fn argument_not_assignable( &mut self, arg_type: TypeId, param_type: TypeId, loc: &SourceLocation, )

Report an argument not assignable error.

pub fn cannot_find_name(&mut self, name: &str, loc: &SourceLocation)

Report a cannot find name error.

pub fn argument_count_mismatch( &mut self, expected: usize, got: usize, loc: &SourceLocation, )

Report an argument count mismatch error.

pub fn to_checker_diagnostics(&self) -> Vec<Diagnostic>

Convert all collected diagnostics to checker diagnostics.