3 * Toyohashi Open Platform for Embedded Real-Time Systems
5 * Copyright (C) 2007-2011 by TAKAGI Nobuhisa
7 * 上記著作権者は,以下の(1)〜(4)の条件を満たす場合に限り,本ソフトウェ
8 * ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
9 * 変・再配布(以下,利用と呼ぶ)することを無償で許諾する.
10 * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
11 * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
13 * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
14 * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
15 * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
17 * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
18 * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
20 * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
21 * 作権表示,この利用条件および下記の無保証規定を掲載すること.
22 * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
24 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
25 * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
26 * また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
27 * 由に基づく請求からも,上記著作権者およびTOPPERSプロジェクトを
30 * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
31 * よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
32 * に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
33 * アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
40 #include <boost/lexical_cast.hpp>
41 #include "toppers/misc.hpp"
42 #include "toppers/global.hpp"
43 #include "toppers/csv.hpp"
44 #include "toppers/nm_symbol.hpp"
45 #include "toppers/s_record.hpp"
46 #include "toppers/diagnostics.hpp"
47 #include "toppers/macro_processor.hpp"
48 #include "toppers/io.hpp"
49 #include "toppers/cpp.hpp"
50 #include "toppers/itronx/factory.hpp"
51 #include "toppers/itronx/cfg1_out.hpp"
60 // カーネルオブジェクト生成・定義用静的APIの各パラメータをマクロプロセッサの変数として設定する。
61 void set_object_vars( cfg1_out::static_api_map const& api_map, macro_processor& mproc )
63 typedef macro_processor::element element;
64 typedef macro_processor::var_t var_t;
65 std::map< std::string, var_t > order_list_map;
66 std::map< std::string, long > id_map;
68 for ( cfg1_out::static_api_map::const_iterator m_iter( api_map.begin() ), m_last( api_map.end() );
74 for ( std::vector< static_api >::const_iterator v_iter( m_iter->second.begin() ), v_last( m_iter->second.end() );
78 static_api::info const* info = v_iter->get_info();
84 if ( v_iter->id().value )
86 id = static_cast< long >( v_iter->id().value.get() );
92 id_map[ v_iter->id().text ] = id;
95 mproc.set_var( toppers::toupper( ( boost::format( "%s.order" ) % info->type ).str() ), id, var_t( 1, e ) );
98 e.s = v_iter->id().text;
99 order_list_map[ info->type ].push_back( e );
104 std::map< std::string, long >::iterator iter( id_map.find( v_iter->id().text ) );
105 if ( iter == id_map.end() )
107 error( v_iter->line(), _( "E_NOEXS: `%1%\' is undefined" ), v_iter->id().text );
116 for ( static_api::const_iterator api_iter( v_iter->begin() ), api_last( v_iter->end() );
117 api_iter != api_last;
120 std::string name( toppers::toupper( ( boost::format( "%s.%s" ) % info->type % ( api_iter->symbol.c_str() + 1 ) ).str() ) );
122 if ( *name.rbegin() == '\?' )
124 name.resize( name.size() - 1 );
128 e.s = api_iter->text; // ソースの字面
129 if ( api_iter->symbol[0] != '&' ) // 一般定数式パラメータは値が特定できない
131 if ( api_iter->symbol[0] == '$' ) // 文字列定数式パラメータ
133 e.v = api_iter->string; // 展開後の文字列
137 e.i = api_iter->value;
139 if ( api_iter->symbol[0] == '%' )
144 mproc.set_var( name, id, var_t( 1, e ) );
150 e.s = v_iter->line().file;
151 e.i = v_iter->line().line;
152 std::string type( toppers::toupper( info->type ) );
156 type = info->api_name;
158 mproc.set_var( type + ".TEXT_LINE", id, var_t( 1, e ) );
163 std::map< std::string, var_t > id_list_map;
165 for ( std::map< std::string, var_t >::const_iterator iter( order_list_map.begin() ), last( order_list_map.end() );
169 // 出現順リスト $OBJ.ORDER_LIST$ -- ID番号の並び
170 mproc.set_var( toppers::toupper( iter->first + ".order_list" ), iter->second );
171 var_t rorder_list( iter->second );
173 // 逆順リスト $OBJ.RORDER_LIST$ -- ID番号の並び
174 std::reverse( rorder_list.begin(), rorder_list.end() );
175 mproc.set_var( toppers::toupper( iter->first + ".rorder_list" ), rorder_list );
177 // ID番号リスト $OBJ.ID_LIST$ -- ID番号の並び
178 var_t id_list( iter->second );
179 std::sort( id_list.begin(), id_list.end() );
180 mproc.set_var( toppers::toupper( iter->first + ".id_list" ), id_list );
184 external_id.i = get_global< bool >( "external-id" );
185 mproc.set_var( "USE_EXTERNAL_ID", var_t( 1, external_id ) );
188 // カーネルオブジェクト生成・定義用静的APIの各パラメータをマクロプロセッサの変数として設定する。
189 void set_object_vars( std::vector< static_api > const& api_array, macro_processor& mproc )
191 typedef macro_processor::element element;
192 typedef macro_processor::var_t var_t;
196 for ( std::vector< static_api >::const_iterator v_iter( api_array.begin() ), v_last( api_array.end() );
200 static_api::info const* info = v_iter->get_info();
206 e.s = v_iter->line().file;
207 e.i = v_iter->line().line;
208 mproc.set_var( "API.TEXT_LINE", order, var_t( 1, e ) );
211 e.s = info->api_name;
213 mproc.set_var( "API.NAME", order, var_t( 1, e ) );
215 // オブジェクトタイプ("TSK", "SEM", ...)
216 e.s = toppers::toupper( info->type );
217 mproc.set_var( "API.TYPE", order, var_t( 1 , e ) );
220 for ( static_api::const_iterator api_iter( v_iter->begin() ), api_last( v_iter->end() );
221 api_iter != api_last;
224 std::string name( toppers::toupper( ( boost::format( "%s.%s" ) % info->type % ( api_iter->symbol.c_str() + 1 ) ).str() ) );
226 if ( *name.rbegin() == '\?' )
228 name.resize( name.size() - 1 );
232 e.s = api_iter->text; // ソースの字面
233 if ( api_iter->symbol[0] != '&' ) // 一般定数式パラメータは値が特定できない
235 if ( api_iter->symbol[0] == '$' ) // 文字列定数式パラメータ
237 e.v = api_iter->string; // 展開後の文字列
241 e.i = api_iter->value;
248 params.push_back( e );
250 if ( api_iter->symbol[0] == '%' )
255 mproc.set_var( "API.ARGS", order, args );
256 mproc.set_var( "API.PARAMS", order, params );
259 order_list.push_back( e );
262 mproc.set_var( "API.ORDER_LIST", order_list );
265 external_id.i = get_global< bool >( "external-id" );
266 mproc.set_var( "USE_EXTERNAL_ID", var_t( 1, external_id ) );
269 // クラスIDリストをマクロプロセッサの変数として設定する。
270 void set_clsid_vars( std::vector< std::pair< std::string, long > > const& table, cfg1_out const& cfg1out, macro_processor& mproc )
272 typedef macro_processor::element element;
273 macro_processor::var_t var;
275 bool little_endian = cfg1out.is_little_endian();
276 nm_symbol::entry nm_entry = cfg1out.get_syms()->find( "TOPPERS_cfg_sizeof_signed_t" );
277 std::size_t sizeof_signed_t = static_cast< std::size_t >( cfg1out.get_srec()->get_value( nm_entry.address, 4, little_endian ) );
279 for ( std::vector< std::pair< std::string, long > >::const_iterator iter( table.begin() ), last( table.end() );
283 if ( !iter->first.empty() )
288 std::string symbol = "TOPPERS_cfg_valueof_" + iter->first;
289 nm_symbol::entry nm_entry = cfg1out.get_syms()->find( symbol );
290 if ( nm_entry.type == -1 )
294 const std::size_t size = sizeof_signed_t;
295 std::tr1::intmax_t value = cfg1out.get_srec()->get_value( nm_entry.address, size, little_endian );
303 mproc.set_var( "CLS.ID_LIST", var );
306 // ドメインIDリストをマクロプロセッサの変数として設定する。
307 void set_domid_vars( std::vector< std::pair< std::string, long > > const& table, macro_processor& mproc )
309 typedef macro_processor::element element;
310 macro_processor::var_t var;
312 for ( std::vector< std::pair< std::string, long > >::const_iterator iter( table.begin() ), last( table.end() );
316 if ( !iter->first.empty() )
324 mproc.set_var( "DOM.ID_LIST", var );
327 // プラットフォーム・コンパイラ依存の値をマクロプロセッサの変数として設定する。
328 void set_platform_vars( cfg1_out const& cfg1out, macro_processor& mproc )
330 typedef macro_processor::element element;
331 typedef macro_processor::var_t var_t;
333 cfg1_out::cfg1_def_table const* def_table = cfg1out.get_def_table();
334 std::size_t sizeof_signed_t;
335 std::size_t sizeof_pointer;
337 static cfg1_out::cfg1_def_t const limit_defs[] =
339 { false, "TOPPERS_cfg_CHAR_BIT", "CHAR_BIT" },
340 { false, "TOPPERS_cfg_CHAR_MAX", "CHAR_MAX" },
341 { true, "TOPPERS_cfg_CHAR_MIN", "CHAR_MIN" },
342 { false, "TOPPERS_cfg_SCHAR_MAX", "SCHAR_MAX" }, // 本来は符号付きだが、負になることはない
343 { false, "TOPPERS_cfg_SHRT_MAX", "SHRT_MAX" }, // 本来は符号付きだが、負になることはない
344 { false, "TOPPERS_cfg_INT_MAX", "INT_MAX" }, // 本来は符号付きだが、負になることはない
345 { false, "TOPPERS_cfg_LONG_MAX", "LONG_MAX" }, // 本来は符号付きだが、負になることはない
348 nm_symbol::entry nm_entry = cfg1out.get_syms()->find( "TOPPERS_cfg_sizeof_signed_t" );
349 sizeof_signed_t = static_cast< std::size_t >( cfg1out.get_srec()->get_value( nm_entry.address, 4, cfg1out.is_little_endian() ) );
351 nm_entry = cfg1out.get_syms()->find( "TOPPERS_cfg_sizeof_pointer" );
352 sizeof_pointer = static_cast< std::size_t >( cfg1out.get_srec()->get_value( nm_entry.address, 4, cfg1out.is_little_endian() ) );
354 for ( std::size_t i = 0; i < sizeof limit_defs / sizeof limit_defs[ 0 ]; ++i )
357 e.s = limit_defs[ i ].expression;
358 nm_entry = cfg1out.get_syms()->find( limit_defs[ i ].name );
359 std::tr1::int64_t value = cfg1out.get_srec()->get_value( nm_entry.address, sizeof_signed_t, cfg1out.is_little_endian() );
360 if ( sizeof_signed_t < 8 && limit_defs[ i ].is_signed )
362 value = cfg1_out::make_signed( static_cast< std::tr1::uint32_t >( value ) );
364 mproc.set_var( e.s, var_t( 1, e ) );
367 for ( cfg1_out::cfg1_def_table::const_iterator iter( def_table->begin() ), last( def_table->end() );
372 std::tr1::int64_t value;
374 nm_entry = cfg1out.get_syms()->find( "TOPPERS_cfg_" + iter->name );
375 if ( nm_entry.type >= 0 )
377 if ( !iter->expression.empty() && iter->expression[ 0 ] == '@' ) // 式が'@'で始まる場合はアドレス定数式
379 value = cfg1out.get_srec()->get_value( nm_entry.address, sizeof_pointer, cfg1out.is_little_endian() );
380 if ( sizeof_signed_t < 8 && iter->is_signed )
382 value = cfg1_out::make_signed( static_cast< std::tr1::uint32_t >( value ) );
385 // 先ほど取り出したアドレスを使って間接参照
386 value = cfg1out.get_srec()->get_value( value, 8, cfg1out.is_little_endian() ); // 取り出す値は型に関係なく常に8バイト
387 if ( sizeof_signed_t < 8 && iter->is_signed )
389 value = cfg1_out::make_signed( static_cast< std::tr1::uint32_t >( value ) );
391 e.s = iter->expression.c_str() + 1; // 先頭の'@'を除去
393 else // アドレスではない通常の整数定数式
395 value = cfg1out.get_srec()->get_value( nm_entry.address, sizeof_signed_t, cfg1out.is_little_endian() );
396 if ( sizeof_signed_t < 8 && iter->is_signed )
398 value = cfg1_out::make_signed( static_cast< std::tr1::uint32_t >( value ) );
400 e.s = iter->expression;
403 mproc.set_var( iter->name, var_t( 1, e ) );
409 bool little_endian = cfg1out.is_little_endian();
412 mproc.set_var( "LITTLE_ENDIAN", var_t( 1, e ) );
414 e.i = !little_endian;
415 mproc.set_var( "BIG_ENDIAN", var_t( 1, e ) );
422 factory::factory( std::string const& kernel )
423 : kernel_( tolower( kernel ) )
432 //! サポートしている静的API情報の取得
433 std::map< std::string, static_api::info > const* factory::get_static_api_info_map() const
435 // CSVから静的API情報を読み取り、登録するためのローカルクラス
440 boost::any t = global( "api-table" );
443 std::vector< std::string > api_tables( boost::any_cast< std::vector< std::string >& >( t ) );
444 for ( std::vector< std::string >::const_iterator iter( api_tables.begin() ), last( api_tables.end() );
449 std::string api_table_filename = *iter;
450 read( api_table_filename.c_str(), buf );
451 csv data( buf.begin(), buf.end() );
452 for ( csv::const_iterator d_iter( data.begin() ), d_last( data.end() );
456 csv::size_type len = d_iter->size();
457 if ( len < 3 ) // type, api_name, params は必須要素
459 toppers::fatal( _( "too little fields in `%1%\'" ), *iter );
461 static_api::info api_info = { 0 };
465 s = new char[ ( *d_iter )[ 0 ].size() + 1 ];
466 std::strcpy( s, ( *d_iter )[ 0 ].c_str() );
469 s = new char[ ( *d_iter )[ 1 ].size() + 1 ];
470 std::strcpy( s, ( *d_iter )[ 1 ].c_str() );
471 api_info.api_name = s;
473 s = new char[ ( *d_iter )[ 2 ].size() + 1 ];
474 std::strcpy( s, ( *d_iter )[ 2 ].c_str() );
476 if ( len >= 4 && !( *d_iter )[ 3 ].empty() )
478 api_info.id_pos = std::strtol( ( *d_iter )[ 3 ].c_str(), 0, 0 );
480 if ( len >= 5 && !( *d_iter )[ 4 ].empty() )
482 api_info.slave = !!std::strtol( ( *d_iter )[ 4 ].c_str(), 0, 0 );
484 static_api_table_[ api_info.api_name ] = api_info;
488 delete[] api_info.type;
489 delete[] api_info.api_name;
490 delete[] api_info.params;
500 for ( std::map< std::string, static_api::info >::const_iterator iter( static_api_table_.begin() ), last( static_api_table_.end() );
504 delete[] iter->second.type;
505 delete[] iter->second.api_name;
506 delete[] iter->second.params;
510 std::map< std::string, static_api::info > static_api_table_;
513 std::map< std::string, static_api::info > const* result = &init.static_api_table_;
518 * \brief cfg1_out.c への出力情報テーブルの生成
519 * \return 生成した cfg1_out::cfg1_def_table オブジェクトへのポインタ
520 * \note この関数が返すポインタは delete してはならない
522 * --cfg1-def-table オプションで指定したファイルから、cfg1_out.c へ出力する情報を読み取り、
523 * cfg1_out::cfg1_def_table オブジェクトを生成する。
529 * 末尾の s または signed は省略可能。省略時は符号無し整数とみなす。s または signed 指定時は
531 * 「式」の最初に # があれば前処理式とみなす。
533 cfg1_out::cfg1_def_table const* factory::get_cfg1_def_table() const
539 boost::any t = global( "cfg1-def-table" );
542 std::vector< std::string > cfg1_def_table = boost::any_cast< std::vector< std::string >& >( t );
543 for ( std::vector< std::string >::const_iterator iter( cfg1_def_table.begin() ), last( cfg1_def_table.end() );
548 read( iter->c_str(), buf );
549 csv data( buf.begin(), buf.end() );
550 for ( csv::const_iterator d_iter( data.begin() ), d_last( data.end() );
554 csv::size_type len = d_iter->size();
557 toppers::fatal( _( "too little fields in `%1%\'" ), *iter );
559 cfg1_out::cfg1_def_t def = { 0 };
560 def.name = ( *d_iter )[ 0 ];
561 def.expression = ( *d_iter )[ 1 ];
564 std::string is_signed( ( *d_iter )[ 2 ] );
565 def.is_signed = ( is_signed == "s" || is_signed == "signed" );
569 def.value1 = ( *d_iter )[ 3 ];
573 def.value2 = ( *d_iter )[ 4 ];
575 cfg1_def_table_.push_back( def );
580 cfg1_out::cfg1_def_table cfg1_def_table_;
583 cfg1_out::cfg1_def_table const* result = &init.cfg1_def_table_;
588 void factory::do_swap( factory& other )
590 kernel_.swap( other.kernel_ );
595 * \param[in] cfg1out cfg1_out オブジェクト
596 * \param[in] api_map .cfg ファイルに記述された静的API情報
597 * \return マクロプロセッサへのポインタ
598 * \note このメンバ関数は従来仕様(ソフトウェア部品非対応版)の温存のためにそのまま残す。
600 std::auto_ptr< macro_processor > factory::do_create_macro_processor( cfg1_out const& cfg1out, cfg1_out::static_api_map const& api_map ) const
602 typedef macro_processor::element element;
603 typedef macro_processor::var_t var_t;
604 std::auto_ptr< macro_processor > mproc( new macro_processor );
607 e.s = " "; mproc->set_var( "SPC", var_t( 1, e ) ); // $SPC$
608 e.s = "\t"; mproc->set_var( "TAB", var_t( 1, e ) ); // $TAB$
609 e.s = "\n"; mproc->set_var( "NL", var_t( 1, e ) ); // $NL$
612 e.s = toppers::get_global< std::string >( "version" );
613 e.i = toppers::get_global< std::tr1::int64_t >( "timestamp" );
614 mproc->set_var( "CFG_VERSION", var_t( 1, e ) ); // $CFG_VERSION$
617 set_object_vars( api_map, *mproc );
618 set_object_vars( cfg1out.get_static_api_array(), *mproc );
619 set_clsid_vars( cfg1out.get_clsid_table(), cfg1out, *mproc );
620 set_domid_vars( cfg1out.get_domid_table(), *mproc );
621 set_platform_vars( cfg1out, *mproc );
622 e.s = cfg1out.get_includes();
623 mproc->set_var( "INCLUDES", var_t( 1, e ) );
629 * \param[in] cfg1out cfg1_out オブジェクト
630 * \param[in] api_array .cfg ファイルに記述された静的API情報
631 * \return マクロプロセッサへのポインタ
633 std::auto_ptr< macro_processor > factory::do_create_macro_processor( cfg1_out const& cfg1out, std::vector< static_api > const& api_array ) const
635 typedef macro_processor::element element;
636 typedef macro_processor::var_t var_t;
637 std::auto_ptr< macro_processor > mproc( new macro_processor );
640 e.s = " "; mproc->set_var( "SPC", var_t( 1, e ) ); // $SPC$
641 e.s = "\t"; mproc->set_var( "TAB", var_t( 1, e ) ); // $TAB$
642 e.s = "\n"; mproc->set_var( "NL", var_t( 1, e ) ); // $NL$
645 e.s = toppers::get_global< std::string >( "version" );
646 e.i = toppers::get_global< std::tr1::int64_t >( "timestamp" );
647 mproc->set_var( "CFG_VERSION", var_t( 1, e ) ); // $CFG_VERSION$
650 set_object_vars( api_array, *mproc );
651 set_clsid_vars( cfg1out.get_clsid_table(), cfg1out, *mproc );
652 set_domid_vars( cfg1out.get_domid_table(), *mproc );
653 set_platform_vars( cfg1out, *mproc );
654 e.s = cfg1out.get_includes();
655 mproc->set_var( "INCLUDES", var_t( 1, e ) );
659 std::auto_ptr< cfg1_out > factory::do_create_cfg1_out( std::string const& filename ) const
661 return std::auto_ptr< itronx::cfg1_out >( new cfg1_out( filename, get_cfg1_def_table() ) );
664 std::auto_ptr< checker > factory::do_create_checker() const
666 return std::auto_ptr< itronx::checker >( new checker );