Enum TermPos 

pub enum TermPos {
    Original(RawSpan),
    Inherited(RawSpan),
    None,
}

The position span of a term.

Variants

Original(RawSpan)

The term exactly corresponds to an original expression in the source, or is a construct introduced by program transformation that corresponds to an original span in the source.

Inherited(RawSpan)

The term is the result of the evaluation of an original expression in the source.

None

The term couldn’t be assigned a position (usually generated during execution or program transformations).

Implementations

impl TermPos

pub fn map<F: FnOnce(RawSpan) -> RawSpan>(self, f: F) -> Self

Apply a transformation to the inner position, if any.

pub fn as_opt_ref(&self) -> Option<&RawSpan>

pub fn into_opt(self) -> Option<RawSpan>

pub fn src_id(&self) -> Option<FileId>

Returns the file id associated to this position, if the position is defined, or None otherwise.

pub fn or(self, other: Self) -> Self

Return self if self not Self::None, or other otherwise.

pub fn xor(self, other: Self) -> Self

Return either self or other if and only if exactly one of them is defined. If both are None or both are defined, None is returned.

pub fn is_def(&self) -> bool

Determine is the position is defined. Return false if it is None, and true otherwise.

pub fn unwrap(self) -> RawSpan

Try to unwrap the underlying span. Panic if self is None.

pub fn into_inherited(self) -> Self

Try to set the position to inherited, if it wasn’t already. If self was None, None is returned.

pub fn contains(&self, pos: RawPos) -> bool

Check whether this span contains a position.

pub fn fuse(self, other: Self) -> Self

Fuse two positions if they are from the same source file.

• If both positions are defined and from the same file, the resulting position is the smallest span that contain both.
• If both positions are defined but aren’t from the same file, this returns TermPos::None
• If at most one position is defined, the other is returned (whether defined or not).

Trait Implementations

impl Clone for TermPos

fn clone(&self) -> TermPos

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TermPos

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

Formats the value using the given formatter.

impl Default for TermPos

fn default() -> TermPos

Returns the “default value” for a type.

impl From<Option<RawSpan>> for TermPos

fn from(value: Option<RawSpan>) -> Self

Converts to this type from the input type.

impl From<RawSpan> for TermPos

fn from(span: RawSpan) -> Self

Converts to this type from the input type.

impl Hash for TermPos

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 TermPos

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TermPos

impl Eq for TermPos

impl StructuralPartialEq for TermPos