設計要素

前のセクションの「アスペクトの解析」を読んだなら、AspectJにおいて、どん なイベントのタイプがキャプチャされるか、どのように記述されるかについて知っ ているだろう。要約のため、以下のような記述子がある:

• メソッド送信前のメッセージ受け取り:
  reception(void Point.setX(int))
• 特定のメソッド本体の実行:
  executions(void Point.setX(int))
• メソッド呼び出し:
  calls(void Point.setX(int))
• 別のメソッドを呼び出す時:
  callsto(reception (coid Point.setX(int)))
• 例外処理:
  handlers(ArrayOutOfBoundsException)
• 現在実行中のオブジェクト(this)がある型のもの(以下の例では SomeType)である時:
  instanceOf(SomeType)
• あるクラス(以下の例ではMyClass)に属するコードを実行している時:
  within(MyClass)

記述子はor(||)、and(&&)、not(!)の操作を加えられて構成され る。以下は、記述子のこの文法の説明である。

• 正規表現を使える:

  1.

  executions(* * (..))

  2.

  receptions(* set(..))

  これらについて、(1)では、あらゆる戻り値(の型)、引数の全てのメソッ ド実行時、(2)では、戻り値(の型)、引数に関係無く、setメッセージを 受け取った時を意味している。オーバーロードしている場合は、 pointcutが複数存在することもあるが、記述子はその全てを指し示す。
• 型に基づく要素を選択できる。例えば:

  1.

  executions(int *())

  2.

  receptions(* setY(long))

  3.

  calls(* Point.setY(int))

  4.

  calls(* .new(int, int))

  (1)は、intを返す、引数を取らない全てのメソッドの実行、(2)は、戻り 値の型、定義等は無視し、引数にlong型を取るメッセージ・setYの受 け取り、(3)は、戻り値の型は無視し、引数にint型を取るPointクラス のsetYメソッドの呼び出し、(4)は引数に2つのint型を取る、全てのクラ スのコンストラクタの呼び出しを意味する。
• 記述子を論理演算によって構成することもできる。例えば:

  1.

  instanceof(Point) && reception(int *())

  2.

  within(Point, * *(..)) || within(Line, * *(..))

  3.

  within(*) && executions(new(int))

  4.

  instanceof(*) && !instanceof(Point) && calls(int *(..))

  (1)は、引数を取らず、int型を返すPointクラスのインスタンスによるメッ セージ受け取り、(2)は、Pointクラス・Lineクラスの全メソッド実行時、 (3)は、引数にint型を取る全クラスのコンストラクタの実行時、(4)は、 Pointクラス以外の全クラスのオブジェクトから他のオブジェクトへの、 int型を返すメソッドの呼び出し。
• 修飾語、否定修飾語に基づき、メソッド・コンストラクタを選択できる。

  1.

  receptions(public * *(..))

  2.

  executions(!static * *(..))

  3.

  executions(public !static * *(..))

  (1)は、publicなメソッドに対応するメッセージの受け取り時、(2)は、 staticでない、全メソッドの実行時、(3)は、publicであって、staticで ないメソッドの実行時を意味している。
• 記述子はインターフェースを示すこともできる。例えば、以下のインター フェースが与えられたとする:

  	interface MyInterface { ... }
  

  この時、receptions(* MyInterface.*(..))は、MyInterface(と、 その上位インターフェース)で定義されたメソッドに対応するメッセージ 受け取り時を示す。