chk_factory.hpp

チェッカー用ファクトリに関する宣言定義 [詳細]

#include "toppers/itron/kernel_chk.hpp"
#include "toppers/cmdline.hpp"
#include <string>
#include <vector>
#include <boost/shared_ptr.hpp>
#include <boost/mpl/for_each.hpp>

chk_factory.hppのインクルード依存関係図

このグラフは、どのファイルから直接、間接的にインクルードされているかを示しています。

ソースコードを見る。

ネームスペース

namespace  toppers
namespace  toppers::itron

構成

class  toppers::itron::chk_factory
 チェッカー用ファクトリクラス [詳細]
class  toppers::itron::specified_chk_factory< Policy >
 特定カーネル向けチェッカ用ファクトリを生成するためのテンプレートクラス [詳細]
struct  toppers::itron::specified_chk_factory< Policy >::pred_checker


説明

チェッカー用ファクトリに関する宣言定義

chk_factory.hpp で定義されています。


Copyright © 2006 by TAKAGI Nobuhisa.
このページは Wed Apr 12 16:31:58 2006 に Doxygen によって生成されました。