package lectures.generics_adapters.extra;
import util.annotations.WebDocuments;

import lectures.generics_adapters.GenericObserver;
import lectures.mvc.Counter;
import lectures.mvc.CounterObserver;
/*
ELABORATING OBSERVABLE INTERFACE
This is like ObservableCounter except that it allows additions of observers implementing
elaborations of a generic observer interface. 
 */
@WebDocuments({"Lectures/GenericsAdaptersExtra.pptx", "Lectures/GenericsAdaptersExtra.pdf", "Videos/GenericsAdaptersExtra.avi"})
public interface ElaboratingObservableCounter extends Counter{
    public void addObserver(GenericObserver<Counter> observer);

}