pub struct Namespace { /* private fields */ }
Expand description
A namespace in which to resolve qualified labels as qualified names.
Implementations§
Source§impl Namespace
impl Namespace
Sourcepub fn new_for_text() -> Self
pub fn new_for_text() -> Self
Creates an empty namespace for text segments.
Sourcepub fn new_for_uuid() -> Self
pub fn new_for_uuid() -> Self
Creates an empty namespace for UUID segments.
Sourcepub fn add_inner(&mut self, name: NameSegment, inner: Self)
pub fn add_inner(&mut self, name: NameSegment, inner: Self)
Adds a new inner namespace.
Sourcepub fn set_label(&mut self, uuid: Uuid, label: LabelSegment)
pub fn set_label(&mut self, uuid: Uuid, label: LabelSegment)
Sets the label segment associated with a UUID.
Sourcepub fn label(&self, name: &QualifiedName) -> Option<QualifiedLabel>
pub fn label(&self, name: &QualifiedName) -> Option<QualifiedLabel>
Tries to get a human-readable label for a name.
Sourcepub fn name_with_label(&self, label: &QualifiedLabel) -> NameLookup
pub fn name_with_label(&self, label: &QualifiedLabel) -> NameLookup
Tries to get a name corresponding to a label.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Namespace
impl RefUnwindSafe for Namespace
impl Send for Namespace
impl Sync for Namespace
impl Unpin for Namespace
impl UnwindSafe for Namespace
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.