//# 2 errors, 163 messages
//#
/*
    //#PreviewResourceServlet.java:1:1: class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
 * Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  The ASF licenses this file to You
 * under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.  For additional information regarding
 * copyright in this work, please see the NOTICE file in the top level
 * directory of this distribution.
 */

package org.apache.roller.weblogger.ui.rendering.servlets;

import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import javax.servlet.ServletConfig;
import javax.servlet.ServletContext;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import org.apache.commons.lang.StringUtils;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.FileManager;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.pojos.Theme;
import org.apache.roller.weblogger.pojos.ThemeResource;
import org.apache.roller.weblogger.pojos.WeblogTheme;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil;
import org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest;


/**
 * Special previewing servlet which serves files uploaded by users as well as 
 * static resources in shared themes.  This servlet differs from the normal
 * ResourceServlet because it can accept urls parameters which affect how it
 * behaves which are used for previewing.
 *
 * @web.servlet name="PreviewResourceServlet" load-on-startup="9"
 * @web.servlet-mapping url-pattern="/roller-ui/authoring/previewresource/*"
 */
public class PreviewResourceServlet extends HttpServlet {
    //#PreviewResourceServlet.java:53: method: void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet()
    //#input(void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet()): this
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet()): this.context
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet()): this.context == null

    private static Log log = LogFactory.getLog(PreviewResourceServlet.class);
    //#PreviewResourceServlet.java:55: method: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init
    //#PreviewResourceServlet.java:55: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PreviewResourceServlet]
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): log
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PreviewResourceServlet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doGet
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V == &init
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init): init'ed(log)
    //#PreviewResourceServlet.java:55: end of method: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet__static_init
    
    private ServletContext context = null;
    //#PreviewResourceServlet.java:57: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet()


    public void init(ServletConfig config) throws ServletException {

        super.init(config);
    //#PreviewResourceServlet.java:62: method: void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.init(ServletConfig)
    //#input(void init(ServletConfig)): config
    //#input(void init(ServletConfig)): log
    //#input(void init(ServletConfig)): this
    //#output(void init(ServletConfig)): this.context
    //#pre[1] (void init(ServletConfig)): config != null
    //#pre[2] (void init(ServletConfig)): log != null
    //#post(void init(ServletConfig)): init'ed(this.context)

        log.info("Initializing PreviewResourceServlet");
    //#PreviewResourceServlet.java:64: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
        
        this.context = config.getServletContext();
    }
    //#PreviewResourceServlet.java:67: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.init(ServletConfig)


    /**
     * Handles requests for user uploaded resources.
     */
    public void doGet(HttpServletRequest request, HttpServletResponse response)
            throws ServletException, IOException {
        
        Weblog weblog = null;
    //#PreviewResourceServlet.java:76: method: void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.doGet(HttpServletRequest, HttpServletResponse)
    //#PreviewResourceServlet.java:76: Warning: unused assignment
    //#    unused assignment into weblog
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Error looking up theme "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "NOT MODIFIED "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Resource requested ["._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "]"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "handle = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "invalid resource path info, "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "last mod date (trucated to seconds) = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "locale = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "not a weblog request, "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "parsing path "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "pathInfo = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "resourcePath = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "since date = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "theme = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "unable to lookup weblog: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/ModDateHeaderUtil.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogCommentRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogFeedRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Dispatch_Table.getPathInfo()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Dispatch_Table.getTheme()Lorg/apache/roller/weblogger/pojos/Theme;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Dispatch_Table.getThemeName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogCommentRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogFeedRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogSearchRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogTrackbackRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.__Dispatch_Table.getPathInfo()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogSearchRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/WeblogTrackbackRequest.__Dispatch_Table.isLocale(Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): request
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): response
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.context
    //#pre[1] (void doGet(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[5] (void doGet(HttpServletRequest, HttpServletResponse)): request != null
    //#pre[2] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.log != null
    //#pre[3] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.log != null
    //#pre[4] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.log != null
    //#pre[6] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) response != null
    //#pre[8] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.context != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@165 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.FileManager:getFile(...)@136 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.Weblogger:getFileManager(...)@135 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@135 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.ThemeResource:getInputStream(...)@139 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getWeblog(...)@86 != null
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogRequest
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getServletPath
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getPathInfo
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.URLUtilities:decode
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getRequestURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.WebloggerException
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getParameter
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.ParsedRequest
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:endsWith
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getUserPrincipal
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.security.Principal:getName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getThemeManager
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.themes.ThemeManager:getTheme
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getDateHeader
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletResponse:setStatus
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletResponse:setDateHeader
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.io.InputStream:read(...)@166: {-2_147_483_648..0}, {1..4_294_967_295}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:isEmpty(...)@105: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Theme:getResource(...)@107: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@117: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.WeblogTheme:getResource(...)@119: Addr_Set{null}, Inverse{null}
        String context = request.getContextPath();
    //#PreviewResourceServlet.java:77: Warning: unused assignment
    //#    unused assignment into context
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
        String servlet = request.getServletPath();
    //#PreviewResourceServlet.java:78: Warning: unused assignment
    //#    unused assignment into servlet
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
        String reqURI = request.getRequestURI();
    //#PreviewResourceServlet.java:79: Warning: unused assignment
    //#    unused assignment into reqURI
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
        
        WeblogPreviewResourceRequest resourceRequest = null;
    //#PreviewResourceServlet.java:81: Warning: unused assignment
    //#    unused assignment into resourceRequest
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            // parse the incoming request and extract the relevant data
            resourceRequest = new WeblogPreviewResourceRequest(request);

            weblog = resourceRequest.getWeblog();
    //#PreviewResourceServlet.java:86: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getWeblog()
            if(weblog == null) {
                throw new WebloggerException("unable to lookup weblog: "+
                        resourceRequest.getWeblogHandle());
            }

        } catch(Exception e) {
            // invalid resource request or weblog doesn't exist
            log.debug("error creating weblog resource request", e);
    //#PreviewResourceServlet.java:94: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object, Throwable)
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }
        
        log.debug("Resource requested ["+resourceRequest.getResourcePath()+"]");
    //#PreviewResourceServlet.java:99: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#PreviewResourceServlet.java:99: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        
        long resourceLastMod = 0;
        InputStream resourceStream = null;
        
        // first, see if we have a preview theme to operate from
        if(!StringUtils.isEmpty(resourceRequest.getThemeName())) {
    //#PreviewResourceServlet.java:105: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
            Theme theme = resourceRequest.getTheme();
            ThemeResource resource = theme.getResource(resourceRequest.getResourcePath());
    //#PreviewResourceServlet.java:107: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#PreviewResourceServlet.java:107: ?null dereference
    //#    theme != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_7
    //#    assertion: theme != null
    //#    VN: getTheme(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#PreviewResourceServlet.java:107: Warning: method not available
    //#    -- call on ThemeResource org.apache.roller.weblogger.pojos.Theme:getResource(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeResource org.apache.roller.weblogger.pojos.Theme:getResource(String)
            if(resource != null) {
                resourceLastMod = resource.getLastModified();
    //#PreviewResourceServlet.java:109: Warning: method not available
    //#    -- call on long org.apache.roller.weblogger.pojos.ThemeResource:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: long org.apache.roller.weblogger.pojos.ThemeResource:getLastModified()
                resourceStream = resource.getInputStream();
    //#PreviewResourceServlet.java:110: Warning: method not available
    //#    -- call on InputStream org.apache.roller.weblogger.pojos.ThemeResource:getInputStream()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: InputStream org.apache.roller.weblogger.pojos.ThemeResource:getInputStream()
            }
        }
        
        // second, see if resource comes from weblog's configured shared theme
        if(resourceStream == null) {
            try {
                WeblogTheme weblogTheme = weblog.getTheme();
    //#PreviewResourceServlet.java:117: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
                if(weblogTheme != null) {
                    ThemeResource resource = weblogTheme.getResource(resourceRequest.getResourcePath());
    //#PreviewResourceServlet.java:119: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#PreviewResourceServlet.java:119: Warning: method not available
    //#    -- call on ThemeResource org.apache.roller.weblogger.pojos.WeblogTheme:getResource(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeResource org.apache.roller.weblogger.pojos.WeblogTheme:getResource(String)
                    if(resource != null) {
                        resourceLastMod = resource.getLastModified();
    //#PreviewResourceServlet.java:121: Warning: method not available
    //#    -- call on long org.apache.roller.weblogger.pojos.ThemeResource:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: long org.apache.roller.weblogger.pojos.ThemeResource:getLastModified()
                        resourceStream = resource.getInputStream();
    //#PreviewResourceServlet.java:122: Warning: method not available
    //#    -- call on InputStream org.apache.roller.weblogger.pojos.ThemeResource:getInputStream()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: InputStream org.apache.roller.weblogger.pojos.ThemeResource:getInputStream()
                    }
                }
            } catch (Exception ex) {
                // hmmm, some kind of error getting theme.  that's an error.
                response.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR);
                return;
            }
        }
        
        // if not from theme then see if resource is in weblog's upload dir
        if(resourceStream == null) {
            try {
                FileManager fileMgr = WebloggerFactory.getWeblogger().getFileManager();
    //#PreviewResourceServlet.java:135: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PreviewResourceServlet.java:135: Warning: method not available
    //#    -- call on FileManager org.apache.roller.weblogger.business.Weblogger:getFileManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: FileManager org.apache.roller.weblogger.business.Weblogger:getFileManager()
                ThemeResource resource = fileMgr.getFile(weblog, 
    //#PreviewResourceServlet.java:136: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#PreviewResourceServlet.java:136: Warning: method not available
    //#    -- call on ThemeResource org.apache.roller.weblogger.business.FileManager:getFile(Weblog, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeResource org.apache.roller.weblogger.business.FileManager:getFile(Weblog, String)
                        resourceRequest.getResourcePath());
                resourceLastMod = resource.getLastModified();
    //#PreviewResourceServlet.java:138: Warning: method not available
    //#    -- call on long org.apache.roller.weblogger.pojos.ThemeResource:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: long org.apache.roller.weblogger.pojos.ThemeResource:getLastModified()
                resourceStream = resource.getInputStream();
    //#PreviewResourceServlet.java:139: Warning: method not available
    //#    -- call on InputStream org.apache.roller.weblogger.pojos.ThemeResource:getInputStream()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: InputStream org.apache.roller.weblogger.pojos.ThemeResource:getInputStream()
            } catch (Exception ex) {
                // still not found? then we don't have it, 404.
                log.debug("Unable to get resource", ex);
    //#PreviewResourceServlet.java:142: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object, Throwable)
                response.sendError(HttpServletResponse.SC_NOT_FOUND);
                return;
            }
        }
        
        // Respond with 304 Not Modified if it is not modified.
        if (ModDateHeaderUtil.respondIfNotModified(request, response, resourceLastMod)) {
    //#PreviewResourceServlet.java:149: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/util/ModDateHeaderUtil.respondIfNotModified: (soft) lastModifiedTimeMillis%1_000 - lastModifiedTimeMillis in -18_446_744_073_709_551_615..9_223_372_036_854_775_808
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_20
    //#    assertion: (soft) resourceLastMod - resourceLastMod%1_000 in -9_223_372_036_854_775_808..18_446_744_073_709_551_615
    //#    callee: bool org/apache/roller/weblogger/ui/rendering/util/ModDateHeaderUtil.respondIfNotModified(HttpServletRequest, HttpServletResponse, long)
    //#    callee assertion: (soft) lastModifiedTimeMillis%1_000 - lastModifiedTimeMillis in -18_446_744_073_709_551_615..9_223_372_036_854_775_808
    //#    callee file: ModDateHeaderUtil.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 53
    //#    VN: -(resourceLastMod - resourceLastMod%1_000)
    //#    Expected: {-18_446_744_073_709_551_615..9_223_372_036_854_775_808}
    //#    Bad: {-18_446_744_073_709_552_614..-18_446_744_073_709_551_616, 9_223_372_036_854_775_809..9_223_372_036_854_776_807}
    //#    Attribs:  Int  Soft  Bad < Exp  Bad > Exp
            return;
        } else {
            // set last-modified date
            ModDateHeaderUtil.setLastModifiedHeader(response, resourceLastMod);
        }
        

        // set the content type based on whatever is in our web.xml mime defs
        response.setContentType(this.context.getMimeType(resourceRequest.getResourcePath()));
    //#PreviewResourceServlet.java:158: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewResourceRequest:getResourcePath()
        
        OutputStream out = null;
    //#PreviewResourceServlet.java:160: Warning: unused assignment
    //#    unused assignment into out
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            // ok, lets serve up the file
            byte[] buf = new byte[8192];
            int length = 0;
    //#PreviewResourceServlet.java:164: Warning: unused assignment
    //#    unused assignment into length
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
            out = response.getOutputStream();
            while((length = resourceStream.read(buf)) > 0) {
                out.write(buf, 0, length);
            }
            
            // cleanup
            out.close();
            resourceStream.close();
            
        } catch (Exception ex) {
            log.error("Error writing resource file", ex);
    //#PreviewResourceServlet.java:175: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            if(!response.isCommitted()) {
                response.reset();
                response.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR);
            }
        }

    }
    //#PreviewResourceServlet.java:182: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet.doGet(HttpServletRequest, HttpServletResponse)

}
    //#PreviewResourceServlet.java:: end of class: org.apache.roller.weblogger.ui.rendering.servlets.PreviewResourceServlet
