ponderEnforcement.domainService
Class ObjRefListener

java.lang.Object
  |
  +--ponderEnforcement.domainService.ObjRefListener

All Implemented Interfaces:

java.util.EventListener, javax.naming.event.NamespaceChangeListener, javax.naming.event.NamingListener, javax.naming.event.ObjectChangeListener

public class ObjRefListener

extends java.lang.Object

implements javax.naming.event.NamespaceChangeListener, javax.naming.event.ObjectChangeListener

Function: A Listener of changes to the domain structure which have to do with object references

Constructor Summary

ObjRefListener(DomainServiceRI newDomainService, MainWindow newMainWin)
Constructor

Method Summary

void	namingExceptionThrown(javax.naming.event.NamingExceptionEvent evt) Exception while distributing events
void	objectAdded(javax.naming.event.NamingEvent evt) An object reference has been added
void	objectChanged(javax.naming.event.NamingEvent evt) An object has been changed
void	objectRemoved(javax.naming.event.NamingEvent evt) An object has been removed
void	objectRenamed(javax.naming.event.NamingEvent evt) An object has been renamed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjRefListener

public ObjRefListener(DomainServiceRI newDomainService,
                      MainWindow newMainWin)

Constructor

Parameters:

newDomainService - The main DomainService object

newMainWin - The main Window of the GUI for the domain service

Method Detail

objectAdded

public void objectAdded(javax.naming.event.NamingEvent evt)

An object reference has been added

Specified by:

objectAdded in interface javax.naming.event.NamespaceChangeListener

Parameters:

evt - The NamingEvent which caused this method to be called

objectRemoved

public void objectRemoved(javax.naming.event.NamingEvent evt)

An object has been removed

Specified by:

objectRemoved in interface javax.naming.event.NamespaceChangeListener

Parameters:

evt - The NamingEvent which caused this method to be called

objectRenamed

public void objectRenamed(javax.naming.event.NamingEvent evt)

An object has been renamed

Specified by:

objectRenamed in interface javax.naming.event.NamespaceChangeListener

Parameters:

evt - The NamingEvent which caused this method to be called

objectChanged

public void objectChanged(javax.naming.event.NamingEvent evt)

An object has been changed

Specified by:

objectChanged in interface javax.naming.event.ObjectChangeListener

Parameters:

evt - The NamingEvent which caused this method to be called

namingExceptionThrown

public void namingExceptionThrown(javax.naming.event.NamingExceptionEvent evt)

Exception while distributing events

Specified by:

namingExceptionThrown in interface javax.naming.event.NamingListener

Parameters:

evt - The exception which caused this method to be called