Messages

method	org.apache.roller.weblogger.ui.struts2.editor. Categories__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.Categories()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	init'ed(java.util.Collections.EMPTY_SET)
post	this.actionName == &"categories"
post	this.allCategories == java.util.Collections.EMPTY_ SET
post	(soft) init'ed(this.allCategories)
post	this.category == null
post	this.categoryId == null
post	this.selectedCategories == null
post	this.targetCategoryId == null
post	this.categoryPath == java.util.Collections.EMPTY_ LIST
post	(soft) init'ed(this.categoryPath)
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"categoriesForm.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.AUTHOR)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR
post	(soft) init'ed(return_value)

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

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

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

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

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategory( String)

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

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getRootWeblogCateg ory(Weblog)

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.category != null
pre	(soft) init'ed(this.categoryId)
presumption	java.util.Iterator:next(...)@101 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogCategories(...)@100 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@99 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@99 != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@102 != null
post	return_value == &"list"
post	this.allCategories == One-of{old this. allCategories, &new TreeSet(execute#1)}
post	this.categoryPath == One-of{old this.categoryPath, &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(...)@102: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@101: {0}, {1}
test_vector	java.util.TreeSet:size(...)@124: {-2³¹.. 0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@108: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogCategoryPathComparator()

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

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogCategories(Weblog, bool)

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

info method not available -- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogCategory: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.Categories:addError(String)

method	String move()
pre	log != null
pre	(soft) this.category != null
pre	(soft) init'ed(this.categoryId)
pre	(soft) init'ed(this.selectedCategories)
pre	(soft) this.selectedCategories.length <= 2³²-1
pre	(soft) init'ed(this.selectedCategories[...])
pre	(soft) init'ed(this.targetCategoryId)
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogCategory(...)@141 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogCategory(...)@144 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@135 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@135 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@157 != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@148 != null
post	return_value == &"list"
post	this.allCategories == One-of{old this. allCategories, &new TreeSet(execute#1)}
post	this.categoryPath == One-of{old this.categoryPath, &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.pojos. WeblogCategoryPathComparator
unanalyzed	call on java.util.TreeSet
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Categories:getActionWeblog
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.TreeSet:add
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getParent
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.List:add
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.Categories:addError
unanalyzed	call on java.util.TreeSet:size
test_vector	this.selectedCategories: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@148: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@148: {1}, {0}

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

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategory( String)

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

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

info method not available -- call on void org.apache.roller.weblogger. business.WeblogManager:moveWeblogCategory(WeblogCat egory, WeblogCategory)

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

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

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 void org.apache.commons.logging. Log:error(Object, Throwable)

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

method	String getCategoryId()
pre	init'ed(this.categoryId)
post	return_value == this.categoryId
post	init'ed(return_value)

method	void setCategoryId(String)
post	this.categoryId == categoryId
post	init'ed(this.categoryId)

method	WeblogCategory getCategory()
pre	init'ed(this.category)
post	return_value == this.category
post	init'ed(return_value)

method	void setCategory(WeblogCategory)
post	this.category == category
post	init'ed(this.category)

method	String[] getSelectedCategories()
pre	init'ed(this.selectedCategories)
post	return_value == this.selectedCategories
post	init'ed(return_value)

method	void setSelectedCategories(String[])
post	this.selectedCategories == selectedCategories
post	init'ed(this.selectedCategories)

method	String getTargetCategoryId()
pre	init'ed(this.targetCategoryId)
post	return_value == this.targetCategoryId
post	init'ed(return_value)

method	void setTargetCategoryId(String)
post	this.targetCategoryId == targetCategoryId
post	init'ed(this.targetCategoryId)

method	Set getAllCategories()
pre	init'ed(this.allCategories)
post	return_value == this.allCategories
post	init'ed(return_value)

method	void setAllCategories(Set)
post	this.allCategories == allCategories
post	init'ed(this.allCategories)

method	List getCategoryPath()
pre	init'ed(this.categoryPath)
post	return_value == this.categoryPath
post	init'ed(return_value)

method	void setCategoryPath(List)
post	this.categoryPath == categoryPath
post	init'ed(this.categoryPath)

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

	info	method not available	-- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Categories:getActionWeblog()
	info	method not available	-- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getRootWeblogCateg ory(Weblog)

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