當我使用「in」契約覆蓋D中的函數時，將檢查繼承的「in」契約。如果它們失敗，則檢查重寫的「in」合同。如果我沒有在合同中指定任何內容，那麼它就會被解釋爲有一個空的「in」合同。所以下面的代碼編譯併成功運行。 module main;
import std.stdio;
interface I
{
void write(int i)
in
{
as
我想在一個web應用程序中使用PyContracts，所以我有很多自定義類被傳遞，我只是想與其他更傳統的參數類型一起檢查。爲了清潔和強制文檔，我想使用合同編程（PyContracts）來完成此任務。 當我通過名稱引用本地可見的類時，PyContracts似乎沒有意識到該類型。例如： from contracts import contract
class SomeClass:
pas
我想減少Java中冗餘和冗長的空檢查，但我知道Java沒有標準的@NotNull註釋，因爲c＃具有可以使用的合約，例如 Contract.Requires(x != null);
我可能會錯過一些東西，但是我不能自己編碼嗎？ public class Contract {
public static void requireNotNull(Object object) {
一個JML後置條件的一類方法可以包含調用另一個方法調用 例如，我有這個類： public class A
{
public int doA(x)
{ ... }
public int doB(int x, int y)
{ ... }
}
對於DOB的後置條件，我可以有：ensures doA(x) = doA(y)？