Struct PolicyRule 

pub struct PolicyRule {
    pub effects: BTreeSet<&'static str>,
    pub scope: Option<String>,
    pub unknown_classes: BTreeSet<ReasonClass>,
    pub net_classes: BTreeSet<String>,
    pub raw: String,
}

One deny <Effect…> [scope] / pure <scope> rule (AS-EFF-006). effects empty ⇒ a pure rule (ANY effect forbidden). scope is a path segment-scope the rule applies to (None = whole unit).

Fields

effects: BTreeSet<&'static str>

scope: Option<String>

unknown_classes: BTreeSet<ReasonClass>

Reason-class filter on an Unknown membership (REASON-SCOPED-UNKNOWN-DESIGN.md): empty ⇒ Unknown[*] (any reason — the bare form); non-empty ⇒ the Unknown hit fires ONLY for a fn whose (transitive) reason classes include one of these. Ignored when effects doesn’t contain Unknown.

net_classes: BTreeSet<String>

Destination-class filter on a Net membership (NET-DESTINATION-CLASS-DESIGN.md): empty ⇒ Net[*] (any destination — the bare form); non-empty ⇒ the Net hit fires ONLY for a fn whose (transitive) destination classes include one of these. Ignored when effects doesn’t contain Net.

raw: String

Trait Implementations

impl Clone for PolicyRule

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 PolicyRule

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

Formats the value using the given formatter.