sdml_core::model::identifiers

Enum IdentifierReference

pub enum IdentifierReference {
    Identifier(Identifier),
    QualifiedIdentifier(QualifiedIdentifier),
}

Expand description

Corresponds the grammar rule identifier_reference.

Variants§

Identifier(Identifier)

QualifiedIdentifier(QualifiedIdentifier)

Implementations§

impl IdentifierReference

pub const fn is_identifier(&self) -> bool

pub const fn as_identifier(&self) -> Option<&Identifier>

pub const fn is_qualified_identifier(&self) -> bool

pub const fn as_qualified_identifier(&self) -> Option<&QualifiedIdentifier>

pub const fn module(&self) -> Option<&Identifier>

pub const fn member(&self) -> &Identifier

pub fn validate(&self, top: &Module, loader: &impl ModuleLoader)

pub fn eq_with_span(&self, other: &Self) -> bool

impl IdentifierReference

pub fn into_type_reference(self) -> TypeReference

Trait Implementations§

impl Clone for IdentifierReference

fn clone(&self) -> IdentifierReference

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for IdentifierReference

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for IdentifierReference

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl Display for IdentifierReference

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

Formats the value using the given formatter. Read more

impl From<&Identifier> for IdentifierReference

fn from(v: &Identifier) -> Self

Converts to this type from the input type.

impl From<&IdentifierReference> for FunctionTypeReference

fn from(value: &IdentifierReference) -> Self

Converts to this type from the input type.

impl From<&IdentifierReference> for SequenceMember

fn from(value: &IdentifierReference) -> Self

Converts to this type from the input type.

impl From<&IdentifierReference> for SourceEntity

fn from(value: &IdentifierReference) -> Self

Converts to this type from the input type.

impl From<&IdentifierReference> for String

fn from(value: &IdentifierReference) -> Self

Converts to this type from the input type.

impl From<&IdentifierReference> for TypeReference

fn from(value: &IdentifierReference) -> Self

Converts to this type from the input type.

impl From<&IdentifierReference> for Value

fn from(value: &IdentifierReference) -> Self

Converts to this type from the input type.

impl From<&QualifiedIdentifier> for IdentifierReference

fn from(v: &QualifiedIdentifier) -> Self

Converts to this type from the input type.

impl From<Identifier> for IdentifierReference

fn from(v: Identifier) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for FunctionBody

fn from(value: IdentifierReference) -> FunctionBody

Converts to this type from the input type.

impl From<IdentifierReference> for FunctionTypeReference

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for MemberKind

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for PredicateSequenceMember

fn from(v: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for SequenceMember

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for SourceEntity

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for String

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for Term

fn from(v: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for TypeReference

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for Value

fn from(value: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<QualifiedIdentifier> for IdentifierReference

fn from(v: QualifiedIdentifier) -> Self

Converts to this type from the input type.

impl FromStr for IdentifierReference

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type. Read more

impl HasSourceSpan for IdentifierReference

fn with_source_span(self, span: Span) -> Self

fn source_span(&self) -> Option<&Span>

fn set_source_span(&mut self, span: Span)

fn unset_source_span(&mut self)

fn has_source_span(&self) -> bool

impl Hash for IdentifierReference

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher. Read more

1.3.0 · Source§

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

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

impl Ord for IdentifierReference

fn cmp(&self, other: &Self) -> Ordering

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

1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more

1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more

1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more

impl PartialEq<str> for IdentifierReference

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

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

1.0.0 · Source§

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 PartialEq for IdentifierReference

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

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

1.0.0 · Source§

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 PartialOrd for IdentifierReference

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

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

1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · Source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl Serialize for IdentifierReference

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl Eq for IdentifierReference

Auto Trait Implementations§

impl Freeze for IdentifierReference

impl RefUnwindSafe for IdentifierReference

impl Send for IdentifierReference

impl Sync for IdentifierReference

impl Unpin for IdentifierReference

impl UnwindSafe for IdentifierReference

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> AnyEq for T
where T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

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> Instrument for T

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

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

fn in_current_span(self) -> Instrumented<Self>

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

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> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

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.

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

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

impl<T> ErasedDestructor for T
where T: 'static,