8.6.10 Expected unsigned integers assertions

The expected unsigned integer assertion exceptional–condition object–type is used by CCTests to signal failure in an asserting that a specific unsigned integer value was expected as result of an expression. We can only derive new types from it and instantiate it. To catch this exceptional condition we can do:

cce_location_t        L[1];

if (cce_location(L)) {
  if (cctests_condition_is_assertion_expected_uint(cce_condition(L))) {
    CCTESTS_PC(cctests_condition_assertion_expected_uint_t, C, cce_condition(L));
    do_something_with(C);
  }
  cce_run_catch_handlers_final(L);
} else {
  do_something(L);
  cce_run_body_handlers(L);
}

Struct Typedef: cctests_descriptor_assertion_expected_uint_t

Type of data structure representing the exceptional–condition descriptor. It has the following public fields:

cce_descriptor_t descriptor

The condition descriptor’s base values.

The parent of this type descriptor is the one referenced by cctests_descriptor_assertion_expected_value_ptr, Expected value assertions.

Struct Typedef: cctests_condition_assertion_expected_uint_t

Type of data structure representing the exceptional–condition object. It has the following public fields:

cctests_condition_assertion_expected_value_t assertion_expected_value

The base value.

unsigned int expected

The expected value.

unsigned int result

The resulting value.

Function: void cce_descriptor_set_parent_to(cctests_condition_assertion_expected_uint_t) (cce_descriptor_t * const D)

Set the parent of the descriptor referenced by D to the descriptor of the exceptional–condition object–type cctests_condition_assertion_expected_uint_t.

Function: void cctests_condition_init_assertion_expected_uint (cctests_condition_assertion_expected_uint_t * C, unsigned int expected, unsigned int result, char const * expr, char const * filename, char const * funcname, int linenum, char const * message)

Initialisation function for the condition object. This function is meant to be called from the initialisation function of sub–types of cctests_condition_assertion_expected_uint_t. If an error occurs building the instance: raise an exception by performing a non–local exit to L.

The strings referenced by expr, filename, funcname are not duplicated. The argument message is either NULL or a pointer to an ASCIIZ message string allocated using the standard allocator; the ownership of this string is transferred to the exceptional–condition object.

Function: void cctests_condition_new_assertion_expected_uint (cce_destination_t L, cctests_condition_assertion_expected_uint_t * C, unsigned int expected, unsigned int result, char const * expr, char const * filename, char const * funcname, int linenum, char const * message)

Build and return a new exceptional condition object. If an error occurs building the instance: raise an exception by performing a non–local exit to L.

The strings referenced by expr, filename, funcname are not duplicated. The argument message is either NULL or a pointer to an ASCIIZ message string allocated using the standard allocator; the ownership of this string is transferred to the exceptional–condition object.

Function: bool cctests_condition_is_assertion_expected_uint (cce_condition_t const * C)

Return true if C if of type cctests_condition_assertion_expected_uint_t; otherwise return false.

This document describes version 0.4.1-devel.1 of CCTests.