tests/ajde/examples/observer/clock/MonitorObservation.java


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

package clock;

import java.util.Observer;
import java.util.Observable;

aspect MonitorObserveration {
    before():
              (call(void Observer.update(Observable, Object))
               || call(void Observable.addObserver(Observer)) 
               || call(void Observable.removeObserver(Observer))) {

    }  
}