Struct Activity 

pub struct Activity<'s> { /* private fields */ }

Runtime-only branded Activity wrapper — used at submit-site for compile-time shell isolation (C1 contract).

Implementations

impl<'s> Activity<'s>

pub fn new(brand: ShellBrand<'s>, inner: ActivityRecord) -> Self

Construct a branded Activity<'s>. Caller supplies the ShellBrand obtained from ShellBrand::run — the brand’s invariant lifetime keeps this primitive from leaking across shells at the type level.

pub fn inner(&self) -> &ActivityRecord

Borrow the underlying storage-safe record.

pub fn brand(&self) -> ShellBrand<'s>

Shell brand of this Activity.

Trait Implementations

impl<'s> Clone for Activity<'s>

fn clone(&self) -> Activity<'s>

Returns a duplicate of the value.

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

Performs copy-assignment from source.