| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.removeId) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@94 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogCategories(...)@93 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@92 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@92 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@95 != null | 2009-09-04 18:33:31 |
| + | post | new TreeSet(execute#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"input" | 2009-09-04 18:33:31 |
| + | post | this.allCategories == One-of{old this. allCategories, &new TreeSet(execute#1)} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@95: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.TreeSet:size(...)@105: {-231.. 0}, {1..232-1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.removeId) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.targetCategoryId) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.category) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@119 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@119 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@124 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@132 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.removeId) | 2009-09-04 18:33:31 |
| + | post | new TreeSet(execute#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&"success", &"input"} | 2009-09-04 18:33:31 |
| + | post | this.allCategories == One-of{old this. allCategories, &new TreeSet(execute#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 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.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeSet:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeSet: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:getWeblogCategories | 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.pojos. WeblogCategory:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategoryPathComparator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.CategoryRemove:addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.CategoryRemove:getActionWeblog | 2009-09-04 18:33:31 |
| + | test_vector | this.category: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.targetCategoryId: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |