//# 5 errors, 380 messages
//#
/*
    //#UsersPager.java:1:1: class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
 * 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.HashMap;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
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.pojos.User;
import org.apache.roller.weblogger.pojos.wrapper.UserWrapper;


/**
 * Paging through a collection of users.
 */
public class UsersPager extends AbstractPager {
    
    private static Log log = LogFactory.getLog(UsersPager.class);
    //#UsersPager.java:41: method: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init
    //#UsersPager.java:41: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getHomeLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getHomeName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getItems()Ljava/util/List;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getNextName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getPage()I
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getPrevName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.hasMoreItems()Z
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.setPage(I)V
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#output(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/Pager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): org/apache/roller/weblogger/ui/rendering/pagers/Pager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__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.UsersPager__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.UsersPager__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.UsersPager__static_init): __Dispatch_Table.getItems()Ljava/util/List; == &getItems
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getNextLink()Ljava/lang/String; == &getNextLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__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.UsersPager__static_init): __Dispatch_Table.getPage()I == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.getPage
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.getPrevLink()Ljava/lang/String; == &getPrevLink
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__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.UsersPager__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.UsersPager__static_init): __Dispatch_Table.hasMoreItems()Z == &hasMoreItems
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init): __Dispatch_Table.setPage(I)V == &org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.setPage
    //#post(org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__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.UsersPager__static_init): init'ed(log)
    //#UsersPager.java:41: end of method: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init
    
    private String letter = null;
    private String locale = null;
    private int sinceDays = -1;
    private int length = 0;
    
    // collection for the pager
    private List users;
    
    // are there more items?
    private boolean more = false;
    
    
    public UsersPager(
            URLStrategy    strat,
            String         baseUrl,
            String         locale,
            int            sinceDays,
            int            page,
            int            length) {
        
        super(strat, baseUrl, page);
    //#UsersPager.java:63: method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): __Dispatch_Table.getItems()Ljava/util/List;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): __Dispatch_Table.getPage()I
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): baseUrl
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): java.lang.Boolean.TRUE
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): length
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): locale
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): page
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): sinceDays
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): strat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): new ArrayList(getItems#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.length
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.letter
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.more
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.page
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.sinceDays
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.url
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.urlStrategy
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.users
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): new ArrayList(getItems#1)
    //#pre[2] (void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): (soft) length <= 4_294_967_294
    //#pre[4] (void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): (soft) log != null
    //#pre[5] (void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.length == length
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): (soft) this.length <= 4_294_967_294
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): init'ed(this.letter)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.locale == locale
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): init'ed(this.locale)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): init'ed(this.more)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.page == One-of{0, page}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.page >= 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.sinceDays == sinceDays
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): init'ed(this.sinceDays)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.url == baseUrl
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): init'ed(this.url)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): this.users == &new ArrayList(getItems#1)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): new ArrayList(getItems#1) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, 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.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:getPage
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUsers
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUsersByLetter
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.UserWrapper:wrap
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)): Effects-of-calling:org.apache.commons.logging.Log:error
        
        this.locale = locale;
        this.sinceDays = sinceDays;
        this.length = length;
        
        // initialize the collection
        getItems();
    //#UsersPager.java:70: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/UsersPager.getItems: init'ed(this.users)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(undefined)
    //#    callee: List org/apache/roller/weblogger/ui/rendering/pagers/UsersPager.getItems()
    //#    callee assertion: init'ed(this.users)
    //#    callee file: UsersPager.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 131
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#UsersPager.java:70: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/UsersPager.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.UsersPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, 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/UsersPager.getItems()
    //#    callee assertion: (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#    callee file: UsersPager.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 131
    //#    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
    }
    //#UsersPager.java:71: end of method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)
    
    
    public UsersPager(
            URLStrategy    strat,
            String         baseUrl,
            String         letter,
            String         locale,
            int            sinceDays,
            int            page,
            int            length) {
        
        super(strat, baseUrl, page);
    //#UsersPager.java:83: method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): __Dispatch_Table.getItems()Ljava/util/List;
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): __Dispatch_Table.getPage()I
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): baseUrl
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): java.lang.Boolean.TRUE
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): length
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): letter
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): locale
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): log
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): page
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): sinceDays
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): strat
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this
    //#input(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): new ArrayList(getItems#1) num objects
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.__Tag
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.length
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.letter
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.locale
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.more
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.page
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.sinceDays
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.url
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.urlStrategy
    //#output(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.users
    //#new obj(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): new ArrayList(getItems#1)
    //#pre[2] (void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): (soft) length <= 4_294_967_294
    //#pre[5] (void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): (soft) log != null
    //#pre[6] (void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.length == length
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): (soft) this.length <= 4_294_967_294
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.letter == letter
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): init'ed(this.letter)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.locale == locale
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): init'ed(this.locale)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): init'ed(this.more)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.page == One-of{0, page}
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.page >= 0
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.sinceDays == sinceDays
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): init'ed(this.sinceDays)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.url == baseUrl
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): init'ed(this.url)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): this.users == &new ArrayList(getItems#1)
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): new ArrayList(getItems#1) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, 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.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:getPage
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUsers
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUsersByLetter
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.UserWrapper:wrap
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)): Effects-of-calling:org.apache.commons.logging.Log:error
        
        this.letter = letter;
        this.locale = locale;
        this.sinceDays = sinceDays;
        this.length = length;
        
        // initialize the collection
        getItems();
    //#UsersPager.java:91: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/UsersPager.getItems: init'ed(this.users)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(undefined)
    //#    callee: List org/apache/roller/weblogger/ui/rendering/pagers/UsersPager.getItems()
    //#    callee assertion: init'ed(this.users)
    //#    callee file: UsersPager.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 131
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#UsersPager.java:91: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/pagers/UsersPager.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.UsersPager
    //#    method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, 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/UsersPager.getItems()
    //#    callee assertion: (soft) this.length*this.page in -2_147_483_648..4_294_967_295
    //#    callee file: UsersPager.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 131
    //#    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
    }
    //#UsersPager.java:92: end of method: void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)
    
    
    public String getNextLink() {
        // need to add letter param if it exists
        if(letter != null) {
    //#UsersPager.java:97: method: String org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.getNextLink()
    //#input(String getNextLink()): ""._tainted
    //#input(String getNextLink()): "&amp;"._tainted
    //#input(String getNextLink()): "+"._tainted
    //#input(String getNextLink()): "="._tainted
    //#input(String getNextLink()): "?"._tainted
    //#input(String getNextLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(String getNextLink()): __Descendant_Table[others]
    //#input(String getNextLink()): __Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): __Dispatch_Table.getPage()I
    //#input(String getNextLink()): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(String getNextLink()): __Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedCommentsPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedCommentsPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedCommentsPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/CommentsPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/SearchResultsFeedPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogsPager]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[others]
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/CommentsPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/CommentsPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/SearchResultsFeedPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/SearchResultsFeedPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogsPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getNextLink()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogsPager.__Dispatch_Table.hasMoreItems()Z
    //#input(String getNextLink()): this
    //#input(String getNextLink()): this.__Tag
    //#input(String getNextLink()): this.letter
    //#input(String getNextLink()): this.more
    //#input(String getNextLink()): this.page
    //#input(String getNextLink()): this.url
    //#input(String getNextLink()): this.url._tainted
    //#output(String getNextLink()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getNextLink()): return_value
    //#new obj(String getNextLink()): java.lang.StringBuilder:toString(...)
    //#pre[8] (String getNextLink()): init'ed(this.letter)
    //#pre[4] (String getNextLink()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#pre[9] (String getNextLink()): (soft) init'ed(this.more)
    //#pre[10] (String getNextLink()): (soft) this.page <= 4_294_967_294
    //#pre[11] (String getNextLink()): (soft) init'ed(this.url)
    //#post(String getNextLink()): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(String getNextLink()): return_value in Addr_Set{null,&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...)}
    //#unanalyzed(String getNextLink()): Effects-of-calling:createURL
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuffer:length
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategoryName
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.net.URLEncoder:encode
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTerm
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.List:size
    //#unanalyzed(String getNextLink()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(String getNextLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:isExcerpts
    //#unanalyzed(String getNextLink()): Effects-of-calling:hasMoreItems
    //#test_vector(String getNextLink()): this.letter: Addr_Set{null}, Inverse{null}
    //#test_vector(String getNextLink()): this.more: {0}, {1}
            int page = getPage() + 1;
            if(hasMoreItems()) {
                Map params = new HashMap();
                params.put("page", ""+page);
                params.put("letter", letter);
                return createURL(getUrl(), params);
            }
            return null;
        } else {
            return super.getNextLink();
    //#UsersPager.java:107: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.getNextLink()
        }
    }
    
    
    public String getPrevLink() {
        // need to add letter param if it exists
        if(letter != null) {
    //#UsersPager.java:114: method: String org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.getPrevLink()
    //#input(String getPrevLink()): ""._tainted
    //#input(String getPrevLink()): "&amp;"._tainted
    //#input(String getPrevLink()): "+"._tainted
    //#input(String getPrevLink()): "="._tainted
    //#input(String getPrevLink()): "?"._tainted
    //#input(String getPrevLink()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(String getPrevLink()): __Descendant_Table[others]
    //#input(String getPrevLink()): __Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): __Dispatch_Table.getPage()I
    //#input(String getPrevLink()): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedCommentsPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedCommentsPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel$FeedEntriesPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/CommentsPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/SearchResultsFeedPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogsPager]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Descendant_Table[others]
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/AbstractPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/CommentsPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/PlanetEntriesPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/SearchResultsFeedPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesListPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): org/apache/roller/weblogger/ui/rendering/pagers/WeblogsPager.__Dispatch_Table.createURL(Ljava/lang/String;Ljava/util/Map;)Ljava/lang/String;
    //#input(String getPrevLink()): this
    //#input(String getPrevLink()): this.__Tag
    //#input(String getPrevLink()): this.letter
    //#input(String getPrevLink()): this.page
    //#input(String getPrevLink()): this.url
    //#input(String getPrevLink()): this.url._tainted
    //#output(String getPrevLink()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getPrevLink()): return_value
    //#new obj(String getPrevLink()): java.lang.StringBuilder:toString(...)
    //#pre[8] (String getPrevLink()): init'ed(this.letter)
    //#pre[4] (String getPrevLink()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#pre[9] (String getPrevLink()): (soft) this.page >= -2_147_483_647
    //#pre[10] (String getPrevLink()): (soft) init'ed(this.url)
    //#post(String getPrevLink()): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(String getPrevLink()): return_value in Addr_Set{null,&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...)}
    //#unanalyzed(String getPrevLink()): Effects-of-calling:createURL
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuffer:length
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategoryName
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.net.URLEncoder:encode
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTerm
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.List:size
    //#unanalyzed(String getPrevLink()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(String getPrevLink()): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:isExcerpts
    //#test_vector(String getPrevLink()): this.letter: Addr_Set{null}, Inverse{null}
    //#test_vector(String getPrevLink()): this.page: {-2_147_483_647..0}, {1..4_294_967_295}
            int page = getPage() - 1;
            if (page >= 0) {
                Map params = new HashMap();
                params.put("page", ""+page);
                params.put("letter", letter);
                return createURL(getUrl(), params);
            }
            return null;
        } else {
            return super.getPrevLink();
    //#UsersPager.java:124: end of method: String org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.getPrevLink()
        }
    }
    
    
    public List getItems() {
        
        if (users == null) {
    //#UsersPager.java:131: method: List org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.getItems()
    //#input(List getItems()): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/UsersPager]
    //#input(List getItems()): __Descendant_Table[others]
    //#input(List getItems()): __Dispatch_Table.getPage()I
    //#input(List getItems()): java.lang.Boolean.TRUE
    //#input(List getItems()): log
    //#input(List getItems()): this
    //#input(List getItems()): this.__Tag
    //#input(List getItems()): this.length
    //#input(List getItems()): this.letter
    //#input(List getItems()): this.page
    //#input(List getItems()): this.users
    //#output(List getItems()): new ArrayList(getItems#1) num objects
    //#output(List getItems()): return_value
    //#output(List getItems()): this.more
    //#output(List getItems()): this.users
    //#new obj(List getItems()): new ArrayList(getItems#1)
    //#pre[4] (List getItems()): init'ed(this.users)
    //#pre[2] (List getItems()): (soft) log != null
    //#pre[7] (List getItems()): (soft) this.__Tag == org/apache/roller/weblogger/ui/rendering/pagers/UsersPager
    //#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.letter)
    //#pre[11] (List getItems()): (soft) init'ed(this.page)
    //#presumption(List getItems()): init'ed(java.lang.Boolean.TRUE)
    //#presumption(List getItems()): org.apache.roller.weblogger.business.UserManager:getUsers(...)@141 != null
    //#presumption(List getItems()): org.apache.roller.weblogger.business.UserManager:getUsersByLetter(...)@143 != null
    //#presumption(List getItems()): org.apache.roller.weblogger.business.Weblogger:getUserManager(...)@138 != null
    //#presumption(List getItems()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@137 != null
    //#post(List getItems()): return_value == One-of{old this.users, &new ArrayList(getItems#1)}
    //#post(List getItems()): return_value != null
    //#post(List getItems()): this.users == return_value
    //#post(List getItems()): possibly_updated(this.more)
    //#post(List getItems()): new ArrayList(getItems#1) num objects <= 1
    //#test_vector(List getItems()): this.users: Inverse{null}, Addr_Set{null}
    //#test_vector(List getItems()): this.letter: Inverse{null}, Addr_Set{null}
            // calculate offset
            int offset = getPage() * length;
            
            List results = new ArrayList();
            try {
                Weblogger roller = WebloggerFactory.getWeblogger();
    //#UsersPager.java:137: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
                UserManager umgr = roller.getUserManager();
    //#UsersPager.java:138: Warning: method not available
    //#    -- call on UserManager org.apache.roller.weblogger.business.Weblogger:getUserManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    unanalyzed callee: UserManager org.apache.roller.weblogger.business.Weblogger:getUserManager()
                List rawUsers = null;
    //#UsersPager.java:139: Warning: unused assignment
    //#    unused assignment into rawUsers
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    Attribs:  Uncertain
                if (letter == null) {
                    rawUsers = umgr.getUsers(null, Boolean.TRUE, null, null, offset, length + 1);
    //#UsersPager.java:141: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.business.UserManager:getUsers(Weblog, Boolean, Date, Date, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    unanalyzed callee: List org.apache.roller.weblogger.business.UserManager:getUsers(Weblog, Boolean, Date, Date, int, int)
                } else {
                    rawUsers = umgr.getUsersByLetter(letter.charAt(0), offset, length + 1);
    //#UsersPager.java:143: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.business.UserManager:getUsersByLetter(char, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    unanalyzed callee: List org.apache.roller.weblogger.business.UserManager:getUsersByLetter(char, int, int)
                }
                
                // wrap the results
                int count = 0;
                for (Iterator it = rawUsers.iterator(); it.hasNext();) {
                    User user = (User) it.next();
                    if (count++ < length) {
    //#UsersPager.java:150: ?overflow
    //#    count in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    basic block: bb_8
    //#    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(UserWrapper.wrap(user));
    //#UsersPager.java:151: Warning: method not available
    //#    -- call on UserWrapper org.apache.roller.weblogger.pojos.wrapper.UserWrapper:wrap(User)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
    //#    method: List getItems()
    //#    unanalyzed callee: UserWrapper org.apache.roller.weblogger.pojos.wrapper.UserWrapper:wrap(User)
                    } else {
                        more = true;
                    }
                }
                
            } catch (Exception e) {
                log.error("ERROR: fetching user list", e);
    //#UsersPager.java:158: 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.UsersPager
    //#    method: List getItems()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
            
            users = results;
        }
        
        return users;
    //#UsersPager.java:164: end of method: List org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.getItems()
    }
    
    
    public boolean hasMoreItems() {
        return more;
    //#UsersPager.java:169: method: bool org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.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)
    //#UsersPager.java:169: end of method: bool org.apache.roller.weblogger.ui.rendering.pagers.UsersPager.hasMoreItems()
    }
    
}
    //#UsersPager.java:: end of class: org.apache.roller.weblogger.ui.rendering.pagers.UsersPager
