test_cpp.cpp

00001 #include "mbed_assert.h"
00002 #define THE_ANSWER 42
00003 
00004 // Tests for static asserts in different contexts
00005 // multiple asserts are used to guarantee no conflicts occur in generated labels
00006 
00007 // Test for static asserts in global context
00008 MBED_STATIC_ASSERT(sizeof(int) >= sizeof(char),
00009                    "An int must be larger than char");
00010 MBED_STATIC_ASSERT(2 + 2 == 4,
00011                    "Hopefully the universe is mathematically consistent");
00012 MBED_STATIC_ASSERT(THE_ANSWER == 42,
00013                    "Said Deep Thought, with infinite majesty and calm");
00014 
00015 struct test {
00016     int dummy;
00017 
00018     // Test for static asserts in struct context
00019     MBED_STRUCT_STATIC_ASSERT(sizeof(int) >= sizeof(char),
00020                               "An int must be larger than char");
00021     MBED_STRUCT_STATIC_ASSERT(2 + 2 == 4,
00022                               "Hopefully the universe is mathematically consistent");
00023     MBED_STRUCT_STATIC_ASSERT(THE_ANSWER == 42,
00024                               "Said Deep Thought, with infinite majesty and calm");
00025 
00026     MBED_STATIC_ASSERT(sizeof(int) >= sizeof(char),
00027                        "An int must be larger than char");
00028     MBED_STATIC_ASSERT(2 + 2 == 4,
00029                        "Hopefully the universe is mathematically consistent");
00030     MBED_STATIC_ASSERT(THE_ANSWER == 42,
00031                        "Said Deep Thought, with infinite majesty and calm");
00032 };
00033 
00034 MBED_STATIC_ASSERT(sizeof(struct test) == sizeof(int),
00035                    "Static assertions should not change the size of a struct");
00036 
00037 void doit_c(void)
00038 {
00039     // Test for static asserts in function context
00040     MBED_STATIC_ASSERT(sizeof(int) >= sizeof(char),
00041                        "An int must be larger than char");
00042     MBED_STATIC_ASSERT(2 + 2 == 4,
00043                        "Hopefully the universe is mathematically consistent");
00044     MBED_STATIC_ASSERT(THE_ANSWER == 42,
00045                        "Said Deep Thought, with infinite majesty and calm");
00046 }
00047