2005-07-01から1日間の記事一覧
仕様記述文のメッセージ受発信をメソッド呼び出しと解釈するなら、on (P) receiving {E} results (Q) に対して、 if (P) { {E} return (Q); } else { return true; }としてテストメソッドが書けます。emits(メッセージ送信)の部分のチェックは、スタブメソ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
仕様記述文のメッセージ受発信をメソッド呼び出しと解釈するなら、on (P) receiving {E} results (Q) に対して、 if (P) { {E} return (Q); } else { return true; }としてテストメソッドが書けます。emits(メッセージ送信)の部分のチェックは、スタブメソ…