cvlr-asserts 0.6.1

Asserts and assumes for post- and pre-conditions
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
52
53
54
55
56

mod rt_decls {
    extern "C" {
        #![allow(improper_ctypes)]
        // duplicated to avoid cvlr-assert depend on any other cvlr crate
        pub fn CVT_calltrace_attach_location(file: &str, line: u64);
    }
}

#[inline(always)]
pub fn add_loc(file: &str, line: u32) {
    unsafe {
        rt_decls::CVT_calltrace_attach_location(file, line as u64);
    }
}

#[cfg(not(feature = "no-loc"))]
#[macro_export]
macro_rules! cvlr_asserts_core_file {
    () => {
        ::core::file!()
    };
}

#[cfg(not(feature = "no-loc"))]
#[macro_export]
macro_rules! cvlr_asserts_core_line {
    () => {
        ::core::line!()
    };
}

#[cfg(feature = "no-loc")]
#[macro_export]
macro_rules! cvlr_asserts_core_file {
    () => {
        "<FILE>"
    };
}

#[cfg(feature = "no-loc")]
#[macro_export]
macro_rules! cvlr_asserts_core_line {
    () => {
        0u32
    };
}

#[macro_export]
macro_rules! add_loc {
    () => {
        $crate::log::add_loc(
            $crate::cvlr_asserts_core_file!(),
            $crate::cvlr_asserts_core_line!(),
        );
    };
}