| method | void org.apache.roller.weblogger.ui.struts2. editor.Entries() |
| post | this.actionName == &"entries" |
| post | this.bean == &new EntriesBean(Entries#1) |
| post | this.desiredMenu == &"editor" |
| post | this.firstEntry == null |
| post | this.lastEntry == null |
| post | this.pager == null |
| post | this.bean.categoryPath == null |
| post | this.bean.endDateString == null |
| post | this.bean.startDateString == null |
| post | this.bean.tagsAsString == null |
| post | this.bean.text == null |
| post | this.pageTitle == &"weblogEntryQuery.title" |
| post | new EntriesBean(Entries#1) num objects == 1 |
| post | this.bean.page == 0 |
| post | this.bean.sortBy == &"updateTime" |
| post | this.bean.status == &"ALL" |
| method | String execute() |
| pre | log != null |
| pre | this.bean != null |
| pre | init'ed(this.bean.categoryPath) |
| pre | init'ed(this.bean.endDateString) |
| pre | init'ed(this.bean.sortBy) |
| pre | init'ed(this.bean.startDateString) |
| pre | init'ed(this.bean.status) |
| pre | init'ed(this.bean.tagsAsString) |
| pre | init'ed(this.bean.text) |
| pre | (soft) this.bean.page in -71_582_788..143_165_576 |
| presumption | java.util.List:size(...)@108 >= -231+1 |
| presumption | java.util.List:size(...)@113 >= -231+1 |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@88 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@87 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null |
| post | return_value == &"list" |
| post | possibly_updated(this.firstEntry) |
| post | possibly_updated(this.lastEntry) |
| post | this.pager == &new EntriesPager(execute#4) |
| post | new EntriesPager(execute#4) num objects == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Entries:getActionWeblog |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on java.text.SimpleDateFormat |
| unanalyzed | call on java.text.DateFormat:parse |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getEndDate |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:splitStringAsTags |
| test_vector | java.util.List:size(...)@104: {-231..0}, {1..232-1} |
| test_vector | java.util.List:size(...)@107: {-231..30}, {31..232-1} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@78: {0}, {1} |
| method | String buildBaseUrl() |
| pre | this.bean != null |
| pre | init'ed(this.bean.categoryPath) |
| pre | init'ed(this.bean.endDateString) |
| pre | init'ed(this.bean.sortBy) |
| pre | init'ed(this.bean.startDateString) |
| pre | init'ed(this.bean.status) |
| pre | init'ed(this.bean.tagsAsString) |
| pre | init'ed(this.bean.text) |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@156 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@156 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. Entries:getActionWeblog(...)@156 != null |
| post | init'ed(return_value) |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@134: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@137: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@140: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@143: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@146: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@149: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@152: {1}, {0} |