pub struct CaseId<K> { /* private fields */ }Expand description
Identifies a case in a case-centric (XES-style) log.
CaseId and TraceId are intentionally distinct: CaseId names
the case attribute as parsed from an external format (e.g. XES
concept:name), while TraceId names a structural trace position
within an already-admitted crate::eventlog::EventLog. Mixing them is
a compile error, not a naming convention.
Zero-cost #[repr(transparent)] wrapper carrying a PhantomData<K>
kind marker. Structure-only: it names an entity, it does not resolve
or validate the link. Graduate to wasm4pm to dereference it.
Implementations§
Source§impl<K> CaseId<K>
impl<K> CaseId<K>
Trait Implementations§
impl<K> Copy for CaseId<K>
Source§impl<K> Display for CaseId<K>
Displays the raw numeric value prefixed by the type name, e.g. EventId(7).
impl<K> Display for CaseId<K>
Displays the raw numeric value prefixed by the type name, e.g. EventId(7).
impl<K> Eq for CaseId<K>
Source§impl<K> FromStr for CaseId<K>
impl<K> FromStr for CaseId<K>
Source§impl<K> NewFromRaw for CaseId<K>
impl<K> NewFromRaw for CaseId<K>
Source§type Raw = u64
type Raw = u64
The underlying raw primitive (same as
TypedId::Raw).Source§fn new_from_raw(raw: u64) -> Self
fn new_from_raw(raw: u64) -> Self
Constructs
Self from a raw primitive. Identical to the concrete new fn.Source§impl<K> Ord for CaseId<K>
impl<K> Ord for CaseId<K>
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Auto Trait Implementations§
impl<K> Freeze for CaseId<K>
impl<K> RefUnwindSafe for CaseId<K>where
K: RefUnwindSafe,
impl<K> Send for CaseId<K>where
K: Send,
impl<K> Sync for CaseId<K>where
K: Sync,
impl<K> Unpin for CaseId<K>where
K: Unpin,
impl<K> UnsafeUnpin for CaseId<K>
impl<K> UnwindSafe for CaseId<K>where
K: UnwindSafe,
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