| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/PlanetEntriesPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | this.urlStrategy != null | 2009-09-04 18:33:31 |
| + | pre | this.weblogRequest != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value.length <= 232-2 | 2009-09-04 18:33:31 |
| + | post | (soft) return_value.sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.more) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.url) | 2009-09-04 18:33:31 |
| + | post | length*return_value.page in -231.. 232-1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getItems#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new PlanetEntriesPager(getAggregationPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new PlanetEntriesPager(getAggr egationPager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.entries == &new ArrayList(getItems #2) | 2009-09-04 18:33:31 |
| + | post | return_value.feedURL == null | 2009-09-04 18:33:31 |
| + | post | return_value.groupHandle == null | 2009-09-04 18:33:31 |
| + | post | return_value.length == length | 2009-09-04 18:33:31 |
| + | post | return_value.page == One-of{0, this.pageNum} | 2009-09-04 18:33:31 |
| + | post | return_value.page >= 0 | 2009-09-04 18:33:31 |
| + | post | return_value.sinceDays == sinceDays | 2009-09-04 18:33:31 |
| + | post | return_value.urlStrategy != null | 2009-09-04 18:33:31 |
| + | post | return_value.urlStrategy == this.urlStrategy | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:setTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. Planet:getPlanetManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetFactory:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getGroup | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getSubscription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/PlanetEntriesPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | this.urlStrategy != null | 2009-09-04 18:33:31 |
| + | pre | this.weblogRequest != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value.length <= 232-2 | 2009-09-04 18:33:31 |
| + | post | (soft) return_value.sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.groupHandle) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.more) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.url) | 2009-09-04 18:33:31 |
| + | post | length*return_value.page in -231.. 232-1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getItems#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new PlanetEntriesPager(getAggregationPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new PlanetEntriesPager(getAggr egationPager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.entries == &new ArrayList(getItems #2) | 2009-09-04 18:33:31 |
| + | post | return_value.feedURL == null | 2009-09-04 18:33:31 |
| + | post | return_value.groupHandle == groupHandle | 2009-09-04 18:33:31 |
| + | post | return_value.length == length | 2009-09-04 18:33:31 |
| + | post | return_value.page == One-of{0, this.pageNum} | 2009-09-04 18:33:31 |
| + | post | return_value.page >= 0 | 2009-09-04 18:33:31 |
| + | post | return_value.sinceDays == sinceDays | 2009-09-04 18:33:31 |
| + | post | return_value.urlStrategy != null | 2009-09-04 18:33:31 |
| + | post | return_value.urlStrategy == this.urlStrategy | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:setTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. Planet:getPlanetManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetFactory:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getGroup | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getSubscription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/PlanetEntriesPager.log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | this.urlStrategy != null | 2009-09-04 18:33:31 |
| + | pre | this.weblogRequest != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value.length <= 232-2 | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.feedURL) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.more) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.url) | 2009-09-04 18:33:31 |
| + | post | length*return_value.page in -231.. 232-1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getItems#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new PlanetEntriesPager(getFeedPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new PlanetEntriesPager(getFeed Pager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.entries == &new ArrayList(getItems #2) | 2009-09-04 18:33:31 |
| + | post | return_value.feedURL == feedURL | 2009-09-04 18:33:31 |
| + | post | return_value.groupHandle == null | 2009-09-04 18:33:31 |
| + | post | return_value.length == length | 2009-09-04 18:33:31 |
| + | post | return_value.page == One-of{0, this.pageNum} | 2009-09-04 18:33:31 |
| + | post | return_value.page >= 0 | 2009-09-04 18:33:31 |
| + | post | return_value.sinceDays == -1 | 2009-09-04 18:33:31 |
| + | post | return_value.urlStrategy != null | 2009-09-04 18:33:31 |
| + | post | return_value.urlStrategy == this.urlStrategy | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:setTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. Planet:getPlanetManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetFactory:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getGroup | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getSubscription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getRankedSubscriptions#1*) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ArrayList(getRankedSubscri ptions#1*) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. Planet:getPlanetManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetFactory:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getGroup | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getPlanet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.planet.business. PlanetManager:getTopSubscriptions | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | initData != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@65 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@79 != null | 2009-09-04 18:33:31 |
| + | post | (soft) this.weblogRequest != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.pageLink) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.pageNum) | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@77: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:instanceof(...)@70: {0}, {1} | 2009-09-04 18:33:31 |