Struct rustc_ap_rustc_span::Span[][src]

pub struct Span { /* fields omitted */ }
Expand description

A compressed span.

Whereas SpanData is 12 bytes, which is a bit too big to stick everywhere, Span is a form that only takes up 8 bytes, with less space for the length and context. The vast majority (99.9%+) of SpanData instances will fit within those 8 bytes; any SpanData whose fields don’t fit into a Span are stored in a separate interner table, and the Span will index into that table. Interning is rare enough that the cost is low, but common enough that the code is exercised regularly.

An earlier version of this code used only 4 bytes for Span, but that was slower because only 80–90% of spans could be stored inline (even less in very large crates) and so the interner was used a lot more.

Inline (compressed) format:

  • span.base_or_index == span_data.lo
  • span.len_or_tag == len == span_data.hi - span_data.lo (must be <= MAX_LEN)
  • span.ctxt == span_data.ctxt (must be <= MAX_CTXT)

Interned format:

  • span.base_or_index == index (indexes into the interner table)
  • span.len_or_tag == LEN_TAG (high bit set, all other bits are zero)
  • span.ctxt == 0

The inline form uses 0 for the tag value (rather than 1) so that we don’t need to mask out the tag bit when getting the length, and so that the dummy span can be all zeroes.

Notes about the choice of field sizes:

  • base is 32 bits in both Span and SpanData, which means that base values never cause interning. The number of bits needed for base depends on the crate size. 32 bits allows up to 4 GiB of code in a crate.
  • len is 15 bits in Span (a u16, minus 1 bit for the tag) and 32 bits in SpanData, which means that large len values will cause interning. The number of bits needed for len does not depend on the crate size. The most common numbers of bits for len are from 0 to 7, with a peak usually at 3 or 4, and then it drops off quickly from 8 onwards. 15 bits is enough for 99.99%+ of cases, but larger values (sometimes 20+ bits) might occur dozens of times in a typical crate.
  • ctxt is 16 bits in Span and 32 bits in SpanData, which means that large ctxt values will cause interning. The number of bits needed for ctxt values depend partly on the crate size and partly on the form of the code. No crates in rustc-perf need more than 15 bits for ctxt, but larger crates might need more than 16 bits.

Implementations

impl Span[src]

pub fn fresh_expansion(self, expn_data: ExpnData) -> Span[src]

Creates a fresh expansion with given properties. Expansions are normally created by macros, but in some cases expansions are created for other compiler-generated code to set per-span properties like allowed unstable features. The returned span belongs to the created expansion and has the new properties, but its location is inherited from the current span.

pub fn fresh_expansion_with_transparency(
    self,
    expn_data: ExpnData,
    transparency: Transparency
) -> Span
[src]

pub fn mark_with_reason(
    self,
    allow_internal_unstable: Option<Lrc<[Symbol]>>,
    reason: DesugaringKind,
    edition: Edition
) -> Span
[src]

Reuses the span but adds information like the kind of the desugaring and features that are allowed inside this span.

impl Span[src]

pub fn new(lo: BytePos, hi: BytePos, ctxt: SyntaxContext) -> Self[src]

pub fn data(self) -> SpanData[src]

impl Span[src]

pub fn lo(self) -> BytePos[src]

pub fn with_lo(self, lo: BytePos) -> Span[src]

pub fn hi(self) -> BytePos[src]

pub fn with_hi(self, hi: BytePos) -> Span[src]

pub fn ctxt(self) -> SyntaxContext[src]

pub fn with_ctxt(self, ctxt: SyntaxContext) -> Span[src]

pub fn is_dummy(self) -> bool[src]

Returns true if this is a dummy span with any hygienic context.

pub fn from_expansion(self) -> bool[src]

Returns true if this span comes from a macro or desugaring.

pub fn in_derive_expansion(self) -> bool[src]

Returns true if span originates in a derive-macro’s expansion.

pub fn with_root_ctxt(lo: BytePos, hi: BytePos) -> Span[src]

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

Returns a new span representing an empty span at the beginning of this span.

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

Returns a new span representing an empty span at the end of this span.

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

Returns true if hi == lo.

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]

Returns true if self fully encloses other.

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

Returns true if self touches other.

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

Returns 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]

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

pub fn parent(self) -> Option<Span>[src]

The Span for the tokens in the previous macro expansion from which self was generated, if any.

pub fn edition(self) -> Edition[src]

Edition of the crate from which this span came.

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

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

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

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

Returns the source callee.

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

pub fn allows_unstable(&self, feature: Symbol) -> bool[src]

Checks 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 is_desugaring(&self, kind: DesugaringKind) -> bool[src]

Checks if this span arises from a compiler desugaring of kind kind.

pub fn desugaring_kind(&self) -> Option<DesugaringKind>[src]

Returns the compiler desugaring that created this span, or None if this span is not from a desugaring.

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

Checks if a span is “internal” to a macro in which unsafe can be used without triggering the unsafe_code lint.

pub fn macro_backtrace(self) -> impl Iterator<Item = ExpnData>[src]

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

Returns a Span that would enclose both self and end.

    ____             ___
    self lorem ipsum end
    ^^^^^^^^^^^^^^^^^^^^

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

Returns a Span between the end of self to the beginning of end.

    ____             ___
    self lorem ipsum end
        ^^^^^^^^^^^^^

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

Returns a Span from the beginning of self until the beginning of end.

    ____             ___
    self lorem ipsum end
    ^^^^^^^^^^^^^^^^^

pub fn from_inner(self, inner: InnerSpan) -> Span[src]

pub fn with_def_site_ctxt(self, expn_id: ExpnId) -> Span[src]

Equivalent of Span::def_site from the proc macro API, except that the location is taken from the self span.

pub fn with_call_site_ctxt(&self, expn_id: ExpnId) -> Span[src]

Equivalent of Span::call_site from the proc macro API, except that the location is taken from the self span.

pub fn with_mixed_site_ctxt(&self, expn_id: ExpnId) -> Span[src]

Equivalent of Span::mixed_site from the proc macro API, except that the location is taken from the self span.

pub fn with_ctxt_from_mark(
    self,
    expn_id: ExpnId,
    transparency: Transparency
) -> Span
[src]

Produces a span with the same location as self and context produced by a macro with the given ID and transparency, assuming that macro was defined directly and not produced by some other macro (which is the case for built-in and procedural macros).

pub fn apply_mark(self, expn_id: ExpnId, transparency: Transparency) -> Span[src]

pub fn remove_mark(&mut self) -> ExpnId[src]

pub fn adjust(&mut self, expn_id: ExpnId) -> Option<ExpnId>[src]

pub fn normalize_to_macros_2_0_and_adjust(
    &mut self,
    expn_id: ExpnId
) -> Option<ExpnId>
[src]

pub fn glob_adjust(
    &mut self,
    expn_id: ExpnId,
    glob_span: Span
) -> Option<Option<ExpnId>>
[src]

pub fn reverse_glob_adjust(
    &mut self,
    expn_id: ExpnId,
    glob_span: Span
) -> Option<Option<ExpnId>>
[src]

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

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

Trait Implementations

impl Clone for Span[src]

fn clone(&self) -> Span[src]

Returns a copy of the value. Read more

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

Performs copy-assignment from source. Read more

impl Debug for Span[src]

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

Formats the value using the given formatter. Read more

impl<D: Decoder> Decodable<D> for Span[src]

default fn decode(s: &mut D) -> Result<Span, D::Error>[src]

impl Default for Span[src]

fn default() -> Self[src]

Returns the “default value” for a type. Read more

impl<E: Encoder> Encodable<E> for Span[src]

default fn encode(&self, s: &mut E) -> Result<(), E::Error>[src]

impl From<Span> for MultiSpan[src]

fn from(span: Span) -> MultiSpan[src]

Performs the conversion.

impl Hash for Span[src]

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

Feeds this value into the given Hasher. Read more

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<CTX> HashStable<CTX> for Span where
    CTX: HashStableContext
[src]

fn hash_stable(&self, ctx: &mut CTX, hasher: &mut StableHasher)[src]

Hashes a span in a stable way. We can’t directly hash the span’s BytePos fields (that would be similar to hashing pointers, since those are just offsets into the SourceMap). Instead, we hash the (file name, line, column) triple, which stays the same even if the containing SourceFile has moved within the SourceMap.

Also note that we are hashing byte offsets for the column, not unicode codepoint offsets. For the purpose of the hash that’s sufficient. Also, hashing filenames is expensive so we avoid doing it twice when the span starts and ends in the same file, which is almost always the case.

impl Ord for Span[src]

fn cmp(&self, rhs: &Self) -> Ordering[src]

This method returns an Ordering between self and other. Read more

#[must_use]
fn max(self, other: Self) -> Self
1.21.0[src]

Compares and returns the maximum of two values. Read more

#[must_use]
fn min(self, other: Self) -> Self
1.21.0[src]

Compares and returns the minimum of two values. Read more

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

Restrict a value to a certain interval. Read more

impl PartialEq<Span> for Span[src]

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

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

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

This method tests for !=.

impl PartialOrd<Span> for Span[src]

fn partial_cmp(&self, rhs: &Self) -> Option<Ordering>[src]

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

#[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 Copy for Span[src]

impl Eq for Span[src]

impl !Send for Span[src]

impl StructuralEq for Span[src]

impl StructuralPartialEq for Span[src]

impl !Sync for Span[src]

Auto Trait Implementations

impl RefUnwindSafe for Span

impl Unpin for Span

impl UnwindSafe for Span

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

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

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

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

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

pub fn equivalent(&self, key: &K) -> bool[src]

Compare self to key and return true if they are equal.

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T> Instrument for T[src]

fn instrument(self, span: Span) -> Instrumented<Self>[src]

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>[src]

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

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

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T[src]

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)[src]

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

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

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.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

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.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

pub fn vzip(self) -> V

impl<'a, T> Captures<'a> for T where
    T: ?Sized
[src]

impl<T> Erased for T[src]