eventflag.cpp

00001 /*
00002  *  TOPPERS/FDMP Kernel
00003  *      Toyohashi Open Platform for Embedded Real-Time Systems/
00004  *      Function Distributed Multiprocessor Kernel
00005  *
00006  *  Copyright (C) 2005 by Takagi Nobuhisa
00007  * 
00008  *  上記著作権者は，以下の (1)〜(4) の条件か，Free Software Foundation 
00009  *  によって公表されている GNU General Public License の Version 2 に記
00010  *  述されている条件を満たす場合に限り，本ソフトウェア（本ソフトウェア
00011  *  を改変したものを含む．以下同じ）を使用・複製・改変・再配布（以下，
00012  *  利用と呼ぶ）することを無償で許諾する．
00013  *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
00014  *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
00015  *      スコード中に含まれていること．
00016  *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
00017  *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
00018  *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
00019  *      の無保証規定を掲載すること．
00020  *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
00021  *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
00022  *      と．
00023  *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
00024  *        作権表示，この利用条件および下記の無保証規定を掲載すること．
00025  *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
00026  *        報告すること．
00027  *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
00028  *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
00029  * 
00030  *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
00031  *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，その適用可能性も
00032  *  含めて，いかなる保証も行わない．また，本ソフトウェアの利用により直
00033  *  接的または間接的に生じたいかなる損害に関しても，その責任を負わない．
00034  * 
00035  */
00036 
00037 /*
00038  *  toppers/itron/jsp/eventflag.cpp
00039  */
00040 #include "toppers/itron/jsp/eventflag.hpp"
00041 
00042 namespace toppers
00043 {
00044   namespace itron
00045   {
00046     namespace jsp
00047     {
00048 
00054       void eventflag_policy::generate_assertions( const kernel_cfg& cfg, std::ostream& ostr )
00055       {
00056         const kernel_cfg::inib_array* pinibs = cfg.get_inib_array( name_ );
00057         static const char pattern[] = 
00058           "#if ((@#flgatr) & 0x02u) != 0x00u\n"
00059           "#error \"`flgatr\' of eventflag `@name\' is specified TA_WMUL\"\n"
00060           "#endif\n"
00061           "__CFG_ASSERT(((@#flgatr) & 0x02u) == 0x00u);\n"
00062           "\n";
00063         std::transform( pinibs->begin(), pinibs->end(), std::ostream_iterator<std::string>( ostr ), generator( pattern ) );
00064       }
00065 
00066       const char eventflag_policy::name_[] = "eventflag";
00067       const char eventflag_policy::symbol_[] = "flg";
00068       const char* const eventflag_policy::apis_[] = { "CRE_FLG", 0 };
00069       const char* const eventflag_policy::params_[] = { "$flgid { #flgatr iflgptn }", 0 };
00070       const char eventflag_policy::init_format_[] = "\t{ @#flgatr, @iflgptn }";
00071 
00072     }
00073   }
00074 }