我想在一个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) {