問題タブ [jml]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

43 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
186 参照

java - JML の正しいインストール方法

Java モデリング言語 (JML) をインストールしようとしましたが、問題が発生しました。Windows 10 の Eclipse IDE を使用しています。Eclipse -> ヘルプ -> 新しいソフトウェアのインストールを開き、これを使用してインストールしました。

次に、Eclipse を再起動すると、上部のメニュー バーに新しいアイコンが表示されました。JML アイコンをコンパイルまたは使用しようとすると、Eclipse に巨大なエラー メッセージが表示されました。(画像)

これを修正するにはどうすればよいですか? Webサイトで解決策が見つかりませんでした

0 投票する
1 に答える
193 参照

java - OpenJML がサイクルでアサーションを証明できないのはなぜですか?

次のコードがあります。

ここにいくつかの OpenJML 注釈を挿入しました。ターミナルで OpenJML を実行すると、次のエラーが表示されます。

\forallサイクルと//@ assert i >= 0;アサーションが機能しない理由が本当にわかりません。彼らは私には大丈夫に見えます。


12345678910