Messages

method

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

method

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

method	org.apache.roller.weblogger.ui.struts2.editor. Bookmarks__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.ui.struts2. editor.Bookmarks()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	init'ed(java.util.Collections.EMPTY_SET)
post	this.actionName == &"bookmarks"
post	this.allFolders == java.util.Collections.EMPTY_SET
post	(soft) init'ed(this.allFolders)
post	this.desiredMenu == &"editor"
post	this.folder == null
post	this.folderId == null
post	this.selectedBookmarks == null
post	this.selectedFolders == null
post	this.targetFolderId == null
post	this.folderPath == java.util.Collections.EMPTY_ LIST
post	(soft) init'ed(this.folderPath)
post	this.pageTitle == &"bookmarksForm.rootTitle"

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.util.UIAction()

method	short requiredWeblogPermissions()
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN
post	(soft) init'ed(return_value)

method	void myPrepare()
pre	(soft) log != null
pre	(soft) init'ed(this.folderId)
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@84 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@84 != null
post	possibly_updated(this.folder)
test_vector	java.lang.String:equals(...)@85: {1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@85: {1}, {0}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on BookmarkManager org.apache.roller. weblogger.business.Weblogger:getBookmarkManager()

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getFolder(String )

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:getActionWeblog()

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getRootFolder(We blog)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	String execute()
pre	(soft) log != null
pre	(soft) this.folder != null
pre	(soft) init'ed(this.folderId)
presumption	java.util.Iterator:next(...)@110 != null
presumption	org.apache.roller.weblogger.business. BookmarkManager:getAllFolders(...)@109 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@108 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@111 != null
post	return_value == &"list"
post	this.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)}
post	this.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)}
post	new LinkedList(execute#3) num objects <= 1
post	new TreeSet(execute#1) num objects == 1
test_vector	java.lang.String:equals(...)@111: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@110: {0}, {1}
test_vector	java.util.TreeSet:size(...)@133: {-2³¹.. 0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@117: Addr_Set{null}, Inverse{null}

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:getActionWeblog()

info method not available -- call on List org.apache.roller.weblogger. business.BookmarkManager:getAllFolders(Weblog)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getId()

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmarkFolder:getParent()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:addError(String)

method	String delete()
pre	log != null
pre	(soft) this.folder != null
pre	(soft) init'ed(this.folderId)
pre	(soft) init'ed(this.selectedBookmarks)
pre	(soft) this.selectedBookmarks.length <= 2³²-1
pre	(soft) init'ed(this.selectedBookmarks[...])
pre	(soft) init'ed(this.selectedFolders)
pre	(soft) this.selectedFolders.length <= 2³²-1
pre	(soft) init'ed(this.selectedFolders[...])
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@146 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@173 != null
post	return_value == &"list"
post	this.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)}
post	this.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)}
post	new LinkedList(execute#3) num objects <= 1
post	new TreeSet(execute#1) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:addError
unanalyzed	call on java.util.TreeSet
unanalyzed	call on org.apache.roller.weblogger.business. BookmarkManager:getAllFolders
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getId
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.TreeSet:add
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.TreeSet:size
test_vector	this.selectedBookmarks: Addr_Set{null}, Inverse{null}
test_vector	this.selectedFolders: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getFolder(String )

info method not available -- call on void org.apache.roller.weblogger. business.BookmarkManager:removeFolder(WeblogBookmar kFolder)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on WeblogBookmark org.apache.roller. weblogger.business.BookmarkManager:getBookmark(Stri ng)

info method not available -- call on void org.apache.roller.weblogger. business.BookmarkManager:removeBookmark(WeblogBookm ark)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:getActionWeblog()

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(Weblog)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:addError(String)

method	String move()
pre	log != null
pre	(soft) this.folder != null
pre	(soft) init'ed(this.folderId)
pre	(soft) init'ed(this.selectedBookmarks)
pre	(soft) this.selectedBookmarks.length <= 2³²-1
pre	(soft) init'ed(this.selectedBookmarks[...])
pre	(soft) init'ed(this.selectedFolders)
pre	(soft) this.selectedFolders.length <= 2³²-1
pre	(soft) init'ed(this.selectedFolders[...])
pre	(soft) init'ed(this.targetFolderId)
presumption	org.apache.roller.weblogger.business. BookmarkManager:getBookmark(...)@220 != null
presumption	org.apache.roller.weblogger.business. BookmarkManager:getFolder(...)@200 != null
presumption	org.apache.roller.weblogger.business. BookmarkManager:getFolder(...)@203 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@194 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@194 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@227 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@206 != null
post	return_value == &"list"
post	this.allFolders == One-of{old this.allFolders, &new TreeSet(execute#1)}
post	this.folderPath == One-of{old this.folderPath, &new LinkedList(execute#3)}
post	new LinkedList(execute#3) num objects <= 1
post	new TreeSet(execute#1) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Bookmarks:addError
unanalyzed	call on java.util.TreeSet
unanalyzed	call on org.apache.roller.weblogger.business. BookmarkManager:getAllFolders
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getId
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.TreeSet:add
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.TreeSet:size
test_vector	this.selectedBookmarks: Addr_Set{null}, Inverse{null}
test_vector	this.selectedFolders: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@206: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:descendentOf(...)@206: {1}, {0}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getFolder(String )

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getId()

info method not available -- call on bool org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:descendentOf(WeblogBookmarkFol der)

info method not available -- call on void org.apache.roller.weblogger. business.BookmarkManager:moveFolder(WeblogBookmarkF older, WeblogBookmarkFolder)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getName()

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:addMessage(String, String)

info method not available -- call on WeblogBookmark org.apache.roller. weblogger.business.BookmarkManager:getBookmark(Stri ng)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmark:setFolder(WeblogBookmarkFolder)

info method not available -- call on void org.apache.roller.weblogger. business.BookmarkManager:saveBookmark(WeblogBookmar k)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:addError(String)

method

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

method

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

method	int compare(Object, Object)
pre	o1 != null
pre	o2 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getPath(...)@245 != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

method	String getFolderId()
pre	init'ed(this.folderId)
post	return_value == this.folderId
post	init'ed(return_value)

method	void setFolderId(String)
post	this.folderId == folderId
post	init'ed(this.folderId)

method	String[] getSelectedFolders()
pre	init'ed(this.selectedFolders)
post	return_value == this.selectedFolders
post	init'ed(return_value)

method	void setSelectedFolders(String[])
post	this.selectedFolders == folders
post	init'ed(this.selectedFolders)

method	String[] getSelectedBookmarks()
pre	init'ed(this.selectedBookmarks)
post	return_value == this.selectedBookmarks
post	init'ed(return_value)

method	void setSelectedBookmarks(String[])
post	this.selectedBookmarks == bookmarks
post	init'ed(this.selectedBookmarks)

method	String getTargetFolderId()
pre	init'ed(this.targetFolderId)
post	return_value == this.targetFolderId
post	init'ed(return_value)

method	void setTargetFolderId(String)
post	this.targetFolderId == targetFolderId
post	init'ed(this.targetFolderId)

method	Set getAllFolders()
pre	init'ed(this.allFolders)
post	return_value == this.allFolders
post	init'ed(return_value)

method	void setAllFolders(Set)
post	this.allFolders == allFolders
post	init'ed(this.allFolders)

method	WeblogBookmarkFolder getFolder()
pre	init'ed(this.folder)
post	return_value == this.folder
post	init'ed(return_value)

method	void setFolder(WeblogBookmarkFolder)
post	this.folder == folder
post	init'ed(this.folder)

method	List getFolderPath()
pre	init'ed(this.folderPath)
post	return_value == this.folderPath
post	init'ed(return_value)

method	void setFolderPath(List)
post	this.folderPath == folderPath
post	init'ed(this.folderPath)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on BookmarkManager org.apache.roller. weblogger.business.Weblogger:getBookmarkManager()

	info	method not available	-- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Bookmarks:getActionWeblog()
	info	method not available	-- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getRootFolder(We blog)

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getId()
	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:descendentOf(WeblogBookmarkFol der)