Struct CompileContext

#[non_exhaustive]
pub struct CompileContext {
    pub nfa: NFA,
    pub config: Config,
    pub sections: Sections,
    state_id_layout: Layout,
}

This struct contains all the input and intermediate state needed to compile the WASM module.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

nfa: NFA

config: Config

sections: Sections

state_id_layout: Layout

Implementations

impl CompileContext

pub fn new(nfa: NFA, config: Config) -> Self

Creates a new CompileContext with the given NFA and configuration.

pub fn add_function(&mut self, func: Function) -> FunctionIdx

Declare and define a function.

pub fn declare_function(&mut self, sig: FunctionSignature) -> FunctionIdx

Declares a function’s signature (name, parameters, return types, export status).

This adds entries to the Type, Function, and potentially Export sections. A FunctionIdx is returned, which should be used later to provide the definition.

pub fn define_function( &mut self, func_idx: FunctionIdx, def: FunctionDefinition, )

Defines a previously declared function.

The func_idx must correspond to a function previously returned by declare_function. The definition includes the body, local names, label names, and branch hints.

pub fn add_block_signature(&mut self, signature: BlockSignature) -> TypeIdx

Adds a block signature to the type section.

This is used for block types in control flow instructions.

pub fn state_id_layout(&self) -> &Layout

Return the minimal layout for a state ID for the current NFA.

This function will minimize the size of the state ID layout based on the number of states in the current NFA.

fn compute_state_id_layout(nfa: &NFA) -> Layout

impl CompileContext

pub fn compile(self, state_overall: &Layout) -> Module

This function takes all the individual settings/functions/data segments/layouts and compiles them into a single WASM [Module].

Trait Implementations

impl Debug for CompileContext

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

Formats the value using the given formatter.