[][src]Struct syntex_syntax2::codemap::Span

pub struct Span {
    pub lo: BytePos,
    pub hi: BytePos,
    pub ctxt: SyntaxContext,
}

Spans represent a region of code, used for error reporting. Positions in spans are absolute positions from the beginning of the codemap, not positions relative to FileMaps. Methods on the CodeMap can be used to relate spans back to the original source. You must be careful if the span crosses more than one file - you will not be able to use many of the functions on spans in codemap and you cannot assume that the length of the span = hi - lo; there may be space in the BytePos range between files.

Fields

lo: BytePoshi: BytePosctxt: SyntaxContext

Information about where the macro came from, if this piece of code was created by a macro expansion.

Methods

impl Span[src]

pub fn end_point(self) -> Span[src]

Returns a new span representing just the end-point of this span

pub fn next_point(self) -> Span[src]

Returns a new span representing the next character after the end-point of this span

pub fn substitute_dummy(self, other: Span) -> Span[src]

Returns self if self is not the dummy span, and other otherwise.

pub fn contains(self, other: Span) -> bool[src]

pub fn source_equal(&self, other: &Span) -> bool[src]

Return true if the spans are equal with regards to the source text.

Use this instead of == when either span could be generated code, and you only care that they point to the same bytes of source text.

pub fn trim_start(self, other: Span) -> Option<Span>[src]

Returns Some(span), where the start is trimmed by the end of other

pub fn source_callsite(self) -> Span[src]

Return the source span - this is either the supplied span, or the span for the macro callsite that expanded to it.

pub fn source_callee(self) -> Option<NameAndSpan>[src]

Return the source callee.

Returns None if the supplied span has no expansion trace, else returns the NameAndSpan for the macro definition corresponding to the source callsite.

pub fn allows_unstable(&self) -> bool[src]

Check if a span is "internal" to a macro in which #[unstable] items can be used (that is, a macro marked with #[allow_internal_unstable]).

pub fn macro_backtrace(self) -> Vec<MacroBacktrace>[src]

pub fn to(self, end: Span) -> Span[src]

pub fn between(self, end: Span) -> Span[src]

pub fn until(self, end: Span) -> Span[src]

Trait Implementations

impl Eq for Span[src]

impl Copy for Span[src]

impl Ord for Span[src]

fn max(self, other: Self) -> Self1.21.0[src]

Compares and returns the maximum of two values. Read more

fn min(self, other: Self) -> Self1.21.0[src]

Compares and returns the minimum of two values. Read more

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

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval. Read more

impl Clone for Span[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl PartialEq<Span> for Span[src]

impl From<Span> for MultiSpan[src]

impl Debug for Span[src]

impl Hash for Span[src]

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

Feeds a slice of this type into the given [Hasher]. Read more

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

impl PartialOrd<Span> for Span[src]

impl Serialize for Span[src]

Auto Trait Implementations

impl Sync for Span

impl Unpin for Span

impl Send for Span

impl RefUnwindSafe for Span

impl UnwindSafe for Span

Blanket Implementations

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

impl<T> From<T> for 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.

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

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

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

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