UsersPager.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + List getItems()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.letter)2009-09-04 18:33:31
    +pre(soft) init'ed(this.page)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.length <= 232-22009-09-04 18:33:31
    +pre(soft) this.length*this.page in -231.. 232-12009-09-04 18:33:31
    +preinit'ed(this.users)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getUsers(...)@141 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getUsersByLetter(...)@143 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@138 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@137 != null2009-09-04 18:33:31
    +postnew ArrayList(getItems#1) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(this.more)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postreturn_value == One-of{old this.users, &new ArrayList(getItems#1)}2009-09-04 18:33:31
    +postthis.users == return_value2009-09-04 18:33:31
    +test_vectorthis.letter: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.users: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getNextLink()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.more)2009-09-04 18:33:31
    +pre(soft) init'ed(this.url)2009-09-04 18:33:31
    +pre(soft) this.page <= 232-22009-09-04 18:33:31
    +preinit'ed(this.letter)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_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(...)}2009-09-04 18:33:31
    +unanalyzedcall on createURL2009-09-04 18:33:31
    +unanalyzedcall on hasMoreItems2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.net.URLEncoder:encode2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashMap2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:put2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts2009-09-04 18:33:31
    +test_vectorthis.letter: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.more: {0}, {1}2009-09-04 18:33:31

  • + String getPrevLink()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.url)2009-09-04 18:33:31
    +pre(soft) this.page >= -231+12009-09-04 18:33:31
    +preinit'ed(this.letter)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_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(...)}2009-09-04 18:33:31
    +unanalyzedcall on createURL2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.net.URLEncoder:encode2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashMap2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:put2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts2009-09-04 18:33:31
    +test_vectorthis.letter: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.page: {-231+1..0}, {1..232-1}2009-09-04 18:33:31

  • + bool hasMoreItems()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.more)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.more2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, int, int, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) length <= 232-22009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +post(soft) length*this.page in -231.. 232-12009-09-04 18:33:31
    +post(soft) this.length <= 232-22009-09-04 18:33:31
    +postinit'ed(this.letter)2009-09-04 18:33:31
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(this.more)2009-09-04 18:33:31
    +postinit'ed(this.sinceDays)2009-09-04 18:33:31
    +postinit'ed(this.url)2009-09-04 18:33:31
    +postinit'ed(this.urlStrategy)2009-09-04 18:33:31
    +postnew ArrayList(getItems#1) num objects == 12009-09-04 18:33:31
    +postthis.length == length2009-09-04 18:33:31
    +postthis.locale == locale2009-09-04 18:33:31
    +postthis.page == One-of{0, page}2009-09-04 18:33:31
    +postthis.page >= 02009-09-04 18:33:31
    +postthis.sinceDays == sinceDays2009-09-04 18:33:31
    +postthis.url == baseUrl2009-09-04 18:33:31
    +postthis.urlStrategy == strat2009-09-04 18:33:31
    +postthis.users == &new ArrayList(getItems#1)2009-09-04 18:33:31
    +unanalyzedcall on getPage2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:charAt2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUsers2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUsersByLetter2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos.wrapper. UserWrapper:wrap2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.pagers.UsersPager(URLStrategy, String, String, String, int, int, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) length <= 232-22009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +post(soft) length*this.page in -231.. 232-12009-09-04 18:33:31
    +post(soft) this.length <= 232-22009-09-04 18:33:31
    +postinit'ed(this.letter)2009-09-04 18:33:31
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(this.more)2009-09-04 18:33:31
    +postinit'ed(this.sinceDays)2009-09-04 18:33:31
    +postinit'ed(this.url)2009-09-04 18:33:31
    +postinit'ed(this.urlStrategy)2009-09-04 18:33:31
    +postnew ArrayList(getItems#1) num objects == 12009-09-04 18:33:31
    +postthis.length == length2009-09-04 18:33:31
    +postthis.letter == letter2009-09-04 18:33:31
    +postthis.locale == locale2009-09-04 18:33:31
    +postthis.page == One-of{0, page}2009-09-04 18:33:31
    +postthis.page >= 02009-09-04 18:33:31
    +postthis.sinceDays == sinceDays2009-09-04 18:33:31
    +postthis.url == baseUrl2009-09-04 18:33:31
    +postthis.urlStrategy == strat2009-09-04 18:33:31
    +postthis.users == &new ArrayList(getItems#1)2009-09-04 18:33:31
    +unanalyzedcall on getPage2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:charAt2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUsers2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUsersByLetter2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos.wrapper. UserWrapper:wrap2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.pagers.UsersPager__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31