Enum Scope 

pub enum Scope {
    Paths(Vec<PathBuf>),
    Anything,
}

What a footprint names: these paths (absolute; a directory covers what is under it), or anything at all. A guard compares paths as they are, so a host makes a footprint normalized before any guard sees it; the rig kernel does so for every tool call.

Normalizing folds . and .. by the text alone and follows no link, so a tool declares canonical paths: the files it will open once links are resolved, as rig-tools’ file tools do through their workspace’s canonical. A guard that must not be fooled by a link a tool did not resolve canonicalizes the paths it compares itself.

Variants

Paths(Vec<PathBuf>)

These files and directories, canonical and absolute.

Anything

Anything at all.

Implementations

impl Scope

pub fn overlaps(&self, other: &Scope) -> bool

Whether the two name something in common: a path is, or is under, a path of the other, compared component by component; Anything meets everything.

pub fn normalized(self) -> Scope

The scope with each path’s . and .. folded away, by the path’s text alone, so /work/src/../../etc names /etc, as a guard comparing paths must see it. A relative path names no place a guard can check, so a scope with one is Anything.

Trait Implementations

impl Clone for Scope

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Scope

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Scope

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Scope

impl PartialEq for Scope

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Scope

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Scope