Struct AutoSession 

pub struct AutoSession {
    pub vehicle: VehicleId,
    pub brand: BrandCaps,
    pub transport: TransportPlacement,
    pub grants: Vec<CapabilityName>,
}

Session state carried by automotive diagnostic fabrics.

Fields

vehicle: VehicleId

Modeled vehicle identity.

brand: BrandCaps

Brand or workshop capability profile.

transport: TransportPlacement

Placement that answers diagnostic requests.

grants: Vec<CapabilityName>

Capabilities granted to this session before caller-side narrowing.

Implementations

impl AutoSession

pub fn new( vehicle: VehicleId, brand: BrandCaps, transport: TransportPlacement, grants: Vec<CapabilityName>, ) -> Self

Builds a session with explicit placement and grants.

pub fn modeled( vehicle: VehicleId, brand: BrandCaps, grants: Vec<CapabilityName>, ) -> Self

Builds a modeled session for a synthetic vehicle.

pub fn with_transport(self, transport: TransportPlacement) -> Self

Returns a copy of this session with a different placement.

pub fn has_grant(&self, capability: &CapabilityName) -> bool

Returns whether the session holds capability before caller narrowing.

pub fn diminished_grants(&self, allowed: &[CapabilityName]) -> CapabilitySet

Intersects the session grants with caller-allowed capabilities.

Trait Implementations

impl Clone for AutoSession

fn clone(&self) -> AutoSession

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AutoSession

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

Formats the value using the given formatter.

impl Eq for AutoSession

impl PartialEq for AutoSession

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AutoSession