Rtos API example

Committer:
marcozecchini
Date:
Sat Feb 23 12:13:36 2019 +0000
Revision:
0:9fca2b23d0ba
final commit

Who changed what in which revision?

UserRevisionLine numberNew contents of line
marcozecchini 0:9fca2b23d0ba 1 /* mbed Microcontroller Library
marcozecchini 0:9fca2b23d0ba 2 * Copyright (c) 2017 ARM Limited
marcozecchini 0:9fca2b23d0ba 3 *
marcozecchini 0:9fca2b23d0ba 4 * Licensed under the Apache License, Version 2.0 (the "License");
marcozecchini 0:9fca2b23d0ba 5 * you may not use this file except in compliance with the License.
marcozecchini 0:9fca2b23d0ba 6 * You may obtain a copy of the License at
marcozecchini 0:9fca2b23d0ba 7 *
marcozecchini 0:9fca2b23d0ba 8 * http://www.apache.org/licenses/LICENSE-2.0
marcozecchini 0:9fca2b23d0ba 9 *
marcozecchini 0:9fca2b23d0ba 10 * Unless required by applicable law or agreed to in writing, software
marcozecchini 0:9fca2b23d0ba 11 * distributed under the License is distributed on an "AS IS" BASIS,
marcozecchini 0:9fca2b23d0ba 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
marcozecchini 0:9fca2b23d0ba 13 * See the License for the specific language governing permissions and
marcozecchini 0:9fca2b23d0ba 14 * limitations under the License.
marcozecchini 0:9fca2b23d0ba 15 */
marcozecchini 0:9fca2b23d0ba 16 #include "mbed.h"
marcozecchini 0:9fca2b23d0ba 17 #include "greentea-client/test_env.h"
marcozecchini 0:9fca2b23d0ba 18 #include "unity.h"
marcozecchini 0:9fca2b23d0ba 19 #include "utest.h"
marcozecchini 0:9fca2b23d0ba 20
marcozecchini 0:9fca2b23d0ba 21 using namespace utest::v1;
marcozecchini 0:9fca2b23d0ba 22
marcozecchini 0:9fca2b23d0ba 23
marcozecchini 0:9fca2b23d0ba 24 // static functions
marcozecchini 0:9fca2b23d0ba 25 template <typename T>
marcozecchini 0:9fca2b23d0ba 26 T static_func0()
marcozecchini 0:9fca2b23d0ba 27 { return 0; }
marcozecchini 0:9fca2b23d0ba 28 template <typename T>
marcozecchini 0:9fca2b23d0ba 29 T static_func1(T a0)
marcozecchini 0:9fca2b23d0ba 30 { return 0 | a0; }
marcozecchini 0:9fca2b23d0ba 31 template <typename T>
marcozecchini 0:9fca2b23d0ba 32 T static_func2(T a0, T a1)
marcozecchini 0:9fca2b23d0ba 33 { return 0 | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 34 template <typename T>
marcozecchini 0:9fca2b23d0ba 35 T static_func3(T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 36 { return 0 | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 37 template <typename T>
marcozecchini 0:9fca2b23d0ba 38 T static_func4(T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 39 { return 0 | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 40 template <typename T>
marcozecchini 0:9fca2b23d0ba 41 T static_func5(T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 42 { return 0 | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 43
marcozecchini 0:9fca2b23d0ba 44 // class functions
marcozecchini 0:9fca2b23d0ba 45 template <typename T>
marcozecchini 0:9fca2b23d0ba 46 struct Thing {
marcozecchini 0:9fca2b23d0ba 47 T t;
marcozecchini 0:9fca2b23d0ba 48 Thing() : t(0x80) {}
marcozecchini 0:9fca2b23d0ba 49
marcozecchini 0:9fca2b23d0ba 50 T member_func0()
marcozecchini 0:9fca2b23d0ba 51 { return t; }
marcozecchini 0:9fca2b23d0ba 52 T member_func1(T a0)
marcozecchini 0:9fca2b23d0ba 53 { return t | a0; }
marcozecchini 0:9fca2b23d0ba 54 T member_func2(T a0, T a1)
marcozecchini 0:9fca2b23d0ba 55 { return t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 56 T member_func3(T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 57 { return t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 58 T member_func4(T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 59 { return t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 60 T member_func5(T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 61 { return t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 62
marcozecchini 0:9fca2b23d0ba 63 T const_member_func0() const
marcozecchini 0:9fca2b23d0ba 64 { return t; }
marcozecchini 0:9fca2b23d0ba 65 T const_member_func1(T a0) const
marcozecchini 0:9fca2b23d0ba 66 { return t | a0; }
marcozecchini 0:9fca2b23d0ba 67 T const_member_func2(T a0, T a1) const
marcozecchini 0:9fca2b23d0ba 68 { return t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 69 T const_member_func3(T a0, T a1, T a2) const
marcozecchini 0:9fca2b23d0ba 70 { return t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 71 T const_member_func4(T a0, T a1, T a2, T a3) const
marcozecchini 0:9fca2b23d0ba 72 { return t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 73 T const_member_func5(T a0, T a1, T a2, T a3, T a4) const
marcozecchini 0:9fca2b23d0ba 74 { return t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 75
marcozecchini 0:9fca2b23d0ba 76 T volatile_member_func0() volatile
marcozecchini 0:9fca2b23d0ba 77 { return t; }
marcozecchini 0:9fca2b23d0ba 78 T volatile_member_func1(T a0) volatile
marcozecchini 0:9fca2b23d0ba 79 { return t | a0; }
marcozecchini 0:9fca2b23d0ba 80 T volatile_member_func2(T a0, T a1) volatile
marcozecchini 0:9fca2b23d0ba 81 { return t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 82 T volatile_member_func3(T a0, T a1, T a2) volatile
marcozecchini 0:9fca2b23d0ba 83 { return t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 84 T volatile_member_func4(T a0, T a1, T a2, T a3) volatile
marcozecchini 0:9fca2b23d0ba 85 { return t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 86 T volatile_member_func5(T a0, T a1, T a2, T a3, T a4) volatile
marcozecchini 0:9fca2b23d0ba 87 { return t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 88
marcozecchini 0:9fca2b23d0ba 89 T const_volatile_member_func0() const volatile
marcozecchini 0:9fca2b23d0ba 90 { return t; }
marcozecchini 0:9fca2b23d0ba 91 T const_volatile_member_func1(T a0) const volatile
marcozecchini 0:9fca2b23d0ba 92 { return t | a0; }
marcozecchini 0:9fca2b23d0ba 93 T const_volatile_member_func2(T a0, T a1) const volatile
marcozecchini 0:9fca2b23d0ba 94 { return t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 95 T const_volatile_member_func3(T a0, T a1, T a2) const volatile
marcozecchini 0:9fca2b23d0ba 96 { return t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 97 T const_volatile_member_func4(T a0, T a1, T a2, T a3) const volatile
marcozecchini 0:9fca2b23d0ba 98 { return t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 99 T const_volatile_member_func5(T a0, T a1, T a2, T a3, T a4) const volatile
marcozecchini 0:9fca2b23d0ba 100 { return t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 101 };
marcozecchini 0:9fca2b23d0ba 102
marcozecchini 0:9fca2b23d0ba 103 // bound functions
marcozecchini 0:9fca2b23d0ba 104 template <typename T>
marcozecchini 0:9fca2b23d0ba 105 T bound_func0(Thing<T> *t)
marcozecchini 0:9fca2b23d0ba 106 { return t->t; }
marcozecchini 0:9fca2b23d0ba 107 template <typename T>
marcozecchini 0:9fca2b23d0ba 108 T bound_func1(Thing<T> *t, T a0)
marcozecchini 0:9fca2b23d0ba 109 { return t->t | a0; }
marcozecchini 0:9fca2b23d0ba 110 template <typename T>
marcozecchini 0:9fca2b23d0ba 111 T bound_func2(Thing<T> *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 112 { return t->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 113 template <typename T>
marcozecchini 0:9fca2b23d0ba 114 T bound_func3(Thing<T> *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 115 { return t->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 116 template <typename T>
marcozecchini 0:9fca2b23d0ba 117 T bound_func4(Thing<T> *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 118 { return t->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 119 template <typename T>
marcozecchini 0:9fca2b23d0ba 120 T bound_func5(Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 121 { return t->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 122 template <typename T>
marcozecchini 0:9fca2b23d0ba 123 T const_bound_func0(const Thing<T> *t)
marcozecchini 0:9fca2b23d0ba 124 { return t->t; }
marcozecchini 0:9fca2b23d0ba 125 template <typename T>
marcozecchini 0:9fca2b23d0ba 126 T const_bound_func1(const Thing<T> *t, T a0)
marcozecchini 0:9fca2b23d0ba 127 { return t->t | a0; }
marcozecchini 0:9fca2b23d0ba 128 template <typename T>
marcozecchini 0:9fca2b23d0ba 129 T const_bound_func2(const Thing<T> *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 130 { return t->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 131 template <typename T>
marcozecchini 0:9fca2b23d0ba 132 T const_bound_func3(const Thing<T> *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 133 { return t->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 134 template <typename T>
marcozecchini 0:9fca2b23d0ba 135 T const_bound_func4(const Thing<T> *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 136 { return t->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 137 template <typename T>
marcozecchini 0:9fca2b23d0ba 138 T const_bound_func5(const Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 139 { return t->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 140 template <typename T>
marcozecchini 0:9fca2b23d0ba 141 T volatile_bound_func0(volatile Thing<T> *t)
marcozecchini 0:9fca2b23d0ba 142 { return t->t; }
marcozecchini 0:9fca2b23d0ba 143 template <typename T>
marcozecchini 0:9fca2b23d0ba 144 T volatile_bound_func1(volatile Thing<T> *t, T a0)
marcozecchini 0:9fca2b23d0ba 145 { return t->t | a0; }
marcozecchini 0:9fca2b23d0ba 146 template <typename T>
marcozecchini 0:9fca2b23d0ba 147 T volatile_bound_func2(volatile Thing<T> *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 148 { return t->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 149 template <typename T>
marcozecchini 0:9fca2b23d0ba 150 T volatile_bound_func3(volatile Thing<T> *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 151 { return t->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 152 template <typename T>
marcozecchini 0:9fca2b23d0ba 153 T volatile_bound_func4(volatile Thing<T> *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 154 { return t->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 155 template <typename T>
marcozecchini 0:9fca2b23d0ba 156 T volatile_bound_func5(volatile Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 157 { return t->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 158 template <typename T>
marcozecchini 0:9fca2b23d0ba 159 T const_volatile_bound_func0(const volatile Thing<T> *t)
marcozecchini 0:9fca2b23d0ba 160 { return t->t; }
marcozecchini 0:9fca2b23d0ba 161 template <typename T>
marcozecchini 0:9fca2b23d0ba 162 T const_volatile_bound_func1(const volatile Thing<T> *t, T a0)
marcozecchini 0:9fca2b23d0ba 163 { return t->t | a0; }
marcozecchini 0:9fca2b23d0ba 164 template <typename T>
marcozecchini 0:9fca2b23d0ba 165 T const_volatile_bound_func2(const volatile Thing<T> *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 166 { return t->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 167 template <typename T>
marcozecchini 0:9fca2b23d0ba 168 T const_volatile_bound_func3(const volatile Thing<T> *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 169 { return t->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 170 template <typename T>
marcozecchini 0:9fca2b23d0ba 171 T const_volatile_bound_func4(const volatile Thing<T> *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 172 { return t->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 173 template <typename T>
marcozecchini 0:9fca2b23d0ba 174 T const_volatile_bound_func5(const volatile Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 175 { return t->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 176
marcozecchini 0:9fca2b23d0ba 177 // void functions
marcozecchini 0:9fca2b23d0ba 178 template <typename T>
marcozecchini 0:9fca2b23d0ba 179 T void_func0(void *t)
marcozecchini 0:9fca2b23d0ba 180 { return static_cast<Thing<T>*>(t)->t; }
marcozecchini 0:9fca2b23d0ba 181 template <typename T>
marcozecchini 0:9fca2b23d0ba 182 T void_func1(void *t, T a0)
marcozecchini 0:9fca2b23d0ba 183 { return static_cast<Thing<T>*>(t)->t | a0; }
marcozecchini 0:9fca2b23d0ba 184 template <typename T>
marcozecchini 0:9fca2b23d0ba 185 T void_func2(void *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 186 { return static_cast<Thing<T>*>(t)->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 187 template <typename T>
marcozecchini 0:9fca2b23d0ba 188 T void_func3(void *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 189 { return static_cast<Thing<T>*>(t)->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 190 template <typename T>
marcozecchini 0:9fca2b23d0ba 191 T void_func4(void *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 192 { return static_cast<Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 193 template <typename T>
marcozecchini 0:9fca2b23d0ba 194 T void_func5(void *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 195 { return static_cast<Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 196 template <typename T>
marcozecchini 0:9fca2b23d0ba 197 T const_void_func0(const void *t)
marcozecchini 0:9fca2b23d0ba 198 { return static_cast<const Thing<T>*>(t)->t; }
marcozecchini 0:9fca2b23d0ba 199 template <typename T>
marcozecchini 0:9fca2b23d0ba 200 T const_void_func1(const void *t, T a0)
marcozecchini 0:9fca2b23d0ba 201 { return static_cast<const Thing<T>*>(t)->t | a0; }
marcozecchini 0:9fca2b23d0ba 202 template <typename T>
marcozecchini 0:9fca2b23d0ba 203 T const_void_func2(const void *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 204 { return static_cast<const Thing<T>*>(t)->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 205 template <typename T>
marcozecchini 0:9fca2b23d0ba 206 T const_void_func3(const void *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 207 { return static_cast<const Thing<T>*>(t)->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 208 template <typename T>
marcozecchini 0:9fca2b23d0ba 209 T const_void_func4(const void *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 210 { return static_cast<const Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 211 template <typename T>
marcozecchini 0:9fca2b23d0ba 212 T const_void_func5(const void *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 213 { return static_cast<const Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 214 template <typename T>
marcozecchini 0:9fca2b23d0ba 215 T volatile_void_func0(volatile void *t)
marcozecchini 0:9fca2b23d0ba 216 { return static_cast<volatile Thing<T>*>(t)->t; }
marcozecchini 0:9fca2b23d0ba 217 template <typename T>
marcozecchini 0:9fca2b23d0ba 218 T volatile_void_func1(volatile void *t, T a0)
marcozecchini 0:9fca2b23d0ba 219 { return static_cast<volatile Thing<T>*>(t)->t | a0; }
marcozecchini 0:9fca2b23d0ba 220 template <typename T>
marcozecchini 0:9fca2b23d0ba 221 T volatile_void_func2(volatile void *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 222 { return static_cast<volatile Thing<T>*>(t)->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 223 template <typename T>
marcozecchini 0:9fca2b23d0ba 224 T volatile_void_func3(volatile void *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 225 { return static_cast<volatile Thing<T>*>(t)->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 226 template <typename T>
marcozecchini 0:9fca2b23d0ba 227 T volatile_void_func4(volatile void *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 228 { return static_cast<volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 229 template <typename T>
marcozecchini 0:9fca2b23d0ba 230 T volatile_void_func5(volatile void *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 231 { return static_cast<volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 232 template <typename T>
marcozecchini 0:9fca2b23d0ba 233 T const_volatile_void_func0(const volatile void *t)
marcozecchini 0:9fca2b23d0ba 234 { return static_cast<const volatile Thing<T>*>(t)->t; }
marcozecchini 0:9fca2b23d0ba 235 template <typename T>
marcozecchini 0:9fca2b23d0ba 236 T const_volatile_void_func1(const volatile void *t, T a0)
marcozecchini 0:9fca2b23d0ba 237 { return static_cast<const volatile Thing<T>*>(t)->t | a0; }
marcozecchini 0:9fca2b23d0ba 238 template <typename T>
marcozecchini 0:9fca2b23d0ba 239 T const_volatile_void_func2(const volatile void *t, T a0, T a1)
marcozecchini 0:9fca2b23d0ba 240 { return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1; }
marcozecchini 0:9fca2b23d0ba 241 template <typename T>
marcozecchini 0:9fca2b23d0ba 242 T const_volatile_void_func3(const volatile void *t, T a0, T a1, T a2)
marcozecchini 0:9fca2b23d0ba 243 { return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1 | a2; }
marcozecchini 0:9fca2b23d0ba 244 template <typename T>
marcozecchini 0:9fca2b23d0ba 245 T const_volatile_void_func4(const volatile void *t, T a0, T a1, T a2, T a3)
marcozecchini 0:9fca2b23d0ba 246 { return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
marcozecchini 0:9fca2b23d0ba 247 template <typename T>
marcozecchini 0:9fca2b23d0ba 248 T const_volatile_void_func5(const volatile void *t, T a0, T a1, T a2, T a3, T a4)
marcozecchini 0:9fca2b23d0ba 249 { return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
marcozecchini 0:9fca2b23d0ba 250
marcozecchini 0:9fca2b23d0ba 251
marcozecchini 0:9fca2b23d0ba 252 // function call and result verification
marcozecchini 0:9fca2b23d0ba 253 template <typename T>
marcozecchini 0:9fca2b23d0ba 254 struct Verifier {
marcozecchini 0:9fca2b23d0ba 255 static void verify0(Callback<T()> func) {
marcozecchini 0:9fca2b23d0ba 256 T result = func();
marcozecchini 0:9fca2b23d0ba 257 TEST_ASSERT_EQUAL(result, 0x00);
marcozecchini 0:9fca2b23d0ba 258 }
marcozecchini 0:9fca2b23d0ba 259
marcozecchini 0:9fca2b23d0ba 260 template <typename O, typename M>
marcozecchini 0:9fca2b23d0ba 261 static void verify0(O *obj, M method) {
marcozecchini 0:9fca2b23d0ba 262 Callback<T()> func(obj, method);
marcozecchini 0:9fca2b23d0ba 263 T result = func();
marcozecchini 0:9fca2b23d0ba 264 TEST_ASSERT_EQUAL(result, 0x80);
marcozecchini 0:9fca2b23d0ba 265 }
marcozecchini 0:9fca2b23d0ba 266
marcozecchini 0:9fca2b23d0ba 267 static void verify1(Callback<T(T)> func) {
marcozecchini 0:9fca2b23d0ba 268 T result = func((1 << 0));
marcozecchini 0:9fca2b23d0ba 269 TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0));
marcozecchini 0:9fca2b23d0ba 270 }
marcozecchini 0:9fca2b23d0ba 271
marcozecchini 0:9fca2b23d0ba 272 template <typename O, typename M>
marcozecchini 0:9fca2b23d0ba 273 static void verify1(O *obj, M method) {
marcozecchini 0:9fca2b23d0ba 274 Callback<T(T)> func(obj, method);
marcozecchini 0:9fca2b23d0ba 275 T result = func((1 << 0));
marcozecchini 0:9fca2b23d0ba 276 TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0));
marcozecchini 0:9fca2b23d0ba 277 }
marcozecchini 0:9fca2b23d0ba 278
marcozecchini 0:9fca2b23d0ba 279 static void verify2(Callback<T(T, T)> func) {
marcozecchini 0:9fca2b23d0ba 280 T result = func((1 << 0), (1 << 1));
marcozecchini 0:9fca2b23d0ba 281 TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1));
marcozecchini 0:9fca2b23d0ba 282 }
marcozecchini 0:9fca2b23d0ba 283
marcozecchini 0:9fca2b23d0ba 284 template <typename O, typename M>
marcozecchini 0:9fca2b23d0ba 285 static void verify2(O *obj, M method) {
marcozecchini 0:9fca2b23d0ba 286 Callback<T(T, T)> func(obj, method);
marcozecchini 0:9fca2b23d0ba 287 T result = func((1 << 0), (1 << 1));
marcozecchini 0:9fca2b23d0ba 288 TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1));
marcozecchini 0:9fca2b23d0ba 289 }
marcozecchini 0:9fca2b23d0ba 290
marcozecchini 0:9fca2b23d0ba 291 static void verify3(Callback<T(T, T, T)> func) {
marcozecchini 0:9fca2b23d0ba 292 T result = func((1 << 0), (1 << 1), (1 << 2));
marcozecchini 0:9fca2b23d0ba 293 TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1) | (1 << 2));
marcozecchini 0:9fca2b23d0ba 294 }
marcozecchini 0:9fca2b23d0ba 295
marcozecchini 0:9fca2b23d0ba 296 template <typename O, typename M>
marcozecchini 0:9fca2b23d0ba 297 static void verify3(O *obj, M method) {
marcozecchini 0:9fca2b23d0ba 298 Callback<T(T, T, T)> func(obj, method);
marcozecchini 0:9fca2b23d0ba 299 T result = func((1 << 0), (1 << 1), (1 << 2));
marcozecchini 0:9fca2b23d0ba 300 TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1) | (1 << 2));
marcozecchini 0:9fca2b23d0ba 301 }
marcozecchini 0:9fca2b23d0ba 302
marcozecchini 0:9fca2b23d0ba 303 static void verify4(Callback<T(T, T, T, T)> func) {
marcozecchini 0:9fca2b23d0ba 304 T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3));
marcozecchini 0:9fca2b23d0ba 305 TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3));
marcozecchini 0:9fca2b23d0ba 306 }
marcozecchini 0:9fca2b23d0ba 307
marcozecchini 0:9fca2b23d0ba 308 template <typename O, typename M>
marcozecchini 0:9fca2b23d0ba 309 static void verify4(O *obj, M method) {
marcozecchini 0:9fca2b23d0ba 310 Callback<T(T, T, T, T)> func(obj, method);
marcozecchini 0:9fca2b23d0ba 311 T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3));
marcozecchini 0:9fca2b23d0ba 312 TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3));
marcozecchini 0:9fca2b23d0ba 313 }
marcozecchini 0:9fca2b23d0ba 314
marcozecchini 0:9fca2b23d0ba 315 static void verify5(Callback<T(T, T, T, T, T)> func) {
marcozecchini 0:9fca2b23d0ba 316 T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3), (1 << 4));
marcozecchini 0:9fca2b23d0ba 317 TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3) | (1 << 4));
marcozecchini 0:9fca2b23d0ba 318 }
marcozecchini 0:9fca2b23d0ba 319
marcozecchini 0:9fca2b23d0ba 320 template <typename O, typename M>
marcozecchini 0:9fca2b23d0ba 321 static void verify5(O *obj, M method) {
marcozecchini 0:9fca2b23d0ba 322 Callback<T(T, T, T, T, T)> func(obj, method);
marcozecchini 0:9fca2b23d0ba 323 T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3), (1 << 4));
marcozecchini 0:9fca2b23d0ba 324 TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3) | (1 << 4));
marcozecchini 0:9fca2b23d0ba 325 }
marcozecchini 0:9fca2b23d0ba 326 };
marcozecchini 0:9fca2b23d0ba 327
marcozecchini 0:9fca2b23d0ba 328
marcozecchini 0:9fca2b23d0ba 329 // test dispatch
marcozecchini 0:9fca2b23d0ba 330 template <typename T>
marcozecchini 0:9fca2b23d0ba 331 void test_fparg1() {
marcozecchini 0:9fca2b23d0ba 332 Thing<T> thing;
marcozecchini 0:9fca2b23d0ba 333 FunctionPointerArg1<T,T> fp(static_func1<T>);
marcozecchini 0:9fca2b23d0ba 334 Verifier<T>::verify1(fp);
marcozecchini 0:9fca2b23d0ba 335 Verifier<T>::verify1(fp.get_function());
marcozecchini 0:9fca2b23d0ba 336 }
marcozecchini 0:9fca2b23d0ba 337
marcozecchini 0:9fca2b23d0ba 338 template <typename T>
marcozecchini 0:9fca2b23d0ba 339 void test_fparg0() {
marcozecchini 0:9fca2b23d0ba 340 Thing<T> thing;
marcozecchini 0:9fca2b23d0ba 341 FunctionPointerArg1<T,void> fp(static_func0<T>);
marcozecchini 0:9fca2b23d0ba 342 Verifier<T>::verify0(fp);
marcozecchini 0:9fca2b23d0ba 343 Verifier<T>::verify0(fp.get_function());
marcozecchini 0:9fca2b23d0ba 344 }
marcozecchini 0:9fca2b23d0ba 345
marcozecchini 0:9fca2b23d0ba 346
marcozecchini 0:9fca2b23d0ba 347 // Test setup
marcozecchini 0:9fca2b23d0ba 348 utest::v1::status_t test_setup(const size_t number_of_cases) {
marcozecchini 0:9fca2b23d0ba 349 GREENTEA_SETUP(10, "default_auto");
marcozecchini 0:9fca2b23d0ba 350 return verbose_test_setup_handler(number_of_cases);
marcozecchini 0:9fca2b23d0ba 351 }
marcozecchini 0:9fca2b23d0ba 352
marcozecchini 0:9fca2b23d0ba 353 Case cases[] = {
marcozecchini 0:9fca2b23d0ba 354 Case("Testing FunctionPointerArg1 compatibility", test_fparg1<int>),
marcozecchini 0:9fca2b23d0ba 355 Case("Testing FunctionPointer compatibility", test_fparg0<int>),
marcozecchini 0:9fca2b23d0ba 356 };
marcozecchini 0:9fca2b23d0ba 357
marcozecchini 0:9fca2b23d0ba 358 Specification specification(test_setup, cases);
marcozecchini 0:9fca2b23d0ba 359
marcozecchini 0:9fca2b23d0ba 360 int main() {
marcozecchini 0:9fca2b23d0ba 361 return !Harness::run(specification);
marcozecchini 0:9fca2b23d0ba 362 }