我想在一個web應用程序中使用PyContracts，所以我有很多自定義類被傳遞，我只是想與其他更傳統的參數類型一起檢查。爲了清潔和強制文檔，我想使用合同編程（PyContracts）來完成此任務。 當我通過名稱引用本地可見的類時，PyContracts似乎沒有意識到該類型。例如： from contracts import contract
class SomeClass:
pas
一個JML後置條件的一類方法可以包含調用另一個方法調用 例如，我有這個類： public class A
{
public int doA(x)
{ ... }
public int doB(int x, int y)
{ ... }
}
對於DOB的後置條件，我可以有：ensures doA(x) = doA(y)？
我想減少Java中冗餘和冗長的空檢查，但我知道Java沒有標準的@NotNull註釋，因爲c＃具有可以使用的合約，例如 Contract.Requires(x != null);
我可能會錯過一些東西，但是我不能自己編碼嗎？ public class Contract {
public static void requireNotNull(Object object) {