source: include/test_lib.h @ 7

/*
 *  TOPPERS Software
 *      Toyohashi Open Platform for Embedded Real-Time Systems
 * 
 *  Copyright (C) 2005-2013 by Embedded and Real-Time Systems Laboratory
 *              Graduate School of Information Science, Nagoya Univ., JAPAN
 * 
 *  Ÿåµ­Ãøºîž¢ŒÔ€Ï¡€°Ê²Œ€Î(1)¡Á(4)€ÎŸò·ï€òËþ€¿€¹Ÿì¹ç€ËžÂ€ê¡€ËÜ¥œ¥Õ¥È¥Š¥§
 *  ¥¢¡ÊËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò²þÊÑ€·€¿€â€Î€òŽÞ€à¡¥°Ê²ŒÆ±€ž¡Ë€ò»ÈÍÑ¡ŠÊ£Àœ¡Š²þ
 *  ÊÑ¡ŠºÆÇÛÉۡʰʲŒ¡€ÍøÍрȞƀ֡ˀ¹€ë€³€È€ò̵œþ€ÇµöÂú€¹€ë¡¥
 *  (1) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¥œ¡Œ¥¹¥³¡Œ¥É€Î·Á€ÇÍøÍÑ€¹€ëŸì¹ç€Ë€Ï¡€Ÿåµ­€ÎÃøºî
 *      ž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­€Î̵ÊÝŸÚµ¬Äꀬ¡€€œ€Î€Þ€Þ€Î·Á€Ç¥œ¡Œ
 *      ¥¹¥³¡Œ¥ÉÃæ€ËŽÞ€Þ€ì€Æ€€€ë€³€È¡¥
 *  (2) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¡€¥é¥€¥Ö¥é¥ê·ÁŒ°€Ê€É¡€ÂŸ€Î¥œ¥Õ¥È¥Š¥§¥¢³«È¯€Ë»È
 *      Íрǀ­€ë·Á€ÇºÆÇÛÉÛ€¹€ëŸì¹ç€Ë€Ï¡€ºÆÇÛÉÛ€ËÈŒ€Š¥É¥­¥å¥á¥ó¥È¡ÊÍøÍÑ
 *      ŒÔ¥Þ¥Ë¥å¥¢¥ë€Ê€É¡Ë€Ë¡€Ÿåµ­€ÎÃøºîž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­
 *      €Î̵ÊÝŸÚµ¬Äê€ò·ÇºÜ€¹€ë€³€È¡¥
 *  (3) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¡€µ¡Žï€ËÁȀ߹þ€à€Ê€É¡€ÂŸ€Î¥œ¥Õ¥È¥Š¥§¥¢³«È¯€Ë»È
 *      Íрǀ­€Ê€€·Á€ÇºÆÇÛÉÛ€¹€ëŸì¹ç€Ë€Ï¡€Œ¡€Î€€€º€ì€«€ÎŸò·ï€òËþ€¿€¹€³
 *      €È¡¥
 *    (a) ºÆÇÛÉÛ€ËÈŒ€Š¥É¥­¥å¥á¥ó¥È¡ÊÍøÍьԥޥ˥奢¥ë€Ê€É¡Ë€Ë¡€Ÿåµ­€ÎÃø
 *        ºîž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­€Î̵ÊÝŸÚµ¬Äê€ò·ÇºÜ€¹€ë€³€È¡¥
 *    (b) ºÆÇÛÉۀηÁÂÖ€ò¡€ÊÌ€ËÄê€á€ëÊýË¡€Ë€è€Ã€Æ¡€TOPPERS¥×¥í¥ž¥§¥¯¥È€Ë
 *        Êó¹ð€¹€ë€³€È¡¥
 *  (4) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ÎÍøÍрˀè€êÄŸÀÜŪ€Þ€¿€ÏŽÖÀÜŪ€ËÀž€ž€ë€€€«€Ê€ë»
 *      ³²€«€é€â¡€Ÿåµ­Ãøºîž¢ŒÔ€ª€è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€òÌÈÀÕ€¹€ë€³€È¡¥
 *      €Þ€¿¡€ËÜ¥œ¥Õ¥È¥Š¥§¥¢€Î¥æ¡Œ¥¶€Þ€¿€Ï¥š¥ó¥É¥æ¡Œ¥¶€«€é€Î€€€«€Ê€ëÍý
 *      ͳ€ËŽð€Å€¯ÀÁµá€«€é€â¡€Ÿåµ­Ãøºîž¢ŒÔ€ª€è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€ò
 *      ÌÈÀÕ€¹€ë€³€È¡¥
 * 
 *  ËÜ¥œ¥Õ¥È¥Š¥§¥¢€Ï¡€ÌµÊÝŸÚ€ÇÄ󶡀µ€ì€Æ€€€ë€â€Î€Ç€¢€ë¡¥Ÿåµ­Ãøºîž¢ŒÔ€ª
 *  €è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€Ï¡€ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ËŽØ€·€Æ¡€ÆÃÄê€Î»ÈÍÑÌÜŪ
 *  €ËÂЀ¹€ëŬ¹çÀ­€âŽÞ€á€Æ¡€€€€«€Ê€ëÊÝŸÚ€â¹Ô€ï€Ê€€¡¥€Þ€¿¡€ËÜ¥œ¥Õ¥È¥Š¥§
 *  ¥¢€ÎÍøÍрˀè€êÄŸÀÜŪ€Þ€¿€ÏŽÖÀÜŪ€ËÀž€ž€¿€€€«€Ê€ë»³²€ËŽØ€·€Æ€â¡€€œ
 *  €ÎÀÕÇ€€òÉé€ï€Ê€€¡¥
 * 
 *  $Id$
 */

/* 
 *              ¥Æ¥¹¥È¥×¥í¥°¥é¥àÍѥ饀¥Ö¥é¥ê
 */

#ifndef TOPPERS_TEST_LIB_H
#define TOPPERS_TEST_LIB_H

#ifdef __cplusplus
extern "C" {
#endif

#include <t_stddef.h>

/*
 *  ¥¿¡Œ¥²¥Ã¥È°Íž€ÎÄêµÁ
 */
#include "target_test.h"

/*
 *      Œ«žÊ¿ÇÃÇŽØ¿ô€Î·¿
 */
typedef ER (*BIT_FUNC)(void);

/*
 *      Œ«žÊ¿ÇÃÇŽØ¿ô€ÎÀßÄê
 */
extern void     set_bit_func(BIT_FUNC bit_func);

/*
 *  ¥Æ¥¹¥È¥×¥í¥°¥é¥à€Î³«»Ï
 */
extern void     test_start(char *progname);

/*
 *  ¥·¥¹¥Æ¥à¥í¥°€ÎœÐÎÏœèÍý
 */
extern void     syslog_flush(void);

/*
 *      ¥Æ¥¹¥È¥×¥í¥°¥é¥à€ÎœªÎ»
 */
extern void     test_finish(void);

/*
 *      ¥Á¥§¥Ã¥¯¥Ý¥€¥ó¥È
 */
extern void     check_point(uint_t count);

/*
 *      Ž°Î»¥Á¥§¥Ã¥¯¥Ý¥€¥ó¥È
 */
extern void     check_finish(uint_t count);

/*
 *      Ÿò·ï¥Á¥§¥Ã¥¯
 */
extern void     _check_assert(const char *expr, const char *file, int_t line);
#define check_assert(exp) \
        ((void)(!(exp) ? (_check_assert(#exp, __FILE__, __LINE__), 0) : 0))

/*
 *      ¥š¥é¡Œ¥³¡Œ¥É¥Á¥§¥Ã¥¯
 */
extern void     _check_ercd(ER ercd, const char *file, int_t line);
#define check_ercd(ercd, expected_ercd) \
        ((void)((ercd) != (expected_ercd) ? \
                                        (_check_ercd(ercd, __FILE__, __LINE__), 0) : 0))

/*
 *      ¥·¥¹¥Æ¥àŸõÂրΥÁ¥§¥Ã¥¯
 */
Inline void
check_state(bool_t ctx, bool_t loc, PRI ipm, bool_t dsp,
                                                                                bool_t dpn, bool_t tex)
{
        PRI             intpri;
        ER              ercd;

        check_assert(sns_ctx() == ctx);
        check_assert(sns_loc() == loc);
        if (!loc) {
                /*
                 *  IPM€Î¥Á¥§¥Ã¥¯€Ï¡€CPU¥í¥Ã¥¯²òœüŸõÂրΟì¹ç€Ë€Î€ß¹Ô€Š¡¥
                 */
                ercd = get_ipm(&intpri);
                check_ercd(ercd, E_OK);
                check_assert(intpri == ipm);
        }
        check_assert(sns_dsp() == dsp);
        check_assert(sns_dpn() == dpn);
        check_assert(sns_tex() == tex);
}

/*
 *      ¥·¥¹¥Æ¥àŸõÂրΥÁ¥§¥Ã¥¯¡ÊÈ󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥ÈÍÑ¡Ë
 */
Inline void
check_state_i(bool_t ctx, bool_t loc, bool_t dsp, bool_t dpn, bool_t tex)
{
        check_assert(sns_ctx() == ctx);
        check_assert(sns_loc() == loc);
        check_assert(sns_dsp() == dsp);
        check_assert(sns_dpn() == dpn);
        check_assert(sns_tex() == tex);
}

#ifdef __cplusplus
}
#endif

#endif /* TOPPERS_TEST_LIB_H */