org.eclipse.ocl.examples.eventmanager.framework
Class RegistrationSet

java.lang.Object
  extended by org.eclipse.ocl.examples.eventmanager.framework.RegistrationSet

public class RegistrationSet
extends java.lang.Object

A RegistrationSet is used to pool multiple Registrations that were created by one call to a register...() method on the EventRegistry interface. This may happen when a client registers with multiple OR-connected filters. They are mapped to multiple registrations internally. In order to distinguish between one registration using OR-connected filters and several registrations, the resulting Registration objects are being pooled in the first case.

Author:
Daniel Vocke (D044825), Axel Uhl (D043530)

Constructor Summary
RegistrationSet(java.lang.ref.WeakReference<? extends org.eclipse.emf.common.notify.Adapter> listener, ListenerTypeEnum listenerType, java.util.Collection<org.eclipse.ocl.examples.eventmanager.framework.Registration> registrations)
          Adds this RegistrationSet to all registrations' using Registration.addRegistrationSet(RegistrationSet)
 
Method Summary
 ListenerTypeEnum getListenerType()
          The return value defines the type of the Listener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RegistrationSet

public RegistrationSet(java.lang.ref.WeakReference<? extends org.eclipse.emf.common.notify.Adapter> listener,
                       ListenerTypeEnum listenerType,
                       java.util.Collection<org.eclipse.ocl.examples.eventmanager.framework.Registration> registrations)
Adds this RegistrationSet to all registrations' using Registration.addRegistrationSet(RegistrationSet)

Method Detail

getListenerType

public ListenerTypeEnum getListenerType()
The return value defines the type of the Listener

See Also:
ListenerTypeEnum