独自の機能を持ったアノテーションを定義するにはどうしたらいいでしょうか。
JDKの @interface Overrideの定義を見ても、

@Target(ElementType.METHOD)
@Retention(RetentionPolicy.SOURCE)
public @interface Override {
}

としか書かれてなくて、@Overrideをつけたメソッドが正しくオーバーライドされているかチェックするコードがどこにあるのか分かりません。