org.eclipse.ocl.examples.eventmanager.framework
Class RegistrationSet
java.lang.Object
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) |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)
getListenerType
public ListenerTypeEnum getListenerType()
- The return value defines the type of the Listener
- Returns:
- See Also:
ListenerTypeEnum