Messages

method	org.apache.roller.weblogger.ui.struts2.core.Setup_ _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. Setup()
post	this.blogCount == 0
post	this.userCount == 0
post	this.pageTitle == &"index.heading"

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

method	bool isUserRequired()
post	return_value == 0

method	bool isWeblogRequired()
post	return_value == 0

method	String execute()
presumption	org.apache.commons.logging.LogFactory:getLog(... )@34 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@60 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@60 != null
post	return_value == &"success"
post	possibly_updated(this.blogCount)
post	possibly_updated(this.userCount)

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 long org.apache.roller.weblogger. business.UserManager:getUserCount()

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

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

method	long getUserCount()
pre	init'ed(this.userCount)
post	return_value == this.userCount
post	init'ed(return_value)

method	void setUserCount(long)
post	this.userCount == userCount
post	init'ed(this.userCount)

method	long getBlogCount()
pre	init'ed(this.blogCount)
post	return_value == this.blogCount
post	init'ed(return_value)

method	void setBlogCount(long)
post	this.blogCount == blogCount
post	init'ed(this.blogCount)

	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()