| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.folderId) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedBookmarks) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedBookmarks[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedFolders) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedFolders[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) this.folder != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.selectedBookmarks.length <= 232-1 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.selectedFolders.length <= 232-1 | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@146 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@173 != null | 2009-09-04 18:33:31 |
| + | post | new LinkedList(execute#3) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(execute#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)} | 2009-09-04 18:33:31 |
| + | post | this.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)} | 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.LinkedList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 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. BookmarkManager:getAllFolders | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager | 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. WeblogBookmarkFolder:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:getActionWeblog | 2009-09-04 18:33:31 |
| + | test_vector | this.selectedBookmarks: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.selectedFolders: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.folderId) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.folder != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@110 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. BookmarkManager:getAllFolders(...)@109 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@108 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@111 != null | 2009-09-04 18:33:31 |
| + | post | new LinkedList(execute#3) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(execute#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)} | 2009-09-04 18:33:31 |
| + | post | this.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@111: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@110: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.TreeSet:size(...)@133: {-231.. 0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@117: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.folderId) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedBookmarks) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedBookmarks[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedFolders) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.selectedFolders[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.targetFolderId) | 2009-09-04 18:33:31 |
| + | pre | (soft) this.folder != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.selectedBookmarks.length <= 232-1 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.selectedFolders.length <= 232-1 | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. BookmarkManager:getBookmark(...)@220 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. BookmarkManager:getFolder(...)@200 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. BookmarkManager:getFolder(...)@203 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@194 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@194 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@227 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@206 != null | 2009-09-04 18:33:31 |
| + | post | new LinkedList(execute#3) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(execute#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)} | 2009-09-04 18:33:31 |
| + | post | this.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)} | 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.LinkedList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 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. BookmarkManager:getAllFolders | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager | 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. WeblogBookmarkFolder:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:getActionWeblog | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@206: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:descendentOf(...)@206: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.selectedBookmarks: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.selectedFolders: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(java.util.Collections.EMPTY_LIST) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.util.Collections.EMPTY_SET) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.allFolders) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.folderPath) | 2009-09-04 18:33:31 |
| + | post | this.actionName == &"bookmarks" | 2009-09-04 18:33:31 |
| + | post | this.allFolders == java.util.Collections.EMPTY_SET | 2009-09-04 18:33:31 |
| + | post | this.desiredMenu == &"editor" | 2009-09-04 18:33:31 |
| + | post | this.folder == null | 2009-09-04 18:33:31 |
| + | post | this.folderId == null | 2009-09-04 18:33:31 |
| + | post | this.folderPath == java.util.Collections.EMPTY_ LIST | 2009-09-04 18:33:31 |
| + | post | this.pageTitle == &"bookmarksForm.rootTitle" | 2009-09-04 18:33:31 |
| + | post | this.selectedBookmarks == null | 2009-09-04 18:33:31 |
| + | post | this.selectedFolders == null | 2009-09-04 18:33:31 |
| + | post | this.targetFolderId == null | 2009-09-04 18:33:31 |