eclipse - 检查方法边界的IDE插件，它存在吗？

Question

假设您关心代码的清晰度，并希望确保您的 api 用户非常清楚对象是如何创建的。你让他们做类似的事情

new MomentInTime(new DayOfMonth(15), new HourOfDay(10), new MinuteOfHour(49), new SecondOfMinute(0));

每个类几乎都彼此相同DayOfMonth，HourOfDay是某种价值存储。

现在，当您使用该值时，使用 Java 的Calendar，如果该值是非法的，我们将得到某种 RunTimeException。伟大的。

Eclipse现在.. 我们是否可以在 IDE（或）中设置 Min、Max 边界Intellij，以警告我们即将发送给方法的值会导致错误？

是否有一个插件和一个注释可以一起工作来允许这样的警告？

与 IDE 一起真正认识到它的东西@Boundaries {low=1, high=31}会很棒。

请让我知道是否存在这样的事情。

Answer 1

查看Java 合同。它确实与 Eclipse 进行了基本的集成。

interface Time {
  ...

  @Ensures({
    "result >= 0",
    "result <= 23"
  })
  int getHour();

  @Requires({
    "h >= 0",
    "h <= 23"
  })
  @Ensures("getHour() == h")
  void setHour(int h);

  ...
}