//# 4 errors, 285 messages
//#
/*
    //#WeblogEntriesListPager.java:1:1: class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
 * 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.sql.Timestamp;
import java.util.ArrayList;
import java.util.Calendar;
import java.util.Date;
import java.util.Iterator;
import java.util.List;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.business.URLStrategy;
import org.apache.roller.weblogger.business.Weblogger;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.business.UserManager;
import org.apache.roller.weblogger.business.WeblogManager;
import org.apache.roller.weblogger.pojos.User;
import org.apache.roller.weblogger.pojos.WeblogEntry;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper;


/**
 * Simple pager for list of weblog entries.
 */
public class WeblogEntriesListPager extends AbstractPager {
    
    private static Log log = LogFactory.getLog(WeblogEntriesListPager.class);
    //#WeblogEntriesListPager.java:45: method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init
    //#WeblogEntriesListPager.java:45: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getItems()Ljava/util/List;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getLastUpdated()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getPage()I
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.hasMoreItems()Z
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.setPage(I)V
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/Pager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/Pager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.createURL
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getHomeLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getHomeName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getItems()Ljava/util/List; == &getItems
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getLastUpdated()Ljava/util/Date; == &getLastUpdated
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getNextLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getNextName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getPage()I == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getPage
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getPrevLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getPrevName
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.getUrl()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getUrl
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.hasMoreItems()Z == &hasMoreItems
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.setPage(I)V == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.setPage
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): __Dispatch_Table.setUrl(Ljava/lang/String;)V == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.setUrl
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init): init'ed(log)
    //#WeblogEntriesListPager.java:45: end of method: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager__static_init
    
    private String locale = null;
    private int sinceDays = -1;
    private int length = 0;
    
    private Weblog queryWeblog = null;
    private User queryUser = null;
    private String queryCat = null;
    private List queryTags = null;
    
    // entries for the pager
    private List entries;
    
    // are there more entries?
    private boolean more = false;
    
    // most recent update time of current set of entries
    private Date lastUpdated = null;    
    
    
    public WeblogEntriesListPager(
            URLStrategy    strat,
            String         baseUrl,
            Weblog         queryWeblog,
            User           queryUser,
            String         queryCat,
            List           queryTags,
            String         locale,
            int            sinceDays,
            int            pageNum,
            int            length) {
        
        super(strat, baseUrl, pageNum);
    //#WeblogEntriesListPager.java:78: method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)
    //#WeblogEntriesListPager.java:78: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)
    //#    suspicious precondition index: [13]
    //#    Attribs:  Soft
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): __Dispatch_Table.getItems()Ljava/util/List;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): __Dispatch_Table.getPage()I
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): baseUrl
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): length
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): locale
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.getItems()Ljava/util/List;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.getPage()I
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): pageNum
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): queryCat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): queryTags
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): queryUser
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): queryWeblog
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): sinceDays
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): strat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): new ArrayList(getItems#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.entries
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.lastUpdated
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.length
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.more
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.page
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryCat
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryTags
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryUser
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryWeblog
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.sinceDays
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.url
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.urlStrategy
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): new ArrayList(getItems#1)
    //#pre[2] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) length <= 4_294_967_294
    //#pre[4] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) log != null
    //#pre[10] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) sinceDays <= 2_147_483_648
    //#pre[13] (void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) this.__Tag in {org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager, org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.entries == &new ArrayList(getItems#1)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.lastUpdated)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.length == length
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) this.length <= 4_294_967_294
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.locale == locale
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.locale)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.more)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.page == One-of{0, pageNum}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.page >= 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryCat == queryCat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.queryCat)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryTags == queryTags
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.queryTags)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryUser == queryUser
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.queryUser)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.queryWeblog == queryWeblog
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.queryWeblog)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.sinceDays == sinceDays
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) this.sinceDays <= 2_147_483_648
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.url == baseUrl
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.url)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): new ArrayList(getItems#1) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): (soft) length*this.page in -2_147_483_648..4_294_967_295
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Date
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Calendar:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntries
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)): Effects-of-calling:org.apache.commons.logging.Log:error
        
        // store the data
        this.queryWeblog = queryWeblog;
        this.queryUser = queryUser;
        this.queryCat = queryCat;
        this.queryTags = queryTags;
        this.locale = locale;
        this.sinceDays = sinceDays;
        this.length = length;
        
        // initialize the pager collection
        getItems();
    //#WeblogEntriesListPager.java:90: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.getItems: init'ed(this.entries)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(undefined)
    //#    callee: List org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.getItems()
    //#    callee assertion: init'ed(this.entries)
    //#    callee file: WeblogEntriesListPager.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 96
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#WeblogEntriesListPager.java:90: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.getItems: (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) length*this.page in -2_147_483_648..4_294_967_295
    //#    callee: List org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.getItems()
    //#    callee assertion: (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#    callee file: WeblogEntriesListPager.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 96
    //#    VN: length*this.page
    //#    Expected: {-2_147_483_648..4_294_967_295}
    //#    Bad: {-9_223_372_034_707_292_160..-2_147_483_649, 4_294_967_296..18_446_744_060_824_649_730}
    //#    Attribs:  Int  Soft  Bad < Exp  Bad > Exp
    }
    //#WeblogEntriesListPager.java:91: end of method: void org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager(URLStrategy, String, Weblog, User, String, List, String, int, int, int)
    
    
    public List getItems() {
        
        if (entries == null) {
    //#WeblogEntriesListPager.java:96: method: List org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.getItems()
    //#WeblogEntriesListPager.java:96: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#    suspicious precondition index: [7]
    //#    Attribs:  Soft
    //#input(List getItems()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager]
    //#input(List getItems()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#input(List getItems()): __Descendant_Table[others]
    //#input(List getItems()): __Dispatch_Table.getPage()I
    //#input(List getItems()): log
    //#input(List getItems()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.getPage()I
    //#input(List getItems()): this
    //#input(List getItems()): this.__Tag
    //#input(List getItems()): this.entries
    //#input(List getItems()): this.length
    //#input(List getItems()): this.locale
    //#input(List getItems()): this.page
    //#input(List getItems()): this.queryCat
    //#input(List getItems()): this.queryTags
    //#input(List getItems()): this.queryUser
    //#input(List getItems()): this.queryWeblog
    //#input(List getItems()): this.sinceDays
    //#input(List getItems()): this.urlStrategy
    //#output(List getItems()): new ArrayList(getItems#1) num objects
    //#output(List getItems()): return_value
    //#output(List getItems()): this.entries
    //#output(List getItems()): this.more
    //#new obj(List getItems()): new ArrayList(getItems#1)
    //#pre[2] (List getItems()): init'ed(this.entries)
    //#pre[1] (List getItems()): (soft) log != null
    //#pre[7] (List getItems()): (soft) this.__Tag in {org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager, org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager}
    //#pre[8] (List getItems()): (soft) this.length <= 4_294_967_294
    //#pre[9] (List getItems()): (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#pre[10] (List getItems()): (soft) init'ed(this.locale)
    //#pre[11] (List getItems()): (soft) init'ed(this.page)
    //#pre[12] (List getItems()): (soft) init'ed(this.queryCat)
    //#pre[13] (List getItems()): (soft) init'ed(this.queryTags)
    //#pre[14] (List getItems()): (soft) init'ed(this.queryUser)
    //#pre[15] (List getItems()): (soft) init'ed(this.queryWeblog)
    //#pre[16] (List getItems()): (soft) this.sinceDays <= 2_147_483_648
    //#presumption(List getItems()): java.util.Calendar:getInstance(...)@104 != null
    //#presumption(List getItems()): org.apache.roller.weblogger.business.WeblogManager:getWeblogEntries(...)@114 != null
    //#presumption(List getItems()): org.apache.roller.weblogger.business.Weblogger:getWeblogManager(...)@112 != null
    //#presumption(List getItems()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@111 != null
    //#post(List getItems()): return_value == One-of{old this.entries, &new ArrayList(getItems#1)}
    //#post(List getItems()): return_value != null
    //#post(List getItems()): this.entries == return_value
    //#post(List getItems()): possibly_updated(this.more)
    //#post(List getItems()): new ArrayList(getItems#1) num objects <= 1
    //#test_vector(List getItems()): this.entries: Inverse{null}, Addr_Set{null}
    //#test_vector(List getItems()): this.sinceDays: {-2_147_483_648..0}, {1..2_147_483_648}
    //#test_vector(List getItems()): java.util.Iterator:hasNext(...)@131: {0}, {1}
            // calculate offset
            int offset = getPage() * length;
            
            List results = new ArrayList();
            
            Date startDate = null;
            if(sinceDays > 0) {
                Calendar cal = Calendar.getInstance();
                cal.setTime(new Date());
                cal.add(Calendar.DATE, -1 * sinceDays);
                startDate = cal.getTime();
            }
            
            try {
                Weblogger roller = WebloggerFactory.getWeblogger();
    //#WeblogEntriesListPager.java:111: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
                WeblogManager wmgr = roller.getWeblogManager();
    //#WeblogEntriesListPager.java:112: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
                UserManager umgr = roller.getUserManager();
    //#WeblogEntriesListPager.java:113: Warning: unused assignment
    //#    unused assignment into umgr
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#WeblogEntriesListPager.java:113: Warning: method not available
    //#    -- call on UserManager org.apache.roller.weblogger.business.Weblogger:getUserManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#    unanalyzed callee: UserManager org.apache.roller.weblogger.business.Weblogger:getUserManager()
                List rawEntries = wmgr.getWeblogEntries(
    //#WeblogEntriesListPager.java:114: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#    unanalyzed callee: List org.apache.roller.weblogger.business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)
                        
                        queryWeblog,
                        queryUser,
                        startDate,
                        null,
                        queryCat,
                        queryTags,WeblogEntry.PUBLISHED,
                        null,
                        "pubTime",
                        null,
                        locale,
                        offset,
                        length + 1);
                                
                // wrap the results
                int count = 0;
                for (Iterator it = rawEntries.iterator(); it.hasNext();) {
                    WeblogEntry entry = (WeblogEntry) it.next();
                    if (count++ < length) {
    //#WeblogEntriesListPager.java:133: ?overflow
    //#    count in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: List getItems()
    //#    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
                        results.add(WeblogEntryWrapper.wrap(entry, urlStrategy));
                    }
                }
                if (rawEntries.size() > length) more = true;
                
            } catch (Exception e) {
                log.error("ERROR: fetching weblog entries list", e);
    //#WeblogEntriesListPager.java:140: 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.WeblogEntriesListPager
    //#    method: List getItems()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
            
            entries = results;
        }
        
        return entries;
    //#WeblogEntriesListPager.java:146: end of method: List org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.getItems()
    }
    
    
    public boolean hasMoreItems() {
        return more;
    //#WeblogEntriesListPager.java:151: method: bool org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.hasMoreItems()
    //#input(bool hasMoreItems()): this
    //#input(bool hasMoreItems()): this.more
    //#output(bool hasMoreItems()): return_value
    //#pre[2] (bool hasMoreItems()): init'ed(this.more)
    //#post(bool hasMoreItems()): return_value == this.more
    //#post(bool hasMoreItems()): init'ed(return_value)
    //#WeblogEntriesListPager.java:151: end of method: bool org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.hasMoreItems()
    }

    /** Get last updated time from items in pager */
    public Date getLastUpdated() {
        if (lastUpdated == null) {
    //#WeblogEntriesListPager.java:156: method: Date org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.getLastUpdated()
    //#WeblogEntriesListPager.java:156: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: Date getLastUpdated()
    //#    suspicious precondition index: [6]
    //#    Attribs:  Soft
    //#input(Date getLastUpdated()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager]
    //#input(Date getLastUpdated()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#input(Date getLastUpdated()): __Descendant_Table[others]
    //#input(Date getLastUpdated()): __Dispatch_Table.getItems()Ljava/util/List;
    //#input(Date getLastUpdated()): __Dispatch_Table.getPage()I
    //#input(Date getLastUpdated()): log
    //#input(Date getLastUpdated()): org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper.__Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper]
    //#input(Date getLastUpdated()): org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper.__Descendant_Table[others]
    //#input(Date getLastUpdated()): org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper.__Dispatch_Table.getPubTime()Ljava/sql/Timestamp;
    //#input(Date getLastUpdated()): org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper.__Dispatch_Table.getUpdateTime()Ljava/sql/Timestamp;
    //#input(Date getLastUpdated()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.getItems()Ljava/util/List;
    //#input(Date getLastUpdated()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.getPage()I
    //#input(Date getLastUpdated()): this
    //#input(Date getLastUpdated()): this.__Tag
    //#input(Date getLastUpdated()): this.entries
    //#input(Date getLastUpdated()): this.lastUpdated
    //#input(Date getLastUpdated()): this.length
    //#input(Date getLastUpdated()): this.locale
    //#input(Date getLastUpdated()): this.page
    //#input(Date getLastUpdated()): this.queryCat
    //#input(Date getLastUpdated()): this.queryTags
    //#input(Date getLastUpdated()): this.queryUser
    //#input(Date getLastUpdated()): this.queryWeblog
    //#input(Date getLastUpdated()): this.sinceDays
    //#input(Date getLastUpdated()): this.urlStrategy
    //#output(Date getLastUpdated()): new ArrayList(getItems#1) num objects
    //#output(Date getLastUpdated()): new Date(getLastUpdated#1) num objects
    //#output(Date getLastUpdated()): new Date(getLastUpdated#2) num objects
    //#output(Date getLastUpdated()): return_value
    //#output(Date getLastUpdated()): this.entries
    //#output(Date getLastUpdated()): this.lastUpdated
    //#output(Date getLastUpdated()): this.more
    //#new obj(Date getLastUpdated()): new ArrayList(getItems#1)
    //#new obj(Date getLastUpdated()): new Date(getLastUpdated#1)
    //#new obj(Date getLastUpdated()): new Date(getLastUpdated#2)
    //#pre[3] (Date getLastUpdated()): init'ed(this.lastUpdated)
    //#pre[1] (Date getLastUpdated()): (soft) log != null
    //#pre[2] (Date getLastUpdated()): (soft) init'ed(this.entries)
    //#pre[6] (Date getLastUpdated()): (soft) this.__Tag in {org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager, org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager}
    //#pre[7] (Date getLastUpdated()): (soft) this.length <= 4_294_967_294
    //#pre[8] (Date getLastUpdated()): (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#pre[9] (Date getLastUpdated()): (soft) init'ed(this.locale)
    //#pre[10] (Date getLastUpdated()): (soft) init'ed(this.page)
    //#pre[11] (Date getLastUpdated()): (soft) init'ed(this.queryCat)
    //#pre[12] (Date getLastUpdated()): (soft) init'ed(this.queryTags)
    //#pre[13] (Date getLastUpdated()): (soft) init'ed(this.queryUser)
    //#pre[14] (Date getLastUpdated()): (soft) init'ed(this.queryWeblog)
    //#pre[15] (Date getLastUpdated()): (soft) this.sinceDays <= 2_147_483_648
    //#presumption(Date getLastUpdated()): e.pojo@161 != null
    //#presumption(Date getLastUpdated()): java.util.Iterator:next(...).__Tag@161 == org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper
    //#presumption(Date getLastUpdated()): java.util.Iterator:next(...)@161 != null
    //#presumption(Date getLastUpdated()): java.util.List:get(...).__Tag@160 == org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper
    //#presumption(Date getLastUpdated()): java.util.List:get(...).pojo@160 != null
    //#presumption(Date getLastUpdated()): java.util.List:get(...)@160 != null
    //#presumption(Date getLastUpdated()): org.apache.roller.weblogger.pojos.WeblogEntry:getUpdateTime(...)@164 != null
    //#presumption(Date getLastUpdated()): org.apache.roller.weblogger.pojos.WeblogEntry:getUpdateTime(...)@164 != null
    //#post(Date getLastUpdated()): return_value == One-of{old this.lastUpdated, &new Date(getLastUpdated#1), &new Date(getLastUpdated#2)}
    //#post(Date getLastUpdated()): return_value != null
    //#post(Date getLastUpdated()): this.lastUpdated == return_value
    //#post(Date getLastUpdated()): this.entries == One-of{old this.entries, &new ArrayList(getItems#1)}
    //#post(Date getLastUpdated()): (soft) init'ed(this.entries)
    //#post(Date getLastUpdated()): possibly_updated(this.more)
    //#post(Date getLastUpdated()): new ArrayList(getItems#1) num objects <= 1
    //#post(Date getLastUpdated()): new Date(getLastUpdated#1) num objects <= 1
    //#post(Date getLastUpdated()): new Date(getLastUpdated#2) num objects <= 1
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.List:size
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getUpdateTime
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Date
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Calendar:add
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntries
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.util.List:add
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Date getLastUpdated()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#test_vector(Date getLastUpdated()): this.lastUpdated: Inverse{null}, Addr_Set{null}
    //#test_vector(Date getLastUpdated()): java.sql.Timestamp:after(...)@162: {0}, {1}
    //#test_vector(Date getLastUpdated()): java.util.Iterator:hasNext(...)@161: {0}, {1}
    //#test_vector(Date getLastUpdated()): java.util.List:size(...)@159: {-2_147_483_648..0}, {1..4_294_967_295}
            // feeds are sorted by pubtime, so first might not be last updated
            List<WeblogEntryWrapper> items = (List<WeblogEntryWrapper>)getItems();
            if (getItems() != null && getItems().size() > 0) {
    //#WeblogEntriesListPager.java:159: Warning: test always goes same way
    //#    test predetermined because getItems(...) != null
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: Date getLastUpdated()
    //#    from bb: bb_2
    //#    live edge: bb_2-->bb_3
    //#    tested vn: 0
    //#    tested vn values: {0}
                Timestamp newest = ((WeblogEntryWrapper)getItems().get(0)).getUpdateTime();
                for (WeblogEntryWrapper e : items) {
                    if (e.getUpdateTime().after(newest)) {
                        newest = e.getPubTime();
                    }
                }
                lastUpdated = new Date(newest.getTime());
    //#WeblogEntriesListPager.java:166: ?null dereference
    //#    newest != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
    //#    method: Date getLastUpdated()
    //#    basic block: bb_9
    //#    assertion: newest != null
    //#    VN: newest
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Uncertain
            } else {
                // no update so we assume it's brand new
                lastUpdated = new Date();
            }
        }
        return lastUpdated;
    //#WeblogEntriesListPager.java:172: end of method: Date org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager.getLastUpdated()
    }
}
    //#WeblogEntriesListPager.java:: end of class: org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesListPager
