| method | void org.apache.roller.weblogger.ui.struts2.admin. GlobalCommentManagement() |
| post | this.actionName == &"globalCommentManagement" |
| post | this.bean == &new GlobalCommentManagementBean(G lobalCommentManagement#1) |
| post | this.bulkDeleteCount == 0 |
| post | this.bean.page == 0 |
| post | new String[](GlobalCommentManagementBean#1).length == 0 |
| post | new String[](GlobalCommentManagementBean#2).length == 0 |
| post | this.desiredMenu == &"admin" |
| post | this.firstComment == null |
| post | this.lastComment == null |
| post | this.pager == null |
| post | this.bean.endDateString == null |
| post | this.bean.ids == null |
| post | this.bean.searchString == null |
| post | this.bean.startDateString == null |
| post | this.pageTitle == &"commentManagement.title" |
| post | new GlobalCommentManagementBean(GlobalCommentManage ment#1) num objects == 1 |
| post | new String[](GlobalCommentManagementBean#1) num objects == 1 |
| post | new String[](GlobalCommentManagementBean#2) num objects == 1 |
| post | this.bean.approvedString == &"ALL" |
| post | this.bean.spamString == &"ALL" |
| post | this.bean.deleteComments == &new String[](GlobalCommentManagementBean#2) |
| post | this.bean.spamComments == &new String[](GlobalC ommentManagementBean#1) |
| method | void loadComments() |
| pre | this.bean != null |
| pre | init'ed(this.bean.endDateString) |
| pre | init'ed(this.bean.searchString) |
| pre | init'ed(this.bean.startDateString) |
| pre | (soft) log != null |
| pre | (soft) this.bean.approvedString != null |
| pre | (soft) this.bean.page in -71_582_788..143_165_576 |
| pre | (soft) this.bean.spamString != null |
| presumption | init'ed(java.util.Collections.EMPTY_LIST) |
| presumption | java.util.List:size(...)@109 >= -231+1 |
| presumption | java.util.List:size(...)@114 >= -231+1 |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@93 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@93 != null |
| post | possibly_updated(this.firstComment) |
| post | possibly_updated(this.lastComment) |
| post | this.pager == &new CommentsPager(loadComments#2 ) |
| post | new CommentsPager(loadComments#2) num objects == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| 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 java.lang.String:equals |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| test_vector | java.util.List:size(...)@107: {-231..0}, {1..232-1} |
| test_vector | java.util.List:size(...)@108: {-231..30}, {31..232-1} |
| method | String execute() |
| pre | this.bean != null |
| pre | init'ed(this.bean.endDateString) |
| pre | init'ed(this.bean.searchString) |
| pre | init'ed(this.bean.startDateString) |
| pre | (soft) log != null |
| pre | (soft) this.bean.approvedString != null |
| pre | (soft) this.bean.page in -71_582_788..143_165_576 |
| pre | (soft) this.bean.spamString != null |
| presumption | org.apache.roller.weblogger.ui.struts2.pagers. CommentsPager:getItems(...)@161 != null |
| post | return_value == &"list" |
| post | init'ed(this.bean.ids) |
| post | init'ed(this.bean.spamComments) |
| post | possibly_updated(this.firstComment) |
| post | possibly_updated(this.lastComment) |
| post | this.pager == &new CommentsPager(loadComments#2 ) |
| post | new CommentsPager(loadComments#2) num objects == 1 |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| 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 java.lang.String:equals |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. admin.GlobalCommentManagement:addError |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getStatus |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:stringArrayToString |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. pagers.CommentsPager |
| method | String query() |
| pre | this.bean != null |
| pre | (soft) log != null |
| pre | (soft) this.bean.approvedString != null |
| pre | (soft) init'ed(this.bean.endDateString) |
| pre | (soft) this.bean.page in -71_582_788..143_165_576 |
| pre | (soft) init'ed(this.bean.searchString) |
| pre | (soft) this.bean.spamString != null |
| pre | (soft) init'ed(this.bean.startDateString) |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getComments(...)@180 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@179 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@179 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.pagers. CommentsPager:getItems(...)@176 != null |
| post | return_value == &"list" |
| post | init'ed(this.bean.ids) |
| post | init'ed(this.bean.spamComments) |
| post | possibly_updated(this.bulkDeleteCount) |
| post | possibly_updated(this.firstComment) |
| post | possibly_updated(this.lastComment) |
| post | this.pager == &new CommentsPager(loadComments#2 ) |
| post | new CommentsPager(loadComments#2) num objects == 1 |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| 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 java.lang.String:equals |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. admin.GlobalCommentManagement:addError |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getStatus |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:stringArrayToString |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. pagers.CommentsPager |
| test_vector | java.util.List:size(...)@191: {-231..30}, {31..232-1} |
| method | String delete() |
| pre | (soft) log != null |
| pre | (soft) this.bean != null |
| pre | (soft) this.bean.approvedString != null |
| pre | (soft) init'ed(this.bean.endDateString) |
| pre | (soft) init'ed(this.bean.searchString) |
| pre | (soft) this.bean.spamString != null |
| pre | (soft) init'ed(this.bean.startDateString) |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@211 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@211 != null |
| post | return_value == &"list" |
| post | this.bean == One-of{&new GlobalCommentManagemen tBean(delete#2), old this.bean} |
| post | (soft) this.bean != null |
| post | init'ed(this.bean.ids) |
| post | init'ed(this.bean.spamComments) |
| post | possibly_updated(this.firstComment) |
| post | possibly_updated(this.lastComment) |
| post | this.pager == One-of{&new CommentsPager(loadCom ments#2), old this.pager} |
| post | new CommentsPager(loadComments#2) num objects <= 1 |
| post | new GlobalCommentManagementBean(delete#2) num objects <= 1 |
| post | init'ed(new GlobalCommentManagementBean(delete#2). approvedString) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). deleteComments) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). endDateString) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). ids) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). page) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). searchString) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). spamComments) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). spamString) |
| post | init'ed(new GlobalCommentManagementBean(delete#2). startDateString) |
| post | new String[](GlobalCommentManagementBean#1) num objects <= 1 |
| post | init'ed(new String[](GlobalCommentManagementBean#1) .length) |
| post | new String[](GlobalCommentManagementBean#2) num objects <= 1 |
| post | init'ed(new String[](GlobalCommentManagementBean#2) .length) |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| 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 java.lang.String:equals |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. admin.GlobalCommentManagement:addError |
| unanalyzed | call on loadComments |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. pagers.CommentsPager:getItems |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getStatus |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:stringArrayToString |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. pagers.CommentsPager |
| method | String update() |
| pre | log != null |
| pre | (soft) this.bean != null |
| pre | (soft) init'ed(this.bean.ids) |
| pre | (soft) init'ed(this.bean.spamComments) |
| pre | (soft) init'ed(this.bean.deleteComments) |
| presumption | ids.length@265 <= 232-1 |
| presumption | java.util.Arrays:asList(...)@262 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getComment(...)@255 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getComment(...)@275 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@244 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@244 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@294 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@256 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@284 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@290 != null |
| presumption | org.apache.roller.weblogger.util.Utilities:stringTo StringArray(...)@265 != null |
| post | return_value == &"list" |
| post | this.bean == One-of{&new GlobalCommentManagemen tBean(update#8), old this.bean} |
| post | (soft) this.bean != null |
| post | init'ed(this.bean.ids) |
| post | init'ed(this.bean.spamComments) |
| post | possibly_updated(this.firstComment) |
| post | possibly_updated(this.lastComment) |
| post | this.pager == One-of{&new CommentsPager(loadCom ments#2), old this.pager} |
| post | new CommentsPager(loadComments#2) num objects <= 1 |
| post | new GlobalCommentManagementBean(update#8) num objects <= 1 |
| post | init'ed(new GlobalCommentManagementBean(update#8). approvedString) |
| post | init'ed(new GlobalCommentManagementBean(update#8). deleteComments) |
| post | init'ed(new GlobalCommentManagementBean(update#8). endDateString) |
| post | init'ed(new GlobalCommentManagementBean(update#8). ids) |
| post | init'ed(new GlobalCommentManagementBean(update#8). page) |
| post | init'ed(new GlobalCommentManagementBean(update#8). searchString) |
| post | init'ed(new GlobalCommentManagementBean(update#8). spamComments) |
| post | init'ed(new GlobalCommentManagementBean(update#8). spamString) |
| post | init'ed(new GlobalCommentManagementBean(update#8). startDateString) |
| post | new String[](GlobalCommentManagementBean#1) num objects <= 1 |
| post | init'ed(new String[](GlobalCommentManagementBean#1) .length) |
| post | new String[](GlobalCommentManagementBean#2) num objects <= 1 |
| post | init'ed(new String[](GlobalCommentManagementBean#2) .length) |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| 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 java.lang.String:equals |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. admin.GlobalCommentManagement:addError |
| unanalyzed | call on loadComments |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. pagers.CommentsPager:getItems |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getStatus |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:stringArrayToString |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. pagers.CommentsPager |
| test_vector | java.lang.String:equals(...)@278: {1}, {0} |
| test_vector | java.lang.String:equals(...)@285: {0}, {1} |
| test_vector | java.util.Arrays:asList(...)@249: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Iterator:hasNext(...)@254: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@297: {0}, {1} |
| test_vector | java.util.List:contains(...)@270: {0}, {1} |
| test_vector | java.util.List:contains(...)@278: {0}, {1} |
| test_vector | java.util.List:size(...)@250: {-231..0}, {1..232-1} |