Enum ezno_lib::Diagnostic

pub enum Diagnostic {
    Global {
        reason: String,
        kind: DiagnosticKind,
    },
    Position {
        reason: String,
        position: BaseSpan<SourceId>,
        kind: DiagnosticKind,
    },
    PositionWithAdditionLabels {
        reason: String,
        position: BaseSpan<SourceId>,
        labels: Vec<(String, Option<BaseSpan<SourceId>>), Global>,
        kind: DiagnosticKind,
    },
}

Contains information

Variants

Global

Fields

reason: String

kind: DiagnosticKind

Does not have positional information

Position

Fields

reason: String

position: BaseSpan<SourceId>

kind: DiagnosticKind

PositionWithAdditionLabels

Fields

reason: String

position: BaseSpan<SourceId>

labels: Vec<(String, Option<BaseSpan<SourceId>>), Global>

kind: DiagnosticKind

Implementations

impl Diagnostic

pub fn sources<'a>(&'a self) -> impl Iterator<Item = SourceId> + 'a

pub fn reason(&self) -> &str

pub fn reason_and_position(self) -> (String, Option<BaseSpan<SourceId>>)

Trait Implementations

impl Debug for Diagnostic

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

Formats the value using the given formatter.

impl From<(ParseError, SourceId)> for Diagnostic

fn from(parse_error: (ParseError, SourceId)) -> Diagnostic

Converts to this type from the input type.

impl From<ModuleFromPathError> for Diagnostic

fn from(err: ModuleFromPathError) -> Diagnostic

Converts to this type from the input type.

impl From<NoEnvironmentSpecified> for Diagnostic

fn from(error: NoEnvironmentSpecified) -> Diagnostic

Converts to this type from the input type.

impl From<TypeCheckError<'_>> for Diagnostic

fn from(error: TypeCheckError<'_>) -> Diagnostic

Converts to this type from the input type.

impl Serialize for Diagnostic

fn serialize<__S>( &self, __serializer: __S ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.