Struct source_span::Span [−][src]
pub struct Span { /* fields omitted */ }Expand description
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.
-
pushwill extend the span to include the given character located at the spansend. -
push_columnwill 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_linewill 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
nextmethod 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. Theclearmethod does the same but in place.
Example
Here is a basic example computing the span of every word/token in a char
stream.
use source_span::{Span, DEFAULT_METRICS}; #[derive(Clone, Default)] pub struct Token { string: String, span: Span, } let string = "This is an example String.".to_string(); let mut tokens = Vec::new(); let mut current = Token::default(); let metrics = &DEFAULT_METRICS; for c in string.chars() { 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, metrics); } } if !current.string.is_empty() { tokens.push(current); }
Implementations
Create a new span from three positions.
If the end position or the last position is before the start
position then the returned span will be [start, start].
If the last position is equal to end while the span is not empty, it
will panic.
Return the position of the character directly following the span.
It is not included in the span.
The number of lines covered by the span.
It is at least one, even if the span is empty.
Checks if the span includes the given line.
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.
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.
Extend the span to include the given character located at the spans
end position.
Compute the union of two spans.
If the two spans do not overlap, all positions in between will be included in the resulting span.
Computes the intersection of the two spans.
If the two spans do not overlap, then the empty span located at the start of the most advanced span (maximum of the start of the two spans) is returned.
Extend the span to the end of the given span.
This is the in-place version of union, except that
nothing happens if the input span finishes before the end of self.
Return the span aligned on line boundaries.
This will compute the smallest span including self such that
startis at the begining of a line (column 0),endis at the end of a line (columnstd::usize::MAX),lastpoints to the last character of a line (columnstd::usize::MAX - 1).
Trait Implementations
This method returns an ordering between self and other values if one exists. Read more
This method tests less than (for self and other) and is used by the < operator. Read more
This method tests less than or equal to (for self and other) and is used by the <=
operator. Read more
This method tests greater than (for self and other) and is used by the > operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for Spanimpl UnwindSafe for SpanBlanket Implementations
Mutably borrows from an owned value. Read more