Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.struts2.admin. GlobalConfig__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.admin. GlobalConfig()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	init'ed(java.util.Collections.EMPTY_MAP)
post	this.actionName == &"globalConfig"
post	this.commentPlugins == &new String[](GlobalConf ig#1)
post	this.desiredMenu == &"admin"
post	this.globalConfigDef == null
post	this.pageTitle == &"configForm.title"
post	this.params == java.util.Collections.EMPTY_MAP
post	(soft) init'ed(this.params)
post	this.properties == this.params
post	this.pluginsList == java.util.Collections.EMPTY_ LIST
post	(soft) init'ed(this.pluginsList)
post	new String[](GlobalConfig#1) num objects == 1
post	this.commentPlugins.length == 0

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

method	bool isWeblogRequired()
post	return_value == 0

method	String requiredUserRole()
post	return_value == &"admin"

method	void myPrepare()
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@101 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPluginManager(...)@108 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPropertiesManager(...)@90 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@90 != null
presumption	org.apache.roller.weblogger.config.WebloggerRuntime Config:getRuntimeConfigDefs(...)@99 != null
presumption	org.apache.roller.weblogger.config.runtime. RuntimeConfigDefs:getConfigDefs(...)@100 != null
post	possibly_updated(this.globalConfigDef)
post	init'ed(this.pluginsList)
post	possibly_updated(this.properties)
test_vector	java.lang.String:equals(...)@102: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@101: {0}, {1}

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

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

info method not available -- call on Map org.apache.roller.weblogger. business.PropertiesManager:getProperties()

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.admin.GlobalConfig:addError(String)

info method not available -- call on RuntimeConfigDefs org.apache.roller. weblogger.config.WebloggerRuntimeConfig:getRuntimeC onfigDefs()

info method not available -- call on List org.apache.roller.weblogger.config. runtime.RuntimeConfigDefs:getConfigDefs()

info method not available -- call on String org.apache.roller.weblogger. config.runtime.ConfigDef:getName()

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

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

info method not available -- call on List org.apache.roller.weblogger. business.plugins.PluginManager:getCommentPlugins()

method	String execute()
post	return_value == &"success"
post	possibly_updated(this.commentPlugins)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@120: {1}, {0}

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

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(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.commons.lang. StringUtils:split(String, String)

method	String save()
pre	this.commentPlugins != null
pre	this.properties != null
pre	(soft) log != null
pre	(soft) this.params != null
presumption	java.util.Map:get(...)@140 != null
presumption	java.util.Map:get(...)@173 != null
presumption	java.util.Map:keySet(...)@137 != null
presumption	log@171 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPropertiesManager(...)@179 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@179 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@181 != null
presumption	org.apache.roller.weblogger.pojos.RuntimeConfigProp erty:getValue(...)@150 != null
post	return_value == &"success"
unanalyzed	call on java.util.Map:get
test_vector	this.commentPlugins.length: {0}, {1..+Inf}
test_vector	java.lang.String:equals(...)@150: {1}, {0}
test_vector	java.lang.String:equals(...)@150: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@138: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.RuntimeConfigProp erty:getValue(...)@150: Addr_Set{null}, Inverse{null}

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

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because incomingProp == null

+

warning

dead code dead code here because incomingProp == null

Prev Msg Next Msg

info dead code continues dead code continues

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

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

info method not available -- call on String org.apache.commons.lang. StringUtils:join(Object[], String)

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

info method not available -- call on void org.apache.roller.weblogger. business.PropertiesManager:saveProperties(Map)

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.admin.GlobalConfig:addMessage(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.admin.GlobalConfig:addError(String)

method	void setParameters(Map)
pre	log != null
pre	(soft) parameters != null
presumption	java.util.Map:keySet(...)@201 != null
post	this.params == parameters
post	(soft) this.params != null
test_vector	java.util.Iterator:hasNext(...)@202: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@199: {0}, {1}

info method not available -- call on bool org.apache.commons.logging. Log:isDebugEnabled()

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

method	String getParameter(String)
pre	this.params != null
post	return_value == null
test_vector	java.util.Map:get(...)@211: Addr_Set{null}, Inverse{null}
test_vector	p.length@211: {0}, {1..+Inf}

method	Map getProperties()
pre	init'ed(this.properties)
post	return_value == this.properties
post	init'ed(return_value)

method	void setProperties(Map)
post	this.properties == properties
post	init'ed(this.properties)

method	ConfigDef getGlobalConfigDef()
pre	init'ed(this.globalConfigDef)
post	return_value == this.globalConfigDef
post	init'ed(return_value)

method	void setGlobalConfigDef(ConfigDef)
post	this.globalConfigDef == globalConfigDef
post	init'ed(this.globalConfigDef)

method	List getPluginsList()
pre	init'ed(this.pluginsList)
post	return_value == this.pluginsList
post	init'ed(return_value)

method	void setPluginsList(List)
post	this.pluginsList == pluginsList
post	init'ed(this.pluginsList)

method	String[] getCommentPlugins()
pre	init'ed(this.commentPlugins)
post	return_value == this.commentPlugins
post	init'ed(return_value)

method	void setCommentPlugins(String[])
post	this.commentPlugins == commentPlugins
post	init'ed(this.commentPlugins)

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

	info	method not available	-- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getProperty(String)
	info	method not available	-- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)