Struct IrAccessGrant 

pub struct IrAccessGrant {
    pub resource: String,
    pub operations: Vec<IrAccessGrantOp>,
}

A lowered turn-access grant: the granted operations narrow the turn’s effective authority on resource (modeled in models/maude/turn-access-grant.maude).

Fields

resource: String

operations: Vec<IrAccessGrantOp>

Trait Implementations

impl Clone for IrAccessGrant

fn clone(&self) -> IrAccessGrant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrAccessGrant

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

Formats the value using the given formatter.

impl Eq for IrAccessGrant

impl PartialEq for IrAccessGrant

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IrAccessGrant