事後条件では，メソッドが実行した後のあるべき状態(引数や戻り値，自身のフィールドの値など)を記述します． この場合，メソッドが実行する前の状態を参照できないと，うまく表明を記述できない場合があります． そこでEiffelではold，OCLでは@preを指定す…

事前・事後条件と継承について，「オブジェクト指向入門(isbn:4756100503)」では次のように解説されています．たぶん(本が手元にないのでうろ覚え)． 派生クラスは事前条件を弱めることができる． 派生クラスは事後条件を強めることができる． 例えばあるメ…

事前条件や事後条件では，メソッドの引数にアクセスできます．引数は名前を持っています．ということで当然，事前事後条件からも引数に名前でアクセスしたい！！ わけですが，これまた難題． なんせ，リフレクションでは引数の名前を取れませんから，ソース…

(;_;) 先週ユーベを沈めたレッチェに逆転負け．．． 無念だ． CL出場権争い中のラツィオは引き分け，パルマは勝利． これでパルマが勝ち点55で4位に浮上，勝ち点53でインテルとラツィオが並ぶという状況． 次節はパルマと直接対決．絶対に負けられません．で…