Struct DenyOracle 

pub struct DenyOracle { /* private fields */ }

The one deny resolver — the glob dialect plus the two rules that extend it — shared verbatim by the path-check command and by the enumeration that computes S(D).

Sharing the globset library was never enough: the oracle also applied a literal-base directory-prefix rule and a malformed-entry fallback that the enumerator did not have, so the module’s claim of “one dialect, one implementation” was true of the library and false of the resolution rules. A path could be denied at the hook and still counted in the denominator. One type now answers both.

Implementations

impl DenyOracle

pub fn new(deny_paths: &[String]) -> Self

Compile a deny list once. Empty entries are dropped.

pub fn is_empty(&self) -> bool

Whether this list denies nothing (default-open).

pub fn matched_entry(&self, rel: &str) -> Option<&str>

The first entry (declaration order) denying rel — a /-separated workspace-relative path — or None.

pub fn is_denied(&self, rel: &str) -> bool

Whether rel is denied.

Trait Implementations

impl Debug for DenyOracle

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

Formats the value using the given formatter.

impl Default for DenyOracle

fn default() -> DenyOracle

Returns the “default value” for a type.