tests/ajde/examples/figures-cacm/figures/DisplayUpdating.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package figures;

aspect DisplayUpdating {

  pointcut moves(): call(void FigureElement.moveBy(int, int)) ||
                    call(void Point.setX(int))                ||
                    call(void Point.setY(int))                ||
                    call(void Line.setP1(Point))              ||
                    call(void Line.setP2(Point));

  after(): moves() {
    Display.needsRepaint();
  }
}