Struct geo_aid::cli::DiagnosticData

pub struct DiagnosticData {
    pub message: String,
    pub spans: Vec<Span>,
    pub annotations: Vec<Annotation>,
    pub notes: Vec<(AnnotationKind, String)>,
    pub fixes: Vec<Fix>,
}

Fields

message: String

spans: Vec<Span>

annotations: Vec<Annotation>

notes: Vec<(AnnotationKind, String)>

fixes: Vec<Fix>

Implementations

impl DiagnosticData

pub fn new<S: ToString + ?Sized>(message: &S) -> Self

pub fn add_note(self, kind: AnnotationKind, message: String) -> Self

pub fn add_span(self, sp: Span) -> Self

pub fn add_annotation<S: ToString + ?Sized>( self, at: Span, kind: AnnotationKind, message: &S, ) -> Self

pub fn add_annotation_opt_msg<S: ToString + ?Sized>( self, at: Span, kind: AnnotationKind, message: Option<&S>, ) -> Self

pub fn add_annotation_opt_span<S: ToString + ?Sized>( self, at: Option<Span>, kind: AnnotationKind, message: &S, ) -> Self

pub fn add_fix(self, fix: Fix) -> Self