Struct ImportSpec 

pub struct ImportSpec {
    pub name: String,
    pub port_type: PortType,
    pub classification: ImportClassification,
}

Typed import declaration: a name the child’s body will reference, expecting the parent to export it.

Fields

name: String

Name as referenced inside the child body.

port_type: PortType

Expected port type. Carried into the contract but not compared against the parent; the child’s slot type checks protect the actual input (subcontext_construction.md §2.2).

classification: ImportClassification

Lifecycle classification.

Implementations

impl ImportSpec

pub fn extern_(name: impl Into<String>, port_type: PortType) -> Self

An import written to by the host, as an extern port.

pub fn final_(name: impl Into<String>, port_type: PortType) -> Self

An import fixed at compile time, from a parent final export.

pub fn shared(name: impl Into<String>, port_type: PortType) -> Self

An import bound to a shared cell.

pub fn iter_var(name: impl Into<String>, port_type: PortType) -> Self

An import rebound per activation of an enclosing iteration.

Trait Implementations

impl Clone for ImportSpec

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 ImportSpec

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

Formats the value using the given formatter.