[][src]Struct garando_pos::MultiSpan

pub struct MultiSpan { /* fields omitted */ }

A collection of spans. Spans have two orthogonal attributes:

  • they can be primary spans. In this case they are the locus of the error, and would be rendered with ^^^.
  • they can have a label. In this case, the label is written next to the mark in the snippet when we render.

Implementations

impl MultiSpan[src]

pub fn from_span(primary_span: Span) -> MultiSpan[src]

pub fn from_spans(vec: Vec<Span>) -> MultiSpan[src]

pub fn push_span_label(&mut self, span: Span, label: String)[src]

pub fn primary_span(&self) -> Option<Span>[src]

Selects the first primary span (if any)

pub fn primary_spans(&self) -> &[Span][src]

Returns all primary spans.

pub fn replace(&mut self, before: Span, after: Span) -> bool[src]

Replaces all occurances of one Span with another. Used to move Spans in areas that don't display well (like std macros). Returns true if replacements occurred.

pub fn span_labels(&self) -> Vec<SpanLabel>[src]

Returns the strings to highlight. We always ensure that there is an entry for each of the primary spans -- for each primary span P, if there is at least one label with span P, we return those labels (marked as primary). But otherwise we return SpanLabel instances with empty labels.

Trait Implementations

impl Clone for MultiSpan[src]

impl Debug for MultiSpan[src]

impl Default for MultiSpan[src]

impl<'de> Deserialize<'de> for MultiSpan[src]

impl Eq for MultiSpan[src]

impl From<Span> for MultiSpan[src]

impl Hash for MultiSpan[src]

impl PartialEq<MultiSpan> for MultiSpan[src]

impl Serialize for MultiSpan[src]

impl StructuralEq for MultiSpan[src]

impl StructuralPartialEq for MultiSpan[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.