>>628

文脈の理解は必要ない。そんなことが出来るならAIとかの話になっちゃう。
俺が言ってるのは前段のメソッドの事後条件が後段のメソッドの事前条件と矛盾しないか否かのチェック。
矛盾すれば間違っていることがわかる。矛盾しないからといって正しいとは限らないって程度の話。