| method | void org.apache.roller.weblogger.ui.struts2. editor.CommentsBean() |
| post | this.approvedComments == &new String[](Comments Bean#1) |
| post | this.approvedString == &"ALL" |
| post | this.spamString == &"ALL" |
| post | this.deleteComments == &new String[](CommentsBe an#3) |
| post | this.endDateString == null |
| post | this.entryId == null |
| post | this.ids == null |
| post | this.searchString == null |
| post | this.startDateString == null |
| post | this.page == 0 |
| post | this.approvedComments.length == 0 |
| post | this.spamComments.length == 0 |
| post | this.deleteComments.length == 0 |
| post | this.spamComments == &new String[](CommentsBean #2) |
| post | new String[](CommentsBean#1) num objects == 1 |
| post | new String[](CommentsBean#2) num objects == 1 |
| post | new String[](CommentsBean#3) num objects == 1 |
| method | void loadCheckboxes(List) |
| pre | comments != null |
| presumption | java.util.Iterator:next(...)@61 != null |
| presumption | java.util.List:size(...)@72 >= 0 |
| presumption | java.util.List:size(...)@76 >= 0 |
| presumption | java.util.List:size(...)@79 >= 0 |
| post | init'ed(this.approvedComments) |
| post | init'ed(this.ids) |
| post | init'ed(this.spamComments) |
| test_vector | java.lang.String:equals(...)@64: {0}, {1} |
| test_vector | java.lang.String:equals(...)@66: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@60: {0}, {1} |
| method | String getStatus() |
| pre | this.approvedString != null |
| pre | (soft) this.spamString != null |
| post | return_value in Addr_Set{null,&"ALL_IGNORE_ SPAM",&"SPAM",&"PENDING",&"DISAPPROVED" ,&"APPROVED"} |
| test_vector | java.lang.String:equals(...)@84: {0}, {1} |
| test_vector | java.lang.String:equals(...)@86: {0}, {1} |
| test_vector | java.lang.String:equals(...)@88: {0}, {1} |
| test_vector | java.lang.String:equals(...)@90: {0}, {1} |
| test_vector | java.lang.String:equals(...)@92: {0}, {1} |