問題タブ [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 問題

0 投票する

1 に答える

744 参照

java - WindowsでESC/Java2の環境をセットアップし、ESC / Java2でビルド/実行するにはどうすればよいですか？

WindowsXPでESC/Java2の実行環境を設定するにはどうすればよいですか？さらに、WindowsXPでESC/Java2を使用してプロジェクトをビルドして実行するにはどうすればよいですか。特に彼らがUnixベースのオペレーティングシステムについてもっと話しているように見えるという事実を考えると、彼らの仕様/readmeとドキュメントから見分けるのは難しいです。

java jml

0 投票する

1 に答える

386 参照

java - \old(Expression[Id]) の JML 評価

フォームの JML 式がどのように評価されるかを知りたいです\old(Expression[Id])。つまり、\old(vector[value-1])式がある場合\old、「値」または単にの値を参照しますvector[value-1]。前もって感謝します！

0 投票する

2 に答える

2571 参照

java - EclipseへのJMLのインストール

私はEclipseを使用してJavaでプログラミングしています。Eclipseのアップデータを使用してこのサイトからインストールしようとしましたが、エラーは発生しませんでしたが、表示されるはずのメニューが表示されません。

たぶん私は最初に何かをインストールする必要がありますか？たぶん他のもっと簡単なJMLオプションがありますか？何を使ってるの？

java eclipse jml

0 投票する

2 に答える

519 参照

java - 契約と例外

次のコードがあるとします。

私はここで2つのことをすることができます：

コードコントラクトを使用します (この場合、コメントの内容)。sumNumbers が実行されて 10 未満の場合、すぐに例外がスローされます (あまり説明的ではないようですが)。

また...

例外をスローします。例外は、必要に応じて説明することができます。また、関数の最後をチェックインして、事後条件が true かどうかを確認します。

ここではどちらを使用しますか?なぜですか?

java exception contracts jml

0 投票する

2 に答える

591 参照

java - JML が Java の注釈として実装されないのはなぜですか?

C# のコードコントラクトとは対照的に、JML のコードコントラクトは、メソッドのヘッダーでコメントの形式で使用される単なるテキストです。では、アノテーションとして公開した方がよいのではないでしょうか? そうすれば、情報をコンパイルしても、コメントとは対照的に、消去される.classのメタデータに残ります。

何か不足していますか？

java design-by-contract jml

0 投票する

1 に答える

2117 参照