| Methods Summary |
|---|
| public void | addDispatcher(java.lang.String dispatcher)
if (dispatchers == null) {
dispatchers = new HashSet();
}
dispatchers.add(dispatcher);
|
| public void | addServletName(java.lang.String servletName)
getServletNames().add(servletName);
|
| public void | addURLPattern(java.lang.String urlPattern)
getURLPatterns().add(urlPattern);
|
| public boolean | equals(java.lang.Object obj)compare equals
if (obj instanceof ServletFilterMapping) {
ServletFilterMapping o = (ServletFilterMapping) obj;
if ( this.getName().equals(o.getName())
&& this.getServletNames().equals(o.getServletNames())
&& this.getURLPatterns().equals(o.getURLPatterns()) ) {
return true;
}
}
return false;
|
| public static java.util.Set | getAllowedDispatchers()
if (allowed_dispatchers == null) {
allowed_dispatchers = new HashSet();
allowed_dispatchers.add(INCLUDE);
allowed_dispatchers.add(REQUEST);
allowed_dispatchers.add(FORWARD);
}
return allowed_dispatchers;
|
| public java.util.Set | getDispatchers()
if (dispatchers == null) {
dispatchers = new HashSet();
}
return dispatchers;
|
| public java.util.List | getServletNames()
if (servletNames == null) {
servletNames = new LinkedList<String>();
}
return servletNames;
|
| public java.lang.String | getTarget()get the target name
if (! getServletNames().isEmpty()) {
Iterator i = servletNames.iterator();
return (String) i.next();
} else {
Iterator i = urlPatterns.iterator();
return (String) i.next();
}
|
| public java.lang.String | getTargetType()get the target type
if (! getServletNames().isEmpty()) {
return TARGET_TYPE_SERVLET;
} else {
return TARGET_TYPE_URLPATTERN;
}
|
| public java.util.List | getURLPatterns()
if (urlPatterns == null) {
urlPatterns = new LinkedList<String>();
}
return urlPatterns;
|
| public int | hashCode()
int result = 17;
result = 37*result + getName().hashCode();
result = 37*result + getServletNames().hashCode();
result = 37*result + getURLPatterns().hashCode();
return result;
|
| public boolean | isServletNameTarget()'true' if Servlet target type
return TARGET_TYPE_SERVLET.equals(getTargetType());
|
| public boolean | isURLPatternTarget()'true' if URL-Pattern target type
return TARGET_TYPE_URLPATTERN.equals(getTargetType());
|
| public void | removeDispatcher(java.lang.String dispatcher)
if (dispatchers == null) {
return;
}
dispatchers.remove(dispatcher);
|
| public void | setTarget(java.lang.String target)set the target name
this.target = target;
|
| public void | setTargetType(java.lang.String type)set the target type
if (TARGET_TYPE_SERVLET.equals(type)) {
this.targetType = TARGET_TYPE_SERVLET;
} else {
this.targetType = TARGET_TYPE_URLPATTERN;
}
|
