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

1:        package java.util;
2:
3:        public abstract class EventListenerProxy implements  EventListener {
4:            public EventListenerProxy(EventListener listener) {
5:            }
6:
7:            public EventListener getListener() {
8:            }
9:        }