Bookmarks.java


current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + int compare(Object, Object)

  • -/+ Kind Annotation Text Date
    +preo1 != null2009-09-04 18:33:31
    +preo2 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getPath(...)@245 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String delete()

  • -/+ 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 != null2009-09-04 18:33:31
    +pre(soft) this.selectedBookmarks.length <= 232-12009-09-04 18:33:31
    +pre(soft) this.selectedFolders.length <= 232-12009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@146 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@173 != null2009-09-04 18:33:31
    +postnew LinkedList(execute#3) num objects <= 12009-09-04 18:33:31
    +postnew TreeSet(execute#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)}2009-09-04 18:33:31
    +postthis.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet:size2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. BookmarkManager:getAllFolders2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getId2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:getActionWeblog2009-09-04 18:33:31
    +test_vectorthis.selectedBookmarks: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.selectedFolders: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String execute()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.folderId)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.folder != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@110 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. BookmarkManager:getAllFolders(...)@109 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@108 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@111 != null2009-09-04 18:33:31
    +postnew LinkedList(execute#3) num objects <= 12009-09-04 18:33:31
    +postnew TreeSet(execute#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)}2009-09-04 18:33:31
    +postthis.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@111: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@110: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.TreeSet:size(...)@133: {-231.. 0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@117: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Set getAllFolders()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.allFolders)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.allFolders2009-09-04 18:33:31

  • + WeblogBookmarkFolder getFolder()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.folder)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.folder2009-09-04 18:33:31

  • + String getFolderId()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.folderId)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.folderId2009-09-04 18:33:31

  • + List getFolderPath()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.folderPath)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.folderPath2009-09-04 18:33:31

  • + String[] getSelectedBookmarks()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.selectedBookmarks)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.selectedBookmarks2009-09-04 18:33:31

  • + String[] getSelectedFolders()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.selectedFolders)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.selectedFolders2009-09-04 18:33:31

  • + String getTargetFolderId()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.targetFolderId)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.targetFolderId2009-09-04 18:33:31

  • + String move()

  • -/+ 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 != null2009-09-04 18:33:31
    +pre(soft) this.selectedBookmarks.length <= 232-12009-09-04 18:33:31
    +pre(soft) this.selectedFolders.length <= 232-12009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. BookmarkManager:getBookmark(...)@220 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. BookmarkManager:getFolder(...)@200 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. BookmarkManager:getFolder(...)@203 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@194 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@194 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@227 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@206 != null2009-09-04 18:33:31
    +postnew LinkedList(execute#3) num objects <= 12009-09-04 18:33:31
    +postnew TreeSet(execute#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)}2009-09-04 18:33:31
    +postthis.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet:size2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. BookmarkManager:getAllFolders2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getId2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:getActionWeblog2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@206: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:descendentOf(...)@206: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.selectedBookmarks: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.selectedFolders: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void myPrepare()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.folderId)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@84 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@84 != null2009-09-04 18:33:31
    +postpossibly_updated(this.folder)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@85: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@85: {1}, {0}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.editor.Bookmarks$1__static_init

  • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.ui.struts2.editor.Bookmarks$FolderPathComparator()

  • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.ui.struts2.editor.Bookmarks$FolderPathComparator(Bookmarks$1)

  • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.ui.struts2.editor.Bookmarks$FolderPathComparator__static_init

  • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.ui.struts2.editor.Bookmarks()

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptioninit'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
    +postthis.actionName == &"bookmarks"2009-09-04 18:33:31
    +postthis.allFolders == java.util.Collections.EMPTY_SET2009-09-04 18:33:31
    +postthis.desiredMenu == &"editor"2009-09-04 18:33:31
    +postthis.folder == null2009-09-04 18:33:31
    +postthis.folderId == null2009-09-04 18:33:31
    +postthis.folderPath == java.util.Collections.EMPTY_ LIST2009-09-04 18:33:31
    +postthis.pageTitle == &"bookmarksForm.rootTitle"2009-09-04 18:33:31
    +postthis.selectedBookmarks == null2009-09-04 18:33:31
    +postthis.selectedFolders == null2009-09-04 18:33:31
    +postthis.targetFolderId == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.editor.Bookmarks__static_init

  • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + short requiredWeblogPermissions()

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN2009-09-04 18:33:31

  • + void setAllFolders(Set)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.allFolders)2009-09-04 18:33:31
    +postthis.allFolders == allFolders2009-09-04 18:33:31

  • + void setFolder(WeblogBookmarkFolder)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.folder)2009-09-04 18:33:31
    +postthis.folder == folder2009-09-04 18:33:31

  • + void setFolderId(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.folderId)2009-09-04 18:33:31
    +postthis.folderId == folderId2009-09-04 18:33:31

  • + void setFolderPath(List)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.folderPath)2009-09-04 18:33:31
    +postthis.folderPath == folderPath2009-09-04 18:33:31

  • + void setSelectedBookmarks(String[])

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.selectedBookmarks)2009-09-04 18:33:31
    +postthis.selectedBookmarks == bookmarks2009-09-04 18:33:31

  • + void setSelectedFolders(String[])

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.selectedFolders)2009-09-04 18:33:31
    +postthis.selectedFolders == folders2009-09-04 18:33:31

  • + void setTargetFolderId(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.targetFolderId)2009-09-04 18:33:31
    +postthis.targetFolderId == targetFolderId2009-09-04 18:33:31