public ExternalContextImpl(ServletContext sc,
    ServletRequest request,
    ServletResponse response) 
{
    
        // Validate the incoming parameters
        try {
            Util.parameterNonNull(sc);
            Util.parameterNonNull(request);
            Util.parameterNonNull(response);
        } catch (Exception e) {
            throw new FacesException(
                MessageUtils.getExceptionMessageString(
                    MessageUtils.FACES_CONTEXT_CONSTRUCTION_ERROR_MESSAGE_ID));
        }
        // Save references to our context, request, and response
        this.servletContext = sc;
        this.request = request;        
        this.response = response;
        WebConfiguration config = WebConfiguration.getInstance(sc);
        if (config
              .isOptionEnabled(BooleanWebContextInitParameter.SendPoweredByHeader)) {
            ((HttpServletResponse) response)
                  .addHeader("X-Powered-By", "JSF/1.2");
        }
}

 public  void dispatch(String requestURI) throws IOException, FacesException 
{
        RequestDispatcher requestDispatcher = request.getRequestDispatcher(
            requestURI);
        if (requestDispatcher == null) {
            ((HttpServletResponse) response).
                    sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }
        try {
            requestDispatcher.forward(this.request, this.response);
        } catch (IOException ioe) {
            // e.printStackTrace();
            throw ioe;
        } catch (ServletException se) {
            throw new FacesException(se);
        }
}

 public String encodeActionURL(String sb) 
{
        return ((HttpServletResponse) response).encodeURL(sb);
}

Force any URL that causes an action to work within a portal/portlet. This causes the URL to have the required redirection for the specific portal to be included

 public String encodeNamespace(String aValue) 
{
        return aValue; // Do nothing for servlets
}

 public String encodeResourceURL(String sb) 
{
        return ((HttpServletResponse) response).encodeURL(sb);
}

Force any URL that references a resource to work within a portal/portlet. This causes the URL to have the required redirection for the specific portal to be included. In reality, it simply returns an absolute URL.

 public String encodeURL(String url) 
{
        return ((HttpServletResponse) response).encodeURL(url);
}

 public Map getApplicationMap() 
{
        if (applicationMap == null) {
            applicationMap = new ApplicationMap(servletContext);
        }
        return applicationMap;
}

 public String getAuthType() 
{
        return ((HttpServletRequest) request).getAuthType();
}

 public Object getContext() 
{
        return this.servletContext;
}

 public String getInitParameter(String name) 
{
        return servletContext.getInitParameter(name);
}

Manage attributes associated with the ServletContext instance associated with the current request.

 public Map getInitParameterMap() 
{
        if (null == initParameterMap) {
            initParameterMap = 
                Collections.unmodifiableMap(
                    new InitParameterMap(servletContext));
        }
        return initParameterMap;
}

 public String getRemoteUser() 
{
        return ((HttpServletRequest) request).getRemoteUser();
}

 public Object getRequest() 
{
        return this.request;
}

 public String getRequestCharacterEncoding() 
{
        return (request.getCharacterEncoding());
}

 public String getRequestContentType() 
{
        return (request.getContentType());
}

 public String getRequestContextPath() 
{
        return (((HttpServletRequest) request).getContextPath());
}

 public Map getRequestCookieMap() 
{
        if (null == cookieMap) {
            cookieMap =
                Collections.unmodifiableMap(
                    new RequestCookieMap((HttpServletRequest) request));
        }
        return cookieMap;
}

 public Cookie[] getRequestCookies() 
{
        return (((HttpServletRequest) request).getCookies());
}

 public Map getRequestHeaderMap() 
{
        if (null == requestHeaderMap) {
            requestHeaderMap = 
                Collections.unmodifiableMap(
                    new RequestHeaderMap((HttpServletRequest) request));                                                      
        }
        return requestHeaderMap;
}

 public Map getRequestHeaderValuesMap() 
{
        if (null == requestHeaderValuesMap) {
            requestHeaderValuesMap = 
                Collections.unmodifiableMap(
                    new RequestHeaderValuesMap((HttpServletRequest) request));
        }
        return requestHeaderValuesMap;
}

 public Locale getRequestLocale() 
{
        return request.getLocale();
}

 public Iterator getRequestLocales() 
{
        return (new LocalesIterator(request.getLocales()));
}

 public Map getRequestMap() 
{
        if (requestMap == null) {
            requestMap = new RequestMap(this.request);
        }
        return requestMap;
}

 public Map getRequestParameterMap() 
{
        if (null == requestParameterMap) {
            requestParameterMap = 
                Collections.unmodifiableMap(
                    new RequestParameterMap(request));
        }
        return requestParameterMap;
}

 public Iterator getRequestParameterNames() 
{
        final Enumeration namEnum = request.getParameterNames();
        return new Iterator< String >() {
            public boolean hasNext() {
                return namEnum.hasMoreElements();
            }
            public String next() {
                return (String) namEnum.nextElement();
            }
            public void remove() {
                throw new UnsupportedOperationException();
            }
        };
}

 public Map getRequestParameterValuesMap() 
{
        if (null == requestParameterValuesMap) {
            requestParameterValuesMap = 
                Collections.unmodifiableMap(
                    new RequestParameterValuesMap(request));
        }
        return requestParameterValuesMap;
}

 public String getRequestPathInfo() 
{
        return (((HttpServletRequest) request).getPathInfo());
}

 public String getRequestServletPath() 
{
        return (((HttpServletRequest) request).getServletPath());
}

 public URL getResource(String path) 
{
        URL url;
        try {
            url = servletContext.getResource(path);
        } catch (MalformedURLException e) {
            return null;
        }
        return url;
}

 public InputStream getResourceAsStream(String path) 
{
        return servletContext.getResourceAsStream(path);
}

 public Set getResourcePaths(String path) 
{
        return TypedCollections.dynamicallyCastSet(servletContext.getResourcePaths(path), String.class);
}

 public Object getResponse() 
{
        return this.response;
}

 public String getResponseCharacterEncoding() 
{
        return (response.getCharacterEncoding());
}

 public String getResponseContentType() 
{
        return (response.getContentType());
}

 public Object getSession(boolean create) 
{
        return (((HttpServletRequest) request).getSession(create));
}

 public Map getSessionMap() 
{
        if (sessionMap == null) {
            sessionMap = new SessionMap((HttpServletRequest) request);
        }
        return sessionMap;
}

 public Principal getUserPrincipal() 
{
        return ((HttpServletRequest) request).getUserPrincipal();
}

 public boolean isUserInRole(String role) 
{
        return ((HttpServletRequest) request).isUserInRole(role);
}

 public  void log(String message) 
{
        servletContext.log(message);
}

 public  void log(String message,
    Throwable throwable) 
{
        servletContext.log(message, throwable);
}

 public  void redirect(String requestURI) throws IOException 
{
        ((HttpServletResponse) response).sendRedirect(requestURI);
        FacesContext.getCurrentInstance().responseComplete();
}

 public  void setRequest(Object request) 
{
        if (request instanceof ServletRequest) {
            this.request = (ServletRequest) request;
            requestHeaderMap = null;
            requestHeaderValuesMap = null;
            requestHeaderValuesMap = null;
            requestMap = null;
            requestParameterMap = null;
            requestParameterValuesMap = null;
        }
}

 public  void setRequestCharacterEncoding(String encoding) throws UnsupportedEncodingException 
{
        request.setCharacterEncoding(encoding);
}

 public  void setResponse(Object response) 
{
	if (response instanceof ServletResponse) {
	    this.response = (ServletResponse) response;
	}
}

 public  void setResponseCharacterEncoding(String encoding) 
{
        response.setCharacterEncoding(encoding);
}