//# 0 errors, 223 messages
//#
/*
    //#PlanetFeedServlet.java:1:1: class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
 * 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.util.Date;
import java.util.HashMap;
import javax.servlet.ServletConfig;
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.config.WebloggerRuntimeConfig;
import org.apache.roller.planet.business.PlanetFactory;
import org.apache.roller.planet.business.PlanetManager;
import org.apache.roller.planet.config.PlanetRuntimeConfig;
import org.apache.roller.planet.pojos.Planet;
import org.apache.roller.weblogger.pojos.StaticTemplate;
import org.apache.roller.weblogger.pojos.Template;
import org.apache.roller.weblogger.ui.rendering.Renderer;
import org.apache.roller.weblogger.ui.rendering.RendererManager;
import org.apache.roller.weblogger.ui.rendering.model.UtilitiesModel;
import org.apache.roller.weblogger.ui.rendering.util.cache.PlanetCache;
import org.apache.roller.weblogger.ui.rendering.util.PlanetRequest;
import org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil;
import org.apache.roller.weblogger.util.cache.CachedContent;


/**
 * Planet Roller (i.e. NOT for Planet Tool) RSS feed.
 *
 * @web.servlet name="PlanetFeedServlet" load-on-startup="7"
 * @web.servlet-mapping url-pattern="/planetrss/*"
 */
public class PlanetFeedServlet extends HttpServlet {
    //#PlanetFeedServlet.java:54: method: void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet()
    //#input(void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet()): this
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet()): this.planetCache
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet()): this.planetCache == null

    private static Log log = LogFactory.getLog(PlanetFeedServlet.class);
    //#PlanetFeedServlet.java:56: method: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init
    //#PlanetFeedServlet.java:56: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PlanetFeedServlet]
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Dispatch_Table.generateKey(Lorg/apache/roller/weblogger/ui/rendering/util/PlanetRequest;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): log
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PlanetFeedServlet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doGet
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Dispatch_Table.generateKey(Lorg/apache/roller/weblogger/ui/rendering/util/PlanetRequest;)Ljava/lang/String; == &generateKey
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V == &init
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init): init'ed(log)
    //#PlanetFeedServlet.java:56: end of method: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet__static_init
    private PlanetCache planetCache = null;
    //#PlanetFeedServlet.java:57: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet()

    /**
     * Init method for this servlet
     */
    public void init(ServletConfig servletConfig) throws ServletException {

        super.init(servletConfig);
    //#PlanetFeedServlet.java:64: method: void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.init(ServletConfig)
    //#input(void init(ServletConfig)): log
    //#input(void init(ServletConfig)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.singletonInstance
    //#input(void init(ServletConfig)): servletConfig
    //#input(void init(ServletConfig)): this
    //#output(void init(ServletConfig)): this.planetCache
    //#pre[1] (void init(ServletConfig)): log != null
    //#pre[2] (void init(ServletConfig)): init'ed(org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.singletonInstance)
    //#post(void init(ServletConfig)): this.planetCache == org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.singletonInstance
    //#post(void init(ServletConfig)): init'ed(this.planetCache)

        log.info("Initializing PlanetRssServlet");
    //#PlanetFeedServlet.java:66: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)

        this.planetCache = PlanetCache.getInstance();
    }
    //#PlanetFeedServlet.java:69: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.init(ServletConfig)

    /**
     * Handle GET requests for weblog pages.
     */
    public void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {

        log.debug("Entering");
    //#PlanetFeedServlet.java:76: method: void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.doGet(HttpServletRequest, HttpServletResponse)
    //#PlanetFeedServlet.java:76: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".excerpts"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".group="._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".user="._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "HIT "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "MISS "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "NOT MODIFIED "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "PUT "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "cache.planet:"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "feed"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "last mod date (trucated to seconds) = "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "not a planet request, "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "page"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "parsing url "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "planet"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "rss"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "since date = "._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/PlanetRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/PlanetRequest]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getContext()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getFlavor()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getGroup()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.isExcerpts()Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.__Dispatch_Table.get(Ljava/lang/String;)Ljava/lang/Object;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.__Dispatch_Table.getLastModified()Ljava/util/Date;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.__Dispatch_Table.put(Ljava/lang/String;Ljava/lang/Object;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): request
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): response
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.__Tag
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.cacheEnabled
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.contentCache
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.lastUpdateTime
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.timeout
    //#output(void doGet(HttpServletRequest, HttpServletResponse)): new ExpiringCacheEntry(getLastModified#2) num objects
    //#output(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.lastUpdateTime
    //#new obj(void doGet(HttpServletRequest, HttpServletResponse)): new ExpiringCacheEntry(getLastModified#2)
    //#pre[1] (void doGet(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[2] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(this.planetCache.lastUpdateTime)
    //#pre[3] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.log != null
    //#pre[4] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache.log != null
    //#pre[5] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) request != null
    //#pre[6] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) response != null
    //#pre[8] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.planetCache != null
    //#pre[9] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.planetCache.__Tag == org/apache/roller/weblogger/ui/rendering/util/cache/PlanetCache
    //#pre[10] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(this.planetCache.cacheEnabled)
    //#pre[11] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.planetCache.contentCache != null
    //#pre[12] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(this.planetCache.timeout)
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): java.util.Date:getTime(...)@94 - java.util.Date:getTime(...)@94%1_000 in -9_223_372_036_854_775_808..18_446_744_073_709_551_615
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@118 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@215 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.planet.business.Planet:getPlanetManager(...)@78 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@78 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.RendererManager:getRenderer(...)@178 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.util.cache.CachedContent:getContent(...).length@117 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.util.cache.CachedContent:getContent(...).length@214 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.util.cache.CachedContent:getContent(...)@117 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.util.cache.CachedContent:getContent(...)@214 != null
    //#post(void doGet(HttpServletRequest, HttpServletResponse)): this.planetCache.lastUpdateTime == One-of{old this.planetCache.lastUpdateTime, &new ExpiringCacheEntry(getLastModified#2)}
    //#post(void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(this.planetCache.lastUpdateTime)
    //#post(void doGet(HttpServletRequest, HttpServletResponse)): new ExpiringCacheEntry(getLastModified#2) num objects <= 1
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.PlanetRequest:getAuthenticUser
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuffer:toString
    //#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:java.lang.StringBuilder
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getRequestURL
    //#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:javax.servlet.http.HttpServletRequest:getServletPath
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getParameter
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getLocale
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Locale:getLanguage
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.WebloggerException
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.ExpiringCacheEntry:getValue
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Date
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.ExpiringCacheEntry
    //#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:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletResponse:setDateHeader
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.Cache:get
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.Cache:put
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:indexOf(...)@101: {-1}, {-2_147_483_648..-2, 0..4_294_967_295}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:startsWith(...)@101: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getHeader(...)@100: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getHeader(...)@99: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getParameter(...)@128: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getParameter(...)@147: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:isNotEmpty(...)@138: {0}, {1}

        PlanetManager planet = PlanetFactory.getPlanet().getPlanetManager();
    //#PlanetFeedServlet.java:78: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetFeedServlet.java:78: Warning: method not available
    //#    -- call on PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()

        PlanetRequest planetRequest = null;
    //#PlanetFeedServlet.java:80: Warning: unused assignment
    //#    unused assignment into planetRequest
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            planetRequest = new PlanetRequest(request);
        } catch (Exception e) {
            // some kind of error parsing the request
            log.debug("error creating planet request", e);
    //#PlanetFeedServlet.java:85: 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.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object, Throwable)
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }

        // figure planet last modified date
        Date lastModified = planetCache.getLastModified();

        // Respond with 304 Not Modified if it is not modified.
        if (ModDateHeaderUtil.respondIfNotModified(request, response, lastModified.getTime())) {
            return;
        }

        // set content type
        String accepts = request.getHeader("Accept");
        String userAgent = request.getHeader("User-Agent");
        if (accepts != null && userAgent != null && accepts.indexOf("*/*") != -1 && userAgent.startsWith("Mozilla")) {
            // client is a browser and now that we offer styled feeds we want
            // browsers to load the page rather than popping up the download
            // dialog, so we provide a content-type that browsers will display
            response.setContentType("text/xml");
        } else {
            response.setContentType("application/rss+xml; charset=utf-8");
        }

        // set last-modified date
        ModDateHeaderUtil.setLastModifiedHeader(response, lastModified.getTime());

        // cached content checking
        String cacheKey = PlanetCache.CACHE_ID + ":" + this.generateKey(planetRequest);
        CachedContent entry = (CachedContent) planetCache.get(cacheKey);
        if (entry != null) {
            response.setContentLength(entry.getContent().length);
    //#PlanetFeedServlet.java:117: Warning: method not available
    //#    -- call on byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
            response.getOutputStream().write(entry.getContent());
    //#PlanetFeedServlet.java:118: Warning: method not available
    //#    -- call on byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
            return;
        }


        // looks like we need to render content
        @SuppressWarnings("unchecked")
        HashMap<String, Object> model = new HashMap();
        try {
            // populate the rendering model
            if (request.getParameter("group") != null) {
                Planet planetObject = planet.getPlanet("default");
    //#PlanetFeedServlet.java:129: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetManager:getPlanet(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetManager:getPlanet(String)
                model.put("group", planet.getGroup(planetObject, request.getParameter("group")));
    //#PlanetFeedServlet.java:130: Warning: method not available
    //#    -- call on PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroup(Planet, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroup(Planet, String)
            }
            model.put("planet", planet);
            model.put("date", new Date());
            model.put("utils", new UtilitiesModel());
    //#PlanetFeedServlet.java:134: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.model.UtilitiesModel()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.model.UtilitiesModel()
            model.put("siteName", PlanetRuntimeConfig.getProperty("site.name"));
    //#PlanetFeedServlet.java:135: Warning: method not available
    //#    -- call on String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
            model.put("siteDescription", PlanetRuntimeConfig.getProperty("site.description"));
    //#PlanetFeedServlet.java:136: Warning: method not available
    //#    -- call on String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
            model.put("lastModified", lastModified);
            if (StringUtils.isNotEmpty(PlanetRuntimeConfig.getProperty("site.absoluteurl"))) {
    //#PlanetFeedServlet.java:138: Warning: method not available
    //#    -- call on String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
    //#PlanetFeedServlet.java:138: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isNotEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isNotEmpty(String)
                model.put("absoluteSite", PlanetRuntimeConfig.getProperty("site.absoluteurl"));
    //#PlanetFeedServlet.java:139: Warning: method not available
    //#    -- call on String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.planet.config.PlanetRuntimeConfig:getProperty(String)
            } else {
                model.put("absoluteSite", WebloggerRuntimeConfig.getAbsoluteContextURL());
    //#PlanetFeedServlet.java:141: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
            }
            model.put("feedStyle", new Boolean(WebloggerRuntimeConfig.getBooleanProperty("site.newsfeeds.styledFeeds")));
    //#PlanetFeedServlet.java:143: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)

            int numEntries = WebloggerRuntimeConfig.getIntProperty("site.newsfeeds.defaultEntries");
    //#PlanetFeedServlet.java:145: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: int org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty(String)
            int entryCount = numEntries;
            String sCount = request.getParameter("count");
            if (sCount != null) {
                try {
                    entryCount = Integer.parseInt(sCount);
                } catch (NumberFormatException e) {
                    log.warn("Improperly formatted count parameter");
    //#PlanetFeedServlet.java:152: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:warn(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:warn(Object)
                }
                if (entryCount > numEntries) {
                    entryCount = numEntries;
                }
                if (entryCount < 0) {
                    entryCount = 0;
                }
            }
            model.put("entryCount", new Integer(entryCount));
        } catch (Exception ex) {
            log.error("Error loading model objects for page", ex);
    //#PlanetFeedServlet.java:163: 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.PlanetFeedServlet
    //#    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);
            return;
        }


        // lookup Renderer we are going to use
        Renderer renderer = null;
    //#PlanetFeedServlet.java:174: Warning: unused assignment
    //#    unused assignment into renderer
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            log.debug("Looking up renderer");
    //#PlanetFeedServlet.java:176: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            Template template = new StaticTemplate("templates/planet/planetrss.vm", "velocity");
    //#PlanetFeedServlet.java:177: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.StaticTemplate(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.StaticTemplate(String, String)
            renderer = RendererManager.getRenderer(template);
    //#PlanetFeedServlet.java:178: Warning: method not available
    //#    -- call on Renderer org.apache.roller.weblogger.ui.rendering.RendererManager:getRenderer(Template)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Renderer org.apache.roller.weblogger.ui.rendering.RendererManager:getRenderer(Template)
        } catch (Exception e) {
            // nobody wants to render my content :(
            log.error("Couldn't find renderer for planet rss", e);
    //#PlanetFeedServlet.java:181: 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.PlanetFeedServlet
    //#    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_NOT_FOUND);
            return;
        }

        // render content.  use default size of about 24K for a standard page
        CachedContent rendererOutput = new CachedContent(24567);
    //#PlanetFeedServlet.java:191: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.util.cache.CachedContent(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.util.cache.CachedContent(int)
        try {
            log.debug("Doing rendering");
    //#PlanetFeedServlet.java:193: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            renderer.render(model, rendererOutput.getCachedWriter());
    //#PlanetFeedServlet.java:194: Warning: method not available
    //#    -- call on PrintWriter org.apache.roller.weblogger.util.cache.CachedContent:getCachedWriter()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: PrintWriter org.apache.roller.weblogger.util.cache.CachedContent:getCachedWriter()
    //#PlanetFeedServlet.java:194: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.Renderer:render(Map, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.Renderer:render(Map, Writer)

            // flush rendered output and close
            rendererOutput.flush();
    //#PlanetFeedServlet.java:197: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.util.cache.CachedContent:flush()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.util.cache.CachedContent:flush()
            rendererOutput.close();
    //#PlanetFeedServlet.java:198: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.util.cache.CachedContent:close()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.util.cache.CachedContent:close()
        } catch (Exception e) {
            // bummer, error during rendering
            log.error("Error during rendering for planet rss", e);
    //#PlanetFeedServlet.java:201: 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.PlanetFeedServlet
    //#    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_NOT_FOUND);
            return;
        }


        // post rendering process
        // flush rendered content to response
        log.debug("Flushing response output");
    //#PlanetFeedServlet.java:213: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        response.setContentLength(rendererOutput.getContent().length);
    //#PlanetFeedServlet.java:214: Warning: method not available
    //#    -- call on byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
        response.getOutputStream().write(rendererOutput.getContent());
    //#PlanetFeedServlet.java:215: Warning: method not available
    //#    -- call on byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: byte[] org.apache.roller.weblogger.util.cache.CachedContent:getContent()

        // cache rendered content.
        this.planetCache.put(cacheKey, rendererOutput);

        log.debug("Exiting");
    //#PlanetFeedServlet.java:220: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    }
    //#PlanetFeedServlet.java:221: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.doGet(HttpServletRequest, HttpServletResponse)

    /**
     * Generate a cache key from a parsed planet request.
     * This generates a key of the form ...
     *
     * <context>/<type>/<language>[/user]
     *   or
     * <context>/<type>[/flavor]/<language>[/excerpts]
     *
     *
     * examples ...
     *
     * planet/page/en
     * planet/feed/rss/en/excerpts
     *
     */
    private String generateKey(PlanetRequest planetRequest) {

        StringBuffer key = new StringBuffer();
    //#PlanetFeedServlet.java:240: method: String org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.generateKey(PlanetRequest)
    //#input(String generateKey(PlanetRequest)): "."._tainted
    //#input(String generateKey(PlanetRequest)): ".excerpts"._tainted
    //#input(String generateKey(PlanetRequest)): ".group="._tainted
    //#input(String generateKey(PlanetRequest)): ".user="._tainted
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/PlanetRequest]
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Descendant_Table[others]
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getContext()Ljava/lang/String;
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getFlavor()Ljava/lang/String;
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getGroup()Ljava/lang/String;
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(String generateKey(PlanetRequest)): org/apache/roller/weblogger/ui/rendering/util/PlanetRequest.__Dispatch_Table.isExcerpts()Z
    //#input(String generateKey(PlanetRequest)): planetRequest
    //#input(String generateKey(PlanetRequest)): planetRequest.__Tag
    //#input(String generateKey(PlanetRequest)): planetRequest.context
    //#input(String generateKey(PlanetRequest)): planetRequest.context._tainted
    //#input(String generateKey(PlanetRequest)): planetRequest.excerpts
    //#input(String generateKey(PlanetRequest)): planetRequest.flavor
    //#input(String generateKey(PlanetRequest)): planetRequest.flavor._tainted
    //#input(String generateKey(PlanetRequest)): planetRequest.group
    //#input(String generateKey(PlanetRequest)): planetRequest.group._tainted
    //#input(String generateKey(PlanetRequest)): planetRequest.language
    //#input(String generateKey(PlanetRequest)): planetRequest.language._tainted
    //#input(String generateKey(PlanetRequest)): planetRequest.type
    //#input(String generateKey(PlanetRequest)): planetRequest.type._tainted
    //#output(String generateKey(PlanetRequest)): java.lang.StringBuffer:toString(...)._tainted
    //#output(String generateKey(PlanetRequest)): return_value
    //#new obj(String generateKey(PlanetRequest)): java.lang.StringBuffer:toString(...)
    //#pre[3] (String generateKey(PlanetRequest)): planetRequest != null
    //#pre[4] (String generateKey(PlanetRequest)): planetRequest.__Tag == org/apache/roller/weblogger/ui/rendering/util/PlanetRequest
    //#pre[5] (String generateKey(PlanetRequest)): init'ed(planetRequest.context)
    //#pre[9] (String generateKey(PlanetRequest)): init'ed(planetRequest.flavor)
    //#pre[12] (String generateKey(PlanetRequest)): init'ed(planetRequest.group)
    //#pre[14] (String generateKey(PlanetRequest)): init'ed(planetRequest.language)
    //#pre[16] (String generateKey(PlanetRequest)): init'ed(planetRequest.type)
    //#pre[8] (String generateKey(PlanetRequest)): (soft) init'ed(planetRequest.excerpts)
    //#post(String generateKey(PlanetRequest)): init'ed(java.lang.StringBuffer:toString(...)._tainted)
    //#post(String generateKey(PlanetRequest)): return_value == &java.lang.StringBuffer:toString(...)
    //#test_vector(String generateKey(PlanetRequest)): planetRequest.excerpts: {0}, {1}
    //#test_vector(String generateKey(PlanetRequest)): planetRequest.flavor: Addr_Set{null}, Inverse{null}
    //#test_vector(String generateKey(PlanetRequest)): planetRequest.group: Addr_Set{null}, Inverse{null}
    //#test_vector(String generateKey(PlanetRequest)): org.apache.roller.weblogger.ui.rendering.util.PlanetRequest:getAuthenticUser(...)@259: Addr_Set{null}, Inverse{null}
        key.append(planetRequest.getContext());
        key.append("/");
        key.append(planetRequest.getType());

        if (planetRequest.getFlavor() != null) {
            key.append("/").append(planetRequest.getFlavor());
        }

        // add language
        key.append("/").append(planetRequest.getLanguage());

        if (planetRequest.getFlavor() != null) {
            // add excerpts
            if (planetRequest.isExcerpts()) {
                key.append("/excerpts");
            }
        } else {
            // add login state
            if (planetRequest.getAuthenticUser() != null) {
    //#PlanetFeedServlet.java:259: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.PlanetRequest:getAuthenticUser()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: String generateKey(PlanetRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.PlanetRequest:getAuthenticUser()
                key.append("/user=").append(planetRequest.getAuthenticUser());
    //#PlanetFeedServlet.java:260: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.PlanetRequest:getAuthenticUser()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
    //#    method: String generateKey(PlanetRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.PlanetRequest:getAuthenticUser()
            }
        }

        // add group
        if (planetRequest.getGroup() != null) {
            key.append("/group=").append(planetRequest.getGroup());
        }

        return key.toString();
    //#PlanetFeedServlet.java:269: end of method: String org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet.generateKey(PlanetRequest)
    }
}    //#PlanetFeedServlet.java:: end of class: org.apache.roller.weblogger.ui.rendering.servlets.PlanetFeedServlet
