EntriesPager.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


  • + String createURL(String, Map)

    • -/+ Kind Annotation Text Date
    +prebase != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.URLUtilities:getQu eryString(...)@81 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@83: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31

  • + List getItems()

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

  • + String getNextLink()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.baseUrl != null2009-09-04 18:33:31
    +pre(soft) this.pageNum <= 232-22009-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(...)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. URLUtilities:getQueryString2009-09-04 18:33:31
    +test_vectorthis.moreItems: {0}, {1}2009-09-04 18:33:31

  • + String getPrevLink()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.baseUrl != null2009-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(...)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. URLUtilities:getQueryString2009-09-04 18:33:31
    +test_vectorthis.pageNum: {-231..0}, {1.. 232-1}2009-09-04 18:33:31

  • + bool isMoreItems()

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

  • + void org.apache.roller.weblogger.ui.struts2.pagers.EntriesPager(String, int, List, bool)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.baseUrl)2009-09-04 18:33:31
    +postinit'ed(this.items)2009-09-04 18:33:31
    +postinit'ed(this.moreItems)2009-09-04 18:33:31
    +postinit'ed(this.pageNum)2009-09-04 18:33:31
    +postthis.baseUrl == url2009-09-04 18:33:31
    +postthis.items == entries2009-09-04 18:33:31
    +postthis.moreItems == hasMore2009-09-04 18:33:31
    +postthis.pageNum == page2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.pagers.EntriesPager__static_init

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