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.