Messages

method	org.apache.roller.weblogger.ui.struts2.core. CreateWeblog__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. CreateWeblog()
post	this.bean == &new CreateWeblogBean(CreateWeblog #1)
post	this.pageTitle == &"createWebsite.title"
post	new CreateWeblogBean(CreateWeblog#1) num objects == 1

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()
pre	(soft) log != null
pre	(soft) this.bean != null
presumption	org.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@68 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@67 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@67 != null
presumption	org.apache.roller.weblogger.ui.struts2.core. CreateWeblog:getAuthenticatedUser(...)@63 != null
post	return_value in Addr_Set{&"menu",&"input"}
post	possibly_updated(this.bean.emailAddress)
post	possibly_updated(this.bean.locale)
post	possibly_updated(this.bean.timeZone)

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

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

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 List org.apache.roller.weblogger. business.UserManager:getAllPermissions(User)

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

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

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

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

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

method	String save()
pre	(soft) log != null
pre	(soft) init'ed(this.bean.handle)
pre	(soft) init'ed(org/apache/roller/weblogger/ui/strut s2/core/Register.DEFAULT_ALLOWED_CHARS)
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.description)
pre	(soft) init'ed(this.bean.emailAddress)
pre	(soft) init'ed(this.bean.locale)
pre	(soft) init'ed(this.bean.name)
pre	(soft) init'ed(this.bean.theme)
pre	(soft) init'ed(this.bean.timeZone)
presumption	defs.length@126 >= 1
presumption	org.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@96 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@131 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@95 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@131 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@133 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@95 != null
presumption	org.apache.roller.weblogger.util.Utilities:stringTo StringArray(...)@126 != null
post	return_value in Addr_Set{&"menu", &"success",&"input"}
post	this.bean.handle == One-of{old this.bean.handle, null}
post	(soft) init'ed(this.bean.handle)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.CharSetUtils:keep
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. core.CreateWeblog:addError
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	org.apache.roller.weblogger.ui.struts2.core. CreateWeblog:hasActionErrors(...)@111: {1}, {0}

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

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

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

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

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

info method not available -- call on bool org.apache.roller.weblogger.ui. struts2.core.CreateWeblog:hasActionErrors()

info method not available -- call on void org.apache.roller.weblogger.pojos. Weblog(String, User, String, String, String, String, String, String, String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getProperty(String)

info method not available -- call on String[] org.apache.roller.weblogger. util.Utilities:stringToStringArray(String, String)

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

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

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.roller.weblogger.ui. struts2.core.CreateWeblog:addMessage(String, String)

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

info method not available -- call on String org.apache.roller.weblogger. WebloggerException:getMessage()

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

method	void myValidate()
pre	init'ed(this.bean.handle)
pre	this.bean != null
pre	(soft) log != null
pre	(soft) init'ed(org/apache/roller/weblogger/ui/strut s2/core/Register.DEFAULT_ALLOWED_CHARS)
presumption	org.apache.commons.lang.CharSetUtils:keep(...)@160 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@169 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@169 != null
post	this.bean.handle == One-of{old this.bean.handle, null}
post	init'ed(this.bean.handle)
test_vector	java.lang.String:equals(...)@161: {1}, {0}
test_vector	java.lang.String:length(...)@155: {1.. 2³²-1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@168: {1}, {0}
test_vector	org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@170: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@154: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

info method not available -- call on String org.apache.commons.lang. CharSetUtils:keep(String, String)

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

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

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.core.CreateWeblog: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.CreateWeblog:addError(String)

method	List getThemes()
presumption	org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@184 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@184 != null
post	init'ed(return_value)

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

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

info method not available -- call on List org.apache.roller.weblogger. business.themes.ThemeManager:getEnabledThemesList()

method	CreateWeblogBean getBean()
pre	init'ed(this.bean)
post	return_value == this.bean
post	init'ed(return_value)

method	void setBean(CreateWeblogBean)
post	this.bean == bean
post	init'ed(this.bean)

	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 String org.apache.roller.weblogger. WebloggerException:getMessage()
	info	method not available	-- call on void org.apache.roller.weblogger.ui. struts2.core.CreateWeblog:addError(String)