safety-lib 0.1.0

A lib for using safety tags defined in tag-std
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

pub use safety_macro::Memo;
pub use safety_macro::discharges;

use safety_macro::pub_use;
pub mod precond {
    super::pub_use! {
        Precond_Align,
        Precond_Size,
        Precond_NoPadding,
        Precond_NonNull,
        Precond_Allocated,
        Precond_InBound,
        Precond_NonOverlap,
        Precond_ValidNum,
        Precond_ValidString,
        Precond_ValidCStr,
        Precond_Init,
        Precond_Unwrap,
        Precond_Typed,
        Precond_Owning,
        Precond_Alias,
        Precond_Alive,
        Precond_Pinned,
        Precond_NonVolatile,
        Precond_Opened,
        Precond_Trait,
        Precond_Unreachable,
        Precond_ValidPtr,
        Precond_Deref,
        Precond_Ptr2Ref,
        Precond_Layout
    }
}

pub mod hazard {
    super::pub_use! {
        Hazard_ValidString,
        Hazard_Init,
        Hazard_Alias,
        Hazard_Pinned,
        Hazard_Ptr2Ref,
    }
}

pub mod option {
    super::pub_use! {
        Option_Size,
        Option_Init,
        Option_Trait,
    }
}