Struct Account 

pub struct Account {
    pub host_io: HostIo,
    pub identities: Identities,
    pub identify: Option<Identify>,
    pub places: Places,
    pub receipts: Option<PathBuf>,
    pub steps: Option<Arc<AtomicU64>>,
}

The account a run gives of itself besides its value, filled while it runs and read after it ends, whether it returned or raised.

Fields

host_io: HostIo

Host calls through granted host names, per process.

identities: Identities

Each definition’s def_hash, and the run’s under receipt::RUN.

identify: Option<Identify>

How the identities are computed from the program, once it is lowered. Without one, no trace or receipt names a def_hash, and no trace names the file, line and column of a breaching call.

places: Places

Each definition’s file, read from the program when it identifies.

receipts: Option<PathBuf>

Where each held process writes its receipt; none are written without.

steps: Option<Arc<AtomicU64>>

Implementations

impl Account

pub fn defer_identities( &self, program: &ResolvedProgram, lowered: Arc<Vec<Spanned>>, main: Option<String>, ) -> bool

Name program’s definitions in this account’s identities, computed by its identify from the lowered tree when first asked, with the entry’s main under receipt::RUN. false, and nothing deferred, for an account that does not identify.

Trait Implementations

impl Clone for Account

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for Account

fn default() -> Self

Returns the “default value” for a type.