public class PEPFilter
extends java.lang.Object
implements javax.servlet.Filter
Constructor and Description |
---|
PEPFilter() |
Modifier and Type | Method and Description |
---|---|
void |
destroy() |
void |
doFilter(javax.servlet.ServletRequest request,
javax.servlet.ServletResponse response,
javax.servlet.FilterChain filterChain) |
void |
init() |
void |
init(javax.servlet.FilterConfig filterConfig) |
boolean |
requestIsGranted(java.lang.String userId,
java.lang.String authContext,
javax.servlet.http.HttpServletRequest request) |
public void init(javax.servlet.FilterConfig filterConfig) throws javax.servlet.ServletException
init
in interface javax.servlet.Filter
javax.servlet.ServletException
public void init() throws java.io.IOException, org.jdom.JDOMException, ConfigurationException
java.io.IOException
org.jdom.JDOMException
ConfigurationException
public void doFilter(javax.servlet.ServletRequest request, javax.servlet.ServletResponse response, javax.servlet.FilterChain filterChain) throws java.io.IOException, javax.servlet.ServletException
doFilter
in interface javax.servlet.Filter
java.io.IOException
javax.servlet.ServletException
public void destroy()
destroy
in interface javax.servlet.Filter
public boolean requestIsGranted(java.lang.String userId, java.lang.String authContext, javax.servlet.http.HttpServletRequest request)