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

Constructors

Constructor and Description
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

Modifier and Type	Method and Description
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