Struct Hold 

pub struct Hold {
    pub frame: Waku,
    pub provisions: Provisions,
}

What a run is held to: the frame it may reach the host through, and the capabilities pure providers stand in for.

Fields

frame: Waku

provisions: Provisions

Implementations

impl Hold

pub fn withheld_host_names(&self) -> Vec<(&'static str, Capability)>

Every host name neither the frame grants nor a whole-program provider stands in for. A scoped provider’s names stay here: code outside its packages gets the frame’s answer.

pub fn bind<H: 'static>(&self, interp: &mut Interpreter<H>, who: &'static str)

Bind the hold into interp: a breach for every withheld host name, then each whole-program provider over its capability’s names and each scoped one under provided_name.

pub fn rebind_scoped( &self, program: &ResolvedProgram, forms: &mut [Spanned], ) -> Vec<(&'static str, Capability)>

Move each scoped provider’s host names, where a file of a package it serves writes them in forms, onto provided_name. A provider serves the packages its for: names and every package they use, by the imports program resolved; forms is program’s evaluated tree, top-level form for top-level form. Returns the host names the entry file may not write: Hold::withheld_host_names less those a scoped provider serves the entry’s own package.

Trait Implementations

impl Clone for Hold

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 Hold

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

Formats the value using the given formatter.

impl Eq for Hold

impl From<Waku> for Hold

fn from(frame: Waku) -> Self

Converts to this type from the input type.

impl PartialEq for Hold

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Hold