[−][src]Struct source_span::Span
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 spansend
. -
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. Theclear
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); }
Methods
impl Span
[src]
pub fn new(start: Position, last: Position, end: Position) -> Span
[src]
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
[src]
Return the position of the first character in the span.
pub fn last(&self) -> Position
[src]
Return the last position included in the span.
pub fn end(&self) -> Position
[src]
Return the position of the character directly following the span.
It is not included in the span.
pub fn is_empty(&self) -> bool
[src]
Checks if the span is empty.
pub fn overlaps(&self, other: &Span) -> bool
[src]
Checks if two span overlaps.
pub fn line_count(&self) -> usize
[src]
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
[src]
Checks if the span includes the given line.
pub fn push_column(&mut self)
[src]
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)
[src]
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)
[src]
Extend the span to include the given character located at the spans end
position.
pub fn union(&self, other: Span) -> Span
[src]
Compute the union of two spans.
If the two spans do not overlap, all positions in between will be included in the resulting span.
pub fn append(&mut self, other: Span)
[src]
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
.
pub fn next(&self) -> Span
[src]
Return the next span (defined as [end, end]
).
pub fn clear(&mut self)
[src]
Set the span to next
([end, end]
).
Trait Implementations
impl Clone for Span
[src]
fn clone(&self) -> Span
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Ord for Span
[src]
fn cmp(&self, other: &Span) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
fn clamp(self, min: Self, max: Self) -> Self
[src]
clamp
)Restrict a value to a certain interval. Read more
impl Default for Span
[src]
impl From<Position> for Span
[src]
impl PartialOrd<Span> for Span
[src]
fn partial_cmp(&self, other: &Span) -> Option<Ordering>
[src]
#[must_use]
fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than (for self
and other
) and is used by the <
operator. Read more
#[must_use]
fn le(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
#[must_use]
fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
#[must_use]
fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl PartialEq<Span> for Span
[src]
impl Copy for Span
[src]
impl Eq for Span
[src]
impl Display for Span
[src]
impl Debug for Span
[src]
impl Hash for Span
[src]
Auto Trait Implementations
impl Sync for Span
impl Send for Span
impl Unpin for Span
impl RefUnwindSafe for Span
impl UnwindSafe for Span
Blanket Implementations
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,