Trait r3::kernel::traits::SemaphoreHandle

pub unsafe trait SemaphoreHandle {
    type System: KernelSemaphore;

    unsafe fn from_id(
        id: <Self::System as KernelSemaphore>::RawSemaphoreId
    ) -> Self;
    fn id(&self) -> <Self::System as KernelSemaphore>::RawSemaphoreId;
    fn borrow(&self) -> SemaphoreRef<'_, Self::System>;
}

The trait for safe wrappers of System::RawSemaphoreId, i.e., Semaphore and SemaphoreRef.

Required Associated Types

type System: KernelSemaphore

The system type this object pertains to.

Required Methods

unsafe fn from_id(id: <Self::System as KernelSemaphore>::RawSemaphoreId) -> Self

Construct a Semaphore from RawSemaphoreId.

Safety

This function is marked as unsafe to prevent safe code from compromising object safety.

fn id(&self) -> <Self::System as KernelSemaphore>::RawSemaphoreId

Get the raw RawSemaphoreId value representing this object.

fn borrow(&self) -> SemaphoreRef<'_, Self::System>

Borrow self as SemaphoreRef.

Implementors

impl<System> SemaphoreHandle for Semaphore<System>where
    System: NotSupportedYet,

type System = System

impl<System> SemaphoreHandle for SemaphoreRef<'_, System>where
    System: KernelSemaphore,

type System = System