白魔術師

Irenka

スニペットが評判悪すぎですよ。

スニペットに走る前に、HackパラメータのDOMジェネリックス型にextendsとsuperとの型引数動作をきちんと実装したほうがいいな。

-黒魔術 - まさたか日記

いえす。ただしパラメータドライブ＋ジェネリックスでは、微妙にあいまいさがあるコードを書けるのでそこらへんを注意しないとまずいかもしれません。

下のようなパラメータにドライブするとき、

  1. void driven(CtNewInstance)
  2. void driven(CtNewInstance< ? >)
  3. void driven(CtNewInstance< AbstractList >)
  4. void driven(CtNewInstance< AbstractList< ? > >)
  5. void driven(CtNewInstance< AbstractList< DataInputStream > >)
  6. void driven(CtNewInstance< AbstractList< ? extends DataInputStream > >)
  7. void driven(CtNewInstance< AbstractList< ? super DataInputStream > >)
  8. void driven(CtNewInstance< ? extends AbstractList >)
  9. void driven(CtNewInstance< ? extends AbstractList< ? > >)
  10. void driven(CtNewInstance< ? extends AbstractList< DataInputStream > >)
  11. void driven(CtNewInstance< ? extends AbstractList< ? extends DataInputStream > >)
  12. void driven(CtNewInstance< ? extends AbstractList< ? super DataInputStream > >)
  13. void driven(CtNewInstance< ? super AbstractList >)
  14. void driven(CtNewInstance< ? super AbstractList< ? > >)
  15. void driven(CtNewInstance< ? super AbstractList< DataInputStream > >)
  16. void driven(CtNewInstance< ? super AbstractList< ? extends DataInputStream > >)
  17. void driven(CtNewInstance< ? super AbstractList< ? super DataInputStream > >)

抽象クラスもnewできると仮定したとして、どれがどれにマッチするのかを決めないと怪しげになりそうです。

  1. new Object()
  2. new AbstractCollection()
  3. new AbstractCollection()
  4. new AbstractCollection()
  5. new AbstractCollection()
  6. new AbstractList()
  7. new AbstractList()
  8. new AbstractList()
  9. new AbstractList()
  10. new ArrayList()
  11. new ArrayList()
  12. new ArrayList()
  13. new ArrayList()

イメージとしては、単純に「ドライブ可能かどうか」っていう判定でもいいかなと思います。
ただし、コンストラクタ起動時には new ArrayList< ? > のようにワイルドカードを指定できませんが、変数の宣言などでは普通に ArrayList< ? > list = ... のようにワイルドカードを使えてしまい、「ArrayList< ? >」という型そのものをあらわすクエリが書きにくくなる可能性はあります。


ともあれ、23時までに↓のクエリが動いたので今日は満足です。

/**
 * @when
 *    {@link Deprecated} in target.annotations.spec
 */

これなら白魔術ですよね？
「Deprecated型が対象(target)の注釈一覧(.annotation)の仕様(.spec)に含まれる」と読めなくもないですし。ただ、.specってのはいまさらながらわかりにくいかも…