| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/CommentsPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.feedRequest) | 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.lastUpdated) | 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#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new CommentsPager(getCommentsPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new CommentsPager(getCommentsP ager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.comments == &new ArrayList(getItem s#1) | 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 |
| + | post | return_value.weblog == null | 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.weblogger.business. WeblogManager:getComments | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager | 2009-09-04 18:33:31 |
| + | test_vector | this.feedRequest: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/UsersPager.log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.feedRequest) | 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.letter) | 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.sinceDays) | 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#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new UsersPager(getUsersByLetterPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new UsersPager(getUsersByLette rPager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.length == length | 2009-09-04 18:33:31 |
| + | post | return_value.letter == One-of{letter, null} | 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 |
| + | post | return_value.users == &new ArrayList(getItems#1 ) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:charAt | 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.weblogger.business. UserManager:getUsers | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUsersByLetter | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos.wrapper. UserWrapper:wrap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager | 2009-09-04 18:33:31 |
| + | test_vector | letter: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@242: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.feedRequest: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.feedRequest) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.tags) | 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.lastUpdated) | 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.queryTags) | 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#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.entries == &new ArrayList(getItems #1) | 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.queryCat == null | 2009-09-04 18:33:31 |
| + | post | return_value.queryTags == this.tags | 2009-09-04 18:33:31 |
| + | post | return_value.queryUser == null | 2009-09-04 18:33:31 |
| + | post | return_value.queryWeblog == null | 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 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 java.util.List:size | 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.weblogger.business. WeblogManager:getWeblogEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | test_vector | this.feedRequest: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.feedRequest) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.tags) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | queryWeblog != null | 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) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).length <= 232-2 | 2009-09-04 18:33:31 |
| + | post | (soft) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).lastUpdated) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).more) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryTags) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryWeblog) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).url) | 2009-09-04 18:33:31 |
| + | post | length*new WeblogEntriesListPager(getWeblogEntriesP ager#1*).page in -231..232-1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getItems#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).entries == &new ArrayList(getItems#1) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).length == length | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page == One-of{0, this.pageNum} | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page >= 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryCat == null | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryTags == this.tags | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryUser == null | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryWeblog == queryWeblog.pojo | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).sinceDays == sinceDays | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy != null | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy == this.urlStrategy | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#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.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 java.util.List:size | 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.weblogger.business. URLStrategy:getWeblogFeedURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getFormat | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getType | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest:getLocale | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.feedRequest) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.tags) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | queryWeblog != null | 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) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).length <= 232-2 | 2009-09-04 18:33:31 |
| + | post | (soft) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).lastUpdated) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).more) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryTags) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryUser) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryWeblog) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).url) | 2009-09-04 18:33:31 |
| + | post | length*new WeblogEntriesListPager(getWeblogEntriesP ager#1*).page in -231..232-1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getItems#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).entries == &new ArrayList(getItems#1) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).length == length | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page == One-of{0, this.pageNum} | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page >= 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryCat == null | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryTags == this.tags | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryUser == user | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryWeblog == queryWeblog.pojo | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).sinceDays == sinceDays | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy != null | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy == this.urlStrategy | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#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.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 java.util.List:size | 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.weblogger.business. URLStrategy:getWeblogFeedURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getFormat | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getType | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest:getLocale | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.feedRequest) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pageNum) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.tags) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | queryWeblog != null | 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.lastUpdated) | 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.queryCat) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.queryTags) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.queryUser) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.queryWeblog) | 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#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntriesListPager(getWeblogEntriesPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.entries == &new ArrayList(getItems #1) | 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.queryCat == cat | 2009-09-04 18:33:31 |
| + | post | return_value.queryTags == this.tags | 2009-09-04 18:33:31 |
| + | post | return_value.queryUser == user | 2009-09-04 18:33:31 |
| + | post | return_value.queryWeblog == queryWeblog.pojo | 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 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 java.util.List:size | 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.weblogger.business. WeblogManager:getWeblogEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | test_vector | this.feedRequest: Addr_Set{null}, Inverse{null} | 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/WeblogsPager.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.letter) | 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#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogsPager(getWeblogsByLetterPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogsPager(getWeblogsByL etterPager#1) | 2009-09-04 18:33:31 |
| + | post | return_value.length == length | 2009-09-04 18:33:31 |
| + | post | return_value.letter == One-of{letter, null} | 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 |
| + | post | return_value.weblogs == &new ArrayList(getItems #1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:charAt | 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.weblogger.business. UserManager:getWeblogsByLetter | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsites | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager | 2009-09-04 18:33:31 |
| + | test_vector | letter: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@264: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | initData != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@81 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@100 != 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.feedRequest) | 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 |
| + | post | possibly_updated(this.tags) | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@98: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:instanceof(...)@91: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:instanceof(...)@86: {0}, {1} | 2009-09-04 18:33:31 |