Java でも DbC を記述できるプリプロセッサがあったし、
1.4 で Assertion が追加されたけれど、
制約条件を書くのはコストが高いのであんまり使われてない。
代わりに何が使われているかというと、型による制約を利用したデザインパターンと
それを元に構築されるフレームワークじゃないかね、ってこと。