/src/main/java/org/htmlunit/html/HtmlElement.java
htmlPage.fireHtmlAttributeRemoved( event) ; fireHtmlAttributeRemoved( event) ;final HtmlAttributeChangeEvent event = new HtmlAttributeChangeEvent( this, attributeName, value) ;
final HtmlAttributeChangeEvent event = new HtmlAttributeChangeEvent ( this, attributeName, value ) ; fireHtmlAttributeRemoved ( event ) ; htmlPage.fireHtmlAttributeRemoved ( event ) ;
if (htmlPage != null) { htmlPage.removeMappedElement(this); } super.removeAttribute(attributeName); if (htmlPage != null) { htmlPage.addMappedElement(this); <extra_id_0> } } protected void fireHtmlAttributeAdded(final HtmlAttributeChangeEvent event) { final DomNode parentNode = getParentNode(); if (parentNode instanceof HtmlElement) { ((HtmlElement) parentNode).fireHtmlAttributeAdded(event);