Skip to main content

AgentGuard

Struct AgentGuard 

Source
pub struct AgentGuard { /* private fields */ }

Implementations§

Source§

impl AgentGuard

Source

pub fn from_contract(contract: &Value) -> Self

Source

pub fn set_negative_capabilities(&mut self, caps: Vec<NegativeCapability>)

Replace the negative capability list (e.g. on policy reload).

Source

pub fn set_enforcement_level(&mut self, level: EnforcementLevel)

Replace the enforcement level (e.g. when shadow-mode toggles).

Source

pub fn enforcement_level(&self) -> EnforcementLevel

Source

pub fn set_event_listener<F>(&mut self, f: F)
where F: Fn(&GuardEventStub) + Send + Sync + 'static,

Source

pub fn actions(&self) -> impl Iterator<Item = &IndexedAction>

Every action declared in the bound contract, keyed by action name. Callers use this to present contract contents in UIs or to enumerate which actions exist before invoking the guard.

Source

pub fn action_by_name(&self, name: &str) -> Option<&IndexedAction>

Source

pub fn forbidden_actions(&self) -> impl Iterator<Item = (&String, &String)>

Source

pub fn target_sets(&self) -> impl Iterator<Item = (&String, &Vec<String>)>

Source

pub fn check(&self, query: &GuardQuery) -> GuardDecision

Source

pub fn check_raw(&self, query: &GuardQuery) -> GuardDecision

Run the rule logic without applying the EnforcementLevel filter.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

Source§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

Source§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

Source§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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 more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V