pub struct RecursionGuard<K: Hash + Eq> { /* private fields */ }Expand description
A reusable guard that tracks recursion depth and detects cycles.
Use this in any recursive parser function to enforce the ADR 0004
recursion depth limit (50 levels) and optionally detect circular
references via a visited set keyed by K.
For depth-only tracking (no cycle detection), use RecursionGuard<()>
— the unit type implements Hash + Eq as a singleton, so the visited
set never grows and enter/leave are cheap no-ops.
§Type Parameters
K— The key type for cycle detection (e.g.,usizefor package indices,Stringfor dependency names,PathBuffor file paths, or()for depth-only tracking).
§Examples
use provenant::parsers::utils::RecursionGuard;
fn walk_tree(idx: usize, guard: &mut RecursionGuard<usize>) {
if guard.exceeded() { return; }
if guard.enter(idx) { return; } // cycle detected
// ... recurse into children ...
walk_tree(idx + 1, guard);
guard.leave(idx);
}Implementations§
Source§impl<K: Hash + Eq> RecursionGuard<K>
impl<K: Hash + Eq> RecursionGuard<K>
Trait Implementations§
Auto Trait Implementations§
impl<K> Freeze for RecursionGuard<K>
impl<K> RefUnwindSafe for RecursionGuard<K>where
K: RefUnwindSafe,
impl<K> Send for RecursionGuard<K>where
K: Send,
impl<K> Sync for RecursionGuard<K>where
K: Sync,
impl<K> Unpin for RecursionGuard<K>where
K: Unpin,
impl<K> UnsafeUnpin for RecursionGuard<K>
impl<K> UnwindSafe for RecursionGuard<K>where
K: UnwindSafe,
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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> 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 moreSource§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out indicating that a T is niched.Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<U, T> ToOwnedObj<U> for Twhere
U: FromObjRef<T>,
impl<U, T> ToOwnedObj<U> for Twhere
U: FromObjRef<T>,
Source§fn to_owned_obj(&self, data: FontData<'_>) -> U
fn to_owned_obj(&self, data: FontData<'_>) -> U
Convert this type into
T, using the provided data to resolve any offsets.