Struct W2C2Backend 

pub struct W2C2Backend { /* private fields */ }

W2C2 backend — two-stage pipeline: w2c2 (WASM→C) + arm-none-eabi-gcc (C→ELF)

Verification tier: binary-level translation validation (ASIL B).

Implementations

impl W2C2Backend

pub fn new() -> Self

pub fn with_paths(w2c2: impl Into<String>, gcc: impl Into<String>) -> Self

Trait Implementations

impl Backend for W2C2Backend

fn name(&self) -> &str

Human-readable backend name

fn capabilities(&self) -> BackendCapabilities

What this backend can do

fn supported_targets(&self) -> Vec<TargetSpec>

Which targets this backend supports

fn compile_module( &self, _module: &DecodedModule, _config: &CompileConfig, ) -> Result<CompilationResult, BackendError>

Compile an entire decoded WASM module

fn compile_function( &self, _name: &str, _ops: &[WasmOp], _config: &CompileConfig, ) -> Result<CompiledFunction, BackendError>

Compile a single function from WASM ops to machine code

fn is_available(&self) -> bool

Check if this backend is available (external tools installed, etc.)

impl Default for W2C2Backend

fn default() -> Self

Returns the “default value” for a type.