文件名称：guards:为方法参数和返回值提供运行时检查
文件大小：279KB
文件格式：ZIP
更新时间：2024-07-01 02:03:33
Java
卫兵 该项目使用 Java 注释为方法参数和返回值提供保护。 一方面，它提供了插件来检查代码中保护声明的正确性，另一方面，它提供了一个 Java 代理，它将在运行时检测代码，以便在违反这些合同时抛出 AssertionErrors。 这些合约的真正力量将来自静态代码分析。 还有一个只检查正确性的 javac 插件和一个 IDEA 插件，它将它与当前存在的@Nullable和@NotNull静态分析集成——将来可能会提供更多这样的分析。 它还将提供与 IDEA 自己的@Nullable / @NotNull / @Contract注释以及 JSR305 的兼容性功能。 您也可以添加自己的守卫。 您的代码将受到它们的保护，javac 和 IDEA 插件会尽可能多地收集它们并在编码过程中为您提供帮助。 请注意，有许多过时的旧 JavaDoc。 一些基本概念已经改变。 具体来说，最初的概念