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

import java.util.ArrayList;
import java.util.Date;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
import java.util.TreeMap;
import org.apache.commons.collections.comparators.ReverseComparator;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.business.URLStrategy;
import org.apache.roller.weblogger.business.Weblogger;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.business.WeblogManager;
import org.apache.roller.weblogger.pojos.WeblogEntry;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper;


/**
 * A pager over a collection of recent weblog entries.
 */
public class WeblogEntriesLatestPager extends AbstractWeblogEntriesPager {
    
    private static Log log = LogFactory.getLog(WeblogEntriesLatestPager.class);
    //#WeblogEntriesLatestPager.java:44: method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init
    //#WeblogEntriesLatestPager.java:44: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.createURL(IILorg/apache/roller/weblogger/pojos/Weblog;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/util/List;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getEntries()Ljava/util/Map;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextCollectionLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextCollectionName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevCollectionLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevCollectionName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getToday()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.hasMoreEntries()Z
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.createURL(IILorg/apache/roller/weblogger/pojos/Weblog;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/util/List;)Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.createURL
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getEntries()Ljava/util/Map; == &getEntries
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getHomeLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getHomeName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextCollectionLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getNextCollectionLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextCollectionName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getNextCollectionName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getNextLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getNextName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevCollectionLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getPrevCollectionLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevCollectionName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getPrevCollectionName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getPrevLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getPrevName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.getToday()Ljava/util/Date; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.getToday
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.hasMoreEntries()Z == &hasMoreEntries
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): __Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.parseDate
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init): init'ed(log)
    //#WeblogEntriesLatestPager.java:44: end of method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager__static_init
    
    // collection for the pager
    private Map entries = null;
    
    // are there more pages?
    private boolean more = false;
    
    
    public WeblogEntriesLatestPager(
            URLStrategy        strat,
            Weblog             weblog,
            String             locale,
            String             pageLink,
            String             entryAnchor,
            String             dateString,
            String             catPath,
            List               tags,
            int                page) {
        
        super(strat, weblog, locale, pageLink, entryAnchor, dateString, catPath, tags, page);
    //#WeblogEntriesLatestPager.java:64: method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): "request for messages in locale = "._tainted
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): catPath
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): dateString
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): entryAnchor
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): locale
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): locale._tainted
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[org/apache/roller/weblogger/util/I18nMessages]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/util/I18nMessages.messagesMap
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): page
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): pageLink
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): strat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): tags
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): weblog
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new ArrayList(AbstractWeblogEntriesPager#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).bundle
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2)._tainted
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3)._tainted
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new TreeMap(getEntries#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.catPath
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.dateString
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entries
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entryAnchor
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.length
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.messageUtils
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.more
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.offset
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.page
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.pageLink
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.tags
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.urlStrategy
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new ArrayList(AbstractWeblogEntriesPager#1)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new TreeMap(getEntries#1)
    //#pre[4] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): locale == null
    //#pre[7] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager
    //#pre[8] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/util/I18nMessages.messagesMap != null
    //#pre[14] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): weblog != null
    //#pre[6] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): (soft) log != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.catPath == catPath
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.catPath)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.dateString == dateString
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.dateString)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entries == &new TreeMap(getEntries#1)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entryAnchor == entryAnchor
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.entryAnchor)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): (soft) this.length <= 4_294_967_294
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.locale == null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.messageUtils != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.more)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.offset)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.page == One-of{0, page}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.page >= 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.pageLink == pageLink
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.pageLink)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.tags == One-of{&new ArrayList(AbstractWeblogEntriesPager#1), tags}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.tags != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog == weblog
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2) num objects <= 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).__Tag == org/apache/roller/weblogger/util/I18nMessages
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(new I18nMessages(getMessages#2).bundle)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).locale != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2) num objects == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2)._tainted == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3)._tainted == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3) num objects == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new TreeMap(getEntries#1) num objects == 1
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.commons.collections.comparators.ReverseComparator
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Date
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.List:get
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.ResourceBundle:getBundle
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Locale:toString
        
        // initialize the pager collection
        getEntries();
    //#WeblogEntriesLatestPager.java:67: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.getEntries: (soft) this.length <= 4_294_967_294
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) this.length in -2_147_483_648..4_294_967_294
    //#    callee: Map org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.getEntries()
    //#    callee assertion: (soft) this.length <= 4_294_967_294
    //#    callee file: WeblogEntriesLatestPager.java
    //#    callee precondition index: [6]
    //#    callee srcpos: 73
    //#    VN: this.length
    //#    Expected: {-2_147_483_648..4_294_967_294}
    //#    Bad: {4_294_967_295}
    //#    Attribs:  Int  Bad singleton  Soft  Bad > Exp
    }
    //#WeblogEntriesLatestPager.java:68: end of method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    
    
    public Map getEntries() {
        
        if (entries == null) {
    //#WeblogEntriesLatestPager.java:73: method: Map org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.getEntries()
    //#input(Map getEntries()): log
    //#input(Map getEntries()): this
    //#input(Map getEntries()): this.catPath
    //#input(Map getEntries()): this.entries
    //#input(Map getEntries()): this.length
    //#input(Map getEntries()): this.locale
    //#input(Map getEntries()): this.offset
    //#input(Map getEntries()): this.tags
    //#input(Map getEntries()): this.weblog
    //#output(Map getEntries()): new TreeMap(getEntries#1) num objects
    //#output(Map getEntries()): return_value
    //#output(Map getEntries()): this.entries
    //#output(Map getEntries()): this.more
    //#new obj(Map getEntries()): new TreeMap(getEntries#1)
    //#pre[2] (Map getEntries()): init'ed(this.entries)
    //#pre[1] (Map getEntries()): (soft) log != null
    //#pre[5] (Map getEntries()): (soft) init'ed(this.catPath)
    //#pre[6] (Map getEntries()): (soft) this.length <= 4_294_967_294
    //#pre[7] (Map getEntries()): (soft) init'ed(this.locale)
    //#pre[8] (Map getEntries()): (soft) init'ed(this.offset)
    //#pre[9] (Map getEntries()): (soft) init'ed(this.tags)
    //#pre[11] (Map getEntries()): (soft) init'ed(this.weblog)
    //#presumption(Map getEntries()): java.util.Map:get(...)@98 != null
    //#presumption(Map getEntries()): java.util.Map:keySet(...)@92 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap(...)@78 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.Weblogger:getWeblogManager(...)@78 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@76 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@78 != null
    //#post(Map getEntries()): return_value == One-of{old this.entries, &new TreeMap(getEntries#1)}
    //#post(Map getEntries()): return_value != null
    //#post(Map getEntries()): this.entries == return_value
    //#post(Map getEntries()): possibly_updated(this.more)
    //#post(Map getEntries()): new TreeMap(getEntries#1) num objects <= 1
    //#test_vector(Map getEntries()): this.entries: Inverse{null}, Addr_Set{null}
    //#test_vector(Map getEntries()): java.util.List:size(...)@108: {-2_147_483_648..0}, {1..4_294_967_295}
            entries = new TreeMap(new ReverseComparator());
    //#WeblogEntriesLatestPager.java:74: Warning: method not available
    //#    -- call on void org.apache.commons.collections.comparators.ReverseComparator()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: void org.apache.commons.collections.comparators.ReverseComparator()
            try {
                Weblogger roller = WebloggerFactory.getWeblogger();
    //#WeblogEntriesLatestPager.java:76: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
                WeblogManager wmgr = roller.getWeblogManager();
    //#WeblogEntriesLatestPager.java:77: Warning: unused assignment
    //#    unused assignment into wmgr
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#WeblogEntriesLatestPager.java:77: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
                Map mmap = WebloggerFactory.getWeblogger().getWeblogManager().getWeblogEntryObjectMap(
    //#WeblogEntriesLatestPager.java:78: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#WeblogEntriesLatestPager.java:78: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#WeblogEntriesLatestPager.java:78: Warning: method not available
    //#    -- call on Map org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap(Weblog, Date, Date, String, List, String, String, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Map org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap(Weblog, Date, Date, String, List, String, String, int, int)
                        weblog,
                        null,
                        new Date(),
                        catPath,
                        tags,
                        WeblogEntry.PUBLISHED,
                        locale,
                        offset,
                        length + 1);
                
                // need to wrap pojos
                int count = 0;
                java.util.Date key = null;
    //#WeblogEntriesLatestPager.java:91: Warning: unused assignment
    //#    unused assignment into key
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    Attribs:  Uncertain
                Iterator days = mmap.keySet().iterator();
                while(days.hasNext()) {
                    key = (java.util.Date)days.next();
                    
                    // now we need to go through each entry in a day and wrap
                    List wrapped = new ArrayList();
                    List unwrapped= (List) mmap.get(key);
                    for(int i=0; i < unwrapped.size(); i++) {
                        if (count++ < length) {
    //#WeblogEntriesLatestPager.java:100: ?overflow
    //#    count in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    basic block: bb_7
    //#    assertion: count in -2_147_483_649..4_294_967_294
    //#    VN: count + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
                            wrapped.add(i,WeblogEntryWrapper.wrap((WeblogEntry)unwrapped.get(i), urlStrategy));
    //#WeblogEntriesLatestPager.java:101: ?use of default init
    //#    init'ed(this.urlStrategy)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    basic block: bb_8
    //#    assertion: init'ed(this.urlStrategy)
    //#    VN: this.urlStrategy
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
                        } else {
                            more = true;
                        }
                    }
                    
                    // done with that day, put it in the map
                    if(wrapped.size() > 0) {
                        entries.put(key, wrapped);
                    }
                }
            } catch (Exception e) {
                log.error("ERROR: getting entry month map", e);
    //#WeblogEntriesLatestPager.java:113: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
        }
        
        return entries;
    //#WeblogEntriesLatestPager.java:117: end of method: Map org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.getEntries()
    }
    
    
    public boolean hasMoreEntries() {
        return more;
    //#WeblogEntriesLatestPager.java:122: method: bool org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.hasMoreEntries()
    //#input(bool hasMoreEntries()): this
    //#input(bool hasMoreEntries()): this.more
    //#output(bool hasMoreEntries()): return_value
    //#pre[2] (bool hasMoreEntries()): init'ed(this.more)
    //#post(bool hasMoreEntries()): return_value == this.more
    //#post(bool hasMoreEntries()): init'ed(return_value)
    //#WeblogEntriesLatestPager.java:122: end of method: bool org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager.hasMoreEntries()
    }
    
}
    //#WeblogEntriesLatestPager.java:: end of class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager
