1

コードの明確さに関心があり、APIのユーザーがオブジェクトの作成方法について非常に明確であることを確認したいとします。あなたは彼らに次のようなことをさせます

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

各クラスDayOfMonthが互いにHourOfDayほとんど同じである場合、ある種のバリューストアです。

さて、Javaを使用して値を使用するときが来たら、Calendar値が不正である場合、ある種のRunTimeExceptionが発生します。素晴らしい。

今..メソッドに送信しようとしている値がエラーになることを警告するIDE(Eclipseまたは)で最小、最大境界を設定することは可能ですか?Intellij

そのような警告を可能にするプラグインとアノテーションが連携して機能しますか?

IDEが実際にそれを認識していることに沿った何か@Boundaries {low=1, high=31}が素晴らしいでしょう。

このようなものがあれば教えてください。

4

1 に答える 1

2

Javaのコントラクトをご覧ください。Eclipseへの基本的な統合があります。

interface Time {
  ...

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

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

  ...
}
于 2012-11-19T16:58:57.703 に答える