Struct ResolvedApi 

pub struct ResolvedApi { /* private fields */ }

A validated API whose type references can be resolved.

This is the input to BindingModel::build. The checked way to obtain one is validate_api. assume_valid exists for the #[weaveffi::module] proc-macro, which expands one module tree in isolation, and for tests that build well-formed trees by hand.

ResolvedApi dereferences to Api for read access; there is no mutable access, so the index can never go stale. It also carries the library’s Identity, which the CLI attaches with with_identity and every generator reads names from.

Implementations

impl ResolvedApi

pub fn with_identity(self, identity: Identity) -> Self

Attach the library’s resolved identity.

pub fn identity(&self) -> &Identity

The library’s identity: its name, C symbol prefix, native library name, and package metadata.

pub fn api(&self) -> &Api

The underlying document.

pub fn declaration(&self, name: &str) -> Option<&TypeDecl>

Look up the declaration a bare type name refers to.

pub fn unresolved(&self) -> Vec<String>

Every type name the document references that no declaration in it provides, deduplicated and sorted. Always empty for an API that passed validation.

pub fn qualified_name(&self, name: &str) -> String

The absolute, dot-joined name of the type a reference denotes (kv.Store, shapes.geo.Point). Unknown names come back as written.

pub fn resolve(&self, ty: &TypeRef) -> Ty

Map a written type reference to its resolved type. User types carry their kind and absolute dot-joined name, so two references to one declaration compare equal wherever they are written.

Trait Implementations

impl AsRef<Api> for ResolvedApi

fn as_ref(&self) -> &Api

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for ResolvedApi

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedApi

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

Formats the value using the given formatter.

impl Deref for ResolvedApi

type Target = Api

The resulting type after dereferencing.

fn deref(&self) -> &Api

Dereferences the value.

impl PartialEq for ResolvedApi

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ResolvedApi