2

OpenJML のマニュアル ( http://jmlspecs.sourceforge.net/OpenJMLUserGuide.pdf ) には、Java コンパイル ユニットの静的チェックをプログラムで実行できることが記載されています。

残念ながら、静的チェック (セクション 5.2.4) のマニュアル エントリは空であり、これに関する具体的な例は示されていないようです。

簡単な例を知っている人はいますか？

4

1 に答える 1