Error Handling » Asserts module

Asserts provides various compile-time and runtime asserts and similar facilities, some of which are wrappers for the standard C asserts, for enforcing invariants, run-time constraints/contracts, and compile-time requirements

Example

// i must be less than 10
void func(i32 i) {
    // enforce that i is less than 10
    cnx_assert(i < 10, "func called with i >= 10 (i must be less than 10");
    // use i somehow...
}

void* my_alloc(usize size) {
    // allocation code...
    if(allocation_failed) {
        // runtime abort with error message
        cnx_panic("my_alloc failed to allocate memory!");
    }
}

#ifndef THING
    // THING must be less than 20
    #define THING 12
#endif
// enforce THING < 20 at compile-time
cnx_static_assert(THING < 20, "THING defined as >= 20 (THING must be less than 20)");

#ifndef THING
    // THING must be a usize
    #define THING static_cast(usize)(12)
#endif
// enforce THING is a usize at compile-time
cnx_type_assert_v(usize, THING);