You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

1234567891011
  1. aspect Bar {
  2. static int count = 0;
  3. before (): target(Pos) &&
  4. ( call(* getX(..)) ||
  5. call(* getY(..)) ||
  6. call(* move(..)) ) {
  7. count++;
  8. }
  9. }