Struct CrossContextInfo 

pub struct CrossContextInfo {
    pub self_context: Option<String>,
    pub consumed_contexts: Vec<String>,
    pub aliases: HashMap<String, String>,
    pub consumed_services: HashMap<String, HashMap<String, CrossContextService>>,
    pub consumed_types: HashMap<String, HashMap<String, TypeDecl>>,
    pub consumed_capabilities: HashMap<String, HashMap<String, CrossContextCapability>>,
    pub flattened_caps: HashMap<String, String>,
}

Static information about the consuming context: the set of contexts it consumes, and any aliases introduced via as Alias clauses. Used by the resolver to recognise cross-context service calls and by the checker to type them (v0.6 §4.2).

Fields

self_context: Option<String>

The qualified name of the consuming context, if this unit is a context.

consumed_contexts: Vec<String>

Qualified names of every consumed context.

aliases: HashMap<String, String>

alias → consumed-context qualified name.

consumed_services: HashMap<String, HashMap<String, CrossContextService>>

For each consumed context, its service surface plus the structural shapes of each service handler’s params and return type (as seen from the consumed context’s own namespace). Populated by the project driver; empty in single-file mode.

consumed_types: HashMap<String, HashMap<String, TypeDecl>>

For each consumed context, its full type table (the consumed context’s local types, plus the types it brings in via uses). Used by the checker for structural shape comparisons across the boundary (v0.6 §4.3).

consumed_capabilities: HashMap<String, HashMap<String, CrossContextCapability>>

v0.15: for each consumed context, the capabilities it exports capability { … } — keyed by capability name. Used to resolve and type-check given B.Cap references and B.Cap.op(…) calls, and by the emitter to instantiate the provider locally.

flattened_caps: HashMap<String, String>

v0.17: consumes U { Cap, … } flattens selected capabilities into the consumer’s local namespace under their bare names (§3.3). Maps each bare capability name to the consumed unit (context or adapter) providing it, so bare given Cap / Cap.op(…) resolve, the deps type imports from the right module, and compose instantiates the provider.

Implementations

impl CrossContextInfo

pub fn resolve_prefix(&self, prefix: &str) -> Option<String>

Returns the qualified name of the consumed context this prefix refers to, treating prefix as either an alias or a full qualified name.

pub fn resolve_cross_capability(&self, chain: &str) -> Option<(String, String)>

v0.15: resolve a dotted receiver chain like platform.time.Clock or Time.Clock to (consumed_context, capability) when the leading segments name a consumed context (or alias) that exports the trailing capability. Returns None if the chain is not a cross-context capability reference.

Trait Implementations

impl Clone for CrossContextInfo

fn clone(&self) -> CrossContextInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CrossContextInfo

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

Formats the value using the given formatter.

impl Default for CrossContextInfo

fn default() -> CrossContextInfo

Returns the “default value” for a type.