Struct Diagnostic 

pub struct Diagnostic {
    pub kind: DiagKind,
    pub unit: UnitId,
    pub span: Span,
    pub node: Option<NodeRef>,
}

One problem found while resolving, located in a unit.

Examples

use hir_lang::{Span, UnitId};
use intern_lang::Interner;
use resolve_lang::{DiagKind, Diagnostic};

let d = Diagnostic { kind: DiagKind::NoParent, unit: UnitId::new(0), span: Span::new(3, 9), node: None };
assert_eq!(d.message(&Interner::new()), "`parent::` used in a class with no base class");

Fields

kind: DiagKind

What went wrong.

unit: UnitId

The unit it is in.

span: Span

Where: the offending name’s source span (for an expanded name, the span its origin records).

node: Option<NodeRef>

The HIR node it is about: usually the path, or the item for definitions and mixins.

Implementations

impl Diagnostic

pub fn message<L: Lookup>(&self, names: &L) -> String

A one-line English message, with names spelled through names.

Examples

use hir_lang::{Name, Ns, Span, UnitId};
use intern_lang::Interner;
use resolve_lang::{DiagKind, Diagnostic};

let mut names = Interner::new();
let (lenght, length) = (Name::new(names.intern("lenght")), Name::new(names.intern("length")));
let d = Diagnostic {
    kind: DiagKind::Unresolved { name: lenght, ns: Ns::Value, container: None, suggestion: Some(length) },
    unit: UnitId::new(0),
    span: Span::new(0, 6),
    node: None,
};
assert_eq!(d.message(&names), "cannot find value `lenght` in this scope; did you mean `length`?");

Trait Implementations

impl Clone for Diagnostic

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Diagnostic

impl Debug for Diagnostic

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Diagnostic

impl PartialEq for Diagnostic

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Diagnostic