//# 3 errors, 781 messages
//#
/*
    //#PageModel.java:1:1: class: org.apache.roller.weblogger.ui.rendering.model.PageModel
 * 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.model; 

import java.util.ArrayList;
import java.util.List;
import java.util.Map;
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.URLStrategy;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper;
import org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper;
import org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper;
import org.apache.roller.weblogger.pojos.wrapper.WeblogWrapper;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesMonthPager;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesPager;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesPermalinkPager;
import org.apache.roller.weblogger.ui.rendering.util.WeblogEntryCommentForm;
import org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest;
import org.apache.roller.weblogger.ui.rendering.util.WeblogRequest;


/**
 * Model which provides information needed to render a weblog page.
 */
public class PageModel implements Model {
    
    private static Log log = LogFactory.getLog(PageModel.class);
    //#PageModel.java:50: method: org.apache.roller.weblogger.ui.rendering.model.PageModel.org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init
    //#PageModel.java:50: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PageModel]
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getCommentForm()Lorg/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getLocale()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getModelName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getRequestParameter(Ljava/lang/String;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getTags()Ljava/util/List;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogCategory()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPager()Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPagerByTag(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntry()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogPage()Lorg/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.init(Ljava/util/Map;)V
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.isPermalink()Z
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.isSearchResults()Z
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PageModel]
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PageModel] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PageModel] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getCommentForm()Lorg/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm; == &getCommentForm
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getLocale()Ljava/lang/String; == &getLocale
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getModelName()Ljava/lang/String; == &getModelName
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getRequestParameter(Ljava/lang/String;)Ljava/lang/String; == &getRequestParameter
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getTags()Ljava/util/List; == &getTags
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogWrapper; == &getWeblog
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogCategory()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper; == &getWeblogCategory
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPager()Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &getWeblogEntriesPager
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &getWeblogEntriesPager
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &getWeblogEntriesPager
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntriesPagerByTag(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &getWeblogEntriesPagerByTag
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogEntry()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper; == &getWeblogEntry
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.getWeblogPage()Lorg/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper; == &getWeblogPage
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.init(Ljava/util/Map;)V == &init
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.isPermalink()Z == &isPermalink
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): __Dispatch_Table.isSearchResults()Z == &isSearchResults
    //#post(org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init): init'ed(log)
    //#PageModel.java:50: end of method: org.apache.roller.weblogger.ui.rendering.model.PageModel.org.apache.roller.weblogger.ui.rendering.model.PageModel__static_init
    
    private WeblogPageRequest pageRequest = null;
    private URLStrategy urlStrategy = null;
    private WeblogEntryCommentForm commentForm = null;
    private Map requestParameters = null;
    private Weblog weblog = null;
    
    
    /**
     * 
     * Creates an un-initialized new instance, Weblogger calls init() to complete
     * construction.
     */
    public PageModel() {}
    //#PageModel.java:64: method: void org.apache.roller.weblogger.ui.rendering.model.PageModel.org.apache.roller.weblogger.ui.rendering.model.PageModel()
    //#input(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.commentForm
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.pageRequest
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.requestParameters
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.urlStrategy
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.weblog
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.commentForm == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.pageRequest == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.requestParameters == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.urlStrategy == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PageModel()): this.weblog == null
    //#PageModel.java:64: end of method: void org.apache.roller.weblogger.ui.rendering.model.PageModel.org.apache.roller.weblogger.ui.rendering.model.PageModel()
    
    
    /** 
     * Template context name to be used for model.
     */
    public String getModelName() {
        return "model";
    //#PageModel.java:71: method: String org.apache.roller.weblogger.ui.rendering.model.PageModel.getModelName()
    //#output(String getModelName()): return_value
    //#post(String getModelName()): return_value == &"model"
    //#PageModel.java:71: end of method: String org.apache.roller.weblogger.ui.rendering.model.PageModel.getModelName()
    }
    
    
    /** 
     * Init page model based on request. 
     */
    public void init(Map initData) throws WebloggerException {
        
        // we expect the init data to contain a weblogRequest object
        WeblogRequest weblogRequest = (WeblogRequest) initData.get("parsedRequest");
    //#PageModel.java:81: method: void org.apache.roller.weblogger.ui.rendering.model.PageModel.init(Map)
    //#input(void init(Map)): initData
    //#input(void init(Map)): this
    //#output(void init(Map)): this.commentForm
    //#output(void init(Map)): this.pageRequest
    //#output(void init(Map)): this.requestParameters
    //#output(void init(Map)): this.urlStrategy
    //#output(void init(Map)): this.weblog
    //#pre[1] (void init(Map)): initData != null
    //#presumption(void init(Map)): java.util.Map:get(...)@81 != null
    //#presumption(void init(Map)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@104 != null
    //#presumption(void init(Map)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:instanceof(...)@88 == 1
    //#post(void init(Map)): init'ed(this.commentForm)
    //#post(void init(Map)): (soft) this.pageRequest != null
    //#post(void init(Map)): init'ed(this.requestParameters)
    //#post(void init(Map)): init'ed(this.urlStrategy)
    //#post(void init(Map)): init'ed(this.weblog)
    //#test_vector(void init(Map)): java.util.Map:get(...)@102: Inverse{null}, Addr_Set{null}
        if(weblogRequest == null) {
            throw new WebloggerException("expected weblogRequest from init data");
        }
        
        // PageModel only works on page requests, so cast weblogRequest
        // into a WeblogPageRequest and if it fails then throw exception
        if(weblogRequest instanceof WeblogPageRequest) {
            this.pageRequest = (WeblogPageRequest) weblogRequest;
        } else {
            throw new WebloggerException("weblogRequest is not a WeblogPageRequest."+
                    "  PageModel only supports page requests.");
        }
        
        // see if there is a comment form
        this.commentForm = (WeblogEntryCommentForm) initData.get("commentForm");
        
        // custom request parameters
        this.requestParameters = (Map)initData.get("requestParameters");
        
        // look for url strategy
        urlStrategy = (URLStrategy) initData.get("urlStrategy");
        if(urlStrategy == null) {
            urlStrategy = WebloggerFactory.getWeblogger().getUrlStrategy();
    //#PageModel.java:104: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: void init(Map)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PageModel.java:104: Warning: method not available
    //#    -- call on URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: void init(Map)
    //#    unanalyzed callee: URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
        }
        
        // extract weblog object
        weblog = pageRequest.getWeblog();
    //#PageModel.java:108: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: void init(Map)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog()
    }    
    //#PageModel.java:109: end of method: void org.apache.roller.weblogger.ui.rendering.model.PageModel.init(Map)
    
    
    /**
     * Get the weblog locale used to render this page, null if no locale.
     */
    public String getLocale() {
        return pageRequest.getLocale();
    //#PageModel.java:116: method: String org.apache.roller.weblogger.ui.rendering.model.PageModel.getLocale()
    //#PageModel.java:116: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: String getLocale()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#input(String getLocale()): this
    //#input(String getLocale()): this.pageRequest
    //#output(String getLocale()): return_value
    //#pre[2] (String getLocale()): this.pageRequest != null
    //#post(String getLocale()): init'ed(return_value)
    //#PageModel.java:116: end of method: String org.apache.roller.weblogger.ui.rendering.model.PageModel.getLocale()
    }
    
    
    /**
     * Get weblog being displayed.
     */
    public WeblogWrapper getWeblog() {
        return WeblogWrapper.wrap(weblog, urlStrategy);
    //#PageModel.java:124: method: WeblogWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblog()
    //#input(WeblogWrapper getWeblog()): this
    //#input(WeblogWrapper getWeblog()): this.urlStrategy
    //#input(WeblogWrapper getWeblog()): this.weblog
    //#output(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1) num objects
    //#output(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).__Tag
    //#output(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).pojo
    //#output(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).urlStrategy
    //#output(WeblogWrapper getWeblog()): return_value
    //#new obj(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1)
    //#pre[2] (WeblogWrapper getWeblog()): init'ed(this.urlStrategy)
    //#pre[3] (WeblogWrapper getWeblog()): this.weblog != null
    //#post(WeblogWrapper getWeblog()): return_value == &new WeblogWrapper(wrap#1)
    //#post(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1) num objects == 1
    //#post(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogWrapper
    //#post(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).pojo == this.weblog
    //#post(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).pojo != null
    //#post(WeblogWrapper getWeblog()): new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
    //#post(WeblogWrapper getWeblog()): init'ed(new WeblogWrapper(wrap#1).urlStrategy)
    //#PageModel.java:124: end of method: WeblogWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblog()
    }
    
    
    /**
     * Is this page considered a permalink?
     */
    public boolean isPermalink() {
        return (pageRequest.getWeblogAnchor() != null);
    //#PageModel.java:132: method: bool org.apache.roller.weblogger.ui.rendering.model.PageModel.isPermalink()
    //#PageModel.java:132: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: bool isPermalink()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#input(bool isPermalink()): this
    //#input(bool isPermalink()): this.pageRequest
    //#output(bool isPermalink()): return_value
    //#pre[2] (bool isPermalink()): this.pageRequest != null
    //#post(bool isPermalink()): init'ed(return_value)
    //#PageModel.java:132: end of method: bool org.apache.roller.weblogger.ui.rendering.model.PageModel.isPermalink()
    }
    
    
    /**
     * Is this page showing search results?
     */
    public boolean isSearchResults() {
        // the search results model will extend this class and override this
        return false;
    //#PageModel.java:141: method: bool org.apache.roller.weblogger.ui.rendering.model.PageModel.isSearchResults()
    //#output(bool isSearchResults()): return_value
    //#post(bool isSearchResults()): return_value == 0
    //#PageModel.java:141: end of method: bool org.apache.roller.weblogger.ui.rendering.model.PageModel.isSearchResults()
    }
    
    
    /**
     * Get weblog entry being displayed or null if none specified by request.
     */
    public WeblogEntryWrapper getWeblogEntry() {
        if(pageRequest.getWeblogEntry() != null) {
    //#PageModel.java:149: method: WeblogEntryWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntry()
    //#PageModel.java:149: Warning: method not available
    //#    -- call on WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    unanalyzed callee: WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry()
    //#input(WeblogEntryWrapper getWeblogEntry()): this
    //#input(WeblogEntryWrapper getWeblogEntry()): this.pageRequest
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1) num objects
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).__Tag
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).pojo
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).urlStrategy
    //#output(WeblogEntryWrapper getWeblogEntry()): return_value
    //#new obj(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1)
    //#pre[2] (WeblogEntryWrapper getWeblogEntry()): this.pageRequest != null
    //#post(WeblogEntryWrapper getWeblogEntry()): return_value == One-of{&new WeblogEntryWrapper(wrap#1), null}
    //#post(WeblogEntryWrapper getWeblogEntry()): return_value in Addr_Set{null,&new WeblogEntryWrapper(wrap#1)}
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1) num objects <= 1
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).pojo != null
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).urlStrategy == this.urlStrategy
    //#post(WeblogEntryWrapper getWeblogEntry()): init'ed(new WeblogEntryWrapper(wrap#1).urlStrategy)
    //#test_vector(WeblogEntryWrapper getWeblogEntry()): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry(...)@149: Addr_Set{null}, Inverse{null}
            return WeblogEntryWrapper.wrap(pageRequest.getWeblogEntry(), urlStrategy);
    //#PageModel.java:150: Warning: method not available
    //#    -- call on WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    unanalyzed callee: WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry()
    //#PageModel.java:150: ?use of default init
    //#    init'ed(this.urlStrategy)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    basic block: bb_2
    //#    assertion: init'ed(this.urlStrategy)
    //#    VN: this.urlStrategy
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
        }
        return null;
    //#PageModel.java:152: end of method: WeblogEntryWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntry()
    }
    
    
    /**
     * Get weblog entry being displayed or null if none specified by request.
     */
    public ThemeTemplateWrapper getWeblogPage() {
        if(pageRequest.getWeblogPageName() != null) {
    //#PageModel.java:160: method: ThemeTemplateWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogPage()
    //#PageModel.java:160: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#input(ThemeTemplateWrapper getWeblogPage()): log
    //#input(ThemeTemplateWrapper getWeblogPage()): this
    //#input(ThemeTemplateWrapper getWeblogPage()): this.pageRequest
    //#input(ThemeTemplateWrapper getWeblogPage()): this.weblog
    //#output(ThemeTemplateWrapper getWeblogPage()): return_value
    //#pre[3] (ThemeTemplateWrapper getWeblogPage()): this.pageRequest != null
    //#pre[1] (ThemeTemplateWrapper getWeblogPage()): (soft) log != null
    //#pre[4] (ThemeTemplateWrapper getWeblogPage()): (soft) this.weblog != null
    //#presumption(ThemeTemplateWrapper getWeblogPage()): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@164 != null
    //#post(ThemeTemplateWrapper getWeblogPage()): init'ed(return_value)
    //#test_vector(ThemeTemplateWrapper getWeblogPage()): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName(...)@160: Addr_Set{null}, Inverse{null}
            return ThemeTemplateWrapper.wrap(pageRequest.getWeblogPage());
    //#PageModel.java:161: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPage()
    //#PageModel.java:161: Warning: method not available
    //#    -- call on ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
        } else {
            try {
                return ThemeTemplateWrapper.wrap(weblog.getTheme().getDefaultTemplate());
    //#PageModel.java:164: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#PageModel.java:164: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getDefaultTemplate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getDefaultTemplate()
    //#PageModel.java:164: Warning: method not available
    //#    -- call on ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
            } catch (WebloggerException ex) {
                log.error("Error getting default page", ex);
    //#PageModel.java:166: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: ThemeTemplateWrapper getWeblogPage()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
        }
        return null;
    //#PageModel.java:169: end of method: ThemeTemplateWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogPage()
    }
    
    
    /**
     * Get weblog category specified by request, or null if the category path
     * found in the request does not exist in the current weblog.
     */
    public WeblogCategoryWrapper getWeblogCategory() {
        if(pageRequest.getWeblogCategory() != null) {
    //#PageModel.java:178: method: WeblogCategoryWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogCategory()
    //#PageModel.java:178: Warning: method not available
    //#    -- call on WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogCategoryWrapper getWeblogCategory()
    //#    unanalyzed callee: WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory()
    //#input(WeblogCategoryWrapper getWeblogCategory()): this
    //#input(WeblogCategoryWrapper getWeblogCategory()): this.pageRequest
    //#output(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1) num objects
    //#output(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1).__Tag
    //#output(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1).pojo
    //#output(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1).urlStrategy
    //#output(WeblogCategoryWrapper getWeblogCategory()): return_value
    //#new obj(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1)
    //#pre[2] (WeblogCategoryWrapper getWeblogCategory()): this.pageRequest != null
    //#post(WeblogCategoryWrapper getWeblogCategory()): return_value == One-of{&new WeblogCategoryWrapper(wrap#1), null}
    //#post(WeblogCategoryWrapper getWeblogCategory()): return_value in Addr_Set{null,&new WeblogCategoryWrapper(wrap#1)}
    //#post(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1) num objects <= 1
    //#post(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper
    //#post(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1).pojo != null
    //#post(WeblogCategoryWrapper getWeblogCategory()): new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
    //#post(WeblogCategoryWrapper getWeblogCategory()): init'ed(new WeblogCategoryWrapper(wrap#1).urlStrategy)
    //#test_vector(WeblogCategoryWrapper getWeblogCategory()): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory(...)@178: Addr_Set{null}, Inverse{null}
            return WeblogCategoryWrapper.wrap(pageRequest.getWeblogCategory(), urlStrategy);
    //#PageModel.java:179: Warning: method not available
    //#    -- call on WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogCategoryWrapper getWeblogCategory()
    //#    unanalyzed callee: WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory()
    //#PageModel.java:179: ?use of default init
    //#    init'ed(this.urlStrategy)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogCategoryWrapper getWeblogCategory()
    //#    basic block: bb_2
    //#    assertion: init'ed(this.urlStrategy)
    //#    VN: this.urlStrategy
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
        }
        return null;
    //#PageModel.java:181: end of method: WeblogCategoryWrapper org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogCategory()
    }
    
    
    /**
     * Returns the list of tags specified in the request /tags/foo+bar
     */
    public List getTags() {
        return pageRequest.getTags();
    //#PageModel.java:189: method: List org.apache.roller.weblogger.ui.rendering.model.PageModel.getTags()
    //#PageModel.java:189: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: List getTags()
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#input(List getTags()): this
    //#input(List getTags()): this.pageRequest
    //#output(List getTags()): return_value
    //#pre[2] (List getTags()): this.pageRequest != null
    //#post(List getTags()): init'ed(return_value)
    //#PageModel.java:189: end of method: List org.apache.roller.weblogger.ui.rendering.model.PageModel.getTags()
    }
    
    
    /**
     * A map of entries representing this page. The collection is grouped by 
     * days of entries.  Each value is a list of entry objects keyed by the 
     * date they were published.
     */
    public WeblogEntriesPager getWeblogEntriesPager() {
        return getWeblogEntriesPager(null);
    //#PageModel.java:199: method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPager()
    //#PageModel.java:199: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager()
    //#    suspicious precondition index: [6]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): "request for messages in locale = "._tainted
    //#input(WeblogEntriesPager getWeblogEntriesPager()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PageModel]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/SearchResultsModel]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): __Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel.__Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/model/SearchResultsModel.__Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[org/apache/roller/weblogger/util/I18nMessages]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager()): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(WeblogEntriesPager getWeblogEntriesPager()): this
    //#input(WeblogEntriesPager getWeblogEntriesPager()): this.__Tag
    //#input(WeblogEntriesPager getWeblogEntriesPager()): this.pager
    //#input(WeblogEntriesPager getWeblogEntriesPager()): this.urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new ArrayList(AbstractWeblogEntriesPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new I18nMessages(getMessages#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new I18nMessages(getMessages#2).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new I18nMessages(getMessages#2).bundle
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new I18nMessages(getMessages#2).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#2)._tainted
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#3)._tainted
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new TreeMap(getEntries#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new TreeMap(getEntries#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).length
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).more
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).page
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).currEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).length
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).nextEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).page
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).prevEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager()): return_value
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new ArrayList(AbstractWeblogEntriesPager#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new I18nMessages(getMessages#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new TreeMap(getEntries#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new TreeMap(getEntries#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*)
    //#pre[6] (WeblogEntriesPager getWeblogEntriesPager()): this.__Tag in {org/apache/roller/weblogger/ui/rendering/model/PageModel, org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel, org/apache/roller/weblogger/ui/rendering/model/SearchResultsModel}
    //#pre[9] (WeblogEntriesPager getWeblogEntriesPager()): init'ed(this.urlStrategy)
    //#pre[7] (WeblogEntriesPager getWeblogEntriesPager()): (soft) init'ed(this.pager)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(return_value)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new ArrayList(AbstractWeblogEntriesPager#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new I18nMessages(getMessages#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager()): possibly_updated(new I18nMessages(getMessages#2).__Tag)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): possibly_updated(new I18nMessages(getMessages#2).bundle)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): possibly_updated(new I18nMessages(getMessages#2).locale)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#2) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new Locale(AbstractWeblogEntriesPager#2)._tainted)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new Locale(AbstractWeblogEntriesPager#3) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new Locale(AbstractWeblogEntriesPager#3)._tainted)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new TreeMap(getEntries#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new TreeMap(getEntries#3) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesLatestPager(getWeblogEntriesPager#2*) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).__Tag)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).catPath)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).entries)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).length)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).locale)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).messageUtils)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).more)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).page)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).tags)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2*).weblog)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).__Tag)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).catPath)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).currEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).entries)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).length)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).locale)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).messageUtils)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).nextEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).page)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).prevEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).tags)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager()): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1*).weblog)
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryByAnchor
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.sql.Timestamp:getTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Date
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Collections:singletonList
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.pagers.AbstractWeblogEntriesPager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setData
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.System:currentTimeMillis
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.sql.Timestamp
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setPubTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.lang.String:split
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Locale
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.ResourceBundle:getBundle
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Locale:toString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesPermalinkPager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.commons.collections.comparators.ReverseComparator
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.List:size
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.List:get
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:java.util.List:add
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:getWeblogEntriesPager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogPageName
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogDate
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getTags
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPageNum
    //#PageModel.java:199: end of method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPager()
    }
    
    
    /**
     * A map of entries representing this page - with entries restricted by category.
     * The collection is grouped by days of entries.  
     * Each value is a list of entry objects keyed by the date they were published.
     * @param catArgument Category restriction (null or "nil" for no restriction)
     */
    public WeblogEntriesPager getWeblogEntriesPager(String catArgument) {
        return getWeblogEntriesPager(catArgument, null);
    //#PageModel.java:210: method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPager(String)
    //#PageModel.java:210: Warning: call too complex - analysis skipped
    //#    -- call on WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): catArgument
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): this
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): return_value
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(return_value)
    //#PageModel.java:210: end of method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPager(String)
    }
    
    
    /**
     * A map of entries representing this page - with entries restricted by tag.
     * The collection is grouped by days of entries.  
     * Each value is a list of entry objects keyed by the date they were published.
     * @param tagArgument tag restriction (null or "nil" for no restriction)
     */
    public WeblogEntriesPager getWeblogEntriesPagerByTag(String tagArgument) {
        return getWeblogEntriesPager(null, tagArgument);
    //#PageModel.java:221: method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPagerByTag(String)
    //#PageModel.java:221: Warning: call too complex - analysis skipped
    //#    -- call on WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPagerByTag(String)
    //#    unanalyzed callee: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#input(WeblogEntriesPager getWeblogEntriesPagerByTag(String)): tagArgument
    //#input(WeblogEntriesPager getWeblogEntriesPagerByTag(String)): this
    //#output(WeblogEntriesPager getWeblogEntriesPagerByTag(String)): return_value
    //#post(WeblogEntriesPager getWeblogEntriesPagerByTag(String)): init'ed(return_value)
    //#PageModel.java:221: end of method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPagerByTag(String)
    }
    
    
    private WeblogEntriesPager getWeblogEntriesPager(String catArgument, String tagArgument) {
        
        // category specified by argument wins over request parameter
        String cat = pageRequest.getWeblogCategoryName();
    //#PageModel.java:228: method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPager(String, String)
    //#PageModel.java:228: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategoryName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategoryName()
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): "Error getting key "._tainted
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): "request for messages in locale = "._tainted
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): "weblogEntriesPager.day.dateFormat"._tainted
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): "weblogEntriesPager.month.dateFormat"._tainted
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): catArgument
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.__Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.log
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.log
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.log
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[org/apache/roller/weblogger/util/I18nMessages]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/util/I18nMessages.messagesMap
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): tagArgument
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): this
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): this.pageRequest
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): this.urlStrategy
    //#input(WeblogEntriesPager getWeblogEntriesPager(String, String)): this.weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new ArrayList(AbstractWeblogEntriesPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new ArrayList(getWeblogEntriesPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new I18nMessages(getMessages#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new I18nMessages(getMessages#2).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new I18nMessages(getMessages#2).bundle
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new I18nMessages(getMessages#2).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#2)._tainted
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#3)._tainted
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesDayPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesDayPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesMonthPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesMonthPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new TreeMap(getEntries#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new TreeMap(getEntries#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).day
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).dayFormat
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).length
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).more
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).nextDay
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).page
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).prevDay
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).length
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).more
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).page
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).length
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).month
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).monthFormat
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).more
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).nextMonth
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).page
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).prevMonth
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).currEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).length
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).nextEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).page
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).prevEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String, String)): return_value
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new ArrayList(AbstractWeblogEntriesPager#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new ArrayList(getWeblogEntriesPager#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new I18nMessages(getMessages#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesDayPager#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesDayPager#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesMonthPager#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesMonthPager#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new TreeMap(getEntries#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new TreeMap(getEntries#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2)
    //#pre[7] (WeblogEntriesPager getWeblogEntriesPager(String, String)): org/apache/roller/weblogger/util/I18nMessages.messagesMap != null
    //#pre[10] (WeblogEntriesPager getWeblogEntriesPager(String, String)): this.pageRequest != null
    //#pre[11] (WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(this.urlStrategy)
    //#pre[12] (WeblogEntriesPager getWeblogEntriesPager(String, String)): this.weblog != null
    //#pre[2] (WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.log != null
    //#pre[3] (WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.log != null
    //#pre[4] (WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.log != null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@243 == null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@254 == null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@265 == null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@277 == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): return_value in Addr_Set{&new WeblogEntriesDayPager(getWeblogEntriesPager#3),&new WeblogEntriesMonthPager(getWeblogEntriesPager#4),&new WeblogEntriesLatestPager(getWeblogEntriesPager#5),&new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2)}
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new ArrayList(getWeblogEntriesPager#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new I18nMessages(getMessages#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): possibly_updated(new I18nMessages(getMessages#2).__Tag)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): possibly_updated(new I18nMessages(getMessages#2).bundle)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): possibly_updated(new I18nMessages(getMessages#2).locale)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#2) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#2)._tainted == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#3) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new Locale(AbstractWeblogEntriesPager#3)._tainted == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesDayPager#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesDayPager#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesMonthPager#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new SimpleDateFormat(WeblogEntriesMonthPager#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new TreeMap(getEntries#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new TreeMap(getEntries#3) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).catPath)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).day)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).dayFormat == &new SimpleDateFormat(WeblogEntriesDayPager#2)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).entries == &new TreeMap(getEntries#1)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).length <= 4_294_967_294
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) new WeblogEntriesDayPager(getWeblogEntriesPager#3).locale == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).messageUtils != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).more)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).nextDay)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).page >= 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).prevDay)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).tags != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).urlStrategy == this.urlStrategy
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesDayPager(getWeblogEntriesPager#3).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).weblog == this.weblog
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesDayPager(getWeblogEntriesPager#3).weblog != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).catPath)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).entries == &new TreeMap(getEntries#1)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).length <= 4_294_967_294
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) new WeblogEntriesLatestPager(getWeblogEntriesPager#5).locale == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).messageUtils != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).more)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).page >= 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).tags != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).urlStrategy == this.urlStrategy
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#5).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).weblog == this.weblog
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#5).weblog != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).catPath)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).entries == &new TreeMap(getEntries#1)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).length <= 4_294_967_294
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) new WeblogEntriesMonthPager(getWeblogEntriesPager#4).locale == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).messageUtils != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).month)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).monthFormat == &new SimpleDateFormat(WeblogEntriesMonthPager#2)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).more)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).nextMonth)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).page >= 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).prevMonth)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).tags != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).urlStrategy == this.urlStrategy
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesMonthPager(getWeblogEntriesPager#4).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).weblog == this.weblog
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesMonthPager(getWeblogEntriesPager#4).weblog != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).catPath)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).currEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).entries)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).length)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): (soft) new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).locale == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).messageUtils != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).nextEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).page >= 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).prevEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).tags != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).urlStrategy == this.urlStrategy
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): init'ed(new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).weblog == this.weblog
    //#post(WeblogEntriesPager getWeblogEntriesPager(String, String)): new WeblogEntriesPermalinkPager(getWeblogEntriesPager#2).weblog != null
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryByAnchor
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.sql.Timestamp:getTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Date
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Collections:singletonList
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.pagers.AbstractWeblogEntriesPager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setData
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.System:currentTimeMillis
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.sql.Timestamp
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setPubTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Locale
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.ResourceBundle:getBundle
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Locale:toString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:parseDate
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.util.DateUtil:getStartOfDay
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.util.DateUtil:getEndOfDay
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.commons.collections.comparators.ReverseComparator
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.List:size
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.List:get
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Calendar:add
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:getToday
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Date:after
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getDateCreated
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.util.Date:before
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.util.DateUtil:get8charDateFormat
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.util.DateUtil:get6charDateFormat
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.commons.lang.StringUtils:isNumeric
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.text.SimpleDateFormat:setCalendar
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.text.ParsePosition
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:java.text.SimpleDateFormat:parse
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.util.DateUtil:getStartOfMonth
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String, String)): Effects-of-calling:org.apache.roller.util.DateUtil:getEndOfMonth
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): catArgument: Addr_Set{null}, Inverse{null}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): tagArgument: Addr_Set{null}, Inverse{null}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): java.lang.String:equals(...)@229: {1}, {0}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): java.lang.String:equals(...)@234: {1}, {0}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): java.lang.String:length(...)@253: {0..7, 9..4_294_967_295}, {8}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): java.lang.String:length(...)@264: {0..5, 7..4_294_967_295}, {6}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.commons.lang.StringUtils:isEmpty(...)@229: {1}, {0}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.commons.lang.StringUtils:isEmpty(...)@234: {1}, {0}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor(...)@242: Addr_Set{null}, Inverse{null}
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String, String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate(...)@239: Addr_Set{null}, Inverse{null}
        if (catArgument != null && !StringUtils.isEmpty(catArgument) && !"nil".equals(catArgument)) {
    //#PageModel.java:229: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
            cat = catArgument;
        }
        
        List tags = pageRequest.getTags();
    //#PageModel.java:233: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
        if (tagArgument != null && !StringUtils.isEmpty(tagArgument) && !"nil".equals(tagArgument)) {
    //#PageModel.java:234: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
            tags = new ArrayList();
            tags.add(tagArgument);
        }
        
        String dateString = pageRequest.getWeblogDate();
    //#PageModel.java:239: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
        
        // determine which mode to use
        if (pageRequest.getWeblogAnchor() != null) {
    //#PageModel.java:242: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
            return new WeblogEntriesPermalinkPager(
    //#PageModel.java:243: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#PageModel.java:243: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#PageModel.java:243: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#PageModel.java:243: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#PageModel.java:243: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
                    urlStrategy,
                    weblog,
                    pageRequest.getLocale(),
                    pageRequest.getWeblogPageName(),
                    pageRequest.getWeblogAnchor(),
                    pageRequest.getWeblogDate(),
                    cat,
                    tags,
                    pageRequest.getPageNum());
        } else if (dateString != null && dateString.length() == 8) {
            return new WeblogEntriesDayPager(
    //#PageModel.java:254: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#PageModel.java:254: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#PageModel.java:254: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#PageModel.java:254: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#PageModel.java:254: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
                    urlStrategy,
                    weblog,
                    pageRequest.getLocale(),
                    pageRequest.getWeblogPageName(),
                    pageRequest.getWeblogAnchor(),
                    pageRequest.getWeblogDate(),
                    cat,
                    tags,
                    pageRequest.getPageNum());
        } else if (dateString != null && dateString.length() == 6) {
            return new WeblogEntriesMonthPager(
    //#PageModel.java:265: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#PageModel.java:265: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#PageModel.java:265: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#PageModel.java:265: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#PageModel.java:265: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
                    urlStrategy,
                    weblog,
                    pageRequest.getLocale(),
                    pageRequest.getWeblogPageName(),
                    pageRequest.getWeblogAnchor(),
                    pageRequest.getWeblogDate(),
                    cat,
                    tags,
                    pageRequest.getPageNum());
          
        } else {
            return new WeblogEntriesLatestPager(
    //#PageModel.java:277: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#PageModel.java:277: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#PageModel.java:277: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#PageModel.java:277: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#PageModel.java:277: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String, String)
    //#    unanalyzed callee: int org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getPageNum()
    //#PageModel.java:277: end of method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PageModel.getWeblogEntriesPager(String, String)
                    urlStrategy,
                    weblog,
                    pageRequest.getLocale(),
                    pageRequest.getWeblogPageName(),
                    pageRequest.getWeblogAnchor(),
                    pageRequest.getWeblogDate(),
                    cat,
                    tags,
                    pageRequest.getPageNum());
        }
    }
        
    
    /**
     * Get comment form to be displayed, may contain preview data.
     *
     * @return Comment form object
     */
    public WeblogEntryCommentForm getCommentForm() {
        
        if(commentForm == null) {
    //#PageModel.java:298: method: WeblogEntryCommentForm org.apache.roller.weblogger.ui.rendering.model.PageModel.getCommentForm()
    //#input(WeblogEntryCommentForm getCommentForm()): this
    //#input(WeblogEntryCommentForm getCommentForm()): this.commentForm
    //#output(WeblogEntryCommentForm getCommentForm()): new WeblogEntryCommentForm(getCommentForm#1) num objects
    //#output(WeblogEntryCommentForm getCommentForm()): return_value
    //#output(WeblogEntryCommentForm getCommentForm()): this.commentForm
    //#new obj(WeblogEntryCommentForm getCommentForm()): new WeblogEntryCommentForm(getCommentForm#1)
    //#pre[1] (WeblogEntryCommentForm getCommentForm()): init'ed(this.commentForm)
    //#post(WeblogEntryCommentForm getCommentForm()): return_value == One-of{old this.commentForm, &new WeblogEntryCommentForm(getCommentForm#1)}
    //#post(WeblogEntryCommentForm getCommentForm()): return_value != null
    //#post(WeblogEntryCommentForm getCommentForm()): this.commentForm == return_value
    //#post(WeblogEntryCommentForm getCommentForm()): new WeblogEntryCommentForm(getCommentForm#1) num objects <= 1
    //#test_vector(WeblogEntryCommentForm getCommentForm()): this.commentForm: Inverse{null}, Addr_Set{null}
            commentForm = new WeblogEntryCommentForm();
    //#PageModel.java:299: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.WeblogEntryCommentForm()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: WeblogEntryCommentForm getCommentForm()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.WeblogEntryCommentForm()
        }
        return commentForm;
    //#PageModel.java:301: end of method: WeblogEntryCommentForm org.apache.roller.weblogger.ui.rendering.model.PageModel.getCommentForm()
    }
    
    /**
     * Get request parameter by name.
     */
    public String getRequestParameter(String paramName) {
        if (requestParameters != null) {
    //#PageModel.java:308: method: String org.apache.roller.weblogger.ui.rendering.model.PageModel.getRequestParameter(String)
    //#input(String getRequestParameter(String)): paramName
    //#input(String getRequestParameter(String)): this
    //#input(String getRequestParameter(String)): this.requestParameters
    //#output(String getRequestParameter(String)): return_value
    //#pre[3] (String getRequestParameter(String)): init'ed(this.requestParameters)
    //#post(String getRequestParameter(String)): return_value == null
    //#test_vector(String getRequestParameter(String)): this.requestParameters: Addr_Set{null}, Inverse{null}
    //#test_vector(String getRequestParameter(String)): java.util.Map:get(...)@309: Addr_Set{null}, Inverse{null}
    //#test_vector(String getRequestParameter(String)): values.length@309: {0}, {1..+Inf}
            String[] values = (String[])requestParameters.get(paramName);
            if (values != null && values.length > 0) {
                return values[0];
    //#PageModel.java:311: ?use of default init
    //#    init'ed(values[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PageModel
    //#    method: String getRequestParameter(String)
    //#    basic block: bb_4
    //#    assertion: init'ed(values[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
            }
        }
        return null;
    //#PageModel.java:314: end of method: String org.apache.roller.weblogger.ui.rendering.model.PageModel.getRequestParameter(String)
    }
    
}
    //#PageModel.java:: end of class: org.apache.roller.weblogger.ui.rendering.model.PageModel
