pub struct WasmVerify { /* private fields */ }Expand description
Wasm-бекенд одного verify-компонента — доккоментар crate::detector::WasmDetector
пояснює кешування Component/Engine/Linker проти “інстанс на
спробу” для Instance.
Implementations§
Source§impl WasmVerify
impl WasmVerify
Sourcepub fn from_file(
repo_root: impl Into<PathBuf>,
wasm_path: impl AsRef<Path>,
) -> Result<Self>
pub fn from_file( repo_root: impl Into<PathBuf>, wasm_path: impl AsRef<Path>, ) -> Result<Self>
Доккоментар crate::detector::WasmDetector::from_file — та сама
побудова Engine/Component/Linker, лише інший world.
Sourcepub fn into_verify_fn(self) -> VerifyFn
pub fn into_verify_fn(self) -> VerifyFn
Перетворює на VerifyFn. verify.wit (run: func() -> verify-report, без result) не має каналу для “сам виклик упав” —
той самий брак, що вже несе Rust-сигнатура
(Arc<dyn Fn() -> BoxFuture<'static, VerifyReport>>, без Result).
Інфраструктурний збій викликового шляху (інстанціювання, трап)
мапиться в infra_error: true — рівно те поле, яке attempt.rs
документує як “не результат «червоно»”: rig списує хід завжди,
облік такого випадку — наш.
Auto Trait Implementations§
impl !RefUnwindSafe for WasmVerify
impl !UnwindSafe for WasmVerify
impl Freeze for WasmVerify
impl Send for WasmVerify
impl Sync for WasmVerify
impl Unpin for WasmVerify
impl UnsafeUnpin for WasmVerify
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more