initialization.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/initialization.cpp
00039  */
00040 #include "toppers/itron/jsp/initialization.hpp"
00041 
00042 namespace toppers
00043 {
00044   namespace itron
00045   {
00046     namespace jsp
00047     {
00048 
00054       void initialization_policy::generate_kernel_cfg( const kernel_cfg& cfg, std::ostream& ostr )
00055       {
00056         using boost::format;
00057         typedef kernel_cfg::inib_array::const_iterator const_iterator;
00058 
00059         const kernel_cfg::inib_array* pinibs = cfg.get_inib_array( name_ );
00060         if ( pinibs == 0 )
00061         {
00062           static const kernel_cfg::inib_array dummy;
00063           pinibs = &dummy;
00064         }
00065 
00066         // 初期化ルーチンの呼び出し関数定義
00067         ostr << "\t/* Initialization handler */\n\n";
00068         ostr << "void\n_kernel_call_inirtn(void)\n{\n";
00069         for ( const_iterator iter( pinibs->begin() ), last( pinibs->end() ); iter != last; ++iter )
00070         {
00071           if ( !( *iter )->get( "inirtn" ).empty() )
00072           {
00073             ostr << format( "\t%1%((VP_INT)%2%);\n" ) % ( *iter )->get( "inirtn" ) % ( *iter )->get( "exinf" );
00074           }
00075         }
00076         ostr << "}\n\n";
00077       }
00078 
00084       void initialization_policy::generate_assertions( const kernel_cfg& cfg, std::ostream& ostr )
00085       {
00086         const kernel_cfg::inib_array* pinibs = cfg.get_inib_array( name_ );
00087         static const char pattern[] = 
00088           "#if ((@#iniatr) & (TA_HLNG|TA_ASM)) != TA_HLNG\n"
00089           "#error \"`iniatr\' for `@inirtn\' is not TA_HLNG\"\n"
00090           "#endif\n"
00091           "__CFG_ASSERT(((@#iniatr) & (TA_HLNG|TA_ASM)) != TA_HLNG);\n"
00092           "__CFG_ASSERT(sizeof((*(@inirtn))(0), 1));\n"   // inirtnに関数型マクロを指定していた場合にはコンパイル不可
00093           "\n";
00094         std::transform( pinibs->begin(), pinibs->end(), std::ostream_iterator<std::string>( ostr ), generator( pattern ) );
00095       }
00096 
00097       const char initialization_policy::name_[] = "initialization";
00098       const char* const initialization_policy::apis_[] = { "ATT_INI", 0 };
00099       const char* const initialization_policy::params_[] = { "{ #iniatr exinf inirtn }", 0 };
00100 
00101     }
00102   }
00103 }