Struct wiggle::borrow::BorrowChecker

pub struct BorrowChecker { /* fields omitted */ }

Implementations

impl BorrowChecker

pub fn new() -> Self

A BorrowChecker manages run-time validation of borrows from a GuestMemory. It keeps track of regions of guest memory which are possible to alias with Rust references (via the GuestSlice and GuestStr structs, which implement std::ops::Deref and std::ops::DerefMut. It also enforces that GuestPtr::read does not access memory with an outstanding mutable borrow, and GuestPtr::write does not access memory with an outstanding shared or mutable borrow.

pub fn has_outstanding_borrows(&self) -> bool

Indicates whether any outstanding shared or mutable borrows are known to the BorrowChecker. This function must be false in order for it to be safe to recursively call into a WebAssembly module, or to manipulate the WebAssembly memory by any other means.

pub fn shared_borrow(&self, r: Region) -> Result<BorrowHandle, GuestError>

pub fn mut_borrow(&self, r: Region) -> Result<BorrowHandle, GuestError>

pub fn shared_unborrow(&self, h: BorrowHandle)

pub fn mut_unborrow(&self, h: BorrowHandle)

pub fn is_shared_borrowed(&self, r: Region) -> bool

pub fn is_mut_borrowed(&self, r: Region) -> bool