/src/main/java/org/htmlunit/html/HtmlElement.java
return !isRequiredSupported ( ) || ATTRIBUTE_NOT_DEFINED == getAttributeDirect ( ATTRIBUTE_REQUIRED ) || !getAttributeDirect ( VALUE_ATTRIBUTE ) .isEmpty ( ) ;
return ctrlPressed_; } public boolean isAltPressed() { return altPressed_; } public boolean isValid() { <extra_id_0> } protected boolean isRequiredSupported() { return false; } public boolean isRequired() { return isRequiredSupported() && hasAttribute(ATTRIBUTE_REQUIRED);