| method | void org.apache.roller.weblogger.ui.struts2. editor.Comments() |
| post | this.actionName == &"comments" |
| post | this.bean == &new CommentsBean(Comments#1) |
| post | this.bulkDeleteCount == 0 |
| post | this.bean.page == 0 |
| post | new String[](CommentsBean#1).length == 0 |
| post | new String[](CommentsBean#2).length == 0 |
| post | new String[](CommentsBean#3).length == 0 |
| post | this.desiredMenu == &"editor" |
| post | this.firstComment == null |
| post | this.lastComment == null |
| post | this.pager == null |
| post | this.queryEntry == null |
| post | this.bean.endDateString == null |
| post | this.bean.entryId == null |
| post | this.bean.ids == null |
| post | this.bean.searchString == null |
| post | this.bean.startDateString == null |
| post | this.pageTitle == &"commentManagement.title" |
| post | new CommentsBean(Comments#1) num objects == 1 |
| post | new String[](CommentsBean#1) num objects == 1 |
| post | new String[](CommentsBean#2) num objects == 1 |
| post | new String[](CommentsBean#3) num objects == 1 |
| post | this.bean.approvedComments == &new String[](CommentsBean#1) |
| post | this.bean.approvedString == &"ALL" |
| post | this.bean.spamString == &"ALL" |
| post | this.bean.deleteComments == &new String[](CommentsBean#3) |
| post | this.bean.spamComments == &new String[](Comment sBean#2) |
| method | void loadComments() |
| pre | this.bean != null |
| pre | init'ed(this.bean.endDateString) |
| pre | init'ed(this.bean.entryId) |
| pre | init'ed(this.bean.searchString) |
| pre | init'ed(this.bean.startDateString) |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.queryEntry) |
| 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(...)@118 >= -231+1 |
| presumption | java.util.List:size(...)@123 >= -231+1 |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@97 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@97 != null |
| post | possibly_updated(this.firstComment) |
| post | possibly_updated(this.lastComment) |
| post | this.pager == &new CommentsPager(loadComments#2 ) |
| post | init'ed(this.queryEntry) |
| post | new CommentsPager(loadComments#2) num objects == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Comments:getActionWeblog |
| 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.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| test_vector | java.util.List:size(...)@116: {-231..0}, {1..232-1} |
| test_vector | java.util.List:size(...)@117: {-231..30}, {31..232-1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@100: {1}, {0} |
| method | String execute() |
| pre | this.bean != null |
| pre | init'ed(this.bean.endDateString) |
| pre | init'ed(this.bean.entryId) |
| pre | init'ed(this.bean.searchString) |
| pre | init'ed(this.bean.startDateString) |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.queryEntry) |
| 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(...)@172 != null |
| post | return_value == &"list" |
| post | init'ed(this.bean.approvedComments) |
| 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 | init'ed(this.queryEntry) |
| 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.roller.weblogger.ui.struts2. editor.Comments:getActionWeblog |
| 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.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Comments: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 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.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry |
| 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 | init'ed(this.bean.entryId) |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.queryEntry) |
| 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(...)@191 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@190 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@190 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.pagers. CommentsPager:getItems(...)@187 != null |
| post | return_value == &"list" |
| post | init'ed(this.bean.approvedComments) |
| 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 | init'ed(this.queryEntry) |
| 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.roller.weblogger.ui.struts2. editor.Comments:getActionWeblog |
| 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.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Comments: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 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.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry |
| 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(...)@202: {-231..30}, {31..232-1} |
| method | String delete() |
| pre | (soft) log != null |
| pre | (soft) this.bean != null |
| pre | (soft) init'ed(this.queryEntry) |
| 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 | java.util.Iterator:next(...)@237 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getComments(...)@228 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@252 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@222 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@222 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@252 != null |
| post | return_value == &"list" |
| post | this.bean == One-of{&new CommentsBean(delete#2) , old this.bean} |
| post | (soft) this.bean != null |
| post | init'ed(this.bean.approvedComments) |
| 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 | init'ed(this.queryEntry) |
| post | new CommentsBean(delete#2) num objects <= 1 |
| post | init'ed(new CommentsBean(delete#2).approvedComments ) |
| post | init'ed(new CommentsBean(delete#2).approvedString) |
| post | init'ed(new CommentsBean(delete#2).deleteComments) |
| post | init'ed(new CommentsBean(delete#2).endDateString) |
| post | init'ed(new CommentsBean(delete#2).entryId) |
| post | init'ed(new CommentsBean(delete#2).ids) |
| post | init'ed(new CommentsBean(delete#2).page) |
| post | init'ed(new CommentsBean(delete#2).searchString) |
| post | init'ed(new CommentsBean(delete#2).spamComments) |
| post | init'ed(new CommentsBean(delete#2).spamString) |
| post | init'ed(new CommentsBean(delete#2).startDateString) |
| post | new CommentsPager(loadComments#2) num objects <= 1 |
| post | new String[](CommentsBean#1) num objects <= 1 |
| post | init'ed(new String[](CommentsBean#1).length) |
| post | new String[](CommentsBean#2) num objects <= 1 |
| post | init'ed(new String[](CommentsBean#2).length) |
| post | new String[](CommentsBean#3) num objects <= 1 |
| post | init'ed(new String[](CommentsBean#3).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.roller.weblogger.ui.struts2. editor.Comments:getActionWeblog |
| 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.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Comments: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 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.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry |
| 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.Iterator:hasNext(...)@237: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@253: {0}, {1} |
| test_vector | java.util.Set:isEmpty(...)@251: {1}, {0} |
| test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@227: {0}, {1} |
| method | String update() |
| pre | log != null |
| pre | (soft) this.bean != null |
| pre | (soft) init'ed(this.bean.approvedComments) |
| pre | (soft) init'ed(this.bean.ids) |
| pre | (soft) init'ed(this.bean.spamComments) |
| pre | (soft) init'ed(this.queryEntry) |
| pre | (soft) init'ed(this.bean.deleteComments) |
| pre | (soft) init'ed(this.bean.entryId) |
| presumption | ids.length@315 <= 232-1 |
| presumption | java.util.Arrays:asList(...)@308 != null |
| presumption | java.util.Arrays:asList(...)@309 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getComment(...)@296 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getComment(...)@325 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@378 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@281 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@281 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@363 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@378 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@299 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@328 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. Comments:getActionWeblog(...)@299 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. Comments:getActionWeblog(...)@328 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. Comments:getActionWeblog(...)@371 != null |
| presumption | org.apache.roller.weblogger.util.Utilities:stringTo StringArray(...)@315 != null |
| post | return_value == &"list" |
| post | this.bean == One-of{&new CommentsBean(update#11 ), old this.bean} |
| post | (soft) this.bean != null |
| post | init'ed(this.bean.approvedComments) |
| 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 | init'ed(this.queryEntry) |
| post | new CommentsBean(update#11) num objects <= 1 |
| post | init'ed(new CommentsBean(update#11). approvedComments) |
| post | init'ed(new CommentsBean(update#11). approvedString) |
| post | init'ed(new CommentsBean(update#11). deleteComments) |
| post | init'ed(new CommentsBean(update#11).endDateString) |
| post | init'ed(new CommentsBean(update#11).entryId) |
| post | init'ed(new CommentsBean(update#11).ids) |
| post | init'ed(new CommentsBean(update#11).page) |
| post | init'ed(new CommentsBean(update#11).searchString) |
| post | init'ed(new CommentsBean(update#11).spamComments) |
| post | init'ed(new CommentsBean(update#11).spamString) |
| post | init'ed(new CommentsBean(update#11). startDateString) |
| post | new CommentsPager(loadComments#2) num objects <= 1 |
| post | new String[](CommentsBean#1) num objects <= 1 |
| post | init'ed(new String[](CommentsBean#1).length) |
| post | new String[](CommentsBean#2) num objects <= 1 |
| post | init'ed(new String[](CommentsBean#2).length) |
| post | new String[](CommentsBean#3) num objects <= 1 |
| post | init'ed(new String[](CommentsBean#3).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.roller.weblogger.ui.struts2. editor.Comments:getActionWeblog |
| 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.roller.weblogger.business. WeblogManager:getComments |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Comments: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 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.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry |
| 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 | this.bean.entryId: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:equals(...)@333: {0}, {1} |
| test_vector | java.lang.String:equals(...)@352: {1}, {0} |
| test_vector | java.util.Arrays:asList(...)@290: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Iterator:hasNext(...)@295: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@379: {0}, {1} |
| test_vector | java.util.List:contains(...)@320: {0}, {1} |
| test_vector | java.util.List:contains(...)@330: {0}, {1} |
| test_vector | java.util.List:contains(...)@344: {0}, {1} |
| test_vector | java.util.List:size(...)@291: {-231..0}, {1..232-1} |
| test_vector | java.util.Set:isEmpty(...)@377: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:equals(... )@299: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:equals(... )@328: {0}, {1} |
| test_vector | org.apache.roller.weblogger.util.MailUtil:isMailCon figured(...)@370: {0}, {1} |