Package org.vaadin.spring.servlet
Interface CustomInitParameterProvider
- All Known Implementing Classes:
SingletonCustomInitParameterProvider
public interface CustomInitParameterProvider
A custom init parameter provider is used by
Vaadin4SpringServlet to provide custom servlet init parameter
values without having to redeclare the servlet registration or override the servlet itself.- Author:
- Petter Holmström (petter@vaadin.com)
-
Method Summary
Modifier and TypeMethodDescriptionbooleancontainsInitParameter(String parameterName) Returns whether this provider contains an init parameter with the specified name.getInitParameter(String parameterName) Returns the value of the specified init parameter name.Returns the names of all the init parameters in this provider.
-
Method Details
-
containsInitParameter
Returns whether this provider contains an init parameter with the specified name.- Parameters:
parameterName- the name of the init parameter.- Returns:
- true if the parameter exists, false otherwise.
-
getInitParameter
Returns the value of the specified init parameter name.- Parameters:
parameterName- the name of the init parameter.- Returns:
- the value of the parameter name or
nullif no such parameter exists.
-
getInitParameterNames
Collection<String> getInitParameterNames()Returns the names of all the init parameters in this provider.- Returns:
- a collection of parameter names.
-