[][src]Struct swc_common::Span

pub struct Span { /* fields omitted */ }

A compressed span.

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. script-servo is the largest crate in rustc-perf, requiring 26 bits for some spans.
  • 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 number of bits for len are 0--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 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 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 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]

Return true if self fully encloses other.

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 to(self, end: Span) -> Span[src]

Return a Span that would enclose both self and end.

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

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

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

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

pub fn from_inner_byte_pos(self, start: usize, end: usize) -> Span[src]

pub fn apply_mark(self, mark: Mark) -> Span[src]

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

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

pub fn glob_adjust(
    &mut self,
    expansion: Mark,
    glob_ctxt: SyntaxContext
) -> Option<Option<Mark>>
[src]

pub fn reverse_glob_adjust(
    &mut self,
    expansion: Mark,
    glob_ctxt: SyntaxContext
) -> Option<Option<Mark>>
[src]

Trait Implementations

impl Clone for Span[src]

impl Copy for Span[src]

impl Debug for Span[src]

impl Default for Span[src]

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

impl Eq for Span[src]

impl From<Span> for MultiSpan[src]

impl Hash for Span[src]

impl Ord for Span[src]

impl PartialEq<Span> for Span[src]

impl PartialOrd<Span> for Span[src]

impl Serialize for Span[src]

impl Spanned for Span[src]

impl StructuralEq for Span[src]

impl StructuralPartialEq for Span[src]

Auto Trait Implementations

impl RefUnwindSafe for Span

impl Send for Span

impl Sync for Span

impl Unpin for Span

impl UnwindSafe for Span

Blanket Implementations

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

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

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

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

impl<T> Erased for T

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

impl<T, U> Into<U> for T where
    U: From<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.