Struct LoadCx 

pub struct LoadCx { /* private fields */ }

The context a Lib sees while loading.

It exposes the object Factory, read access to the Registry, fresh stable-id allocation, capability checks, and symbol resolution against already-loaded exports. The kernel supplies this surface; the library uses it to wire its behavior in.

Implementations

impl LoadCx

pub fn factory(&self) -> &dyn Factory

The object factory available during load.

pub fn registry(&self) -> &Registry

Read access to the registry as loading proceeds.

pub fn fresh_class_id(&mut self) -> ClassId

Reserves a fresh stable class id.

pub fn fresh_function_id(&mut self) -> FunctionId

Reserves a fresh stable function id.

pub fn fresh_macro_id(&mut self) -> MacroId

Reserves a fresh stable macro id.

pub fn fresh_case_id(&mut self) -> CaseId

Reserves a fresh stable case id.

pub fn fresh_shape_id(&mut self) -> ShapeId

Reserves a fresh stable shape id.

pub fn fresh_codec_id(&mut self) -> CodecId

Reserves a fresh stable codec id.

pub fn fresh_number_domain_id(&mut self) -> NumberDomainId

Reserves a fresh stable number-domain id.

pub fn require(&self, capability: &CapabilityName) -> Result<()>

Checks that the given capability is granted, returning Error::CapabilityDenied otherwise.

pub fn resolve_class(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered class value by symbol.

pub fn resolve_function(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered function value by symbol.

pub fn resolve_macro(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered macro value by symbol.

pub fn resolve_shape(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered shape value by symbol.

pub fn resolve_codec(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered codec value by symbol.

pub fn resolve_number_domain(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered number-domain value by symbol.

pub fn resolve_value(&self, symbol: &Symbol) -> Result<Value>

Resolves an already-registered plain value by symbol.