DBCの表現方法は言語によってまちまちですね。
debug時にだけ有効になるassertがあれば、特に他に言語サポートは必要ないんじゃないでしょうか。