問題タブ [jml]

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

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

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

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

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

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

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

また...

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

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

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

何か不足していますか？

私はJMLでそれをしたい:

私はそれを機能させることができませんでした.JML仕様で多くの例を見ましたが、それを行う方法を見つけることができませんでした.

では、どうすれば作れますか？

JML について質問があります。違いは何ですか

そしてそれを次のように宣言します

array_?の要素について それぞれの場合にどのようなプロパティが保持されますか?

前もって感謝します。

size_ が 0 の場合に null を返すことを保証する事後条件を設定する必要があります。

どうすればjmlでそれを行うことができますか? 何か案は？以下は機能しません：

前もって感謝します

JML など、Java の代替仕様言語オプションを探しています。

誰でも知っていますか？

ありがとう。

プロジェクトに getpropertyaction クラスを追加することで、Android の jml ライブラリを介して msn に接続できました。Android 2.2 では問題なく動作します。ログイン、連絡先の取得、メッセージの送受信などを行うことができます。

Android 2.1でログインボタンを押すとログインしません...ログにエラーはありません（DDMS）..そのままです