assertions.h File Reference

Go to the source code of this file.

Defines

#define ASSERTIONS_H   1
#define CHECK_REQUIRE   1
#define CHECK_ENSURE   1
#define CHECK_INSIST   1
#define CHECK_INVARIANT   1
#define REQUIRE(cond)
#define REQUIRE_ERR(cond)
#define ENSURE(cond)
#define ENSURE_ERR(cond)
#define INSIST(cond)
#define INSIST_ERR(cond)
#define INVARIANT(cond)
#define INVARIANT_ERR(cond)

Typedefs

typedef void(* assertion_failure_callback )(char *, int, assertion_type, char *, int)

Enumerations

enum  assertion_type { assert_require, assert_ensure, assert_insist, assert_invariant }

Functions

void set_assertion_failure_callback (assertion_failure_callback f)
char * assertion_type_to_text (assertion_type type)

Variables

assertion_failure_callback __assertion_failed

Define Documentation

#define ASSERTIONS_H   1
 

#define CHECK_ENSURE   1
 

#define CHECK_INSIST   1
 

#define CHECK_INVARIANT   1
 

#define CHECK_REQUIRE   1
 

#define ENSURE (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \
                       #cond, 0), 0)))

#define ENSURE_ERR (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \
                       #cond, 1), 0)))

#define INSIST (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_insist, \
                       #cond, 0), 0)))

#define INSIST_ERR (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_insist, \
                       #cond, 1), 0)))

#define INVARIANT (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \
                       #cond, 0), 0)))

#define INVARIANT_ERR (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \
                       #cond, 1), 0)))

#define REQUIRE (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_require, \
                       #cond, 0), 0)))

#define REQUIRE_ERR (  cond   ) 
 

Value:

((void) ((cond) || \
         ((__assertion_failed)(__FILE__, __LINE__, assert_require, \
                       #cond, 1), 0)))

Typedef Documentation

typedef void(* assertion_failure_callback)(char *, int, assertion_type, char *, int)
 

Enumeration Type Documentation

enum assertion_type
 

Enumerator:
assert_require 
assert_ensure 
assert_insist 
assert_invariant 

Function Documentation

char* assertion_type_to_text (  assertion_type  type  ) 
 

void set_assertion_failure_callback (  assertion_failure_callback  f  ) 
 

Variable Documentation

assertion_failure_callback __assertion_failed
 

Copyright 2005 by yellowTAB GmbH, Be Inc., Palm Source Inc. and their respective legal successors
All rights reserved.