Struct Program 

pub struct Program<State = Unverified> { /* private fields */ }

The sole self-contained executable wire value.

Implementations

impl<State> Program<State>

pub fn modules(&self) -> &[ProgramModule<State>]

pub const fn entry(&self) -> ModuleId

pub fn module(&self, id: ModuleId) -> Option<&ProgramModule<State>>

impl Program<Unverified>

pub fn new(modules: Vec<ProgramModule<Unverified>>, entry: ModuleId) -> Self

pub fn verify(self) -> Result<Program<Verified>, ProgramVerifyError>

Verifies every embedded module, then all program linkage invariants.

impl Program<Verified>

pub fn link( modules: Vec<ProgramModule<Verified>>, entry: ModuleId, ) -> Result<Self, ProgramVerifyError>

Links modules that have already passed the canonical module verifier.

pub fn encode(&self) -> Vec<u8>

Emits the deterministic program envelope. Each module payload is exactly Module::encode() and is length-delimited without another module codec.

pub fn resolve_export( &self, module: ModuleId, name: &EcmaString, ) -> Option<ResolvedExport>

Resolves a verified export by its exact ECMAScript name.

Trait Implementations

impl<State: Clone> Clone for Program<State>

fn clone(&self) -> Program<State>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<State: Debug> Debug for Program<State>

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

Formats the value using the given formatter.

impl<State: Eq> Eq for Program<State>

impl<State: PartialEq> PartialEq for Program<State>

fn eq(&self, other: &Program<State>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<State: PartialEq> StructuralPartialEq for Program<State>