Skip to main content

OccurrenceOrigin

adam_lang::composition

Struct OccurrenceOrigin

pub struct OccurrenceOrigin {
    pub id: OccurrenceId,
    pub parent: Option<OccurrenceId>,
    pub template: TemplateId,
    pub inclusion_site: Option<RelationshipSlot>,
    pub label: SourceLabel,
    pub authored: Rc<[AuthoredItem]>,
    pub conditionals: Vec<ConditionalId>,
}

Expand description

Retains one occurrence using parent links, never copied full invocation paths.

Identities retain no recipe edges. See TypedTemplate::instantiate.

Fields§

§id: OccurrenceId

Identifies this live occurrence.

§parent: Option<OccurrenceId>

Identifies its immediate parent, or None for a root invocation.

§template: TemplateId

Identifies its immutable definition.

§inclusion_site: Option<RelationshipSlot>

Identifies the local inclusion group in the parent.

§label: SourceLabel

Retains a real definition location, or a span-free native label.

§authored: Rc<[AuthoredItem]>

Retains authored local metadata, independent of definition owners.

§conditionals: Vec<ConditionalId>

Maps authored conditional ordinals to their live execution identities.

Implementations§

impl OccurrenceOrigin

pub fn authored_items(&self) -> &[AuthoredItem]

Borrows authored items, including original method ordinals and invocation sites.

§Examples

See TypedTemplate::instantiate.

Trait Implementations§

impl Clone for OccurrenceOrigin

fn clone(&self) -> Self

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for OccurrenceOrigin

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl !Send for OccurrenceOrigin

impl !Sync for OccurrenceOrigin

impl Freeze for OccurrenceOrigin

impl RefUnwindSafe for OccurrenceOrigin

impl Unpin for OccurrenceOrigin

impl UnsafeUnpin for OccurrenceOrigin

impl UnwindSafe for OccurrenceOrigin

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

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

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

fn clone_into(&self, target: &mut T)

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

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = !

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, !>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

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

Performs the conversion.