1 | /*
|
---|
2 | * TOPPERS Software
|
---|
3 | * Toyohashi Open Platform for Embedded Real-Time Systems
|
---|
4 | *
|
---|
5 | * Copyright (C) 2005-2018 by Embedded and Real-Time Systems Laboratory
|
---|
6 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
7 | *
|
---|
8 | * 上記著作権者は,以下の(1)~(4)の条件を満たす場合に限り,本ソフトウェ
|
---|
9 | * ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
|
---|
10 | * 変・再配布(以下,利用と呼ぶ)することを無償で許諾する.
|
---|
11 | * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
|
---|
12 | * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
|
---|
13 | * スコード中に含まれていること.
|
---|
14 | * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
|
---|
15 | * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
|
---|
16 | * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
|
---|
17 | * の無保証規定を掲載すること.
|
---|
18 | * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
|
---|
19 | * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
|
---|
20 | * と.
|
---|
21 | * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
|
---|
22 | * 作権表示,この利用条件および下記の無保証規定を掲載すること.
|
---|
23 | * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
|
---|
24 | * 報告すること.
|
---|
25 | * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
|
---|
26 | * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
|
---|
27 | * また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
|
---|
28 | * 由に基づく請求からも,上記著作権者およびTOPPERSプロジェクトを
|
---|
29 | * 免責すること.
|
---|
30 | *
|
---|
31 | * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
|
---|
32 | * よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
|
---|
33 | * に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
|
---|
34 | * アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
|
---|
35 | * の責任を負わない.
|
---|
36 | *
|
---|
37 | * $Id$
|
---|
38 | */
|
---|
39 |
|
---|
40 | /*
|
---|
41 | * テストプログラム用サービス
|
---|
42 | */
|
---|
43 |
|
---|
44 | #ifndef TOPPERS_TEST_SVC_H
|
---|
45 | #define TOPPERS_TEST_SVC_H
|
---|
46 |
|
---|
47 | #ifdef __cplusplus
|
---|
48 | extern "C" {
|
---|
49 | #endif
|
---|
50 |
|
---|
51 | #include <kernel.h>
|
---|
52 | #include "target_test.h"
|
---|
53 |
|
---|
54 | /*
|
---|
55 | * テストプログラム用サービスのサービスコール
|
---|
56 | */
|
---|
57 | extern void test_start(const char *progname);
|
---|
58 | extern void check_point(uint_t count);
|
---|
59 | extern void check_finish(uint_t count);
|
---|
60 | extern void check_assert_error(const char *expr, const char *file, int_t line);
|
---|
61 | extern void check_ercd_error(ER ercd, const char *file, int_t line);
|
---|
62 | extern ER get_interrupt_priority_mask(PRI *p_ipm);
|
---|
63 |
|
---|
64 | /*
|
---|
65 | * 条件チェック
|
---|
66 | */
|
---|
67 | #define check_assert(exp) \
|
---|
68 | ((void)(!(exp) ? (check_assert_error(#exp, __FILE__, __LINE__), 0) : 0))
|
---|
69 |
|
---|
70 | /*
|
---|
71 | * エラーコードチェック
|
---|
72 | */
|
---|
73 | #define check_ercd(ercd, expected_ercd) \
|
---|
74 | ((void)((ercd) != (expected_ercd) ? \
|
---|
75 | (check_ercd_error(ercd, __FILE__, __LINE__), 0) : 0))
|
---|
76 |
|
---|
77 | /*
|
---|
78 | * システム状態のチェック
|
---|
79 | */
|
---|
80 | #define check_state(ctx, loc, dsp, dpn, ter) do { \
|
---|
81 | check_assert(sns_ctx() == ctx); \
|
---|
82 | check_assert(sns_loc() == loc); \
|
---|
83 | check_assert(sns_dsp() == dsp); \
|
---|
84 | check_assert(sns_dpn() == dpn); \
|
---|
85 | check_assert(sns_ter() == ter); \
|
---|
86 | } while (false);
|
---|
87 |
|
---|
88 | /*
|
---|
89 | * 割込み優先度マスクのチェック
|
---|
90 | */
|
---|
91 | #define check_ipm(ipm) do { \
|
---|
92 | PRI intpri; \
|
---|
93 | ER ercd; \
|
---|
94 | \
|
---|
95 | ercd = get_interrupt_priority_mask(&intpri); \
|
---|
96 | check_ercd(ercd, E_OK); \
|
---|
97 | check_assert(intpri == ipm); \
|
---|
98 | } while (false);
|
---|
99 |
|
---|
100 | #ifdef __cplusplus
|
---|
101 | }
|
---|
102 | #endif
|
---|
103 |
|
---|
104 | #endif /* TOPPERS_TEST_SVC_H */
|
---|