Enum Span 

pub enum Span {
    Whole(Origin),
    Builtin,
    Span {
        origin: Origin,
        begin: Location,
        end: Location,
    },
}

Track an interval between two locations in a source file.

Span tracks an interval in a source file, represented either as a pair of begin/end Location objects in the Span::Span variant, or as the Span::Whole variant that represents the entire source file under consideration.

All the components in formally try hard to preserve locations and spans across the board, in order to give users informative error messages even for errors originating quite far from the parsers.

This means that any type that can be created even indirectly by parsing something from the user should probably contain a Span and implement at least the Located trait, and maybe also Locatable.

Variants

Whole(Origin)

The Span represents the whole source file at the given Origin.

Builtin

The Span represents a built-in or primitive entity such as functions defined by SMT theories

Span

The Span represents the interval between begin (included) and end (excluded) at the given Origin.

Fields

origin: Origin

The origin of the span.

begin: Location

The starting position of the interval (included).

end: Location

The end of the interval (excluded).

Implementations

impl Span

pub fn new() -> Span

Creates a default Span, i.e. Span::Whole(Origin::Unknown)

Trait Implementations

impl Clone for Span

fn clone(&self) -> Self

Returns a duplicate 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() -> Self

The default Span is Span::Whole(Origin::Unknown)

impl Display for Span

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

Formats the value using the given formatter.

impl Eq for Span

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 PartialEq for Span

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Span