/src/main/java/org/htmlunit/html/HtmlElement.java
if ( ATTRIBUTE_NOT_DEFINED == oldAttributeValue ) { synchronized ( listeners ) { for ( final HtmlAttributeChangeListener listener : listeners ) { if ( notifyMutationObservers || ! ( listener instanceof MutationObserver ) ) { listener.attributeAdded ( event ) ; }
} fireAttributeChangeImpl(event, htmlPage, mappedElement, oldAttributeValue); } protected static void notifyAttributeChangeListeners(final HtmlAttributeChangeEvent event, final HtmlElement element, final String oldAttributeValue, final boolean notifyMutationObservers) { final List<HtmlAttributeChangeListener> listeners = element.attributeListeners_; <extra_id_0> } } } } else { synchronized (listeners) {