//# 2 errors, 177 messages
//#
/*
    //#PlanetEntriesPager.java:1:1: class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
 * Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  The ASF licenses this file to You
 * under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.  For additional information regarding
 * copyright in this work, please see the NOTICE file in the top level
 * directory of this distribution.
 */

package org.apache.roller.weblogger.ui.rendering.pagers;

import java.util.ArrayList;
import java.util.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.planet.business.PlanetFactory;
import org.apache.roller.planet.business.PlanetManager;
import org.apache.roller.planet.pojos.Planet;
import org.apache.roller.planet.pojos.SubscriptionEntry;
import org.apache.roller.planet.pojos.PlanetGroup;
import org.apache.roller.planet.pojos.Subscription;
import org.apache.roller.weblogger.business.URLStrategy;


/**
 * Paging through a collection of planet entries.
 */
public class PlanetEntriesPager extends AbstractPager {
    
    private static Log log = LogFactory.getLog(PlanetEntriesPager.class);
    //#PlanetEntriesPager.java:42: method: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init
    //#PlanetEntriesPager.java:42: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getItems()Ljava/util/List;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getPage()I
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.hasMoreItems()Z
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.setPage(I)V
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/Pager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/Pager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__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.PlanetEntriesPager__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.PlanetEntriesPager__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.PlanetEntriesPager__static_init): __Dispatch_Table.getItems()Ljava/util/List; == &getItems
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__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.PlanetEntriesPager__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.PlanetEntriesPager__static_init): __Dispatch_Table.getPage()I == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getPage
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__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.PlanetEntriesPager__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.PlanetEntriesPager__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.PlanetEntriesPager__static_init): __Dispatch_Table.hasMoreItems()Z == &hasMoreItems
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init): __Dispatch_Table.setPage(I)V == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.setPage
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__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.PlanetEntriesPager__static_init): init'ed(log)
    //#PlanetEntriesPager.java:42: end of method: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager__static_init
    
    private String feedURL = null;
    private String groupHandle = null;
    private String locale = null;
    private int sinceDays = -1;
    private int length = 0;
    
    // the collection for the pager
    private List entries = null;
    
    // are there more items?
    private boolean more = false;
    
    
    public PlanetEntriesPager(
            URLStrategy    strat,
            String         feedURL,
            String         groupHandle,
            String         baseUrl,
            String         locale,
            int            sinceDays,
            int            page,
            int            length) {
        
        super(strat, baseUrl, page);
    //#PlanetEntriesPager.java:67: method: void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): __Dispatch_Table.getItems()Ljava/util/List;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): __Dispatch_Table.getPage()I
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): baseUrl
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): feedURL
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): groupHandle
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): length
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): locale
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): page
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): sinceDays
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): strat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): new ArrayList(getItems#2) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.entries
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.feedURL
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.groupHandle
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.length
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.more
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.page
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.sinceDays
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.url
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.urlStrategy
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): new ArrayList(getItems#2)
    //#pre[8] (void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) length <= 4_294_967_294
    //#pre[10] (void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) log != null
    //#pre[11] (void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager
    //#pre[13] (void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) sinceDays <= 2_147_483_648
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.entries == &new ArrayList(getItems#2)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.feedURL == feedURL
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): init'ed(this.feedURL)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.groupHandle == groupHandle
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): init'ed(this.groupHandle)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.length == length
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) this.length <= 4_294_967_294
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.locale == locale
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): init'ed(this.locale)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): init'ed(this.more)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.page == One-of{0, page}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.page >= 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.sinceDays == sinceDays
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): (soft) this.sinceDays <= 2_147_483_648
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.url == baseUrl
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): init'ed(this.url)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): new ArrayList(getItems#2) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, 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.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:getPage
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Date
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Calendar:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.planet.business.PlanetFactory:getPlanet
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.planet.business.Planet:getPlanetManager
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getPlanet
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getSubscription
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getEntries
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getGroup
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)): Effects-of-calling:org.apache.commons.logging.Log:error
        
        this.feedURL = feedURL;
        this.groupHandle = groupHandle;
        this.locale = locale;
        this.sinceDays = sinceDays;
        this.length = length;
        
        // initialize the collection
        getItems();
    //#PlanetEntriesPager.java:76: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager.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.PlanetEntriesPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, 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/PlanetEntriesPager.getItems()
    //#    callee assertion: (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#    callee file: PlanetEntriesPager.java
    //#    callee precondition index: [16]
    //#    callee srcpos: 82
    //#    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
    }
    //#PlanetEntriesPager.java:77: end of method: void org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)
    
    
    public List getItems() {
        
        if (entries == null) {
    //#PlanetEntriesPager.java:82: method: List org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.getItems()
    //#input(List getItems()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#input(List getItems()): __Descendant_Table[others]
    //#input(List getItems()): __Dispatch_Table.getPage()I
    //#input(List getItems()): log
    //#input(List getItems()): this
    //#input(List getItems()): this.__Tag
    //#input(List getItems()): this.entries
    //#input(List getItems()): this.feedURL
    //#input(List getItems()): this.groupHandle
    //#input(List getItems()): this.length
    //#input(List getItems()): this.page
    //#input(List getItems()): this.sinceDays
    //#output(List getItems()): new ArrayList(getItems#2) num objects
    //#output(List getItems()): return_value
    //#output(List getItems()): this.entries
    //#output(List getItems()): this.more
    //#new obj(List getItems()): new ArrayList(getItems#2)
    //#pre[5] (List getItems()): init'ed(this.entries)
    //#pre[4] (List getItems()): (soft) log != null
    //#pre[12] (List getItems()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager
    //#pre[13] (List getItems()): (soft) init'ed(this.feedURL)
    //#pre[14] (List getItems()): (soft) init'ed(this.groupHandle)
    //#pre[15] (List getItems()): (soft) this.length <= 4_294_967_294
    //#pre[16] (List getItems()): (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#pre[17] (List getItems()): (soft) init'ed(this.page)
    //#pre[18] (List getItems()): (soft) this.sinceDays <= 2_147_483_648
    //#presumption(List getItems()): java.util.Calendar:getInstance(...)@88 != null
    //#presumption(List getItems()): org.apache.roller.planet.business.Planet:getPlanetManager(...)@96 != null
    //#presumption(List getItems()): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@96 != null
    //#presumption(List getItems()): org.apache.roller.planet.business.PlanetManager:getEntries(...)@102 != null
    //#presumption(List getItems()): org.apache.roller.planet.business.PlanetManager:getEntries(...)@105 != null
    //#presumption(List getItems()): org.apache.roller.planet.business.PlanetManager:getEntries(...)@108 != null
    //#post(List getItems()): return_value == One-of{old this.entries, &new ArrayList(getItems#2)}
    //#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#2) num objects <= 1
    //#test_vector(List getItems()): this.entries: Inverse{null}, Addr_Set{null}
    //#test_vector(List getItems()): this.feedURL: Addr_Set{null}, Inverse{null}
    //#test_vector(List getItems()): this.groupHandle: Addr_Set{null}, Inverse{null}
    //#test_vector(List getItems()): this.sinceDays: {-2_147_483_648..0}, {1..2_147_483_648}
            // calculate offset
            int offset = getPage() * length;
            
            Date startDate = null;
            if(sinceDays > 0) {
                Calendar cal = Calendar.getInstance();
                cal.setTime(new Date());
                cal.add(Calendar.DATE, -1 * sinceDays);
                startDate = cal.getTime();
            }
            
            List results = new ArrayList();
            try {
                PlanetManager planetManager = PlanetFactory.getPlanet().getPlanetManager();
    //#PlanetEntriesPager.java:96: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetEntriesPager.java:96: Warning: method not available
    //#    -- call on PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
                Planet planet = planetManager.getPlanet("default");
    //#PlanetEntriesPager.java:97: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetManager:getPlanet(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetManager:getPlanet(String)
                
                List entries = null;
    //#PlanetEntriesPager.java:99: Warning: unused assignment
    //#    unused assignment into entries
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    Attribs:  Uncertain
                if (feedURL != null) {
                    Subscription sub = planetManager.getSubscription(feedURL);
    //#PlanetEntriesPager.java:101: Warning: method not available
    //#    -- call on Subscription org.apache.roller.planet.business.PlanetManager:getSubscription(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: Subscription org.apache.roller.planet.business.PlanetManager:getSubscription(String)
                    entries = planetManager.getEntries(sub, offset, length+1);
    //#PlanetEntriesPager.java:102: Warning: method not available
    //#    -- call on List org.apache.roller.planet.business.PlanetManager:getEntries(Subscription, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: List org.apache.roller.planet.business.PlanetManager:getEntries(Subscription, int, int)
                } else if (groupHandle != null) {
                    PlanetGroup group = planetManager.getGroup(planet, groupHandle);
    //#PlanetEntriesPager.java:104: Warning: method not available
    //#    -- call on PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroup(Planet, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroup(Planet, String)
                    entries = planetManager.getEntries(group, startDate, null, offset, length+1);
    //#PlanetEntriesPager.java:105: Warning: method not available
    //#    -- call on List org.apache.roller.planet.business.PlanetManager:getEntries(PlanetGroup, Date, Date, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: List org.apache.roller.planet.business.PlanetManager:getEntries(PlanetGroup, Date, Date, int, int)
                } else {
                    PlanetGroup group = planetManager.getGroup(planet, "all");
    //#PlanetEntriesPager.java:107: Warning: method not available
    //#    -- call on PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroup(Planet, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroup(Planet, String)
                    entries = planetManager.getEntries(group, startDate, null, offset, length+1);
    //#PlanetEntriesPager.java:108: Warning: method not available
    //#    -- call on List org.apache.roller.planet.business.PlanetManager:getEntries(PlanetGroup, Date, Date, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: List org.apache.roller.planet.business.PlanetManager:getEntries(PlanetGroup, Date, Date, int, int)
                }
                
                // wrap 'em
                int count = 0;
                for (Iterator it = entries.iterator(); it.hasNext();) {
                    SubscriptionEntry entry = (SubscriptionEntry) it.next();
                    // TODO needs pojo wrapping from planet
                    if (count++ < length) { 
    //#PlanetEntriesPager.java:116: ?overflow
    //#    count in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
    //#    method: List getItems()
    //#    basic block: bb_12
    //#    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(entry);
                    } else {
                        more = true;
                    }
                }
                
            } catch (Exception e) {
                log.error("ERROR: get aggregation", e);
    //#PlanetEntriesPager.java:124: 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.PlanetEntriesPager
    //#    method: List getItems()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
            
            entries = results;
        }
        
        return entries;
    //#PlanetEntriesPager.java:130: end of method: List org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.getItems()
    }
    
    
    public boolean hasMoreItems() {
        return more;
    //#PlanetEntriesPager.java:135: method: bool org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.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)
    //#PlanetEntriesPager.java:135: end of method: bool org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager.hasMoreItems()
    }
}


    //#PlanetEntriesPager.java:: end of class: org.apache.roller.weblogger.ui.rendering.pagers.PlanetEntriesPager
