pageable.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • void calculatePages()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.list != null2010-07-16 16:14:15
    U preinit'ed(this.pageSize)2010-07-16 16:14:15
    U presumptionjava.util.List:size(...)@85/this.pageSize in -232+1..232-22010-07-16 16:14:15
    U postpossibly_updated(this.maxPages)2010-07-16 16:14:15
    U test_vectorthis.pageSize: {-231..0}, {1..232-1}2010-07-16 16:14:15

  • List getList()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.list)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.list2010-07-16 16:14:15

  • List getListForPage()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.endingIndex)2010-07-16 16:14:15
    U preinit'ed(this.startingIndex)2010-07-16 16:14:15
    U prethis.list != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • int getMaxPageRange()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.maxPages)2010-07-16 16:14:15
    U preinit'ed(this.page)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == One-of{this.page + 10, this.maxPages}2010-07-16 16:14:15
    U test_vectorthis.maxPages - this.page: {-6_442_450_943..10}, {11..6_442_450_943}2010-07-16 16:14:15

  • int getMaxPages()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.maxPages)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.maxPages2010-07-16 16:14:15

  • int getMinPageRange()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.page)2010-07-16 16:14:15
    U postreturn_value == One-of{this.page - 10, 1}2010-07-16 16:14:15
    U postreturn_value in 1..232-112010-07-16 16:14:15
    U test_vectorthis.page: {-231..10}, {11.. 232-1}2010-07-16 16:14:15

  • int getNextPage()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.maxPages)2010-07-16 16:14:15
    U preinit'ed(this.page)2010-07-16 16:14:15
    U postreturn_value == One-of{this.page + 1, 0}2010-07-16 16:14:15
    U postreturn_value >= -231+12010-07-16 16:14:15
    U test_vectorthis.maxPages - this.page: {-6_442_450_943..0}, {1..6_442_450_943}2010-07-16 16:14:15

  • int getPage()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.page)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.page2010-07-16 16:14:15

  • int getPageSize()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.pageSize)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.pageSize2010-07-16 16:14:15

  • int getPreviousPage()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.page)2010-07-16 16:14:15
    U postreturn_value == One-of{this.page - 1, 0}2010-07-16 16:14:15
    U postreturn_value in 0..232-22010-07-16 16:14:15
    U test_vectorthis.page: {-231..1}, {2..232-1}2010-07-16 16:14:15

  • void net.sourceforge.pebble.util.Pageable(List)

    • -/+ Kind Annotation Text Date
    U pre(soft) list != null2010-07-16 16:14:15
    U post(soft) this.list != null2010-07-16 16:14:15
    U postinit'ed(this.maxPages)2010-07-16 16:14:15
    U postthis.list == list2010-07-16 16:14:15
    U postthis.page == 12010-07-16 16:14:15
    U postthis.pageSize == 102010-07-16 16:14:15
    U unanalyzedcall on java.util.List:size2010-07-16 16:14:15

  • net.sourceforge.pebble.util.Pageable__static_init

    • -/+ Kind Annotation Text Date

  • void setPage(int)

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.maxPages)2010-07-16 16:14:15
    U preinit'ed(this.pageSize)2010-07-16 16:14:15
    U prethis.list != null2010-07-16 16:14:15
    U postinit'ed(this.endingIndex)2010-07-16 16:14:15
    U postinit'ed(this.page)2010-07-16 16:14:15
    U postthis.page == One-of{this.maxPages, 1, p}2010-07-16 16:14:15
    U postthis.pageSize + this.startingIndex in -231..232-12010-07-16 16:14:15
    U postthis.pageSize*(this.page - 1) in -231.. 232-12010-07-16 16:14:15
    U postthis.startingIndex == One-of{this.pageSize*(this. page - 1), 0}2010-07-16 16:14:15
    U postthis.startingIndex >= 02010-07-16 16:14:15
    U test_vectorp: {2..232-2}, {-231..1}2010-07-16 16:14:15
    U test_vectorthis.maxPages - p: {1..232-3}, {-6_442_450_943..0}2010-07-16 16:14:15

  • void setPageSize(int)

    • -/+ Kind Annotation Text Date
    U pre(soft) this.list != null2010-07-16 16:14:15
    U postinit'ed(this.pageSize)2010-07-16 16:14:15
    U postpossibly_updated(this.maxPages)2010-07-16 16:14:15
    U postthis.pageSize == pageSize2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:size2010-07-16 16:14:15