public class FilterDefinition extends AbstractDefinition
WebProvider.filters()
to define the filters that must be registered by Seed.| Modifier and Type | Class and Description |
|---|---|
static class |
FilterDefinition.Mapping
This class holds the definition of a filter mapping.
|
| Constructor and Description |
|---|
FilterDefinition(String name,
Class<? extends javax.servlet.Filter> filterClass)
Creates a filter definition with the specified name and class.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addMappings(FilterDefinition.Mapping... mappings)
Adds a mapping to this filter definition.
|
void |
addServletMappings(FilterDefinition.Mapping... servletMappings)
Adds a servlet mapping to this filter definition.
|
Class<? extends javax.servlet.Filter> |
getFilterClass() |
FilterDefinition.Mapping[] |
getMappings() |
int |
getPriority() |
FilterDefinition.Mapping[] |
getServletMappings() |
void |
setPriority(int priority)
Sets the registration priority of this filter.
|
addInitParameters, getInitParameters, getName, isAsyncSupported, setAsyncSupportedpublic Class<? extends javax.servlet.Filter> getFilterClass()
public int getPriority()
SeedFilterPriority.NORMAL by default).public void setPriority(int priority)
priority - the absolute priority of this filter.public FilterDefinition.Mapping[] getMappings()
public void addMappings(FilterDefinition.Mapping... mappings)
mappings - the mapping.FilterRegistration.addMappingForUrlPatterns(EnumSet, boolean, String...)public FilterDefinition.Mapping[] getServletMappings()
public void addServletMappings(FilterDefinition.Mapping... servletMappings)
servletMappings - the servlet mapping.FilterRegistration.addMappingForServletNames(EnumSet, boolean, String...)Copyright © 2013-2018–2019 SeedStack. All rights reserved.