Struct EffectiveFilesystemLowering 

pub struct EffectiveFilesystemLowering<'a> { /* private fields */ }

The complete filesystem constraint set required by one effective result.

Every layer returned by Self::layers is mandatory input to lowering. A backend must enforce the conjunction of all layers; treating one layer as an alternative policy would widen the effective result.

Implementations

impl<'a> EffectiveFilesystemLowering<'a>

pub fn layers( &self, ) -> impl ExactSizeIterator<Item = EffectiveFilesystemLayer<'a>> + '_

Returns every filesystem constraint layer that must be enforced.

The iterator always contains both composition inputs, including when one of them is unrestricted. It is intentionally the only way to inspect lowering rules, so callers receive the complete constraint set instead of choosing a requested or ceiling side through a public accessor.

pub const fn glob_scan_max_depth(&self) -> Option<NonZeroUsize>

Returns the conservative glob scan depth required by all layers.

Trait Implementations

impl<'a> Clone for EffectiveFilesystemLowering<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for EffectiveFilesystemLowering<'a>

impl<'a> Debug for EffectiveFilesystemLowering<'a>

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

Formats the value using the given formatter.