Messages

method	org.apache.roller.weblogger.ui.struts2.core. MainMenu__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.core. MainMenu()
post	this.inviteId == null
post	this.websiteId == null
post	this.pageTitle == &"yourWebsites.title"

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

method	bool isWeblogRequired()
post	return_value == 0

method	String execute()
post	return_value == &"success"

method	String accept()
pre	init'ed(this.inviteId)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@65 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@65 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@72 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@74 != null
post	return_value == &"success"
test_vector	org.apache.roller.weblogger.business. UserManager:getPermissions(...)@66: Addr_Set{null}, Inverse{null}

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

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

info method not available -- call on WeblogPermission org.apache.roller. weblogger.business.UserManager:getPermissions(Strin g)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogPermission:setPending(bool)

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:savePermissions(WeblogPermissi on)

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. pojos.WeblogPermission:getWebsite()

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

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

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

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.core.MainMenu:addError(String)

method	String decline()
pre	init'ed(this.inviteId)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@91 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@91 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@99 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@94 != null
post	return_value == &"success"
test_vector	org.apache.roller.weblogger.business. UserManager:getPermissions(...)@92: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogPermission org.apache.roller. weblogger.business.UserManager:getPermissions(Strin g)

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:removePermissions(WeblogPermis sion)

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

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

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.core.MainMenu:addError(String)

method	String resign()
pre	init'ed(this.websiteId)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@120 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@123 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@120 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@123 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@133 != null
post	return_value == &"success"
test_vector	org.apache.roller.weblogger.business. UserManager:getPermissions(...)@124: Addr_Set{null}, Inverse{null}

info method not available -- call on User org.apache.roller.weblogger.ui. struts2.core.MainMenu:getAuthenticatedUser()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsite(String)

info method not available -- call on WeblogPermission org.apache.roller. weblogger.business.UserManager:getPermissions(Weblo g, User)

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:removePermissions(WeblogPermis sion)

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.core.MainMenu:addError(String)

method	List getExistingPermissions()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@146 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null
post	init'ed(return_value)

info method not available -- call on User org.apache.roller.weblogger.ui. struts2.core.MainMenu:getAuthenticatedUser()

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getAllPermissions(User)

method	List getPendingPermissions()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@155 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@155 != null
post	init'ed(return_value)

method	String getWebsiteId()
pre	init'ed(this.websiteId)
post	return_value == this.websiteId
post	init'ed(return_value)

method	void setWebsiteId(String)
post	this.websiteId == websiteId
post	init'ed(this.websiteId)

method	String getInviteId()
pre	init'ed(this.inviteId)
post	return_value == this.inviteId
post	init'ed(return_value)

method	void setInviteId(String)
post	this.inviteId == inviteId
post	init'ed(this.inviteId)

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

info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
info	method not available	-- call on void org.apache.roller.weblogger.ui. struts2.core.MainMenu:addMessage(String, String)

	info	method not available	-- call on User org.apache.roller.weblogger.ui. struts2.core.MainMenu:getAuthenticatedUser()
	info	method not available	-- call on List org.apache.roller.weblogger. business.UserManager:getAllPermissions(User)