package petrieditor.util; /** * @author wiktor */ public interface Observer, O extends Observer, A> { void update(Observable observable, A event); }