Source Code Cross Referenced for Observer.java in  » Testing » KeY » java » util » Java Source Code / Java DocumentationJava Source Code and Java Documentation

1:        package java.util;
2:
3:        public interface Observer {
4:            void update(Observable observable, Object arg);
5:        }