boolean valueAttributeConfigured = webFilter.value().length > 0;
boolean urlPatternsAttributeConfigured = webFilter.urlPatterns().length > 0;
if (valueAttributeConfigured && urlPatternsAttributeConfigured) {
throw new DeploymentException("value and urlPatterns must not be configured on the same WebFilter annotation in the class " + cls.getName());
}
boolean servletNamesAttributeConfigured = webFilter.servletNames().length == 0;
if (!valueAttributeConfigured && !urlPatternsAttributeConfigured && !servletNamesAttributeConfigured) {
throw new DeploymentException("At least one of value, urlPatterns and servletNames attributes are configured on the WebFilter annotation in the class " + cls.getName());
}
String[] urlPatterns = valueAttributeConfigured ? webFilter.value() : webFilter.urlPatterns();
if (FilterMergeHandler.isFilterConfigured(filterName, mergeContext)) {