🥮 mooncakes.io
    Sign in

    Milky2018/wasm_core/validator does not have a README file

    ValidationError

    source
    pub(all) suberror ValidationError {
      TypeMismatch(String)
      StackUnderflow(String)
      StackHeightMismatch(String)
      InvalidFunctionIndex(Int)
      InvalidTypeIndex(Int)
      InvalidLocalIndex(Int)
      InvalidGlobalIndex(Int)
      InvalidTableIndex(Int)
      InvalidMemoryIndex(Int)
      InvalidLabelIndex(Int)
      InvalidElemIndex(Int)
      InvalidDataIndex(Int)
      UnknownTag(Int)
      UnknownType(Int)
      UnreachableCode
      MultipleMemories
      MultipleTables
      InvalidLimits(String)
      InvalidAlignment(String)
      InvalidLaneIndex(Int, Int)
      ConstantExpressionRequired
      MutableGlobalInConstExpr
      DuplicateExportName(String)
      UnknownExport(String)
      UninitializedLocal(Int)
      InvalidStartFunction(String)
      UndeclaredFunctionReference(Int)
      UnsupportedInstruction(String)
      WithContext(ValidationErrorContext)
    } derive(
    Debug    )

    Validation error types

    ValidationError::output

    source
    fn ValidationError::output(self : ValidationError, logger : &Logger) -> Unit

    ValidationError::to_repr

    source

    ValidationError::to_string

    source
    fn ValidationError::to_string(self : ValidationError) -> String

    ValidatedModule

    source
    pub struct ValidatedModule {
      // private fields
    }

    Protected validation evidence over an independently owned module snapshot. Accessors return editable section copies, never the accepted backing arrays.

    ValidatedModule::function

    source

    ValidatedModule::new

    source
    fn ValidatedModule::new(module_ : 
    Module    , bulk_memory? : Bool, stack_switching? : Bool) -> ValidatedModule raise ValidationError

    ValidatedModule::snapshot

    source

    ValidatedModule::start

    source
    fn ValidatedModule::start(self : ValidatedModule) -> Int?

    The start index from the accepted snapshot, independent of host callbacks.

    ValidationErrorContext

    source
    pub(all) struct ValidationErrorContext {
      error_msg : String
      func_idx : Int?
      instr_offset : Int?
      instruction : String?
    } derive(
    Debug    )

    Validation error with location context for debugging

    ValidationErrorContext::ValidationErrorContext

    source
    fn ValidationErrorContext::ValidationErrorContext(msg : String) -> ValidationErrorContext

    ValidationErrorContext::format

    source
    fn ValidationErrorContext::format(self : ValidationErrorContext) -> String

    Format the validation error with full context for display

    ValidationErrorContext::from_error

    source

    ValidationErrorContext::output

    source
    fn ValidationErrorContext::output(self : ValidationErrorContext, logger : &Logger) -> Unit

    ValidationErrorContext::to_repr

    source

    ValidationErrorContext::to_string

    source
    fn ValidationErrorContext::to_string(self : ValidationErrorContext) -> String

    ValidationErrorContext::with_func_idx

    source

    ValidationErrorContext::with_instr_offset

    source
    fn ValidationErrorContext::with_instr_offset(self : ValidationErrorContext, offset : Int) -> ValidationErrorContext

    ValidationErrorContext::with_instruction

    source
    fn ValidationErrorContext::with_instruction(self : ValidationErrorContext, instr : String) -> ValidationErrorContext

    format_validation_error

    source
    fn format_validation_error(error : ValidationError) -> String

    Format a basic ValidationError without context

    validate_module

    source
    fn validate_module(mod : 
    Module    , bulk_memory? : Bool, stack_switching? : Bool) -> Unit raise ValidationError

    Validate a complete module

    validate_module_with_context

    source
    fn validate_module_with_context(mod : 
    Module    , bulk_memory? : Bool, stack_switching? : Bool) -> Unit raise ValidationError

    Validate a complete module and return detailed error context on failure

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io