Struct UnitTable 

pub struct UnitTable {

    pub kind: Option<UnitKind>,
    pub types: HashMap<String, Arc<TypeDecl>>,
    pub fns: HashMap<String, Arc<FnDecl>>,
    pub methods: HashMap<String, MethodTable>,
    pub capabilities: HashMap<String, CapabilityDecl>,
    pub providers: HashMap<String, ProviderDecl>,
    pub services: HashMap<String, ServiceDecl>,
    pub agents: HashMap<String, AgentDecl>,
    pub removed_agents: Vec<RemovedAgentDecl>,
    pub actors: HashMap<String, ActorDecl>,
    pub exported_capabilities: HashSet<String>,
    pub events: HashMap<String, EventDecl>,
    pub assets: HashMap<String, AssetDecl>,
    pub embeds: HashMap<String, EmbedDecl>,
    pub flattened_caps: HashMap<String, String>,
    pub derived: HashMap<String, DerivedInstance>,
}

Combined symbol tables for a single logical commons or context.

Fields

kind: Option<UnitKind>

types: HashMap<String, Arc<TypeDecl>>

fns: HashMap<String, Arc<FnDecl>>

methods: HashMap<String, MethodTable>

capabilities: HashMap<String, CapabilityDecl>

Per-context capabilities (v0.5). Empty for commons.

providers: HashMap<String, ProviderDecl>

Per-context providers (v0.5). One provider per capability in v0.5. Key: capability name. Value: provider declaration.

services: HashMap<String, ServiceDecl>

Per-context services (v0.5). Empty for commons.

agents: HashMap<String, AgentDecl>

Per-context agents (v0.5). Empty for commons.

removed_agents: Vec<RemovedAgentDecl>

State-migrations S3 (#2248): the context’s removed agent declarations, across its files.

actors: HashMap<String, ActorDecl>

v0.45: actors — boundary contracts consumed by handler by clauses.

exported_capabilities: HashSet<String>

v0.15: capability names this context offers to consumers via exports capability { … }. Empty for commons.

events: HashMap<String, EventDecl>

Events track, slice 0 (spine #936): event declarations. Each also registers into types (via EventDecl::as_type_decl) so ordinary type-reference/exports/consumes/construction machinery treats it like any other record type; this table is the separate “is name specifically an event” answer — owner-only emission and the from Events(E)/Events.emit[E] “must name a declared event, not just any type” checks key off it. Empty for commons/adapters (bynk.event.outside_context rejects it there).

assets: HashMap<String, AssetDecl>

#1883, slice 1a: asset declarations, by name — values of the built-in type Asset, local to this unit. A context or commons only (bynk.asset.outside_context_or_commons); a unit’s visible assets add those of the commons it uses (assets::compose_unit_assets).

embeds: HashMap<String, EmbedDecl>

#2387, slice 1: embed declarations, by name — String constants holding a project file’s text, local to this unit. A context or commons only (bynk.embed.outside_context_or_commons); a unit’s visible embeds add those of the commons it uses (embeds::compose_unit_embeds).

flattened_caps: HashMap<String, String>

#291: the capabilities this unit flattens in with consumes U { Cap }, each mapped to the unit providing it — phase_resolve_consumes’s per-unit answer, recorded by record_flattened_caps so a test body’s privileged view sees the target’s platform seams.

derived: HashMap<String, DerivedInstance>

S4a (#1966): the derived capabilities (capability Sessions = Kv) this context declares, by name, once resolved to their base by crate::project_model::phase_resolve_derived. Each is also in UnitTable::capabilities, with its base’s operations, so given, calls and test views treat it as an ordinary capability.

Trait Implementations

impl Clone for UnitTable

fn clone(&self) -> UnitTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for UnitTable

fn default() -> UnitTable

Returns the “default value” for a type.