mailbox.hpp

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 
00046 #ifndef TOPPERS_ITRON_JSP_MAILBOX_HPP_
00047 #define TOPPERS_ITRON_JSP_MAILBOX_HPP_
00048 
00049 #include "toppers/itron/specified_object.hpp"
00050 #include "toppers/itron/jsp/file_generator.hpp"
00051 #include "toppers/itron/jsp/itron.hpp"
00052 
00053 namespace toppers
00054 {
00055   namespace itron
00056   {
00057     namespace jsp
00058     {
00059 
00060       struct MBXINIB
00061       {
00062         ATR mbxatr;
00063         PRI maxmpri;
00064       };
00065 
00075       struct mailbox_policy : kernel_object_policy_base, file_generator<mailbox_policy>
00076       {
00077         static void generate_assertions( const kernel_cfg& cfg, std::ostream& ostr );
00078         static bool verify( const static_api& api, kernel_object& obj );
00079         static const char name_[];
00080         static const char symbol_[];
00081         static const char* const apis_[];
00082         static const char* const params_[];
00083         static const char init_format_[];
00084       };
00085 
00089       typedef specified_object<mailbox_policy> mailbox;
00090 
00091     }
00092   }
00093 }
00094 
00095 #endif  // ! TOPPERS_ITRON_JSP_MAILBOX_HPP_