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

Question

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

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

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

现在，当你使用值的时候，使用Java的Calendar，如果值是非法的，我们会得到某种RunTimeException。太好了。

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

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

类似于@Boundaries {low=1, high=31} 的东西以及 IDE 真正认识到它会很棒。

如果存在类似的情况，请告诉我。

Answer 1

看看Contracts for Java。它确实与 Eclipse 进行了初步集成。

interface Time {
  ...

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

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

  ...
}