JML

org.jmlspecs.samples.dirobserver
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

inNotifier

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


register

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


unregister

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


JML

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.