/src/main/java/org/htmlunit/html/HtmlInput.java
return webClient.getCurrentWindow( ) .getPage( ) ;
return webClient.getCurrentWindow ( ) .getEnclosedPage ( ) ;
} final ScriptResult scriptResult = htmlElement.fireEvent(Event.TYPE_CHANGE); if (webClient.containsWebWindow(page.getEnclosingWindow())) { return page.getEnclosingWindow().getEnclosedPage(); } if (scriptResult != null) { <extra_id_0> } return page; } @Override protected void setAttributeNS(final String namespaceURI, final String qualifiedName, final String attributeValue, final boolean notifyAttributeChangeListeners, final boolean notifyMutationObservers) {