Messages

method	org.apache.roller.weblogger.planet.ui. PlanetConfig__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.planet.ui. PlanetConfig()
presumption	init'ed(java.util.Collections.EMPTY_MAP)
post	this.actionName == &"planetConfig"
post	this.desiredMenu == &"admin"
post	this.globalConfigDef == null
post	this.planet == null
post	this.pageTitle == &"planetConfig.title"
post	this.parameters == java.util.Collections.EMPTY_MAP
post	(soft) init'ed(this.parameters)
post	this.properties == this.parameters
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction

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

method	bool isWeblogRequired()
post	return_value == 0

method	void myPrepare()
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@87 != null
presumption	org.apache.roller.planet.business.Planet:getPropert iesManager(...)@78 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@78 != null
presumption	org.apache.roller.planet.config.PlanetRuntimeConfig :getRuntimeConfigDefs(...)@85 != null
presumption	org.apache.roller.planet.config.runtime. RuntimeConfigDefs:getConfigDefs(...)@86 != null
post	possibly_updated(this.globalConfigDef)
post	possibly_updated(this.properties)
test_vector	java.lang.String:equals(...)@88: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@87: {0}, {1}

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

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

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

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

info method not available -- call on RuntimeConfigDefs org.apache.roller. planet.config.PlanetRuntimeConfig:getRuntimeConfigD efs()

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

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

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

method	String save()
pre	(soft) log != null
pre	(soft) this.parameters != null
pre	(soft) this.properties != null
presumption	java.util.Map:get(...)@113 != null
presumption	java.util.Map:keySet(...)@107 != null
presumption	org.apache.roller.planet.business.Planet:getPropert iesManager(...)@142 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@142 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@144 != null
presumption	org.apache.roller.planet.pojos.RuntimeConfigPropert y:getValue(...)@124 != null
post	return_value == &"input"
test_vector	java.lang.String:equals(...)@124: {1}, {0}
test_vector	java.lang.String:equals(...)@124: {0}, {1}
test_vector	java.lang.String:equals(...)@127: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@108: {0}, {1}
test_vector	java.util.Map:get(...)@114: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.planet.pojos.RuntimeConfigPropert y:getValue(...)@124: Addr_Set{null}, Inverse{null}
test_vector	propValues.length@114: {0}, {1..+Inf}

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

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

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

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

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

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

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on void org.apache.roller.planet.business. Planet:flush()

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetConfig:addMessage(String)

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

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetConfig:addError(String)

method	Map getParameters()
pre	init'ed(this.parameters)
post	return_value == this.parameters
post	init'ed(return_value)

method	void setParameters(Map)
post	this.parameters == parameters
post	init'ed(this.parameters)

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)

	info	method not available	-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
	info	method not available	-- call on PropertiesManager org.apache.roller. planet.business.Planet:getPropertiesManager()