# SFBAssert.h File Reference

Support for assertions. More...

`#include "SFBErrors.h"`

Include dependency graph for SFBAssert.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

## Defines
#define | API_BUG(code) do { _apiError_(code,__FILE__,__LINE__); } while (0)
| Causes an SFB to die immediately, blinking the given code.
#define | API_ASSERT(condition, code) do { if (!(condition)) API_BUG(code); } while (0)
| Causes an SFB to die if condition is false, blinking the given code.
#define | POISON(code0_6) API_BUG(BLINK_MAP(1,0,code0_6))
| Causes the sketch to die immediately with a 'POISON'-related blinkcode.
#define | API_ASSERT_MAX_CODE(value, maxval, code) API_ASSERT(((u32)(value))<(maxval),code)
| Assert that value is in the range 0.
#define | API_ASSERT_MAX(value, maxval) API_ASSERT_MAX_CODE(value,maxval,E_API_MAX_RANGE)
| Assert that value is in the range 0.
#define | API_ASSERT_TRUE(value) API_ASSERT((value)!=0,E_API_TRUE)
| Assert that value is non-zero, else die.
#define | API_ASSERT_FALSE(value) API_ASSERT((value)==0,E_API_FALSE)
| Assert that value is zero, else die.
#define | API_ASSERT_NONZERO(value) API_ASSERT((value)!=0,E_API_NONZERO)
| Assert that value is non-zero, else die.
#define | API_ASSERT_NONNULL(value) API_ASSERT((value)!=0,E_API_NULL_POINTER)
| Assert that value is non-zero, else die.
#define | API_ASSERT_ZERO(value) API_ASSERT((value)==0,E_API_ZERO)
| Assert that value is zero, else die.
#define | API_ASSERT_EQUAL(target, value) API_ASSERT((value)==(target),E_API_EQUAL)
| Assert that target is equal to value, else die.
#define | API_ASSERT_NOT_EQUAL(target, value) API_ASSERT((value)!=(target),E_API_NOT_EQUAL)
| Assert that target is not equal to value, else die.
#define | API_ASSERT_LESS(target, value) API_ASSERT((target)<(value),E_API_LESS)
| Assert that target is less than to value, else die.
#define | API_ASSERT_LESS_EQUAL(target, value) API_ASSERT((target)<=(value),E_API_LESS_EQUAL)
| Assert that target is less than or equal to value, else die.
#define | API_ASSERT_GREATER(target, value) API_ASSERT((target)>(value),E_API_GREATER)
| Assert that target is greater than value, else die.
#define | API_ASSERT_GREATER_EQUAL(target, value) API_ASSERT((target)>=(value),E_API_GREATER_EQUAL)
| Assert that target is greater than or equal to value, else die.
#define | API_ASSERT_VALID_PIN(u32Pin) API_ASSERT_MAX_CODE(u32Pin,VIRTUAL_PIN_COUNT,E_API_BAD_PIN)
| Assert that u32Pin is a valid pin number, else die.
#define | API_ASSERT_VALID_FACE(u32Face) API_ASSERT_MAX_CODE(u32Face,FACE_COUNT,E_API_BAD_FACE)
| Assert that u32Face is a valid 'physical face' number, else die.
#define | API_ASSERT_VALID_EXTENDED_FACE(u32Face) API_ASSERT_MAX_CODE(u32Face,MAX_FACE_INDEX,E_API_BAD_FACE)
| Assert that u32Face is a valid face number in the loosest possible sense, else die.
#define | API_ASSERT_HALFWORD_ALIGNED(uptraddress) API_ASSERT((((uptr)(uptraddress))&1)==0,E_API_HALFWORD_ALIGNED)
| Assert that u32address is an even number, else die.
#define | API_ASSERT_WORD_ALIGNED(uptraddress) API_ASSERT((((uptr)(uptraddress))&3)==0,E_API_WORD_ALIGNED)
| Assert that u32address is a multiple of four, else die.
#define | API_ASSERT_DOUBLEWORD_ALIGNED(uptraddress) API_ASSERT((((uptr)(uptraddress))&7)==0,E_API_DOUBLEWORD_ALIGNED)
| Assert that u32address is a multiple of eight, else die.

## Detailed Description

Support for assertions.

Author:
  David H. Ackley.

Date:
  Copyright (C) 2008 All rights reserved.

Code License:
  The GNU Lesser General Public License

License Note:
  All code samples shown in documentation are placed into the public domain.

## Define Documentation

#define API_ASSERT | ( | condition,
|  | code |  | ) | do { if (!(condition)) API_BUG(code); } while (0)

Causes an SFB to die if condition is false, blinking the given code.

See SFBErrors.h for more information. Sample uses:

       ...
       API_ASSERT(foo < bar,E_BUG_INCONSISTENT_STATE);
       ...
       void function(int arg) {
        API_ASSERT(arg >= -1 && arg < 256,E_API_ARGUMENT);
       ...

#define API_ASSERT_DOUBLEWORD_ALIGNED | ( | uptraddress |  | ) | API_ASSERT((((uptr)(uptraddress))&7)==0,E_API_DOUBLEWORD_ALIGNED)

Assert that u32address is a multiple of eight, else die.

Blinks:
  E_API_DOUBLEWORD_ALIGNED

#define API_ASSERT_EQUAL | ( | target,
|  | value |  | ) | API_ASSERT((value)==(target),E_API_EQUAL)

Assert that target is equal to value, else die.

Blinks:
  E_API_EQUAL

#define API_ASSERT_FALSE | ( | value |  | ) | API_ASSERT((value)==0,E_API_FALSE)

Assert that value is zero, else die.

Blinks:
  E_API_FALSE

#define API_ASSERT_GREATER | ( | target,
|  | value |  | ) | API_ASSERT((target)>(value),E_API_GREATER)

Assert that target is greater than value, else die.

Blinks:
  E_API_GREATER

#define API_ASSERT_GREATER_EQUAL | ( | target,
|  | value |  | ) | API_ASSERT((target)>=(value),E_API_GREATER_EQUAL)

Assert that target is greater than or equal to value, else die.

Blinks:
  E_API_GREATER_EQUAL

#define API_ASSERT_HALFWORD_ALIGNED | ( | uptraddress |  | ) | API_ASSERT((((uptr)(uptraddress))&1)==0,E_API_HALFWORD_ALIGNED)

Assert that u32address is an even number, else die.

Blinks:
  E_API_HALFWORD_ALIGNED

#define API_ASSERT_LESS | ( | target,
|  | value |  | ) | API_ASSERT((target)<(value),E_API_LESS)

Assert that target is less than to value, else die.

Blinks:
  E_API_LESS

#define API_ASSERT_LESS_EQUAL | ( | target,
|  | value |  | ) | API_ASSERT((target)<=(value),E_API_LESS_EQUAL)

Assert that target is less than or equal to value, else die.

Blinks:
  E_API_LESS_EQUAL

#define API_ASSERT_MAX | ( | value,
|  | maxval |  | ) | API_ASSERT_MAX_CODE(value,maxval,E_API_MAX_RANGE)

Assert that value is in the range 0.

.maxval-1, else die.

Blinks:
  E_API_MAX_RANGE

#define API_ASSERT_MAX_CODE | ( | value,
|  | maxval,
|  | code |  | ) | API_ASSERT(((u32)(value))<(maxval),code)

Assert that value is in the range 0.

.maxval-1, else die with code.

Blinks:
  the supplied code, as produced by the BLINK_MAP macro

#define API_ASSERT_NONNULL | ( | value |  | ) | API_ASSERT((value)!=0,E_API_NULL_POINTER)

Assert that value is non-zero, else die.

Blinks:
  E_API_NULL_POINTER

#define API_ASSERT_NONZERO | ( | value |  | ) | API_ASSERT((value)!=0,E_API_NONZERO)

Assert that value is non-zero, else die.

Blinks:
  E_API_NONZERO

#define API_ASSERT_NOT_EQUAL | ( | target,
|  | value |  | ) | API_ASSERT((value)!=(target),E_API_NOT_EQUAL)

Assert that target is not equal to value, else die.

Blinks:
  E_API_NOT_EQUAL

#define API_ASSERT_TRUE | ( | value |  | ) | API_ASSERT((value)!=0,E_API_TRUE)

Assert that value is non-zero, else die.

Blinks:
  E_API_TRUE

#define API_ASSERT_VALID_EXTENDED_FACE | ( | u32Face |  | ) | API_ASSERT_MAX_CODE(u32Face,MAX_FACE_INDEX,E_API_BAD_FACE)

Assert that u32Face is a valid face number in the loosest possible sense, else die.

Note there are several different notions of 'face' used in different contexts; this assertion is the most liberal, allowing the physical faces NORTH, SOUTH, EAST, and WEST, as well as 'internal' faces such as SPINE and BRAIN, and potential 'virtual' faces defined by sketch code. Compare to API_ASSERT_VALID_FACE.

Blinks:
  E_API_BAD_FACE

#define API_ASSERT_VALID_FACE | ( | u32Face |  | ) | API_ASSERT_MAX_CODE(u32Face,FACE_COUNT,E_API_BAD_FACE)

Assert that u32Face is a valid 'physical face' number, else die.

Note there are several different notions of 'face' used in different contexts; this assertion, allowing only the physical faces NORTH, SOUTH, EAST, and WEST, is the most restrictive. Compare to API_ASSERT_VALID_EXTENDED_FACE.

Blinks:
  E_API_BAD_FACE

#define API_ASSERT_VALID_PIN | ( | u32Pin |  | ) | API_ASSERT_MAX_CODE(u32Pin,VIRTUAL_PIN_COUNT,E_API_BAD_PIN)

Assert that u32Pin is a valid pin number, else die.

Blinks:
  E_API_BAD_PIN

#define API_ASSERT_WORD_ALIGNED | ( | uptraddress |  | ) | API_ASSERT((((uptr)(uptraddress))&3)==0,E_API_WORD_ALIGNED)

Assert that u32address is a multiple of four, else die.

Blinks:
  E_API_WORD_ALIGNED

#define API_ASSERT_ZERO | ( | value |  | ) | API_ASSERT((value)==0,E_API_ZERO)

Assert that value is zero, else die.

Blinks:
  E_API_ZERO

#define API_BUG | ( | code |  | ) | do { _apiError_(code,__FILE__,__LINE__); } while (0)

Causes an SFB to die immediately, blinking the given code.

See SFBErrors.h for more information. Sample uses:

       ...
       if (foo < bar) API_BUG(E_BUG_INCONSISTENT_STATE);
       ...
       switch (ch) {
        default: API_BUG(BLINK_MAP(0,0,1);  // Die with custom code (1 blue only)
       ...

#define POISON | ( | code0_6 |  | ) | API_BUG(BLINK_MAP(1,0,code0_6))

Causes the sketch to die immediately with a 'POISON'-related blinkcode.

Used for basic debugging, to determine when execution has reached a particular point in the code. The argument, a number from 0 to 6, determines which code is 'blinked'; this can be used to distinguish multiple possible poisoning locations.

         void myHandler(u8 *) {
            POISON(0);  // XXX IS MY HANDLER EVEN GETTING CALLED?
          ..stuff..
         }

Blinks:
  E_API_DEBUG_POISON0 if `POISON(0)` is executed

Blinks:
  E_API_DEBUG_POISON1 if `POISON(1)` is executed

Blinks:
  E_API_DEBUG_POISON2 if `POISON(2)` is executed

Blinks:
  E_API_DEBUG_POISON3 if `POISON(3)` is executed

Blinks:
  E_API_DEBUG_POISON4 if `POISON(4)` is executed

Blinks:
  E_API_DEBUG_POISON5 if `POISON(5)` is executed

Blinks:
  E_API_DEBUG_POISON6 if `POISON(6)` is executed

Examples:
  hallucination.cpp.