Struct source_span::Span

pub struct Span { /* private fields */ }

Span in a source file.

A span points to a range of caracters between two cursor Position.

Span construction with the push* methods

A span can be directly created using the new method, however in the context of parsing (or lexing) it might be useful to build spans incrementally. The push* methods family will help you do that.

• push will extend the span to include the given character located at the spans end.

• push_column will extend the span to include the next column. Note that this does not necessarily correspond to the next character (if it is a NL, or a full-width character for instance).

• push_line will extend the span to include the rest of the line. The end of the span will be placed at the begining of the next line.

• The next method can finally be used to create the span to [end, end] (when a token has been read entirely for instance) and start building the next span. The clear method does the same but in place.

Example

Here is a basic example computing the span of every word/token in a char stream.

for c in chars {
    let c = c?; // report eventual I/O errors.
    if c.is_whitespace() {
        // save the current token.
        if !current.string.is_empty() {
            tokens.push(current.clone());
        }

        // reset current token.
        current.string.clear();
        current.span.clear(); // the span here is moved to the end of itself.
    } else {
        current.string.push(c);
        current.span.push(c);
    }
}

if !current.string.is_empty() {
    tokens.push(current);
}

Implementations

impl Span

pub fn new(start: Position, last: Position, end: Position) -> Span

Create a new span from three positions.

If the end position is before the start position then the returned span will be [start, start]. If the last position is before start or after end it will panic. If the last position is equal to end while the span is not empty, it will panic.

pub fn start(&self) -> Position

Return the position of the first character in the span.

pub fn last(&self) -> Position

Return the last position included in the span.

pub fn end(&self) -> Position

Return the position of the character directly following the span.

It is not included in the span.

pub fn is_empty(&self) -> bool

Checks if the span is empty.

pub fn overlaps(&self, other: &Span) -> bool

Checks if two span overlaps.

pub fn line_count(&self) -> usize

The number of lines covered by the span.

It is at least one, even if the span is empty.

pub fn includes_line(&self, line: usize) -> bool

Checks if the span includes the given line.

pub fn push_column(&mut self)

Extends the span to include the next column.

Note that this does not necessarily correspond to the next character (if it is a NL, or a full-width character for instance). To do that you can use the push method.

pub fn push_line(&mut self)

Extends the span to include the rest of the line.

The end of the span will be placed at the begining of the next line.

pub fn push(&mut self, c: char)

Extend the span to include the given character located at the spans end position.

pub fn next(&self) -> Span

Return the next span (defined as [end, end]).

pub fn clear(&mut self)

Set the span to next ([end, end]).

Trait Implementations

impl Clone for Span

fn clone(&self) -> Span

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Span

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

Formats the value using the given formatter.

impl Default for Span

fn default() -> Span

Returns the “default value” for a type.

impl Display for Span

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

Formats the value using the given formatter.

impl From<Position> for Span

fn from(pos: Position) -> Span

Converts to this type from the input type.

impl Hash for Span

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Span

fn cmp(&self, other: &Span) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Span

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Span

fn partial_cmp(&self, other: &Span) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Span

impl Eq for Span

impl StructuralPartialEq for Span