pub enum PluginPrecondition {
Blocked {
pid: PluginId,
blocked_on: Option<ActorId>,
},
ReadOutOfBounds {
addr: MemAddr,
size: Size,
bounds: Size,
},
WriteOutOfBounds {
addr: MemAddr,
size: Size,
bounds: Size,
},
MailboxEmpty,
}Expand description
Reasons a plugin precondition check can fail.
Variants§
Blocked
Plugin’s actor is blocked on another actor
Fields
ReadOutOfBounds
A read memory region is out of bounds
Fields
WriteOutOfBounds
A write memory region is out of bounds
Fields
MailboxEmpty
Attempted to consume from an empty mailbox
Trait Implementations§
Source§impl Debug for PluginPrecondition
impl Debug for PluginPrecondition
Auto Trait Implementations§
impl Freeze for PluginPrecondition
impl RefUnwindSafe for PluginPrecondition
impl Send for PluginPrecondition
impl Sync for PluginPrecondition
impl Unpin for PluginPrecondition
impl UnsafeUnpin for PluginPrecondition
impl UnwindSafe for PluginPrecondition
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