mailbox.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/mailbox.cpp
00039  */
00040 #include "toppers/itron/jsp/mailbox.hpp"
00041 
00042 namespace toppers
00043 {
00044   namespace itron
00045   {
00046     namespace jsp
00047     {
00048 
00054       void mailbox_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           "__CFG_ASSERT(TMIN_MPRI <= (@#maxmpri) && (@#maxmpri) <= TMAX_MPRI);\n"
00059           "\n";
00060         std::transform( pinibs->begin(), pinibs->end(), std::ostream_iterator<std::string>( ostr ), generator( pattern ) );
00061       }
00062 
00069       bool mailbox_policy::verify( const static_api& api, kernel_object& obj )
00070       {
00071         if ( obj.get( "mprihd" ) != "NULL" )
00072         {
00073           error( _( "parameter `%1%\' must be `NULL\'" ) % "mprihd" );
00074           return false;
00075         }
00076         return true;
00077       }
00078    
00079       const char mailbox_policy::name_[] = "mailbox";
00080       const char mailbox_policy::symbol_[] = "mbx";
00081       const char* const mailbox_policy::apis_[] = { "CRE_MBX", 0 };
00082       const char* const mailbox_policy::params_[] = { "$mbxid { #mbxatr #maxmpri mprihd }", 0 };
00083       const char mailbox_policy::init_format_[] = "\t{ @#mbxatr, @#maxmpri }";
00084 
00085     }
00086   }
00087 }
00088