j5ik2o https://blog.hatena.ne.jp/j5ik2o/ かとじゅんの技術日誌 https://blog.j5ik2o.me/ Scala DbC Javaで契約をサポートする Googleが開発したJavaデバッグを簡単にする新技術「cofoja」 は記憶に新しいところですが、 まぁ、そこまでこだわるところでもないのですが、アノテーションに記述する事前条件や事後条件が文字列なのでちょっと残念かなと。Scalaのトレイトを使えば同じようなことができるはずなので、勢いでやってみた。後悔はしていない。たぶん。 以下がコード。 package test import org.scalatest.FunSuite class ListMergeTest extends FunSuite { // インターフェイス trait ListMerge … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.j5ik2o.me%2Fentry%2F20110215%2F1297742440" title=" トレイトで契約を表現してみる - かとじゅんの技術日誌" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-02-15 13:00:40 rich https://blog.j5ik2o.me/entry/20110215/1297742440 1.0 100%