dope-sys 0.37.0

Typed operating-system call contracts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

mod feature;

pub use feature::Feature;
use o3::base::num::bounded;

type Rejected<S> = (
    S,
    Rejection<<S as Prepare>::Cancel, <S as Prepare>::Files, <S as Prepare>::Range>,
);

/// Admits features and descriptor ranges while retaining every rejected owner.
pub trait Prepare: Sized {
    type Cancel;
    type Files;
    type Range;

    fn prepare<const FILES: u32, const RANGE: u32>(
        self,
        files: bounded::U32<1, FILES>,
        range: Option<bounded::U32<1, RANGE>>,
    ) -> Result<Self, Rejected<Self>>;
}

/// Exact feature or registration failure during ring admission.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum Rejection<C, F, R> {
    Feature(Feature),
    Cancel(C),
    Files(F),
    Range(R),
}