Interface DirObserverKeeper

All Superinterfaces:
Cloneable, JMLType, Serializable
All Known Subinterfaces:
Directory, RODirectory

public interface DirObserverKeeper
extends JMLType

An object that keeps directory observers (i.e., a subject).

Method Summary
 boolean inNotifier()
          Is a notification callback running?
 void register(DirObserver o)
          Add a listener to the set of listeners.
 void unregister(DirObserver o)
          Take a listener out of the set of listeners.
Methods inherited from interface org.jmlspecs.models.JMLType
clone, equals, hashCode

Method Detail


public boolean inNotifier()
Is a notification callback running? The set of observers. Is a notifier callback running?


public void register(DirObserver o)
Add a listener to the set of listeners.


public void unregister(DirObserver o)
Take a listener out of the set of listeners.


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.