de.uka.ilkd.key.util.properties

Class AbstractProperties

java.lang.Object

de.uka.ilkd.key.util.properties.AbstractProperties

All Implemented Interfaces:

Properties

Direct Known Subclasses:

ArrayProperties, MapProperties

public abstract class AbstractProperties
extends java.lang.Object
implements Properties

Nested Class Summary

Nested classes/interfaces inherited from interface de.uka.ilkd.key.util.properties.Properties

Properties.Property<T>, Properties.PropertyListener

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Properties.PropertyListener>	globalListeners
private java.util.Map<Properties.Property<?>,java.util.Set<Properties.PropertyListener>>	listenerMap

Constructor Summary

Constructors

Constructor and Description
AbstractProperties()

Method Summary

Modifier and Type	Method and Description
void	addPropertyListener(Properties.Property<?> property, Properties.PropertyListener listener)
abstract Properties	clone()
protected <T> void	firePropertyChange(Properties.Property<T> property, T oldValue, T newValue)
void	removePropertyListener(Properties.Property<?> property, Properties.PropertyListener listener)
void	removePropertyListener(Properties.PropertyListener listener)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.util.properties.Properties

get, put, remove, size

Field Detail

listenerMap

private final java.util.Map<Properties.Property<?>,java.util.Set<Properties.PropertyListener>> listenerMap

globalListeners

private final java.util.Set<Properties.PropertyListener> globalListeners

Constructor Detail

AbstractProperties

public AbstractProperties()

Method Detail

addPropertyListener

public void addPropertyListener(Properties.Property<?> property,
                                Properties.PropertyListener listener)

Specified by:

addPropertyListener in interface Properties

removePropertyListener

public void removePropertyListener(Properties.Property<?> property,
                                   Properties.PropertyListener listener)

Specified by:

removePropertyListener in interface Properties

removePropertyListener

public void removePropertyListener(Properties.PropertyListener listener)

Specified by:

removePropertyListener in interface Properties

firePropertyChange

protected <T> void firePropertyChange(Properties.Property<T> property,
                                      T oldValue,
                                      T newValue)

clone

public abstract Properties clone()

Specified by:

clone in interface Properties

Overrides:

clone in class java.lang.Object