//# 4 errors, 621 messages
//#
/*
    //#WeblogEntriesDayPager.java:1:1: class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
 * 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.text.SimpleDateFormat;
import java.util.ArrayList;
import java.util.Calendar;
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.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;
import org.apache.roller.util.DateUtil;
import org.apache.roller.weblogger.business.URLStrategy;


/**
 *
 */
public class WeblogEntriesDayPager extends AbstractWeblogEntriesPager {
    
    private static Log log = LogFactory.getLog(WeblogEntriesDayPager.class);
    //#WeblogEntriesDayPager.java:47: method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init
    //#WeblogEntriesDayPager.java:47: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__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.WeblogEntriesDayPager__static_init): __Dispatch_Table.getEntries()Ljava/util/Map;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextCollectionLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextCollectionName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevCollectionLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevCollectionName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getToday()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.hasMoreEntries()Z
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__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.WeblogEntriesDayPager__static_init): __Dispatch_Table.getEntries()Ljava/util/Map; == &getEntries
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String; == &getHomeLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String; == &getHomeName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextCollectionLink()Ljava/lang/String; == &getNextCollectionLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextCollectionName()Ljava/lang/String; == &getNextCollectionName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String; == &getNextLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String; == &getNextName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevCollectionLink()Ljava/lang/String; == &getPrevCollectionLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevCollectionName()Ljava/lang/String; == &getPrevCollectionName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String; == &getPrevLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String; == &getPrevName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__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.WeblogEntriesDayPager__static_init): __Dispatch_Table.hasMoreEntries()Z == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.hasMoreEntries
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__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.WeblogEntriesDayPager__static_init): init'ed(log)
    //#WeblogEntriesDayPager.java:47: end of method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager__static_init
    
    private SimpleDateFormat dayFormat = new SimpleDateFormat();
    
    private Date day;
    private Date nextDay;
    private Date prevDay;
    
    // collection for the pager
    private Map entries = null;
    
    // are there more pages?
    private boolean more = false;
    
    
    public WeblogEntriesDayPager(
            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);
    //#WeblogEntriesDayPager.java:73: method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): "Error getting key "._tainted
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): "request for messages in locale = "._tainted
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): "weblogEntriesPager.day.dateFormat"._tainted
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Dispatch_Table.getToday()Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): __Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): catPath
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): dateString
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): entryAnchor
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): locale
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): locale._tainted
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): page
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): pageLink
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): strat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): tags
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): weblog
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new ArrayList(AbstractWeblogEntriesPager#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).bundle
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2)._tainted
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3)._tainted
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new SimpleDateFormat(WeblogEntriesDayPager#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new SimpleDateFormat(WeblogEntriesDayPager#2) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new TreeMap(getEntries#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.catPath
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.dateString
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.day
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.dayFormat
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entries
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entryAnchor
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.length
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.messageUtils
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.more
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.nextDay
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.offset
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.page
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.pageLink
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.prevDay
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.tags
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.urlStrategy
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new ArrayList(AbstractWeblogEntriesPager#1)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new SimpleDateFormat(WeblogEntriesDayPager#1)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new SimpleDateFormat(WeblogEntriesDayPager#2)
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new TreeMap(getEntries#1)
    //#pre[4] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): locale == null
    //#pre[7] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[8] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): weblog != null
    //#pre[6] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): (soft) log != null
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): java.util.Calendar:getInstance(...)@82 != null
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): java.util.Calendar:getTime(...)@89 != null
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org.apache.roller.util.DateUtil:getEndOfDay(...)@101 != null
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.length in range
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.messageUtils init'ed
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.messageUtils.bundle != null
    //#presumption(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog init'ed
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.catPath == catPath
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.catPath)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.dateString == dateString
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.dateString)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.day)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.dayFormat == &new SimpleDateFormat(WeblogEntriesDayPager#2)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entries == &new TreeMap(getEntries#1)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.entryAnchor == entryAnchor
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.entryAnchor)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.locale == null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.messageUtils != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.more)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): (soft) init'ed(this.nextDay)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.offset)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.page == One-of{0, page}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.page >= 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.pageLink == pageLink
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.pageLink)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.prevDay)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.tags != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog == weblog
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): this.weblog != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new SimpleDateFormat(WeblogEntriesDayPager#1) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new SimpleDateFormat(WeblogEntriesDayPager#2) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new I18nMessages(getMessages#2).locale != null
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#2)._tainted == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): new Locale(AbstractWeblogEntriesPager#3)._tainted == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:parseDate
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.util.DateUtil:getStartOfDay
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.util.DateUtil:getEndOfDay
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Date
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.util.DateUtil:get8charDateFormat
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.roller.util.DateUtil:get6charDateFormat
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:org.apache.commons.lang.StringUtils:isNumeric
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.text.SimpleDateFormat:setCalendar
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.text.ParsePosition
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.text.SimpleDateFormat:parse
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Date:after
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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.WeblogEntriesDayPager(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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): Effects-of-calling:java.util.Locale:toString
    //#test_vector(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): java.util.Date:after(...)@90: {0}, {1}
    //#test_vector(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): java.util.Date:before(...)@101: {0}, {1}
    //#test_vector(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)): org.apache.roller.weblogger.pojos.Weblog:getDateCreated(...)@100: Addr_Set{null}, Inverse{null}
        
        dayFormat = new SimpleDateFormat(
    //#WeblogEntriesDayPager.java:75: ?precondition failure
    //#    org/apache/roller/weblogger/util/I18nMessages.getString: (soft) this.bundle != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) this.messageUtils.bundle != null
    //#    callee: String org/apache/roller/weblogger/util/I18nMessages.getString(String)
    //#    callee assertion: (soft) this.bundle != null
    //#    callee file: I18nMessages.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 118
    //#    VN: this.messageUtils.bundle
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Soft
            messageUtils.getString("weblogEntriesPager.day.dateFormat"));
        
        getEntries();
    //#WeblogEntriesDayPager.java:78: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager.getEntries: (soft) this.length <= 4_294_967_294
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(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/WeblogEntriesDayPager.getEntries()
    //#    callee assertion: (soft) this.length <= 4_294_967_294
    //#    callee file: WeblogEntriesDayPager.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 108
    //#    VN: this.length
    //#    Expected: {-2_147_483_648..4_294_967_294}
    //#    Bad: {4_294_967_295}
    //#    Attribs:  Int  Bad singleton  Soft  Bad > Exp
        
        day = parseDate(dateString);
        
        Calendar cal = Calendar.getInstance();
        
        cal.setTime(day);
        cal.add(Calendar.DAY_OF_MONTH, 1);
        cal.set(Calendar.HOUR, 0);
        cal.set(Calendar.MINUTE, 0);
        cal.set(Calendar.SECOND, 0);
        nextDay = cal.getTime();
        if (nextDay.after(getToday())) {
            nextDay = null;
        }
        
        cal.setTime(day);
        cal.add(Calendar.DAY_OF_MONTH, -1);
        cal.set(Calendar.HOUR, 23);
        cal.set(Calendar.MINUTE, 59);
        cal.set(Calendar.SECOND, 59);
        prevDay = cal.getTime();
        Date weblogInitialDate = weblog.getDateCreated() != null ? weblog.getDateCreated() : new Date(0);
    //#WeblogEntriesDayPager.java:100: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.Weblog:getDateCreated()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.Weblog:getDateCreated()
        if (DateUtil.getEndOfDay(prevDay,cal).before(weblogInitialDate)) {
    //#WeblogEntriesDayPager.java:101: Warning: method not available
    //#    -- call on Date org.apache.roller.util.DateUtil:getEndOfDay(Date, Calendar)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    //#    unanalyzed callee: Date org.apache.roller.util.DateUtil:getEndOfDay(Date, Calendar)
            prevDay = null;
        }
    }
    //#WeblogEntriesDayPager.java:104: end of method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
    
    
    public Map getEntries() {
        Date date = parseDate(dateString);
    //#WeblogEntriesDayPager.java:108: method: Map org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getEntries()
    //#input(Map getEntries()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(Map getEntries()): __Descendant_Table[others]
    //#input(Map getEntries()): __Dispatch_Table.getToday()Ljava/util/Date;
    //#input(Map getEntries()): __Dispatch_Table.parseDate(Ljava/lang/String;)Ljava/util/Date;
    //#input(Map getEntries()): log
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Descendant_Table[others]
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractWeblogEntriesPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesMonthPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(Map getEntries()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager.__Dispatch_Table.getToday()Ljava/util/Date;
    //#input(Map getEntries()): this
    //#input(Map getEntries()): this.__Tag
    //#input(Map getEntries()): this.catPath
    //#input(Map getEntries()): this.dateString
    //#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[5] (Map getEntries()): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[7] (Map getEntries()): init'ed(this.dateString)
    //#pre[13] (Map getEntries()): this.weblog != null
    //#pre[1] (Map getEntries()): (soft) log != null
    //#pre[6] (Map getEntries()): (soft) init'ed(this.catPath)
    //#pre[8] (Map getEntries()): (soft) this.length <= 4_294_967_294
    //#pre[9] (Map getEntries()): (soft) init'ed(this.locale)
    //#pre[10] (Map getEntries()): (soft) init'ed(this.offset)
    //#pre[11] (Map getEntries()): (soft) init'ed(this.tags)
    //#presumption(Map getEntries()): java.util.Map:get(...)@140 != null
    //#presumption(Map getEntries()): java.util.Map:keySet(...)@134 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap(...)@120 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.Weblogger:getWeblogManager(...)@120 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@118 != null
    //#presumption(Map getEntries()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@120 != 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
    //#unanalyzed(Map getEntries()): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(Map getEntries()): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.util.Date
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(Map getEntries()): Effects-of-calling:org.apache.roller.util.DateUtil:get8charDateFormat
    //#unanalyzed(Map getEntries()): Effects-of-calling:org.apache.roller.util.DateUtil:get6charDateFormat
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(Map getEntries()): Effects-of-calling:org.apache.commons.lang.StringUtils:isNumeric
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.text.SimpleDateFormat:setCalendar
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.text.ParsePosition
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.text.SimpleDateFormat:parse
    //#unanalyzed(Map getEntries()): Effects-of-calling:java.util.Date:after
    //#test_vector(Map getEntries()): this.entries: Inverse{null}, Addr_Set{null}
    //#test_vector(Map getEntries()): java.util.List:size(...)@150: {-2_147_483_648..0}, {1..4_294_967_295}
        Calendar cal = Calendar.getInstance(weblog.getTimeZoneInstance());
    //#WeblogEntriesDayPager.java:109: Warning: method not available
    //#    -- call on TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
        Date startDate = null;
    //#WeblogEntriesDayPager.java:110: Warning: unused assignment
    //#    unused assignment into startDate
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    Attribs:  Uncertain
        Date endDate = date;
        startDate = DateUtil.getStartOfDay(endDate, cal);
    //#WeblogEntriesDayPager.java:112: Warning: method not available
    //#    -- call on Date org.apache.roller.util.DateUtil:getStartOfDay(Date, Calendar)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Date org.apache.roller.util.DateUtil:getStartOfDay(Date, Calendar)
        endDate = DateUtil.getEndOfDay(endDate, cal);
    //#WeblogEntriesDayPager.java:113: Warning: method not available
    //#    -- call on Date org.apache.roller.util.DateUtil:getEndOfDay(Date, Calendar)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Date org.apache.roller.util.DateUtil:getEndOfDay(Date, Calendar)
        
        if (entries == null) {
            entries = new TreeMap(new ReverseComparator());
    //#WeblogEntriesDayPager.java:116: Warning: method not available
    //#    -- call on void org.apache.commons.collections.comparators.ReverseComparator()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: void org.apache.commons.collections.comparators.ReverseComparator()
            try {
                Weblogger roller = WebloggerFactory.getWeblogger();
    //#WeblogEntriesDayPager.java:118: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
                WeblogManager wmgr = roller.getWeblogManager();
    //#WeblogEntriesDayPager.java:119: Warning: unused assignment
    //#    unused assignment into wmgr
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#WeblogEntriesDayPager.java:119: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
                Map mmap = WebloggerFactory.getWeblogger().getWeblogManager().getWeblogEntryObjectMap(
    //#WeblogEntriesDayPager.java:120: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#WeblogEntriesDayPager.java:120: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#WeblogEntriesDayPager.java:120: 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.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: Map org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap(Weblog, Date, Date, String, List, String, String, int, int)
                        
                        weblog,
                        startDate,
                        endDate,
                        catPath,
                        tags,WeblogEntry.PUBLISHED, 
                        locale,
                        offset,  
                        length + 1);
                
                // need to wrap pojos
                int count = 0;
                Date key = null;
    //#WeblogEntriesDayPager.java:133: Warning: unused assignment
    //#    unused assignment into key
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    Attribs:  Uncertain
                Iterator days = mmap.keySet().iterator();
                while(days.hasNext()) {
                    key = (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) {
    //#WeblogEntriesDayPager.java:142: ?overflow
    //#    count in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    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));
    //#WeblogEntriesDayPager.java:143: ?use of default init
    //#    init'ed(this.urlStrategy)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    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);
    //#WeblogEntriesDayPager.java:157: 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.WeblogEntriesDayPager
    //#    method: Map getEntries()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
        }
        return entries;
    //#WeblogEntriesDayPager.java:160: end of method: Map org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getEntries()
    }
    
    
    public String getHomeLink() {
        return createURL(0, 0, weblog, locale, pageLink, null, null, catPath, tags);
    //#WeblogEntriesDayPager.java:165: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getHomeLink()
    //#input(String getHomeLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getHomeLink()): __Descendant_Table[others]
    //#input(String getHomeLink()): __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;
    //#input(String getHomeLink()): this
    //#input(String getHomeLink()): this.__Tag
    //#input(String getHomeLink()): this.catPath
    //#input(String getHomeLink()): this.locale
    //#input(String getHomeLink()): this.pageLink
    //#input(String getHomeLink()): this.tags
    //#input(String getHomeLink()): this.urlStrategy
    //#input(String getHomeLink()): this.weblog
    //#output(String getHomeLink()): return_value
    //#pre[2] (String getHomeLink()): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[3] (String getHomeLink()): init'ed(this.catPath)
    //#pre[4] (String getHomeLink()): init'ed(this.locale)
    //#pre[5] (String getHomeLink()): init'ed(this.pageLink)
    //#pre[6] (String getHomeLink()): init'ed(this.tags)
    //#pre[7] (String getHomeLink()): this.urlStrategy != null
    //#pre[8] (String getHomeLink()): init'ed(this.weblog)
    //#post(String getHomeLink()): init'ed(return_value)
    //#unanalyzed(String getHomeLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getHomeLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getHomeLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
    //#WeblogEntriesDayPager.java:165: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getHomeLink()
    }
    
    
    public String getHomeName() {
        return messageUtils.getString("weblogEntriesPager.day.home");
    //#WeblogEntriesDayPager.java:170: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getHomeName()
    //#input(String getHomeName()): "Error getting key "._tainted
    //#input(String getHomeName()): "weblogEntriesPager.day.home"._tainted
    //#input(String getHomeName()): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(String getHomeName()): this
    //#input(String getHomeName()): this.messageUtils
    //#input(String getHomeName()): this.messageUtils.bundle
    //#output(String getHomeName()): return_value
    //#pre[2] (String getHomeName()): this.messageUtils != null
    //#pre[3] (String getHomeName()): (soft) this.messageUtils.bundle != null
    //#post(String getHomeName()): init'ed(return_value)
    //#unanalyzed(String getHomeName()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getHomeName()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getHomeName()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getHomeName()): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(String getHomeName()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getHomeName()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#WeblogEntriesDayPager.java:170: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getHomeName()
    }
    
    
    public String getNextLink() {
        if (more) {
    //#WeblogEntriesDayPager.java:175: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextLink()
    //#input(String getNextLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getNextLink()): __Descendant_Table[others]
    //#input(String getNextLink()): __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;
    //#input(String getNextLink()): this
    //#input(String getNextLink()): this.__Tag
    //#input(String getNextLink()): this.catPath
    //#input(String getNextLink()): this.dateString
    //#input(String getNextLink()): this.locale
    //#input(String getNextLink()): this.more
    //#input(String getNextLink()): this.page
    //#input(String getNextLink()): this.pageLink
    //#input(String getNextLink()): this.tags
    //#input(String getNextLink()): this.urlStrategy
    //#input(String getNextLink()): this.weblog
    //#output(String getNextLink()): return_value
    //#pre[6] (String getNextLink()): init'ed(this.more)
    //#pre[2] (String getNextLink()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[3] (String getNextLink()): (soft) init'ed(this.catPath)
    //#pre[4] (String getNextLink()): (soft) init'ed(this.dateString)
    //#pre[5] (String getNextLink()): (soft) init'ed(this.locale)
    //#pre[7] (String getNextLink()): (soft) this.page <= 4_294_967_294
    //#pre[8] (String getNextLink()): (soft) init'ed(this.pageLink)
    //#pre[9] (String getNextLink()): (soft) init'ed(this.tags)
    //#pre[10] (String getNextLink()): (soft) this.urlStrategy != null
    //#pre[11] (String getNextLink()): (soft) init'ed(this.weblog)
    //#post(String getNextLink()): init'ed(return_value)
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
    //#test_vector(String getNextLink()): this.more: {0}, {1}
            return createURL(page, 1, weblog, locale, pageLink, null, dateString, catPath, tags);
        }
        return null;
    //#WeblogEntriesDayPager.java:178: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextLink()
    }
    
    
    public String getNextName() {
        if (getNextLink() != null) {
    //#WeblogEntriesDayPager.java:183: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextName()
    //#input(String getNextName()): "Error getting key "._tainted
    //#input(String getNextName()): "weblogEntriesPager.day.next"._tainted
    //#input(String getNextName()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getNextName()): __Descendant_Table[others]
    //#input(String getNextName()): __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;
    //#input(String getNextName()): __Dispatch_Table.getNextLink()Ljava/lang/String;
    //#input(String getNextName()): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(String getNextName()): this
    //#input(String getNextName()): this.__Tag
    //#input(String getNextName()): this.catPath
    //#input(String getNextName()): this.dateString
    //#input(String getNextName()): this.day
    //#input(String getNextName()): this.dayFormat
    //#input(String getNextName()): this.locale
    //#input(String getNextName()): this.messageUtils
    //#input(String getNextName()): this.messageUtils.bundle
    //#input(String getNextName()): this.more
    //#input(String getNextName()): this.page
    //#input(String getNextName()): this.pageLink
    //#input(String getNextName()): this.tags
    //#input(String getNextName()): this.urlStrategy
    //#input(String getNextName()): this.weblog
    //#output(String getNextName()): return_value
    //#pre[2] (String getNextName()): this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[10] (String getNextName()): init'ed(this.more)
    //#pre[3] (String getNextName()): (soft) init'ed(this.catPath)
    //#pre[4] (String getNextName()): (soft) init'ed(this.dateString)
    //#pre[5] (String getNextName()): (soft) init'ed(this.day)
    //#pre[6] (String getNextName()): (soft) this.dayFormat != null
    //#pre[7] (String getNextName()): (soft) init'ed(this.locale)
    //#pre[8] (String getNextName()): (soft) this.messageUtils != null
    //#pre[9] (String getNextName()): (soft) this.messageUtils.bundle != null
    //#pre[11] (String getNextName()): (soft) this.page <= 4_294_967_294
    //#pre[12] (String getNextName()): (soft) init'ed(this.pageLink)
    //#pre[13] (String getNextName()): (soft) init'ed(this.tags)
    //#pre[14] (String getNextName()): (soft) this.urlStrategy != null
    //#pre[15] (String getNextName()): (soft) init'ed(this.weblog)
    //#post(String getNextName()): init'ed(return_value)
    //#unanalyzed(String getNextName()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getNextName()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getNextName()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getNextName()): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(String getNextName()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getNextName()): Effects-of-calling:java.text.MessageFormat:format
    //#unanalyzed(String getNextName()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(String getNextName()): Effects-of-calling:createURL
    //#unanalyzed(String getNextName()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getNextName()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getNextName()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
            return messageUtils.getString("weblogEntriesPager.day.next", new Object[] {dayFormat.format(day)});
        }
        return null;
    //#WeblogEntriesDayPager.java:186: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextName()
    }
    
    
    public String getPrevLink() {
        if (page > 0) {
    //#WeblogEntriesDayPager.java:191: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevLink()
    //#input(String getPrevLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getPrevLink()): __Descendant_Table[others]
    //#input(String getPrevLink()): __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;
    //#input(String getPrevLink()): this
    //#input(String getPrevLink()): this.__Tag
    //#input(String getPrevLink()): this.catPath
    //#input(String getPrevLink()): this.dateString
    //#input(String getPrevLink()): this.locale
    //#input(String getPrevLink()): this.page
    //#input(String getPrevLink()): this.pageLink
    //#input(String getPrevLink()): this.tags
    //#input(String getPrevLink()): this.urlStrategy
    //#input(String getPrevLink()): this.weblog
    //#output(String getPrevLink()): return_value
    //#pre[6] (String getPrevLink()): init'ed(this.page)
    //#pre[2] (String getPrevLink()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[3] (String getPrevLink()): (soft) init'ed(this.catPath)
    //#pre[4] (String getPrevLink()): (soft) init'ed(this.dateString)
    //#pre[5] (String getPrevLink()): (soft) init'ed(this.locale)
    //#pre[7] (String getPrevLink()): (soft) init'ed(this.pageLink)
    //#pre[8] (String getPrevLink()): (soft) init'ed(this.tags)
    //#pre[9] (String getPrevLink()): (soft) this.urlStrategy != null
    //#pre[10] (String getPrevLink()): (soft) init'ed(this.weblog)
    //#post(String getPrevLink()): init'ed(return_value)
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
    //#test_vector(String getPrevLink()): this.page: {-2_147_483_648..0}, {1..4_294_967_295}
            return createURL(page, -1, weblog, locale, pageLink, null, dateString, catPath, tags);
        }
        return null;
    //#WeblogEntriesDayPager.java:194: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevLink()
    }
    
    
    public String getPrevName() {
        if (getPrevLink() != null) {
    //#WeblogEntriesDayPager.java:199: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevName()
    //#input(String getPrevName()): "Error getting key "._tainted
    //#input(String getPrevName()): "weblogEntriesPager.day.prev"._tainted
    //#input(String getPrevName()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getPrevName()): __Descendant_Table[others]
    //#input(String getPrevName()): __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;
    //#input(String getPrevName()): __Dispatch_Table.getPrevLink()Ljava/lang/String;
    //#input(String getPrevName()): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(String getPrevName()): this
    //#input(String getPrevName()): this.__Tag
    //#input(String getPrevName()): this.catPath
    //#input(String getPrevName()): this.dateString
    //#input(String getPrevName()): this.day
    //#input(String getPrevName()): this.dayFormat
    //#input(String getPrevName()): this.locale
    //#input(String getPrevName()): this.messageUtils
    //#input(String getPrevName()): this.messageUtils.bundle
    //#input(String getPrevName()): this.page
    //#input(String getPrevName()): this.pageLink
    //#input(String getPrevName()): this.tags
    //#input(String getPrevName()): this.urlStrategy
    //#input(String getPrevName()): this.weblog
    //#output(String getPrevName()): return_value
    //#pre[10] (String getPrevName()): init'ed(this.page)
    //#pre[2] (String getPrevName()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[3] (String getPrevName()): (soft) init'ed(this.catPath)
    //#pre[4] (String getPrevName()): (soft) init'ed(this.dateString)
    //#pre[5] (String getPrevName()): (soft) init'ed(this.day)
    //#pre[6] (String getPrevName()): (soft) this.dayFormat != null
    //#pre[7] (String getPrevName()): (soft) init'ed(this.locale)
    //#pre[8] (String getPrevName()): (soft) this.messageUtils != null
    //#pre[9] (String getPrevName()): (soft) this.messageUtils.bundle != null
    //#pre[11] (String getPrevName()): (soft) init'ed(this.pageLink)
    //#pre[12] (String getPrevName()): (soft) init'ed(this.tags)
    //#pre[13] (String getPrevName()): (soft) this.urlStrategy != null
    //#pre[14] (String getPrevName()): (soft) init'ed(this.weblog)
    //#post(String getPrevName()): init'ed(return_value)
    //#unanalyzed(String getPrevName()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getPrevName()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getPrevName()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getPrevName()): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(String getPrevName()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getPrevName()): Effects-of-calling:java.text.MessageFormat:format
    //#unanalyzed(String getPrevName()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(String getPrevName()): Effects-of-calling:createURL
    //#unanalyzed(String getPrevName()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getPrevName()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getPrevName()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
            return messageUtils.getString("weblogEntriesPager.day.prev", new Object[] {dayFormat.format(day)});
        }
        return null;
    //#WeblogEntriesDayPager.java:202: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevName()
    }
    
    
    public String getNextCollectionLink() {
        if (nextDay != null) {
    //#WeblogEntriesDayPager.java:207: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextCollectionLink()
    //#input(String getNextCollectionLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getNextCollectionLink()): __Descendant_Table[others]
    //#input(String getNextCollectionLink()): __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;
    //#input(String getNextCollectionLink()): this
    //#input(String getNextCollectionLink()): this.__Tag
    //#input(String getNextCollectionLink()): this.catPath
    //#input(String getNextCollectionLink()): this.locale
    //#input(String getNextCollectionLink()): this.nextDay
    //#input(String getNextCollectionLink()): this.pageLink
    //#input(String getNextCollectionLink()): this.tags
    //#input(String getNextCollectionLink()): this.urlStrategy
    //#input(String getNextCollectionLink()): this.weblog
    //#output(String getNextCollectionLink()): return_value
    //#pre[5] (String getNextCollectionLink()): init'ed(this.nextDay)
    //#pre[2] (String getNextCollectionLink()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[3] (String getNextCollectionLink()): (soft) init'ed(this.catPath)
    //#pre[4] (String getNextCollectionLink()): (soft) init'ed(this.locale)
    //#pre[6] (String getNextCollectionLink()): (soft) init'ed(this.pageLink)
    //#pre[7] (String getNextCollectionLink()): (soft) init'ed(this.tags)
    //#pre[8] (String getNextCollectionLink()): (soft) this.urlStrategy != null
    //#pre[9] (String getNextCollectionLink()): (soft) init'ed(this.weblog)
    //#post(String getNextCollectionLink()): init'ed(return_value)
    //#unanalyzed(String getNextCollectionLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getNextCollectionLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getNextCollectionLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
    //#test_vector(String getNextCollectionLink()): this.nextDay: Addr_Set{null}, Inverse{null}
            String next = DateUtil.format8chars(nextDay);
    //#WeblogEntriesDayPager.java:208: Warning: method not available
    //#    -- call on String org.apache.roller.util.DateUtil:format8chars(Date)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: String getNextCollectionLink()
    //#    unanalyzed callee: String org.apache.roller.util.DateUtil:format8chars(Date)
            return createURL(0, 0, weblog, locale, pageLink, null, next, catPath, tags);
        }
        return null;
    //#WeblogEntriesDayPager.java:211: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextCollectionLink()
    }
    
    
    public String getNextCollectionName() {
        if (nextDay != null) {
    //#WeblogEntriesDayPager.java:216: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextCollectionName()
    //#input(String getNextCollectionName()): "Error getting key "._tainted
    //#input(String getNextCollectionName()): "weblogEntriesPager.day.nextCollection"._tainted
    //#input(String getNextCollectionName()): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(String getNextCollectionName()): this
    //#input(String getNextCollectionName()): this.dayFormat
    //#input(String getNextCollectionName()): this.messageUtils
    //#input(String getNextCollectionName()): this.messageUtils.bundle
    //#input(String getNextCollectionName()): this.nextDay
    //#output(String getNextCollectionName()): return_value
    //#pre[5] (String getNextCollectionName()): init'ed(this.nextDay)
    //#pre[2] (String getNextCollectionName()): (soft) this.dayFormat != null
    //#pre[3] (String getNextCollectionName()): (soft) this.messageUtils != null
    //#pre[4] (String getNextCollectionName()): (soft) this.messageUtils.bundle != null
    //#post(String getNextCollectionName()): init'ed(return_value)
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:java.text.MessageFormat:format
    //#unanalyzed(String getNextCollectionName()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#test_vector(String getNextCollectionName()): this.nextDay: Addr_Set{null}, Inverse{null}
            return messageUtils.getString("weblogEntriesPager.day.nextCollection", new Object[] {dayFormat.format(nextDay)});
        }
        return null;
    //#WeblogEntriesDayPager.java:219: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getNextCollectionName()
    }
    
    
    public String getPrevCollectionLink() {
        if (prevDay != null) {
    //#WeblogEntriesDayPager.java:224: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevCollectionLink()
    //#input(String getPrevCollectionLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager]
    //#input(String getPrevCollectionLink()): __Descendant_Table[others]
    //#input(String getPrevCollectionLink()): __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;
    //#input(String getPrevCollectionLink()): this
    //#input(String getPrevCollectionLink()): this.__Tag
    //#input(String getPrevCollectionLink()): this.catPath
    //#input(String getPrevCollectionLink()): this.locale
    //#input(String getPrevCollectionLink()): this.pageLink
    //#input(String getPrevCollectionLink()): this.prevDay
    //#input(String getPrevCollectionLink()): this.tags
    //#input(String getPrevCollectionLink()): this.urlStrategy
    //#input(String getPrevCollectionLink()): this.weblog
    //#output(String getPrevCollectionLink()): return_value
    //#pre[6] (String getPrevCollectionLink()): init'ed(this.prevDay)
    //#pre[2] (String getPrevCollectionLink()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesDayPager
    //#pre[3] (String getPrevCollectionLink()): (soft) init'ed(this.catPath)
    //#pre[4] (String getPrevCollectionLink()): (soft) init'ed(this.locale)
    //#pre[5] (String getPrevCollectionLink()): (soft) init'ed(this.pageLink)
    //#pre[7] (String getPrevCollectionLink()): (soft) init'ed(this.tags)
    //#pre[8] (String getPrevCollectionLink()): (soft) this.urlStrategy != null
    //#pre[9] (String getPrevCollectionLink()): (soft) init'ed(this.weblog)
    //#post(String getPrevCollectionLink()): init'ed(return_value)
    //#unanalyzed(String getPrevCollectionLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogPageURL
    //#unanalyzed(String getPrevCollectionLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogEntryURL
    //#unanalyzed(String getPrevCollectionLink()): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogCollectionURL
    //#test_vector(String getPrevCollectionLink()): this.prevDay: Addr_Set{null}, Inverse{null}
            String prev = DateUtil.format8chars(prevDay);
    //#WeblogEntriesDayPager.java:225: Warning: method not available
    //#    -- call on String org.apache.roller.util.DateUtil:format8chars(Date)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
    //#    method: String getPrevCollectionLink()
    //#    unanalyzed callee: String org.apache.roller.util.DateUtil:format8chars(Date)
            return createURL(0, 0, weblog, locale, pageLink, null, prev, catPath, tags);
        }
        return null;
    //#WeblogEntriesDayPager.java:228: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevCollectionLink()
    }
    
    
    public String getPrevCollectionName() {
        if (prevDay != null) {
    //#WeblogEntriesDayPager.java:233: method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevCollectionName()
    //#input(String getPrevCollectionName()): "Error getting key "._tainted
    //#input(String getPrevCollectionName()): "weblogEntriesPager.day.prevCollection"._tainted
    //#input(String getPrevCollectionName()): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(String getPrevCollectionName()): this
    //#input(String getPrevCollectionName()): this.dayFormat
    //#input(String getPrevCollectionName()): this.messageUtils
    //#input(String getPrevCollectionName()): this.messageUtils.bundle
    //#input(String getPrevCollectionName()): this.prevDay
    //#output(String getPrevCollectionName()): return_value
    //#pre[5] (String getPrevCollectionName()): init'ed(this.prevDay)
    //#pre[2] (String getPrevCollectionName()): (soft) this.dayFormat != null
    //#pre[3] (String getPrevCollectionName()): (soft) this.messageUtils != null
    //#pre[4] (String getPrevCollectionName()): (soft) this.messageUtils.bundle != null
    //#post(String getPrevCollectionName()): init'ed(return_value)
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:java.util.ResourceBundle:getString
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:java.text.MessageFormat:format
    //#unanalyzed(String getPrevCollectionName()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#test_vector(String getPrevCollectionName()): this.prevDay: Addr_Set{null}, Inverse{null}
            return messageUtils.getString("weblogEntriesPager.day.prevCollection", new Object[] {dayFormat.format(prevDay)});
        }
        return null;
    //#WeblogEntriesDayPager.java:236: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager.getPrevCollectionName()
    }
    
}
    //#WeblogEntriesDayPager.java:: end of class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesDayPager
