t_wの輪郭

関数に事前条件と事後条件を設定したら、コードの間違いを良い感じにエディタ上で警告出してくれるツールほしい。