jml

0熱度

2回答

我已經設法通過Android上的jml庫連接到msn，通過在我的項目中添加getpropertyaction類。在Android 2.2的作品就好了，我可以登錄，獲取聯繫人，發送和接收郵件等.. 在Android 2.1，當我按下登錄按鈕它不記錄我......我不獲得任何錯誤日誌（DDMS）在..它僅僅停留的

0熱度

1回答

如何在Windows中爲ESC/Java2設置我的環境並使用ESC/Java2構建/運行？

如何在WindowsXP中爲ESC/Java2設置我的執行環境？此外，如何在WindowsXP中使用ESC/Java2構建和運行項目。從規格/自述文件和文檔中很難說清楚，特別是考慮到他們似乎更多地討論基於Unix的操作系統。

0熱度

1回答

JML Evaluation of old（expression [Id]）

我想知道如何評估\old(Expression[Id])形式的JML表達式，即如果我有\old(vector[value-1])表達式，那麼\old也是指「value」還是僅指到vector[value-1]的值。提前致謝！

1熱度

2回答

在Eclipse中安裝JML

我正在使用Eclipse進行Java編程。我嘗試通過Eclipse的Updater從this site進行安裝，但雖然沒有引發任何錯誤，但我沒有看到他們說我應該這樣做的菜單。也許我得先安裝一些東西？也許還有其他更簡單的JML選項？你們用什麼？

2熱度

1回答

JML替代品

我正在尋找用於Java的替代規範語言選項，如JML。有人知道嗎？謝謝。

0熱度

1回答

如何在JML Messenger庫中設置http代理

我正在開發一個簡單的使用java的msn客戶端，但我不知道如何使用JML庫設置http代理參數。顯然它不是本機上的庫=/

1熱度

2回答

合同VS例外

假設我有以下代碼： public class MainClass { public static void main(String[] args) { System.out.println(sumNumbers(10, 10)); } //@requires a >= 10; //@ensures \result < 0; publi

9熱度

2回答

爲什麼不將JML實現爲Java中的註釋？

與C＃中的代碼合同相反，JML代碼合同只是在方法頭部以註釋形式使用的文本。那麼將它們作爲註釋曝光會不會更好？這種方式即使編譯信息的時候仍然存在於.class的元數據上，與評論相反，它們會被刪除。我錯過了什麼嗎？

1熱度

1回答

JML：如何指定具有新月元素的數組的要求？

我想要做的是，在JML： //@ requires (\forall int i : array[i] < array[i+1]) void calculatesDistances(int[] array){ .. } 我不能讓它工作，看到了很多的JML規範的例子，但未能找到一種方法如何做到這一點。那麼，我該怎麼做呢？

2熱度

1回答

JML不爲null變體？

我有一個JML問題。正是因爲 protected /*@ non_null */ Object[] array_; 關於array_的元素 /*@ invariant array_ != null; */ ，並宣佈它的區別？每種情況下他們擁有哪些財產？在此先感謝。