1 2 3 4 5 6 7 8 9
package clock; aspect MonitorObservation { before(): call(void Clock.update(..)) || execution(void *.addObserver(..)) || execution(void *.removeObserver(..)) { } }