DtpgResult

class DtpgResult

DTPG の結果を表すクラス

具体的には

• パタン生成の結果(検出，冗長，アボート)

• テストパタン を持つ． もちろん，テストパタンは検出できた時のみ意味を持つ．

Public Functions

DtpgResult(const DtpgResult &src) = default

コピーコンストラクタ

DtpgResult &operator=(const DtpgResult &src) = default

コピー代入演算子

~DtpgResult() = default

デストラクタ

inline void set(FaultStatus status)

値を設定する．

• status は FaultStatus::Detected 以外でなければならない．

inline void set(const TestVector &testvect)

値を設定する．

結果は FaultStatus::Detected になる．

パラメータ:

testvect -- [in] testvect テストベクタ

inline FaultStatus status() const

結果を返す．

inline const TestVector &testvector() const

テストベクタを返す．

Public Static Functions

static inline DtpgResult detected(const TestVector &testvect)

検出状態を表すオブジェクトを作るクラスメソッド

パラメータ:

testvect -- [in] testvect テストベクタ

static inline DtpgResult untestable()

検出不能を表すオブジェクトを作るクラスメソッド

static inline DtpgResult undetected()

未検出を表すオブジェクトを作るクラスメソッド